Searched refs:clock_cpu_id (Results 1 – 1 of 1) sorted by relevance
144 processorid_t clock_cpu_id; variable432 if (clock_cpu_id != CPU->cpu_id) in clock_tick_schedule()433 clock_cpu_id = CPU->cpu_id; in clock_tick_schedule()551 if ((cp == NULL) || (cp == CPU) || (cp->cpu_id == clock_cpu_id)) in clock_tick_execute_common()558 if ((cp == NULL) || (cp == CPU) || (cp->cpu_id == clock_cpu_id)) in clock_tick_execute_common()