src/arch/riscv/arch_timer.c

   1 /* SPDX-License-Identifier: GPL-2.0-only */
   2
   3 #include <device/mmio.h>
   4 #include <arch/encoding.h>
   5 #include <console/console.h>
   6 #include <timer.h>
   7 #include <mcall.h>
   8
   9 void timer_monotonic_get(struct mono_time *mt)
  10 {
  11         if (HLS()->time == NULL)
  12                 die("time not set in HLS");
  13         mono_time_set_usecs(mt, (long)read64((void *)(HLS()->time)));
  14 }