Home
last modified time | relevance | path

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

/freebsd/sys/riscv/vmm/
H A Dvmm_vtimer.c44 #define VTIMER_DEFAULT_FREQ 1000000 macro
78 freq = VTIMER_DEFAULT_FREQ; in vtimer_cpuinit()