| 140 | } |
| 141 | |
| 142 | static __inline uint32_t |
| 143 | restore_interrupts(uint32_t old_cpsr) |
| 144 | { |
| 145 | |
| 146 | return (__set_cpsr(__ARM_INTR_BITS, old_cpsr & __ARM_INTR_BITS)); |
| 147 | } |
| 148 | |
| 149 | static __inline register_t |
| 150 | intr_disable(void) |
no test coverage detected