VCPU_REGS_SS
vrunp.vrp_exit->vrs.vrs_sregs[VCPU_REGS_SS].vsi_base,
.vrs_sregs[VCPU_REGS_SS] = { 0x0, 0xFFFF, 0x0093, 0x0},
sregs[VCPU_REGS_SS].vsi_sel = vmcb->v_ss.vs_sel;
sregs[VCPU_REGS_SS].vsi_limit = vmcb->v_ss.vs_lim;
sregs[VCPU_REGS_SS].vsi_ar = (attr & 0xff) | ((attr << 4) &
sregs[VCPU_REGS_SS].vsi_base = vmcb->v_ss.vs_base;
vmcb->v_ss.vs_sel = sregs[VCPU_REGS_SS].vsi_sel;
vmcb->v_ss.vs_lim = sregs[VCPU_REGS_SS].vsi_limit;
attr = sregs[VCPU_REGS_SS].vsi_ar;
vmcb->v_ss.vs_base = sregs[VCPU_REGS_SS].vsi_base;
case VCPU_REGS_SS: return "GS";
.vrs_sregs[VCPU_REGS_SS] = { 0x0, 0xFFFF, 0x8093, 0x0},
.vrs_sregs[VCPU_REGS_SS] = { 0x10, 0xFFFFFFFF, 0xC093, 0x0},