/*
 * timer.h
 *
 * Created: 20.02.2019 20:56:07
 *  Author: jens
 */ 


#ifndef TIMER_H_
#define TIMER_H_

void timer_init(uint16_t TIMER_RELOAD);

#endif /* TIMER_H_ */