machine_irq_exception 101 kernel/arch/arm32/src/machine_func.c void machine_irq_exception(unsigned int exc_no, istate_t *istate) machine_irq_exception 68 kernel/arch/arm64/src/machine_func.c void machine_irq_exception(unsigned int exc_no, istate_t *istate)HelenOS homepage, sources at GitHub