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

/netgear-WNDR4500-V1.0.1.40_1.0.68/src/linux/linux-2.6/arch/ia64/kernel/
H A Dirq.c180 extern volatile int time_keeper_id;
187 if (smp_processor_id() == time_keeper_id) {
188 time_keeper_id = first_cpu(cpu_online_map);
189 printk ("CPU %d is now promoted to time-keeper master\n", time_keeper_id);
H A Dtime.c31 volatile int time_keeper_id = 0; /* smp_processor_id() of time-keeper */ variable
70 if (smp_processor_id() == time_keeper_id) {
H A Dsmpboot.c379 extern volatile int time_keeper_id;
387 itc_master = time_keeper_id;

Completed in 44 milliseconds