vmcs_check64      122 arch/x86/kvm/vmx/ops.h 	vmcs_check64(field);
vmcs_check64      195 arch/x86/kvm/vmx/ops.h 	vmcs_check64(field);