/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 |
/** @} |