src/arch/arm64/arch_timer.c

   1 /* SPDX-License-Identifier: GPL-2.0-only */
   2
   3 #include <timer.h>
   4 #include <arch/lib_helpers.h>
   5
   6 void timer_monotonic_get(struct mono_time *mt)
   7 {
   8         uint64_t tvalue = raw_read_cntpct_el0();
   9         uint32_t tfreq  = raw_read_cntfrq_el0();
  10         long usecs = (tvalue * 1000000) / tfreq;
  11         mono_time_set_usecs(mt, usecs);
  12 }