Symbol: ct_kernel_enter_state
kernel/context_tracking.c
157
ct_kernel_enter_state(offset);
kernel/context_tracking.c
259
ct_kernel_enter_state(CT_RCU_WATCHING);