HPET_TIMER0_CONFIG
#define HPET_TIMER1_CONFIG ((0x20 * 1) + HPET_TIMER0_CONFIG)
#define HPET_TIMER2_CONFIG ((0x20 * 2) + HPET_TIMER0_CONFIG)
sc->sc_ioh, HPET_TIMER0_CONFIG);
HPET_TIMER0_CONFIG, sc->sc_save.timers[0].config);