Symbol: vtime_sync_timer
sys/arm64/vmm/io/vtimer.c
293
vtime_sync_timer(hypctx, &hypctx->vtimer_cpu.virt_timer, cntpct_el0);
sys/arm64/vmm/io/vtimer.c
296
vtime_sync_timer(hypctx, &hypctx->vtimer_cpu.phys_timer,