__vgic_v3_write_vmcr   72 arch/arm/include/asm/kvm_asm.h extern void __vgic_v3_write_vmcr(u32 vmcr);
__vgic_v3_write_vmcr   73 arch/arm64/include/asm/kvm_asm.h extern void __vgic_v3_write_vmcr(u32 vmcr);
__vgic_v3_write_vmcr  781 virt/kvm/arm/hyp/vgic-v3-sr.c 	__vgic_v3_write_vmcr(vmcr);
__vgic_v3_write_vmcr  793 virt/kvm/arm/hyp/vgic-v3-sr.c 	__vgic_v3_write_vmcr(vmcr);
__vgic_v3_write_vmcr  820 virt/kvm/arm/hyp/vgic-v3-sr.c 	__vgic_v3_write_vmcr(vmcr);
__vgic_v3_write_vmcr  840 virt/kvm/arm/hyp/vgic-v3-sr.c 	__vgic_v3_write_vmcr(vmcr);
__vgic_v3_write_vmcr  661 virt/kvm/arm/vgic/vgic-v3.c 		kvm_call_hyp(__vgic_v3_write_vmcr, cpu_if->vgic_vmcr);