Symbol: vtimer_cleanup
sys/arm64/vmm/io/vtimer.h
74
void vtimer_cleanup(void);
sys/arm64/vmm/vmm_arm64.c
465
vtimer_cleanup();