Home
last modified time | relevance | path

Searched refs:time_keeper_id (Results 1 – 3 of 3) sorted by relevance

/Linux-v4.19/arch/ia64/kernel/
Dirq.c154 extern volatile int time_keeper_id; in fixup_irqs()
162 if (smp_processor_id() == time_keeper_id) { in fixup_irqs()
163 time_keeper_id = cpumask_first(cpu_online_mask); in fixup_irqs()
164 printk ("CPU %d is now promoted to time-keeper master\n", time_keeper_id); in fixup_irqs()
Dtime.c42 volatile int time_keeper_id = 0; /* smp_processor_id() of time-keeper */ variable
184 if (smp_processor_id() == time_keeper_id) in timer_interrupt()
Dsmpboot.c359 extern volatile int time_keeper_id; in smp_callin()
367 itc_master = time_keeper_id; in smp_callin()