BNDMK
REG0=BND_R():w AGEN:r REG0=BND_R():w AGEN:r
x86_64 X86_LEGACY MPX MPX source: xed
XED_BNDMK_X86_LEGACY_0F_1B_158917
Encoding
| encoding_kind | X86_LEGACY |
| opcode_bytes | 1B 0F 1B |
| opcode_map | 0F |
| mandatory_prefix | - |
| has_modrm | True |
| requires_mode | long |
| attributes | NO_RIP_REL |
| cpl | 3 |
| raw_encoding | 0x0F 0x1B MPXMODE=1 MOD[mm] MOD!=3 REG[rrr] RM[nnn] MODRM() f3_refining_prefix mode64 0x0F 0x1B MPXMODE=1 MOD[mm] MOD!=3 REG[rrr] RM[nnn] MODRM() f3_refining_prefix not64 eamode32 |
Operands (4)
| # | Role | Kind | Class / Reg | Width | Access | Visibility | Encoded in |
|---|---|---|---|---|---|---|---|
| 0 | REG0 | REG | w | W | EXPLICIT | MODRM_REG | |
| 1 | AGEN | REG | R | EXPLICIT | |||
| 2 | REG1 | REG | w | W | EXPLICIT | MODRM_REG | |
| 3 | AGEN | REG | R | EXPLICIT |
Micro-ops sequence (0)
No micro-ops authored for this encoding. Emulator semantics not yet defined — decoder still works.