gicv3_reg_writel
gicv3_reg_writel(cpu_or_dist, offset, tmp);
gicv3_reg_writel(cpu_or_dist, GICD_IGROUPR + (intid / 32) * 4, val);