Symbol: tmigr_cpu_deactivate
kernel/time/timer.c
2148
next_tmigr = tmigr_cpu_deactivate(tevt->global);
kernel/time/timer_migration.h
157
extern u64 tmigr_cpu_deactivate(u64 nextevt);