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

File:

• kernel/arch/sparc64/include/drivers/tick.h (modified) (1 diff)

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

@@ -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);
-
-/**
- * Reads the Tick register counter.
- */
-static inline uint64_t tick_counter_read(void)
-{
-        return TICK_COUNTER_MASK & tick_read();
-}
 
 #endif