TM_WORD2
val = bus_read_4(sc->sc_mem, XIVE_TM_QW2_HV_POOL + TM_WORD2);
bus_write_4(sc->sc_mem, XIVE_TM_QW2_HV_POOL + TM_WORD2,