Symbol: vtimer_timer
sys/arm64/vmm/io/vtimer.c
261
vtime_sync_timer(struct hypctx *hypctx, struct vtimer_timer *timer,
sys/arm64/vmm/io/vtimer.c
316
struct vtimer_timer *timer;
sys/arm64/vmm/io/vtimer.c
346
struct vtimer_timer *timer;
sys/arm64/vmm/io/vtimer.h
58
struct vtimer_timer phys_timer;
sys/arm64/vmm/io/vtimer.h
59
struct vtimer_timer virt_timer;