Changes in kernel/arch/sparc64/include/drivers/tick.h [d46f5cc:b3f8fb7] 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 
  * @{
  */
@@ -36 +36 @@
 #define KERN_sparc64_TICK_H_
 
-#include <arch/asm.h>
 #include <arch/interrupt.h>
 
-/* mask of the "counter" field of the Tick register */
-#define TICK_COUNTER_MASK  (~(1l << 63))
-
 extern void tick_init(void);
-extern void tick_interrupt(unsigned int, istate_t *);
-
-/**
- * Reads the Tick register counter.
- */
-static inline uint64_t tick_counter_read(void)
-{
-        return TICK_COUNTER_MASK & tick_read();
-}
+extern void tick_interrupt(int n, istate_t *istate);
 
 #endif