BNDSTX

MPX MPX x86_64

2 encoding forms.

X86_BNDSTX_X86_LEGACY_0F_1B_73495
mib, bnd
X86_LEGACY 1B /r MPX
XED_BNDSTX_X86_LEGACY_0F_1B_571651
MEM0:w:bnd32 REG0=BND_R():r MEM0:w:bnd64 REG0=BND_R():r MEM0:w:bnd64 REG0=BND_R():r MEM0:w:bnd64 REG0=BND_R():r
X86_LEGACY 1B 0F 1B 0F 1B 0F 1B /r MPX