//
// Created by cfif on 13.06.23.
#ifndef GONEC_FULL_SYSTICKCOUNTER_H
#define GONEC_FULL_SYSTICKCOUNTER_H
#include "stdint.h"
extern volatile uint64_t __sys_tick_counter;
#endif //GONEC_FULL_SYSTICKCOUNTER_H