timer.h

   1 /*
   2  * (C) Copyright 20014 - 2017 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 <stdint.h>
  11
  12 void systick_setup(void);
  13 uint32_t get_timer(uint32_t);
  14
  15 #endif /* TIMER_H */