mmMME_CMDQ_GLBL_ERR_ADDR_HI
WREG32(mmMME_CMDQ_GLBL_ERR_ADDR_HI, gic_base_hi);
mask |= 1 << ((mmMME_CMDQ_GLBL_ERR_ADDR_HI & 0x7F) >> 2);