610 	u32 base3;  in set_segment_selector()  local
613 	ctxt->ops->get_segment(ctxt, &dummy, &desc, &base3, seg);  in set_segment_selector()
614 	ctxt->ops->set_segment(ctxt, selector, &desc, base3, seg);  in set_segment_selector()
1460 	u32 base3 = 0;  in get_descriptor_table_ptr()  local
1467 		if (!ops->get_segment(ctxt, &sel, &desc, &base3,  in get_descriptor_table_ptr()
1472 		dt->address = get_desc_base(&desc) | ((u64)base3 << 32);  in get_descriptor_table_ptr()
1549 	u32 base3 = 0;  in __load_segment_descriptor()  local
1680 		ret = ctxt->ops->read_std(ctxt, desc_addr+8, &base3,  in __load_segment_descriptor()
1681 				sizeof(base3), &ctxt->exception);  in __load_segment_descriptor()
1685 					     ((u64)base3 << 32)))  in __load_segment_descriptor()
1689 	ctxt->ops->set_segment(ctxt, selector, &seg_desc, base3, seg);  in __load_segment_descriptor()
2319 	u32 base3;  in rsm_load_seg_64()  local
2327 	base3 =                   GET_SMSTATE(u32, smbase, offset + 12);  in rsm_load_seg_64()
2329 	ctxt->ops->set_segment(ctxt, selector, &desc, base3, n);  in rsm_load_seg_64()
2419 	u32 base3;  in rsm_load_state_64()  local
2445 	base3 =                     GET_SMSTATE(u32, smbase, 0x7e9c);  in rsm_load_state_64()
2446 	ctxt->ops->set_segment(ctxt, selector, &desc, base3, VCPU_SREG_TR);  in rsm_load_state_64()
2456 	base3 =                     GET_SMSTATE(u32, smbase, 0x7e7c);  in rsm_load_state_64()
2457 	ctxt->ops->set_segment(ctxt, selector, &desc, base3, VCPU_SREG_LDTR);  in rsm_load_state_64()
2807 	u32 base3;  in emulator_io_port_access_allowed()  local
2813 	ops->get_segment(ctxt, &tr, &tr_seg, &base3, VCPU_SREG_TR);  in emulator_io_port_access_allowed()
2820 	base |= ((u64)base3) << 32;  in emulator_io_port_access_allowed()