/// Type of time expressed in ticks of the hardware high-precision timer
typedef uint8_t hptime_t;
+ #define SIZEOF_HPTIME_T 1
INLINE hptime_t timer_hw_hpread(void)
{
/// Type of time expressed in ticks of the hardware high precision timer
typedef uint16_t hptime_t;
+ #define SIZEOF_HPTIME_T 2
INLINE hptime_t timer_hw_hpread(void)
{
/// Type of time expressed in ticks of the hardware high precision timer
typedef uint8_t hptime_t;
+ #define SIZEOF_HPTIME_T 1
INLINE hptime_t timer_hw_hpread(void)
{
/// Type of time expressed in ticks of the hardware high precision timer
typedef uint16_t hptime_t;
+ #define SIZEOF_HPTIME_T 2
INLINE hptime_t timer_hw_hpread(void)
{