TM_WORD0
out_be32(xive_tima + TM_QW2_HV_POOL + TM_WORD0, 0xff);
in_be32(xive_tima + TM_QW1_OS + TM_WORD0),