29 #define TICKS_PER_SEC 1000
45 static inline uint32_t
ticks()
48 return (uint32_t)(clock() & 0xFFFFFFFF);
#define TIMER
TIMER base pointer.
static uint32_t ticks()
Nr of ticks since device start up.
This file assigns all device structures to memory mapped structures.