16 return (upper << 32) | lower;
static void write32(void *addr, uint32_t val)
static uint32_t read32(const void *addr)
static struct exynos5_mct *const exynos_mct
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 const uint32_t clocks_per_usec
static uint64_t mct_raw_value(void)
unsigned long long uint64_t