Symbol: vtimer_cpucleanup
sys/arm64/vmm/io/vtimer.h
72
void vtimer_cpucleanup(struct hypctx *);
sys/arm64/vmm/vmm_arm64.c
1216
vtimer_cpucleanup(hypctx);