View | Details | Raw Unified | Return to bug 213155 | Differences between
and this patch

Collapse All | Expand All

(-)sys/x86/x86/identcpu.c (-1 / +3 lines)
Lines 1395-1401 fix_cpuid(void) Link Here
1395
	 * See BIOS and Kernel Developer’s Guide (BKDG) for AMD Family 15h
1395
	 * See BIOS and Kernel Developer’s Guide (BKDG) for AMD Family 15h
1396
	 * Models 60h-6Fh Processors, Publication # 50742.
1396
	 * Models 60h-6Fh Processors, Publication # 50742.
1397
	 */
1397
	 */
1398
	if (cpu_vendor_id == CPU_VENDOR_AMD && CPUID_TO_FAMILY(cpu_id) == 0x15) {
1398
	if ((cpu_feature2 & CPUID2_HV) == 0 &&
1399
	    cpu_vendor_id == CPU_VENDOR_AMD &&
1400
	    CPUID_TO_FAMILY(cpu_id) == 0x15) {
1399
		msr = rdmsr(MSR_EXTFEATURES);
1401
		msr = rdmsr(MSR_EXTFEATURES);
1400
		if ((msr & ((uint64_t)1 << 54)) == 0) {
1402
		if ((msr & ((uint64_t)1 << 54)) == 0) {
1401
			msr |= (uint64_t)1 << 54;
1403
			msr |= (uint64_t)1 << 54;

Return to bug 213155