Symbol: vtimer_sync_hwstate
sys/arm64/vmm/io/vtimer.h
75
void vtimer_sync_hwstate(struct hypctx *hypctx);
sys/arm64/vmm/vmm_arm64.c
1163
vtimer_sync_hwstate(hypctx);