Rev 2131 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 2131 | Rev 2179 | ||
|---|---|---|---|
| Line 62... | Line 62... | ||
| 62 | extern ipl_t interrupts_disable(void); |
62 | extern ipl_t interrupts_disable(void); |
| 63 | extern ipl_t interrupts_enable(void); |
63 | extern ipl_t interrupts_enable(void); |
| 64 | extern void interrupts_restore(ipl_t ipl); |
64 | extern void interrupts_restore(ipl_t ipl); |
| 65 | extern ipl_t interrupts_read(void); |
65 | extern ipl_t interrupts_read(void); |
| 66 | 66 | ||
| - | 67 | ||
| 67 | #endif |
68 | #endif |
| 68 | 69 | ||
| 69 | /** @} |
70 | /** @} |
| 70 | */ |
71 | */ |