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