| .*: file format .* |
| |
| Disassembly of section .text: |
| |
| 0+8000 <_start>: |
| \s*8000:\s+ea000002\s+b\s+8010 <__far_veneer> |
| #... |
| |
| 0+8010 <__far_veneer>: |
| \s*8010:\s+e59fc00c\s+ldr\s+ip, \[pc, #12\]\s+; 8024 <__far_veneer\+0x14> |
| \s*8014:\s+e3ccc13f\s+bic\s+ip, ip, #-1073741809\s+; 0xc000000f |
| \s*8018:\s+e12fff1c\s+bx\s+ip |
| \s*801c:\s+e320f000\s+nop\s+\{0\} |
| \s*8020:\s+e125be70\s+bkpt\s+0x5be0 |
| \s*8024:\s+12340000\s+.word\s+0x12340000 |
| #... |
| |
| 0+8030 <after>: |
| \s*8030:\s+11111111\s+\.word\s+0x11111111 |
| |
| Disassembly of section \.far: |
| |
| 12340000 <far>: |
| 12340000:\s+e12fff1e\s+bx\s+lr |