#ifndef TIMER_H
#define TIMER_H

#include "hos_types.h"

void timer_init(u32_t freq);

#endif