intel_cachetable 1673 arch/i386/i386/machdep.c 		int intel_cachetable[] = { 0, 128, 256, 512, 1024, 2048 };
intel_cachetable 1677 arch/i386/i386/machdep.c 			cachesize = intel_cachetable[(cpu_cache_edx & 0xFF) - 0x40];