@@ -5667,10 +5667,16 @@
                         hwcap_flags |= AV_386_MMX;
                 if (*edx & CPUID_INTC_EDX_TSC)
                         hwcap_flags |= AV_386_TSC;
         }
 
+        /* Detect systems with a potential CPUID limit  */
+        if (cpi->cpi_vendor == X86_VENDOR_Intel && cpi->cpi_maxeax < 4) {
+                cmn_err(CE_NOTE, "CPUID limit detected, "
+                    "see the CPUID(7D) man page for details\n");
+        }
+
         /*
          * Check a few miscellaneous features.
          */
         if (cpi->cpi_xmaxeax < 0x80000001)
                 goto resolve_done;