kernel_remove_token_object_from_slot
void kernel_remove_token_object_from_slot(kernel_slot_t *pslot,
kernel_remove_token_object_from_slot(pslot, objp);