| #as: | |
| #objdump: -dw | |
| #name: x86_64 TDX insns | |
| #source: x86-64-tdx.s | |
| .*: +file format .* | |
| Disassembly of section \.text: | |
| 0+ <_start>: | |
| [ ]*[a-f0-9]+: 66 0f 01 cc + tdcall * | |
| [ ]*[a-f0-9]+: 66 0f 01 cd + seamret * | |
| [ ]*[a-f0-9]+: 66 0f 01 ce + seamops * | |
| [ ]*[a-f0-9]+: 66 0f 01 cf + seamcall * | |
| #pass |