IDT_GP
sel_exception(vcpu, IDT_GP, sel, ts->ext);
sel_exception(vcpu, IDT_GP, nt_sel, ext);
vm_inject_fault(vcpu, IDT_GP, 1, 0);
fields[2].vfe_value = VM_INTINFO_VALID | VM_INTINFO_HWEXCP | IDT_GP;
VM_INTINFO_VALID | VM_INTINFO_HWEXCP | IDT_GP);
case IDT_GP:
case IDT_GP:
VERIFY0(vm_inject_exception(vm, vcpuid, IDT_GP, true, 0, true));