get_segment_selector
ctxt->src.val = get_segment_selector(ctxt, seg);
ctxt->src.val = get_segment_selector(ctxt, VCPU_SREG_CS);
tss->es = get_segment_selector(ctxt, VCPU_SREG_ES);
tss->cs = get_segment_selector(ctxt, VCPU_SREG_CS);
tss->ss = get_segment_selector(ctxt, VCPU_SREG_SS);
tss->ds = get_segment_selector(ctxt, VCPU_SREG_DS);
tss->ldt = get_segment_selector(ctxt, VCPU_SREG_LDTR);
tss->es = get_segment_selector(ctxt, VCPU_SREG_ES);
tss->cs = get_segment_selector(ctxt, VCPU_SREG_CS);
tss->ss = get_segment_selector(ctxt, VCPU_SREG_SS);
tss->ds = get_segment_selector(ctxt, VCPU_SREG_DS);
tss->fs = get_segment_selector(ctxt, VCPU_SREG_FS);
tss->gs = get_segment_selector(ctxt, VCPU_SREG_GS);
u16 old_tss_sel = get_segment_selector(ctxt, VCPU_SREG_TR);
ctxt->dst.val = get_segment_selector(ctxt, segment);
sel = get_segment_selector(regs, seg_reg_idx);
sel = get_segment_selector(regs, seg_reg_idx);
sel = get_segment_selector(regs, INAT_SEG_REG_CS);