virt_get_irq_count 55 kernel/arch/arm64/src/mach/virt/virt.c size_t virt_get_irq_count(void); virt_get_irq_count 69 kernel/arch/arm64/src/mach/virt/virt.c virt_get_irq_count,