kernel_delete_session
kernel_delete_session(session_p->ses_slotid, session_p, B_FALSE,
void kernel_delete_session(CK_SLOT_ID slotID, kernel_session_t *sp,
kernel_delete_session(slotID, session_p, B_FALSE, wrapper_only);