Symbol: ctx_event_to_rotate
kernel/events/core.c
4614
task_event = ctx_event_to_rotate(task_epc);
kernel/events/core.c
4616
cpu_event = ctx_event_to_rotate(cpu_epc);