-#ifndef TIMER_H
+/*
+ * (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 */
-