TIMER_CNTR2
bus_space_write_1(sc->sc_iot, sc->sc_pit1_ioh, TIMER_CNTR2,
ioports_map[TIMER_BASE + TIMER_CNTR2] = vcpu_exit_i8253;