T_MCE
{ T_MCE, "machine-check" },
case T_MCE:
(void) mdb_tgt_add_fault(t, T_MCE, MDB_TGT_SPEC_INTERNAL,
if (int_no != T_MCE) {
if (int_no == T_MCE)
set_gatesegd(&idt[T_MCE], &xpv_mcetrap, cs, SDT_SYSIGT, TRP_XPL, 0);
vmm_call_trap(T_MCE);
vmm_call_trap(T_MCE);
vmm_call_trap(T_MCE);
{ T_MCE, 0, kdi_trap18, NULL },
case T_MCE:
set_gatesegd(&idt[T_MCE],
KCS_SEL, SDT_SYSIGT, TRP_KPL, idt_vector_to_ist(T_MCE));