HPET_TIMER_FSB_VAL
if (offset == HPET_TIMER_FSB_VAL(i) ||
if (offset == HPET_TIMER_FSB_VAL(i) ||
HPET_TIMER_FSB_VAL(i), data);
HPET_TIMER_FSB_VAL(i), data);
bus_write_4(sc->mem_res, HPET_TIMER_FSB_VAL(i), data);