Lines Matching defs:base3
641 u32 base3;
644 ctxt->ops->get_segment(ctxt, &dummy, &desc, &base3, seg);
645 ctxt->ops->set_segment(ctxt, selector, &desc, base3, seg);
785 u32 base3;
805 if (!ctxt->ops->get_segment(ctxt, &selector, &cs, &base3, VCPU_SREG_CS))
1478 u32 base3 = 0;
1485 if (!ops->get_segment(ctxt, &sel, &desc, &base3,
1490 dt->address = get_desc_base(&desc) | ((u64)base3 << 32);
1564 u32 base3 = 0;
1731 ret = linear_read_system(ctxt, desc_addr+8, &base3, sizeof(base3));
1735 ((u64)base3 << 32), ctxt))
1748 ctxt->ops->set_segment(ctxt, selector, &seg_desc, base3, seg);
2589 u32 base3;
2603 ops->get_segment(ctxt, &tr, &tr_seg, &base3, VCPU_SREG_TR);
2610 base |= ((u64)base3) << 32;