1 #as: 2 #objdump: -dw 3 #name: TDX insns 4 #source: tdx.s 5 6 .*: +file format .* 7 8 Disassembly of section \.text: 9 10 0+ <_start>: 11 [ ]*[a-f0-9]+: 66 0f 01 cc + tdcall * 12 #pass 13