#include <ubixos/sched.h> void kfree(void *ptr) { kprintf("trying to free.\n"); mmFreeVirtualPage(_current, (uInt32)&(ptr)); kprintf("Freed\n"); return; }