#ifndef timer_h__ #define timer_h__ #include "riscv.h" const device_t* timer_dev(); #endif