| /branches/arm/kernel/arch/arm32/src/interrupt.c |
|---|
| 56,6 → 56,7 |
| return ipl; |
| } |
| /** Enable interrupts. |
| * |
| * @return Old interrupt priority level. |
| 69,6 → 70,7 |
| return ipl; |
| } |
| /** Restore interrupt priority level. |
| * |
| * @param ipl Saved interrupt priority level. |
| 81,6 → 83,7 |
| ); |
| } |
| /** Read interrupt priority level. |
| * |
| * @return Current interrupt priority level. |
| 90,6 → 93,7 |
| return current_status_reg_read(); |
| } |
| /** Initialize basic tables for exception dispatching |
| * and starts the timer. |
| */ |