Notes for SDM Vol2.

AND NOT

FORCE_INIT ← RFBM AND NOT FORMAT;
The expression in C language:
FORCE_INIT = RFBM & ( ~FORMAT);

Opcode Column in the Instruction Summary Table (Instructions without VEX Prefix)

  • /digit — A digit between 0 and 7 indicates that the ModR/M byte of the instruction uses only the r/m (register or memory) operand. The reg field contains the digit that provides an extension to the instruction’s opcode.