vmcs_check32      114 arch/x86/kvm/vmx/ops.h 	vmcs_check32(field);
vmcs_check32      186 arch/x86/kvm/vmx/ops.h 	vmcs_check32(field);