Symbol: vtimer_schedule_irq
sys/arm64/vmm/io/vtimer.c
282
vtimer_schedule_irq(hypctx, false);
sys/arm64/vmm/io/vtimer.c
425
vtimer_schedule_irq(hypctx, true);
sys/arm64/vmm/io/vtimer.c
475
vtimer_schedule_irq(hypctx, true);
sys/arm64/vmm/io/vtimer.c
527
vtimer_schedule_irq(hypctx, true);
sys/arm64/vmm/io/vtimer.c
72
static void vtimer_schedule_irq(struct hypctx *hypctx, bool phys);