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.