cpu_cache_ecx    1596 arch/i386/i386/machdep.c 		    cpu_cache_ecx, cpu_cache_edx);
cpu_cache_ecx     314 arch/i386/include/cpu.h extern int cpu_cache_ecx;