Changes in kernel/arch/sparc64/include/drivers/tick.h [b3f8fb7: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
  * @{
  */
@@ -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(int n, istate_t *istate);
+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();
+}
 
 #endif