Ksched interface cleanup, smp_idle() cleanup
[akaros.git] / kern / src / kmalloc.c
index 101986d..2c60671 100644 (file)
@@ -15,7 +15,7 @@
 #endif
 
 #include <ros/common.h>
-#include <ros/error.h>
+#include <error.h>
 #include <pmap.h>
 #include <kmalloc.h>
 #include <stdio.h>
@@ -136,7 +136,8 @@ void *krealloc(void* buf, size_t size, int flags) {
 
 void kfree(void *addr)
 {
-       assert(addr);
+       if(addr == NULL)
+               return;
        struct kmalloc_tag *tag = (struct kmalloc_tag*)(addr - KMALLOC_OFFSET);
        assert(tag->canary == KMALLOC_CANARY);
        if (tag->flags & KMALLOC_TAG_CACHE)