76#define CLOCK_SIZE CLOCK_CONF_SIZE
84typedef uint32_t clock_time_t;
85#define CLOCK_LT(a, b) ((int32_t)((a) - (b)) < 0)
87typedef uint64_t clock_time_t;
88#define CLOCK_LT(a, b) ((int64_t)((a) - (b)) < 0)
90#error Unsupported clock_time_t size (check CLOCK_CONF_SIZE)
100#ifdef CLOCK_CONF_SECOND
101#define CLOCK_SECOND CLOCK_CONF_SECOND
103#define CLOCK_SECOND (clock_time_t)32
161unsigned short clock_fine(
void);
void clock_set_seconds(unsigned long sec)
Set the value of the platform seconds.
unsigned long clock_seconds(void)
Get the current value of the platform seconds.
void clock_init(void)
Initialize the clock library.
void clock_wait(clock_time_t t)
Wait for a given number of ticks.
void clock_delay(unsigned int delay)
Obsolete delay function but we implement it here since some code still uses it.
void clock_delay_usec(uint16_t dt)
Delay a given number of microseconds.
int clock_fine_max(void)
Deprecated platform-specific routines.
clock_time_t clock_time(void)
Get the current clock time.