/*
 * (C) Copyright 2014,2018 Leo C. <erbl259-lmu@yahoo.de>
 *
 * SPDX-License-Identifier:	GPL-2.0
 */

#ifndef TIMER_H
#define TIMER_H

#include "common.h"

void setup_timer(void);

uint32_t get_timer(uint32_t);

#endif /* TIMER_H */