/branches/arm/kernel/arch/arm32/src/interrupt.c |
---|
73,13 → 73,10 |
*/ |
void interrupts_restore(ipl_t ipl) |
{ |
/* |
current_status_reg_control_write( (current_status_reg_read() & |
~STATUS_REG_IRQ_DISABLED_BIT) | (ipl & STATUS_REG_IRQ_DISABLED_BIT) ); |
*/ |
current_status_reg_control_write(current_status_reg_read() | |
(ipl & STATUS_REG_IRQ_DISABLED_BIT)); |
current_status_reg_control_write( |
(current_status_reg_read() & ~STATUS_REG_IRQ_DISABLED_BIT) | |
(ipl & STATUS_REG_IRQ_DISABLED_BIT) |
); |
} |
/** Read interrupt priority level. |