#ifndef __TIMER_H #define __TIMER_H #include "types.h" uint32_t timer_get_tics(); void timer_delay(uint32_t how_long); #endif