__vgic_v3_write_apxrn  892 virt/kvm/arm/hyp/vgic-v3-sr.c 	__vgic_v3_write_apxrn(vcpu, rt, 0);
__vgic_v3_write_apxrn  898 virt/kvm/arm/hyp/vgic-v3-sr.c 	__vgic_v3_write_apxrn(vcpu, rt, 1);
__vgic_v3_write_apxrn  904 virt/kvm/arm/hyp/vgic-v3-sr.c 	__vgic_v3_write_apxrn(vcpu, rt, 2);
__vgic_v3_write_apxrn  910 virt/kvm/arm/hyp/vgic-v3-sr.c 	__vgic_v3_write_apxrn(vcpu, rt, 3);