SEAMCALL

LEGACY TDX x86_64

2 encoding forms.

X86_SEAMCALL_X86_LEGACY_0F_01_0
(no syntax)
X86_LEGACY 01 SEAM
XED_SEAMCALL
REG0=XED_REG_RAX:rw:SUPP:q:u64
X86_LEGACY 01 /1 TDX