Specifications

Intel
®
64 and IA-32 Architectures Software Developer’s Manual Documentation Changes 67
Documentation Changes
FI;
IF software interrupt (* Generated by INT n, INT 3, but not INTO *)
THEN
IF gate descriptor DPL < CPL
THEN #GP((vector_number « 3) + 2 );
(* PE
= 1, DPL < CPL, software interrupt *)
FI;
ELSE (* Generated by INTO *)
#UD;
FI;
IF gate not present
THEN #NP((vector_number « 3) + 2 + EXT);
FI;
IF ((vector_number * 16)[IST]
≠ 0)
NewRSP ← TSS[ISTx]; FI;
GOTO TRAP-OR-INTERRUPT-GATE; (* Trap/interrupt gate *)
END;
...