BBT
/
arch
/
x86_64
/
SEAMRET
SEAMRET
LEGACY
TDX
x86_64
2 encoding forms.
X86_SEAMRET_X86_LEGACY_0F_01_0
(no syntax)
X86_LEGACY
01
SEAM
XED_SEAMRET
(no syntax)
X86_LEGACY
01
/1
TDX