Symbol: vtimer
sys/arm64/vmm/io/vtimer.h
40
struct vtimer {
sys/riscv/vmm/vmm_vtimer.h
38
struct vtimer {