| 138,7 → 138,8 |
|---|
| * |
| * @return Old interrupt priority level. |
| */ |
| static inline ipl_t interrupts_enable(void) { |
| static inline ipl_t interrupts_enable(void) |
| { |
| ipl_t v; |
| __asm__ volatile ( |
| "pushf\n\t" |
| 156,7 → 157,8 |
|---|
| * |
| * @return Old interrupt priority level. |
| */ |
| static inline ipl_t interrupts_disable(void) { |
| static inline ipl_t interrupts_disable(void) |
| { |
| ipl_t v; |
| __asm__ volatile ( |
| "pushf\n\t" |
| 173,7 → 175,8 |
|---|
| * |
| * @param ipl Saved interrupt priority level. |
| */ |
| static inline void interrupts_restore(ipl_t ipl) { |
| static inline void interrupts_restore(ipl_t ipl) |
| { |
| __asm__ volatile ( |
| "pushl %0\n\t" |
| "popf\n" |
| 185,7 → 188,8 |
|---|
| * |
| * @return EFLAFS. |
| */ |
| static inline ipl_t interrupts_read(void) { |
| static inline ipl_t interrupts_read(void) |
| { |
| ipl_t v; |
| __asm__ volatile ( |
| "pushf\n\t" |