void kfree (const void * objp);
void kfree
pointer returned by kmalloc.
Don't free memory not originally allocated by kmalloc or you will run into trouble.