Searched refs:clock_cpu_id (Results 1 – 1 of 1) sorted by relevance
144 processorid_t clock_cpu_id; variable434 if (clock_cpu_id != CPU->cpu_id) in clock_tick_schedule()435 clock_cpu_id = CPU->cpu_id; in clock_tick_schedule()553 if ((cp == NULL) || (cp == CPU) || (cp->cpu_id == clock_cpu_id)) in clock_tick_execute_common()560 if ((cp == NULL) || (cp == CPU) || (cp->cpu_id == clock_cpu_id)) in clock_tick_execute_common()