IDT_DF
case IDT_DF:
(intr_vec != IDT_DF) &&
VM_INTINFO_VECTOR(info1) == IDT_DF) {
IDT_DF;
if (vector == IDT_DF) {