Rev 1787 | Rev 1888 | Go to most recent revision | Show entire file | Ignore whitespace | Details | Blame | Last modification | View Log | RSS feed
| Rev 1787 | Rev 1881 | ||
|---|---|---|---|
| Line 64... | Line 64... | ||
| 64 | extern void cpu_halt(void); |
64 | extern void cpu_halt(void); |
| 65 | extern void asm_delay_loop(uint32_t t); |
65 | extern void asm_delay_loop(uint32_t t); |
| 66 | extern void userspace_asm(uintptr_t ustack, uintptr_t uspace_uarg, |
66 | extern void userspace_asm(uintptr_t ustack, uintptr_t uspace_uarg, |
| 67 | uintptr_t entry); |
67 | uintptr_t entry); |
| 68 | 68 | ||
| - | 69 | extern ipl_t interrupts_disable(void); |
|
| - | 70 | extern ipl_t interrupts_enable(void); |
|
| - | 71 | extern void interrupts_restore(ipl_t ipl); |
|
| - | 72 | extern ipl_t interrupts_read(void); |
|
| - | 73 | ||
| 69 | #endif |
74 | #endif |
| 70 | 75 | ||
| 71 | /** @} |
76 | /** @} |
| 72 | */ |
77 | */ |