/*
- * (C) Copyright 2017 Leo C. <erbl259-lmu@yahoo.de>
+ * (C) Copyright 20014 - 2017 Leo C. <erbl259-lmu@yahoo.de>
*
* SPDX-License-Identifier: GPL-2.0
*/
#include <libopencm3/stm32/gpio.h>
-/* timer interrupt/overflow counter */
-/* counts up every ms. */
-static volatile
-uint32_t timestamp;
+/*
+ * timer interrupt/overflow counter, counts up every ms.
+ */
+static
+volatile uint32_t timestamp;
void systick_setup(void)
{
/*--------------------------------------------------------------------------*/
/*
- *
* 1000Hz timer interrupt generated by System Timer
*/
void sys_tick_handler(void)
/*--------------------------------------------------------------------------*/
+/*
+ * Return elapsed time in ms since base.
+ */
uint32_t get_timer(uint32_t base)
{
return timestamp - base;