tmigr_clear_cpu_available - Linux

Symbol: tmigr_clear_cpu_available

kernel/time/timer_migration.c

tmigr_clear_cpu_available(smp_processor_id());

kernel/time/timer_migration.c

tmigr_set_cpu_available, tmigr_clear_cpu_available);