16 value0 = value0 | value1<<32;
static void write32(void *addr, uint32_t val)
static uint32_t read32(const void *addr)
static void mono_time_set_usecs(struct mono_time *mt, long us)
__weak void init_timer(void)
void timer_monotonic_get(struct mono_time *mt)
static struct rk3288_timer *const timer7_ptr
static uint64_t timer_raw_value(void)
static const uint32_t clocks_per_usec
unsigned long long uint64_t