#include <error.h>
#include <stddef.h>
#include <stdint.h>

void _kmalloc_init(void);

void *kmalloc(size_t size) __attribute__ ((alloc_size (1)));
void *kzalloc(size_t size) __attribute__ ((alloc_size (1)));
kstatus kfree(void *addr);