mmMME_CMDQ_GLBL_ERR_ADDR_LO
WREG32(mmMME_CMDQ_GLBL_ERR_ADDR_LO, gic_base_lo);
mask |= 1 << ((mmMME_CMDQ_GLBL_ERR_ADDR_LO & 0x7F) >> 2);