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