kernel_cleanup_pri_objects_in_slot
void kernel_cleanup_pri_objects_in_slot(kernel_slot_t *pslot,
kernel_cleanup_pri_objects_in_slot(pslot, session_p);