Symbol: __tmigr_cpu_deactivate
kernel/time/timer_migration.c
1388
ret = __tmigr_cpu_deactivate(tmc, nextexp);
kernel/time/timer_migration.c
1487
firstexp = __tmigr_cpu_deactivate(tmc, KTIME_MAX);