35edb766 L |
1 | /* |
2 | * (C) Copyright 2014 Leo C. <erbl259-lmu@yahoo.de> |
3 | * |
4 | * SPDX-License-Identifier: GPL-2.0+ |
5 | */ |
6 | |
7 | #ifndef TIMER_H |
d684c216 L |
8 | #define TIMER_H |
9 | |
57307890 L |
10 | #include "common.h" |
11 | |
d684c216 L |
12 | uint32_t get_timer(uint32_t); |
13 | |
14 | #endif /* TIMER_H */ |