SEAMOPS

LEGACY TDX x86_64

2 encoding forms.

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