vmcs_field_width   81 arch/x86/kvm/vmx/nested.c 		if (vmcs_field_width(field) == VMCS_FIELD_WIDTH_U64 &&
vmcs_field_width  102 arch/x86/kvm/vmx/nested.c 		if (vmcs_field_width(field) == VMCS_FIELD_WIDTH_U64 &&
vmcs_field_width  403 arch/x86/kvm/vmx/vmcs12.h 	switch (vmcs_field_width(field)) {
vmcs_field_width  423 arch/x86/kvm/vmx/vmcs12.h 	switch (vmcs_field_width(field)) {