Symbol: vtimer_remove_irq
sys/arm64/vmm/io/vtimer.c
409
vtimer_remove_irq(hypctx, vcpu);
sys/arm64/vmm/io/vtimer.c
460
vtimer_remove_irq(hypctx, vcpu);
sys/arm64/vmm/io/vtimer.c
508
vtimer_remove_irq(hypctx, vcpu);