8 uint64_t tvalue = raw_read_cntpct_el0();
9 uint32_t tfreq = raw_read_cntfrq_el0();
10 long usecs = (tvalue * 1000000) / tfreq;
void timer_monotonic_get(struct mono_time *mt)
static void mono_time_set_usecs(struct mono_time *mt, long us)
unsigned long long uint64_t