#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
