Symbol: vtimer_cpuinit
sys/arm64/vmm/io/vtimer.c
211
vtimer_cpuinit(struct hypctx *hypctx)
sys/riscv/vmm/vmm_vtimer.c
68
vtimer_cpuinit(struct hypctx *hypctx)