VCPU_REGS_CS
vrunp.vrp_exit->vrs.vrs_sregs[VCPU_REGS_CS].vsi_base,
vrunp.vrp_exit->vrs.vrs_sregs[VCPU_REGS_CS].vsi_base);
.vrs_sregs[VCPU_REGS_CS] = { 0xF000, 0xFFFF, 0x0093, 0xFFFF0000},
sregs[VCPU_REGS_CS].vsi_sel = vmcb->v_cs.vs_sel;
sregs[VCPU_REGS_CS].vsi_limit = vmcb->v_cs.vs_lim;
sregs[VCPU_REGS_CS].vsi_ar = (attr & 0xff) | ((attr << 4) &
sregs[VCPU_REGS_CS].vsi_base = vmcb->v_cs.vs_base;
vmcb->v_cs.vs_sel = sregs[VCPU_REGS_CS].vsi_sel;
vmcb->v_cs.vs_lim = sregs[VCPU_REGS_CS].vsi_limit;
attr = sregs[VCPU_REGS_CS].vsi_ar;
vmcb->v_cs.vs_base = sregs[VCPU_REGS_CS].vsi_base;
case VCPU_REGS_CS: return "CS";
cs = vrs->vrs_sregs[VCPU_REGS_CS].vsi_ar;
.vrs_sregs[VCPU_REGS_CS] = { 0xF000, 0xFFFF, 0x809F, 0xF0000},
.vrs_sregs[VCPU_REGS_CS] = { 0x8, 0xFFFFFFFF, 0xC09F, 0x0},