/branches/arm/kernel/arch/arm32/src/interrupt.c |
---|
69,7 → 69,7 |
* So we don't enable interrupt if servicing IRQ. |
* ToDo: Re-implement interrupt handling to handle nested interrupts. |
*/ |
if (!((ipl & 0x1b) == 0x1b)) |
if ((ipl & 0x1f) != UNDEFINED_MODE) |
current_status_reg_control_write(ipl & ~STATUS_REG_IRQ_DISABLED_BIT); |
return ipl; |