Fixed up a few small bugs in the syscall_server stuff
[akaros.git] / kern / include / kmalloc.h
index 90b3edd..2aa7171 100644 (file)
@@ -16,6 +16,7 @@ void* (DALLOC(n) boot_alloc)(uint32_t n, uint32_t align);
 void* (DALLOC(_n*sz) boot_calloc)(uint32_t _n, size_t sz, uint32_t align);
 
 void* (DALLOC(size) kmalloc)(size_t size, int flags);
+void* (DALLOC(size) krealloc)(void* buf, size_t size, int flags);
 void  (DFREE(addr) kfree)(void *addr);
 
 #endif //ROS_KERN_KMALLOC_H