kernel_session_delay_free
void kernel_session_delay_free(kernel_session_t *sp);
kernel_session_delay_free(session_p);