__vgic_v3_write_ap1rn  399 virt/kvm/arm/hyp/vgic-v3-sr.c 		__vgic_v3_write_ap1rn(cpu_if->vgic_ap1r[3], 3);
__vgic_v3_write_ap1rn  400 virt/kvm/arm/hyp/vgic-v3-sr.c 		__vgic_v3_write_ap1rn(cpu_if->vgic_ap1r[2], 2);
__vgic_v3_write_ap1rn  403 virt/kvm/arm/hyp/vgic-v3-sr.c 		__vgic_v3_write_ap1rn(cpu_if->vgic_ap1r[1], 1);
__vgic_v3_write_ap1rn  406 virt/kvm/arm/hyp/vgic-v3-sr.c 		__vgic_v3_write_ap1rn(cpu_if->vgic_ap1r[0], 0);
__vgic_v3_write_ap1rn  601 virt/kvm/arm/hyp/vgic-v3-sr.c 		__vgic_v3_write_ap1rn(val | BIT(ap % 32), apr);
__vgic_v3_write_ap1rn  632 virt/kvm/arm/hyp/vgic-v3-sr.c 			__vgic_v3_write_ap1rn(ap1, i);
__vgic_v3_write_ap1rn  862 virt/kvm/arm/hyp/vgic-v3-sr.c 		__vgic_v3_write_ap1rn(val, n);