HPET_TIMER_FSB_ADDR
offset == HPET_TIMER_FSB_ADDR(i)) {
offset == HPET_TIMER_FSB_ADDR(i)) {
HPET_TIMER_FSB_ADDR(i), addr);
HPET_TIMER_FSB_ADDR(i), addr);
bus_write_4(sc->mem_res, HPET_TIMER_FSB_ADDR(i), addr);