Free previously allocated memory
void kfree(const void * objp);
objp
pointer returned by kmalloc.
If objp is NULL, no operation is performed.
Don't free memory not originally allocated by kmalloc or you will run into trouble.