| /branches/arm/kernel/arch/arm32/src/exception.c |
|---|
| 148,6 → 148,7 |
| */ |
| static void irq_exception(int exc_no, istate_t* istate) |
| { |
| #if MACHINE == MACHINE_GXEMUL_TESTARM |
| uint32_t sources = gxemul_irqc_get_sources(); |
| int i = 0; |
| for (; i < GXEMUL_IRQC_MAX_IRQ; i++) { |
| 163,6 → 164,7 |
| } |
| } |
| } |
| #endif |
| /* TODO remove after testing the above code |
| noirq = 0; |
| if (i == CONSOLE_IRQ) { |