Symbol: vtimer_vmcleanup
sys/arm64/vmm/io/vtimer.h
73
void vtimer_vmcleanup(struct hyp *);
sys/arm64/vmm/vmm_arm64.c
1230
vtimer_vmcleanup(hyp);