Stefan Lankes 49dde7a522 use get_cpu_frequency instead of the hard-coded frequency number 533		2011-08-29 01:54:59 -07:00
..
x86	use get_cpu_frequency instead of the hard-coded frequency number 533	2011-08-29 01:54:59 -07:00