Symbol: __tmigr_set_cpu_available
kernel/time/timer_migration.c
1527
return __tmigr_set_cpu_available(cpu);
kernel/time/timer_migration.c
1542
__tmigr_set_cpu_available(smp_processor_id());