--- common/cpu.c.1	2007-11-18 01:25:06.000000000 -0700
+++ common/cpu.c	2007-11-19 14:54:54.000000000 -0700
@@ -71,6 +71,9 @@
         cpu |= X264_CPU_SSSE3;
 #endif
 
+    printf("vendor: %08x %08x %08x %s \n", vendor[0], vendor[1], vendor[2], (char*)vendor);
+    printf("cpuid(1): %08x %08x %08x %08x \n", eax, ebx, ecx, edx);
+
     x264_cpu_cpuid( 0x80000000, &eax, &ebx, &ecx, &edx );
     max_extended_cap = eax;
 
@@ -122,6 +125,7 @@
     if( cache == 64 )
         cpu |= X264_CPU_CACHELINE_64;
 
+    printf("flags: %08x \n", cpu);
     return cpu;
 }