ubixos / src / sys / mm / kfree.c

#include <ubixos/sched.h>

void kfree(void *ptr)
{
	mmFreeVirtualPage(_current, (uInt32)&(ptr));
	return;
}