Changes in kernel/arch/sparc64/include/drivers/tick.h [d46f5cc:b4655da] in mainline

File:

• kernel/arch/sparc64/include/drivers/tick.h (modified) (2 diffs)

kernel/arch/sparc64/include/drivers/tick.h

@@ -27 +27 @@
  */
 
-/** @addtogroup sparc64
+/** @addtogroup sparc64 
  * @{
  */
@@ -40 +40 @@
 
 /* mask of the "counter" field of the Tick register */
-#define TICK_COUNTER_MASK  (~(1l << 63))
+#define TICK_COUNTER_MASK       (~(1l << 63))
 
 extern void tick_init(void);
-extern void tick_interrupt(unsigned int, istate_t *);
+extern void tick_interrupt(int n, istate_t *istate);
 
 /**