| /branches/sparc/kernel/arch/sparc64/include/drivers/tick.h |
|---|
| 35,11 → 35,23 |
| #ifndef KERN_sparc64_TICK_H_ |
| #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 |
| /** @} |