650 	u32 base3;  in set_segment_selector()  local
653 	ctxt->ops->get_segment(ctxt, &dummy, &desc, &base3, seg);  in set_segment_selector()
654 	ctxt->ops->set_segment(ctxt, selector, &desc, base3, seg);  in set_segment_selector()
1519 	u32 base3 = 0;  in get_descriptor_table_ptr()  local
1526 		if (!ops->get_segment(ctxt, &sel, &desc, &base3,  in get_descriptor_table_ptr()
1531 		dt->address = get_desc_base(&desc) | ((u64)base3 << 32);  in get_descriptor_table_ptr()
1605 	u32 base3 = 0;  in __load_segment_descriptor()  local
1750 		ret = linear_read_system(ctxt, desc_addr+8, &base3, sizeof(base3));  in __load_segment_descriptor()
1754 				((u64)base3 << 32), ctxt))  in __load_segment_descriptor()
1758 	ctxt->ops->set_segment(ctxt, selector, &seg_desc, base3, seg);  in __load_segment_descriptor()
2389 	u32 base3;  in rsm_load_seg_64()  local
2397 	base3 =                   GET_SMSTATE(u32, smbase, offset + 12);  in rsm_load_seg_64()
2399 	ctxt->ops->set_segment(ctxt, selector, &desc, base3, n);  in rsm_load_seg_64()
2507 	u32 base3;  in rsm_load_state_64()  local
2533 	base3 =                     GET_SMSTATE(u32, smbase, 0x7e9c);  in rsm_load_state_64()
2534 	ctxt->ops->set_segment(ctxt, selector, &desc, base3, VCPU_SREG_TR);  in rsm_load_state_64()
2544 	base3 =                     GET_SMSTATE(u32, smbase, 0x7e7c);  in rsm_load_state_64()
2545 	ctxt->ops->set_segment(ctxt, selector, &desc, base3, VCPU_SREG_LDTR);  in rsm_load_state_64()
2908 	u32 base3;  in emulator_io_port_access_allowed()  local
2922 	ops->get_segment(ctxt, &tr, &tr_seg, &base3, VCPU_SREG_TR);  in emulator_io_port_access_allowed()
2929 	base |= ((u64)base3) << 32;  in emulator_io_port_access_allowed()