HPET_TIMER0_INTERRUPT
#define HPET_TIMER1_INTERRUPT ((0x20 * 1) + HPET_TIMER0_INTERRUPT)
#define HPET_TIMER2_INTERRUPT ((0x20 * 2) + HPET_TIMER0_INTERRUPT)
sc->sc_ioh, HPET_TIMER0_INTERRUPT);
HPET_TIMER0_INTERRUPT, sc->sc_save.timers[0].interrupt);