Symbol: ct_kernel_exit
kernel/context_tracking.c
299
ct_kernel_exit(false, CT_RCU_WATCHING + CT_STATE_IDLE);
kernel/context_tracking.c
486
ct_kernel_exit(true, CT_RCU_WATCHING + state);