/*
*********** BMW's kernel memory allocator version 0.1 ***********
See .c file for more information.
*/
#define KMALLOC_H_INCLUDED

#ifndef STDINC_H_INCLUDED
#include "stdinc.h"
#define STDINC_H_INCLUDED
#endif

#ifndef VMMNGR_H_INCLUDED
#include "vmmngr.h"
#define VMMNGR_H_INCLUDED
#endif

bool kmalloc_init(void);
void* kmalloc(uint32_t bytes);
void kfree(void* address);