#include <stdlib.h>

extern void kfree(void *ptr);

void free(void *ptr)
{
	return kfree(ptr);
}