Symbol: GT_VIRT_IRQ
sys/arm64/vmm/io/vtimer.c
103
GT_VIRT_IRQ, true);
sys/arm64/vmm/io/vtimer.c
234
vtimer_cpu->virt_timer.irqid = GT_VIRT_IRQ;