Home
last modified time | relevance | path

Searched refs:vtimer_get_timebase (Results 1 – 1 of 1) sorted by relevance

/src/sys/riscv/vmm/
H A Dvmm_vtimer.c49 vtimer_get_timebase(uint32_t *freq) in vtimer_get_timebase() function
78 error = vtimer_get_timebase(&freq); in vtimer_cpuinit()