//
// Created by cfif on 13.06.23.
//

#ifndef GONEC_FULL_SYSTICKCOUNTER_H
#define GONEC_FULL_SYSTICKCOUNTER_H

#include "stdint.h"

extern volatile uint32_t __sys_tick_counter;
#endif //GONEC_FULL_SYSTICKCOUNTER_H