Changes in kernel/arch/sparc64/include/drivers/tick.h [b4655da:d46f5cc] 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(int n, istate_t *istate);
+extern void tick_interrupt(unsigned int, istate_t *);
 
 /**