45#define TIMER_MAX_SOURCES 4
uint8_t irq_virt_t
Virtual IRQ numbers.
static clock_source_t source
Structure to describe the HPET to the sys time subsystem.
uint64_t timer_source_amount(void)
Get the amount of registered timer sources.
void timer_source_unregister(const timer_source_t *source)
Unregister a timer source.
void timer_ack_eoi(interrupt_frame_t *frame)
Acknowledge a timer interrupt and send EOI.
uint64_t timer_source_register(const timer_source_t *source)
Register a timer source.
void timer_set(clock_t now, clock_t deadline)
Schedule a one-shot timer interrupt on the current CPU.
clock_t uptime(void)
System call for retreving the time since boot.
__UINT64_TYPE__ clock_t
A nanosecond time.