| .text | |
| .align 0 | |
| label: | |
| # ARMV6K instructions | |
| clrex | |
| ldrexb r3, [r12] | |
| ldrexbne r12, [r3] | |
| ldrexd r3, [r12] | |
| ldrexdne r12, [r3] | |
| ldrexh r3, [r12] | |
| ldrexhne r12, [r3] | |
| nop {128} | |
| nopne {127} | |
| sev | |
| strexb r3, r12, [r7] | |
| strexbne r12, r3, [r8] | |
| strexd r3, r12, [r7] | |
| strexdne r12, r3, [r8] | |
| strexh r3, r12, [r7] | |
| strexhne r12, r3, [r8] | |
| wfe | |
| wfi | |
| yield | |
| # ARMV6Z instructions | |
| smi 0xec31 | |
| smine 0x13ce |