IDT_DF
(1ul << (IDT_MC * 2)) | (2ul << (IDT_DF * 2)));
setidt(IDT_DF, &IDTVEC(dblfault), SDT_SYSIGT, SEL_KPL, 1);
[IDT_DF] = T_DOUBLEFLT,
case IDT_DF:
case IDT_DF:
case IDT_DF:
(intr_vec != IDT_DF) &&
if (type1 == VM_INTINFO_HWEXCEPTION && vector1 == IDT_DF) {
*retinfo = IDT_DF;
if (vector == IDT_DF)
setidt(IDT_DF, 0, SDT_SYSTASKGT, SEL_KPL, GSEL(GPANIC_SEL,