enable_interrupts
enable_interrupts(I32_bit);
oldirqstate = enable_interrupts(I32_bit);
(void)enable_interrupts(I32_bit);
enable_interrupts(I32_bit);
oldirqstate = enable_interrupts(I32_bit);
oldirqstate = enable_interrupts(I32_bit);
enable_interrupts(I32_bit);
oldirqstate = enable_interrupts(I32_bit);
enable_interrupts(I32_bit|F32_bit);
static __inline uint32_t enable_interrupts(uint32_t mask) __attribute__((__unused__));
enable_interrupts(psw);
enable_interrupts(psw);
enable_interrupts(I32_bit | F32_bit);
enable_interrupts(I32_bit);
oldirqstate = enable_interrupts(I32_bit);
oldirqstate = enable_interrupts(I32_bit);
enable_interrupts(I32_bit | F32_bit);
enable_interrupts(I32_bit); /* allow nested interrupts */
enable_interrupts(I32_bit); /* allow nested interrupts */
enable_interrupts(I32_bit); /* allow nested interrupts */
enable_interrupts(I32_bit);
enable_interrupts(I32_bit);
oldirqstate = enable_interrupts(I32_bit);
enable_interrupts(I32_bit);
oldirqstate = enable_interrupts(I32_bit);
enable_interrupts(I32_bit);
oldirqstate = enable_interrupts(I32_bit);
enable_interrupts(I32_bit);
enable_interrupts(I32_bit);
oldirqstate = enable_interrupts(I32_bit);
enable_interrupts(I32_bit);
oldirqstate = enable_interrupts(I32_bit);
oldirqstate = enable_interrupts(I32_bit);
enable_interrupts(psw);
enable_interrupts(I32_bit | F32_bit);