__vgic_v3_read_ap1rn
cpu_if->vgic_ap1r[3] = __vgic_v3_read_ap1rn(3);
cpu_if->vgic_ap1r[2] = __vgic_v3_read_ap1rn(2);
cpu_if->vgic_ap1r[1] = __vgic_v3_read_ap1rn(1);
cpu_if->vgic_ap1r[0] = __vgic_v3_read_ap1rn(0);
val |= __vgic_v3_read_ap1rn(i);
val = __vgic_v3_read_ap1rn(apr);
ap1 = __vgic_v3_read_ap1rn(i);
val = __vgic_v3_read_ap1rn(n);