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)) {