unbroke sparc front-end server protocol
[akaros.git] / kern / arch / sparc / timer.c
index 15a02a9..f170dd6 100644 (file)
@@ -36,7 +36,7 @@ timer_init(void)
 
        while(ticks == timer_ticks) ;
 
-       system_timing.tsc_freq = read_tsc() - tsc_ticks;
+       system_timing.tsc_freq = (read_tsc() - tsc_ticks)*INTERRUPT_TIMER_HZ;
 
        cprintf("TSC Frequency: %llu\n", system_timing.tsc_freq);
 }