Changes to RISC-V supervisor mode
[akaros.git] / kern / arch / riscv / time.c
index 2059017..4b1e1af 100644 (file)
@@ -9,9 +9,9 @@ system_timing_t system_timing = {0};
 
 void
 timer_init(void)
 
 void
 timer_init(void)
-{      
-  mtpcr(PCR_COUNT, 0);
-  mtpcr(PCR_COMPARE, 0);
+{
+       mtpcr(PCR_COUNT, 0);
+       mtpcr(PCR_COMPARE, 0);
        mtpcr(PCR_SR, mfpcr(PCR_SR) | (SR_IM & (1 << (TIMER_IRQ+SR_IM_SHIFT))));
 
        system_timing.tsc_freq = TSC_HZ;
        mtpcr(PCR_SR, mfpcr(PCR_SR) | (SR_IM & (1 << (TIMER_IRQ+SR_IM_SHIFT))));
 
        system_timing.tsc_freq = TSC_HZ;