45 #include PLATFORM_HEADER
47 #include "hal/error.h"
49 #include "dev/stm32w-systick.h"
52 #include "sys/clock.h"
58 #define DEBUG DEBUG_NONE
63 #define RELOAD_VALUE 24000-1
65 static volatile clock_time_t count;
66 static volatile unsigned long current_seconds = 0;
77 if(--second_countdown == 0) {
110 for(j = 50; j > 0; j--) {
125 while(
clock_time() - start < (clock_time_t) i);
131 return current_seconds;