#ifndef KERNEL_MEM_H

#include <kernel/paging.h>
#include <stddef.h>

int init_kmalloc(void);
void* kmalloc(size_t sz);

#endif