GICV5_IWB_WTMR
wtmr = iwb_readl_relaxed(iwb_node, GICV5_IWB_WTMR + (4 * n));
iwb_writel_relaxed(iwb_node, wtmr, GICV5_IWB_WTMR + (4 * n));