HPET_INFINITY
ASSERT(hpet_proxy_users[CPU->cpu_id] == HPET_INFINITY);
(void) hpet_guaranteed_schedule(HPET_INFINITY);
if (hpet_proxy_users[id] != HPET_INFINITY) {
hpet_proxy_users[id] = HPET_INFINITY;
next_proxy_time = HPET_INFINITY;
hpet_proxy_users[id] = HPET_INFINITY;
if (next_proxy_time == HPET_INFINITY) {
hpet_proxy_users[next_proxy_id] = HPET_INFINITY;
*lapic_expire = (hrtime_t)HPET_INFINITY;
*lapic_expire = (hrtime_t)HPET_INFINITY;
*lapic_expire = (hrtime_t)HPET_INFINITY;
*lapic_expire = (hrtime_t)HPET_INFINITY;
*lapic_expire = (hrtime_t)HPET_INFINITY;
*lapic_expire = (hrtime_t)HPET_INFINITY;
hpet_proxy_users[cpu_id] = HPET_INFINITY;
if (expire != HPET_INFINITY)
hpet_proxy_users[id] = HPET_INFINITY;