cpu_cache_ebx    1595 arch/i386/i386/machdep.c 		    cpu_device, cpuid_level, cpu_cache_eax, cpu_cache_ebx,
cpu_cache_ebx     313 arch/i386/include/cpu.h extern int cpu_cache_ebx;