IDT_MC
(1ul << (IDT_MC * 2)) | (2ul << (IDT_DF * 2)));
setidt(IDT_MC, &IDTVEC(mchk), SDT_SYSIGT, SEL_KPL, 3);
[IDT_MC] = T_MCHK,
case IDT_MC:
case IDT_MC:
case IDT_MC:
svm_enable_intercept(vcpu, VMCB_EXC_INTCPT, BIT(IDT_MC));
exc_bitmap = 1 << IDT_MC;
if (intr_vec == IDT_MC) {
setidt(IDT_MC, &IDTVEC(mchk), SDT_SYS386IGT, SEL_KPL,