VMX_BASIC_NO_HW_ERROR_CODE_CC
return vmcs_config.basic & VMX_BASIC_NO_HW_ERROR_CODE_CC;
VMX_BASIC_NO_HW_ERROR_CODE_CC;
msrs->basic |= VMX_BASIC_NO_HW_ERROR_CODE_CC;
return to_vmx(vcpu)->nested.msrs.basic & VMX_BASIC_NO_HW_ERROR_CODE_CC;