1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
// MIT License, Copyright (c) 2020 Marvin Borner #ifndef TIMER_H #define TIMER_H #include <def.h> #include <drivers/interrupts.h> u32 timer_get(void); void timer_wait(u32 ticks); void timer_install(void); void timer_handler(struct regs *r) NONNULL; void scheduler_enable(void); void scheduler_disable(void); #endif
