|
@@ -177,6 +177,15 @@ unsigned long long vmi_get_sched_cycles(void)
|
|
|
return read_available_cycles();
|
|
|
}
|
|
|
|
|
|
+unsigned long vmi_cpu_khz(void)
|
|
|
+{
|
|
|
+ unsigned long long khz;
|
|
|
+
|
|
|
+ khz = vmi_timer_ops.get_cycle_frequency();
|
|
|
+ (void)do_div(khz, 1000);
|
|
|
+ return khz;
|
|
|
+}
|
|
|
+
|
|
|
void __init vmi_time_init(void)
|
|
|
{
|
|
|
unsigned long long cycles_per_sec, cycles_per_msec;
|
|
@@ -206,7 +215,6 @@ void __init vmi_time_init(void)
|
|
|
(void)do_div(cycles_per_alarm, alarm_hz);
|
|
|
cycles_per_msec = cycles_per_sec;
|
|
|
(void)do_div(cycles_per_msec, 1000);
|
|
|
- cpu_khz = cycles_per_msec;
|
|
|
|
|
|
printk(KERN_WARNING "VMI timer cycles/sec = %llu ; cycles/jiffy = %llu ;"
|
|
|
"cycles/alarm = %llu\n", cycles_per_sec, cycles_per_jiffy,
|