__vgic_v3_read_vmcr   71 arch/arm/include/asm/kvm_asm.h extern u64 __vgic_v3_read_vmcr(void);
__vgic_v3_read_vmcr   72 arch/arm64/include/asm/kvm_asm.h extern u64 __vgic_v3_read_vmcr(void);
__vgic_v3_read_vmcr 1121 virt/kvm/arm/hyp/vgic-v3-sr.c 	vmcr = __vgic_v3_read_vmcr();
__vgic_v3_read_vmcr  674 virt/kvm/arm/vgic/vgic-v3.c 		cpu_if->vgic_vmcr = kvm_call_hyp_ret(__vgic_v3_read_vmcr);