| 126 | } |
| 127 | |
| 128 | static __inline uint32_t |
| 129 | disable_interrupts(uint32_t mask) |
| 130 | { |
| 131 | |
| 132 | return (__set_cpsr(mask & __ARM_INTR_BITS, mask & __ARM_INTR_BITS)); |
| 133 | } |
| 134 | |
| 135 | static __inline uint32_t |
| 136 | enable_interrupts(uint32_t mask) |
no test coverage detected