HelenOS sources
machine_irq_exception 53 kernel/arch/arm32/include/arch/machine_func.h void (*machine_irq_exception)(unsigned int, istate_t *);
machine_irq_exception 88 kernel/arch/arm32/include/arch/machine_func.h extern void machine_irq_exception(unsigned int exc_no, istate_t *istate);
machine_irq_exception 157 kernel/arch/arm32/src/exception.c machine_irq_exception(exc_no, istate);
machine_irq_exception 73 kernel/arch/arm32/src/mach/beagleboardxm/beagleboardxm.c .machine_irq_exception = bbxm_irq_exception,
machine_irq_exception 79 kernel/arch/arm32/src/mach/beaglebone/beaglebone.c .machine_irq_exception = bbone_irq_exception,
machine_irq_exception 103 kernel/arch/arm32/src/machine_func.c (machine_ops->machine_irq_exception)(exc_no, istate);
machine_irq_exception 46 kernel/arch/arm64/include/arch/machine_func.h void (*machine_irq_exception)(unsigned int, istate_t *);
machine_irq_exception 57 kernel/arch/arm64/include/arch/machine_func.h void machine_irq_exception(unsigned int, istate_t *);
machine_irq_exception 108 kernel/arch/arm64/src/exception.c machine_irq_exception(exc_no, istate);
machine_irq_exception 181 kernel/arch/arm64/src/exception.c machine_irq_exception(exc_no, istate);
machine_irq_exception 70 kernel/arch/arm64/src/machine_func.c machine_ops->machine_irq_exception(exc_no, istate);
HelenOS homepage, sources at GitHub