__vgic_v3_write_ap0rn
__vgic_v3_write_ap0rn(cpu_if->vgic_ap0r[3], 3);
__vgic_v3_write_ap0rn(cpu_if->vgic_ap0r[2], 2);
__vgic_v3_write_ap0rn(cpu_if->vgic_ap0r[1], 1);
__vgic_v3_write_ap0rn(cpu_if->vgic_ap0r[0], 0);
__vgic_v3_write_ap0rn(val | BIT(ap % 32), apr);
__vgic_v3_write_ap0rn(ap0, i);
__vgic_v3_write_ap0rn(val, n);