gicv3_reg_readl
return gicv3_reg_readl(cpu_or_dist, offset) & mask;
u32 tmp = gicv3_reg_readl(cpu_or_dist, offset) & ~mask;
val = gicv3_reg_readl(cpu_or_dist, GICD_IGROUPR + (intid / 32) * 4);