ghz              1729 arch/i386/i386/machdep.c 			int ghz, fr;
ghz              1731 arch/i386/i386/machdep.c 			ghz = (cpuspeed + 9) / 1000;
ghz              1735 arch/i386/i386/machdep.c 					printf(" %d.%02d GHz", ghz, fr);
ghz              1737 arch/i386/i386/machdep.c 					printf(" %d GHz", ghz);