IDT_NP
setidt(IDT_NP, pti ? &IDTVEC(missing_pti) : &IDTVEC(missing),
case IDT_NP:
case IDT_NP:
setidt(IDT_NP, &IDTVEC(missing), SDT_SYS386IGT, SEL_KPL,
idtvec = IDT_NP;
sel_exception(vcpu, IDT_NP, nt_sel, ext);