Fixed up a few small bugs in the syscall_server stuff
[akaros.git] / kern / src / kmalloc.c
index 93cd003..cd08c27 100644 (file)
@@ -144,6 +144,11 @@ void* kmalloc(size_t size, int flags)
        return ppn2kva(first);
 }
 
+void* krealloc(void* buf, size_t size, int flags) {
+       kfree(buf);
+       return kmalloc(size, flags);
+}
+
 void kfree(void *addr)
 {
        kmallocdebug("incoming address: %p\n", addr);