__vgic_v3_read_ap0rn
cpu_if->vgic_ap0r[3] = __vgic_v3_read_ap0rn(3);
cpu_if->vgic_ap0r[2] = __vgic_v3_read_ap0rn(2);
cpu_if->vgic_ap0r[1] = __vgic_v3_read_ap0rn(1);
cpu_if->vgic_ap0r[0] = __vgic_v3_read_ap0rn(0);
val = __vgic_v3_read_ap0rn(i);
val = __vgic_v3_read_ap0rn(apr);
ap0 = __vgic_v3_read_ap0rn(i);
val = __vgic_v3_read_ap0rn(n);