CT_STATE_IDLE
ct_state() != CT_STATE_IDLE);
ct_kernel_exit(false, CT_RCU_WATCHING + CT_STATE_IDLE);
ct_kernel_enter(false, CT_RCU_WATCHING - CT_STATE_IDLE);