Home
last modified time | relevance | path

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

/src/sys/riscv/vmm/
H A Dvmm_vtimer.c46 #define VTIMER_DEFAULT_FREQ 1000000 macro
80 freq = VTIMER_DEFAULT_FREQ; in vtimer_cpuinit()