Searched refs:time_keeper_id (Results 1 – 6 of 6) sorted by relevance
132 extern volatile int time_keeper_id; in fixup_irqs()140 if (smp_processor_id() == time_keeper_id) { in fixup_irqs()141 time_keeper_id = cpumask_first(cpu_online_mask); in fixup_irqs()142 printk ("CPU %d is now promoted to time-keeper master\n", time_keeper_id); in fixup_irqs()
44 volatile int time_keeper_id = 0; /* smp_processor_id() of time-keeper */ variable190 legacy_timer_tick(smp_processor_id() == time_keeper_id); in timer_interrupt()
357 extern volatile int time_keeper_id; in smp_callin()361 itc_master = time_keeper_id; in smp_callin()
43 int time_keeper_id __read_mostly; /* CPU used for timekeeping. */89 if (IS_ENABLED(CONFIG_SMP) && (cpu != time_keeper_id)) in timer_interrupt()
469 if (cpu == time_keeper_id) { in __cpu_disable()470 time_keeper_id = cpumask_first(cpu_online_mask); in __cpu_disable()471 pr_info("CPU %d is now promoted to time-keeper master\n", time_keeper_id); in __cpu_disable()
98 extern int time_keeper_id; /* CPU used for timekeeping */