/branches/arm/kernel/arch/arm32/src/exception.c |
---|
148,6 → 148,8 |
*/ |
static void irq_exception(int exc_no, istate_t* istate) |
{ |
// TODO: move somewhere to gxemul.c and use machine_irq_exception (or some similar |
// name) to avoid using MACHINE == MACHINE_GXEMUL_TESTARM |
#if MACHINE == MACHINE_GXEMUL_TESTARM |
uint32_t sources = gxemul_irqc_get_sources(); |
int i = 0; |