Symbol: ct_kernel_enter
kernel/context_tracking.c
317
ct_kernel_enter(false, CT_RCU_WATCHING - CT_STATE_IDLE);
kernel/context_tracking.c
602
ct_kernel_enter(true, CT_RCU_WATCHING - state);