IDT_PF
setidt(IDT_PF, pti ? &IDTVEC(page_pti) : &IDTVEC(page), SDT_SYSIGT,
[IDT_PF] = T_PAGEFLT,
case IDT_PF:
(type == TF_FRED_EVINFO2_TYPE_EXC && vec == IDT_PF))))
if (exc != IDT_PF && trap_check_pcb_onfault(td, &frame->tf_idt))
case IDT_PF:
case IDT_PF:
if (intr_vec == IDT_PF) {
case IDT_PF:
vm_inject_fault(vcpu, IDT_PF, 1, error_code);
setidt(IDT_PF, &IDTVEC(page), SDT_SYS386IGT, SEL_KPL,