cstate_timer
hpet_timer_set_up(&hpet_info, hpet_info.cstate_timer.timer,
hpet_info.cstate_timer.intr);
hpet_enable_timer(&hpet_info, hpet_info.cstate_timer.timer);
hpet_enable_timer(&hpet_info, hpet_info.cstate_timer.timer);
hpet_disable_timer(&hpet_info, hpet_info.cstate_timer.timer);
timer_mask = HPET_INTR_STATUS_MASK(hpet_info.cstate_timer.timer);
int proxy_timer = hpet_info.cstate_timer.timer;
hpet_disable_timer(&hpet_info, hpet_info.cstate_timer.timer);
hpet_info.cstate_timer.intr) != AE_OK) {
*hpet_vect = hpet_info.cstate_timer.intr;
hpet_timer_set_up(&hpet_info, hpet_info.cstate_timer.timer,
hpet_info.cstate_timer.intr);
hpet_enable_timer(&hpet_info, hpet_info.cstate_timer.timer);
rem_avintr(NULL, CBE_HIGH_PIL, &hpet_isr, hpet_info.cstate_timer.intr);
hip->cstate_timer.timer = timer;
hip->cstate_timer.intr = intr;
hpet_disable_timer(&hpet_info, hpet_info.cstate_timer.timer);
cstate_timer_t cstate_timer; /* HPET Timer used for LAPIC proxy */