kernel_object_delay_free
void kernel_object_delay_free(kernel_object_t *objp);
kernel_object_delay_free(objp);
(void) kernel_object_delay_free(objp);