cpu_device        955 arch/i386/i386/est.c est_init(const char *cpu_device, int vendor)
cpu_device        970 arch/i386/i386/est.c 		printf("%s: EST: unknown system bus clock\n", cpu_device);
cpu_device        998 arch/i386/i386/est.c 		    cpu_device, msr);
cpu_device       1014 arch/i386/i386/est.c 		    cpu_device, msr);
cpu_device       1022 arch/i386/i386/est.c 			    "states\n", cpu_device);
cpu_device       1028 arch/i386/i386/est.c 			    "power states\n", cpu_device);
cpu_device       1041 arch/i386/i386/est.c 	printf("%s: Enhanced SpeedStep %d MHz (%d mV)", cpu_device, mhz, mv);
cpu_device       1567 arch/i386/i386/machdep.c 	char *cpu_device = ci->ci_dev.dv_xname;
cpu_device       1592 arch/i386/i386/machdep.c 		printf("%s: family %x model %x step %x\n", cpu_device, family,
cpu_device       1595 arch/i386/i386/machdep.c 		    cpu_device, cpuid_level, cpu_cache_eax, cpu_cache_ebx,
cpu_device       1721 arch/i386/i386/machdep.c 		printf("%s: %s", cpu_device, cpu_model);
cpu_device       1752 arch/i386/i386/machdep.c 			printf("%s: ", cpu_device);