Changes in kernel/arch/sparc64/src/drivers/tick.c [a35b458:63e27ef] in mainline

File:

• kernel/arch/sparc64/src/drivers/tick.c (modified) (2 diffs)

kernel/arch/sparc64/src/drivers/tick.c

@@ -89 +89 @@
 
         softint.value = softint_read();
-
+        
         /*
          * Make sure we are servicing interrupt_level_14
          */
         assert(n == TT_INTERRUPT_LEVEL_14);
-
+        
         /*
          * Make sure we are servicing TICK_INT.
@@ -106 +106 @@
         clear.tick_int = 1;
         clear_softint_write(clear.value);
-
+        
         /*
          * Reprogram the compare register.