IDT_SS
idtvec = IDT_SS;
sel_exception(vcpu, IDT_SS, stacksel, 1);
vm_inject_fault(vcpu, IDT_SS, 1, errcode);
case IDT_SS:
case IDT_SS:
VERIFY0(vm_inject_exception(vm, vcpuid, IDT_SS, true, errcode, true));