VMCS_FIELD_WIDTH_U32  143 arch/x86/kvm/vmx/vmcs.h 		return VMCS_FIELD_WIDTH_U32;
VMCS_FIELD_WIDTH_U32  408 arch/x86/kvm/vmx/vmcs12.h 	case VMCS_FIELD_WIDTH_U32:
VMCS_FIELD_WIDTH_U32  427 arch/x86/kvm/vmx/vmcs12.h 	case VMCS_FIELD_WIDTH_U32: