IDT_PF
case IDT_PF:
if (intr_vec == IDT_PF) {
VERIFY0(vm_inject_exception(vm, vcpuid, IDT_PF, true, errcode, true));