__vgic_v3_read_apxrn  868 virt/kvm/arm/hyp/vgic-v3-sr.c 	__vgic_v3_read_apxrn(vcpu, rt, 0);
__vgic_v3_read_apxrn  874 virt/kvm/arm/hyp/vgic-v3-sr.c 	__vgic_v3_read_apxrn(vcpu, rt, 1);
__vgic_v3_read_apxrn  880 virt/kvm/arm/hyp/vgic-v3-sr.c 	__vgic_v3_read_apxrn(vcpu, rt, 2);
__vgic_v3_read_apxrn  886 virt/kvm/arm/hyp/vgic-v3-sr.c 	__vgic_v3_read_apxrn(vcpu, rt, 3);