include/timer.h

   1 /*
   2  * (C) Copyright 2014,2018 Leo C. <erbl259-lmu@yahoo.de>
   3  *
   4  * SPDX-License-Identifier:     GPL-2.0
   5  */
   6
   7 #ifndef TIMER_H
   8 #define TIMER_H
   9
  10 #include "common.h"
  11
  12 void setup_timer(void);
  13
  14 uint32_t get_timer(uint32_t);
  15
  16 #endif /* TIMER_H */