BBT
/
arch
/
x86_64
/
PBNDKB
PBNDKB
PBNDKB
PBNDKB
x86_64
2 encoding forms.
X86_PBNDKB_X86_LEGACY_0F_01_0
(no syntax)
X86_LEGACY
01
TSE
XED_PBNDKB
REG0=XED_REG_RAX:w:SUPP:q:u64 REG1=XED_REG_RBX:r:SUPP:q:u64 REG2=XED_REG_RCX:r:SUPP:q:u64
X86_LEGACY
01
/0
PBNDKB