/branches/arm/kernel/arch/arm32/src/interrupt.c |
---|
64,13 → 64,7 |
{ |
ipl_t ipl = current_status_reg_read(); |
/* |
* Current implementation of interrupt handling is non-nested mode. |
* So we don't enable interrupt if servicing IRQ. |
* ToDo: Re-implement interrupt handling to handle nested interrupts. |
*/ |
if ((ipl & 0x1f) != UNDEFINED_MODE) |
current_status_reg_control_write(ipl & ~STATUS_REG_IRQ_DISABLED_BIT); |
current_status_reg_control_write(ipl & ~STATUS_REG_IRQ_DISABLED_BIT); |
return ipl; |
} |