// MIT License, Copyright (c) 2020 Marvin Borner #ifndef TIMER_H #define TIMER_H #include #include 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