Symbol: vtimer_remove_irq
sys/arm64/vmm/io/vtimer.c
420
vtimer_remove_irq(hypctx, vcpu);
sys/arm64/vmm/io/vtimer.c
473
vtimer_remove_irq(hypctx, vcpu);
sys/arm64/vmm/io/vtimer.c
525
vtimer_remove_irq(hypctx, vcpu);