HelenOS sources

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,
HelenOS homepage, sources at GitHub