Searched refs:next_proxy_id (Results 1 – 1 of 1) sorted by relevance
1244 processorid_t id, next_proxy_id; in hpet_guaranteed_schedule() local1261 next_proxy_id = CPU->cpu_id; in hpet_guaranteed_schedule()1269 next_proxy_id = id; in hpet_guaranteed_schedule()1312 hpet_proxy_users[next_proxy_id] = HPET_INFINITY; in hpet_guaranteed_schedule()1313 if (next_proxy_id != CPU->cpu_id) in hpet_guaranteed_schedule()1314 poke_cpu(next_proxy_id); in hpet_guaranteed_schedule()