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

#ifndef TIMER_H
#define TIMER_H

uint32_t get_timer(uint32_t);

#endif /* TIMER_H */