" \n"\r
" stmdb r0!, {r4-r11, r14} \n" /* Save the core registers. */\r
" str r0, [r2] \n" /* Save the new top of stack into the first member of the TCB. */\r
- " clrex \n" /* Ensure thread safety of atomic operations. */\r
" \n"\r
" stmdb sp!, {r3} \n"\r
" mov r0, %0 \n"\r