31 void* user_malloc(
size_t size);
32 void user_free(
void* ptr);
33 void* user_realloc(
void* ptr,
size_t size);
34 void user_initheap(
void* base,
size_t size);
36 void* kern_malloc(
size_t size);
37 void kern_free(
void* ptr);
38 void* kern_realloc(
void* ptr,
size_t size);
39 void kern_initheap(
void* base,
size_t size);