__vgic_v3_write_ap1rn
__vgic_v3_write_ap1rn(cpu_if->vgic_ap1r[3], 3);
__vgic_v3_write_ap1rn(cpu_if->vgic_ap1r[2], 2);
__vgic_v3_write_ap1rn(cpu_if->vgic_ap1r[1], 1);
__vgic_v3_write_ap1rn(cpu_if->vgic_ap1r[0], 0);
__vgic_v3_write_ap1rn(val | BIT(ap % 32), apr);
__vgic_v3_write_ap1rn(ap1, i);
__vgic_v3_write_ap1rn(val, n);