ctx_event_to_rotate
task_event = ctx_event_to_rotate(task_epc);
cpu_event = ctx_event_to_rotate(cpu_epc);