Symbol: vtimer_vminit
sys/arm64/vmm/io/vtimer.h
70
void vtimer_vminit(struct hyp *);
sys/arm64/vmm/vmm_arm64.c
542
vtimer_vminit(hyp);