1 2 3 4 5 6 7 8 9 10 11 12 13
// MIT License, Copyright (c) 2020 Marvin Borner #ifndef TIMER_H #define TIMER_H #include <def.h> u32 timer_get(void); void timer_wait(u32 ticks); void timer_install(void); void timer_handler(void); // For scheduler #endif
