#ifndef CRASHPOWEROS_TIMER_H
#define CRASHPOWEROS_TIMER_H

#include <stdint.h>

void init_timer(uint32_t timer);

void clock_sleep(uint32_t timer);

#endif //CRASHPOWEROS_TIMER_H