АСМ там GCC-ёвый, соответственно и встроенный тоже. Например так. (первый попавшийся кусочек)
Код
#define local_irq_enable() \
({ \
register unsigned long temp; \
__asm__ __volatile__( \
" mrs %0, cpsr \n" \
" bic %0, %0, #128 \n" \
" msr cpsr_c, %0 \n" \
: "=r" (temp) \
: \
: "memory"); \
})
Т.е. инфа ищется в стороне GCC.
Вместе с CW до 1.5 включительно, дока по GCC шла.