VMCS_FIELD_WIDTH_U64 81 arch/x86/kvm/vmx/nested.c if (vmcs_field_width(field) == VMCS_FIELD_WIDTH_U64 && VMCS_FIELD_WIDTH_U64 102 arch/x86/kvm/vmx/nested.c if (vmcs_field_width(field) == VMCS_FIELD_WIDTH_U64 && VMCS_FIELD_WIDTH_U64 410 arch/x86/kvm/vmx/vmcs12.h case VMCS_FIELD_WIDTH_U64: VMCS_FIELD_WIDTH_U64 430 arch/x86/kvm/vmx/vmcs12.h case VMCS_FIELD_WIDTH_U64: