Symbol: vtimer_cpuinit
sys/arm64/vmm/io/vtimer.h
71
void vtimer_cpuinit(struct hypctx *);
sys/arm64/vmm/vmm_arm64.c
572
vtimer_cpuinit(hypctx);
sys/riscv/vmm/vmm_riscv.c
235
vtimer_cpuinit(hypctx);
sys/riscv/vmm/vmm_vtimer.h
44
void vtimer_cpuinit(struct hypctx *hypctx);