BNDMK

MPX MPX x86_64

2 encoding forms.

X86_BNDMK_X86_LEGACY_0F_1B_988116
bnd, mem
X86_LEGACY 1B /r MPX
XED_BNDMK_X86_LEGACY_0F_1B_158917
REG0=BND_R():w AGEN:r REG0=BND_R():w AGEN:r
X86_LEGACY 1B 0F 1B /r MPX