Symbol: __tmigr_cpu_activate
kernel/time/timer_migration.c
1516
__tmigr_cpu_activate(tmc);
kernel/time/timer_migration.c
742
__tmigr_cpu_activate(tmc);