HPET_TIMER2_INTERRUPT
sc->sc_ioh, HPET_TIMER2_INTERRUPT);
HPET_TIMER2_INTERRUPT, sc->sc_save.timers[2].interrupt);