virt_irq_exception 51 kernel/arch/arm64/src/mach/virt/virt.c static void virt_irq_exception(unsigned int exc_no, istate_t *istate); virt_irq_exception 65 kernel/arch/arm64/src/mach/virt/virt.c virt_irq_exception,