49,7 → 49,7 |
{ |
ipl_t ipl = current_status_reg_read(); |
|
current_status_reg_control_write(ipl & ~STATUS_REG_IE_ENABLED_BIT); |
current_status_reg_control_write(STATUS_REG_IRQ_DISABLED_BIT | ipl); |
|
return ipl; |
} |
62,7 → 62,7 |
{ |
ipl_t ipl = current_status_reg_read(); |
|
current_status_reg_control_write(ipl | STATUS_REG_IE_ENABLED_BIT); |
current_status_reg_control_write(ipl & ~STATUS_REG_IRQ_DISABLED_BIT); |
|
return ipl; |
} |
74,7 → 74,7 |
void interrupts_restore(ipl_t ipl) |
{ |
current_status_reg_control_write(current_status_reg_read() | |
(ipl & STATUS_REG_IE_ENABLED_BIT)); |
(ipl & STATUS_REG_IRQ_DISABLED_BIT)); |
} |
|
/** Read interrupt priority level. |