// MIT License, Copyright (c) 2020 Marvin Borner #ifndef TIMER_H #define TIMER_H #include u32 timer_get(); void timer_install(); void timer_handler(); // For scheduler #endif