676 	u32 base3;  in set_segment_selector()  local
679 	ctxt->ops->get_segment(ctxt, &dummy, &desc, &base3, seg);  in set_segment_selector()
680 	ctxt->ops->set_segment(ctxt, selector, &desc, base3, seg);  in set_segment_selector()
820 	u32 base3;  in emulator_recalc_and_set_mode()  local
840 	if (!ctxt->ops->get_segment(ctxt, &selector, &cs, &base3, VCPU_SREG_CS))  in emulator_recalc_and_set_mode()
1612 	u32 base3 = 0;  in get_descriptor_table_ptr()  local
1619 		if (!ops->get_segment(ctxt, &sel, &desc, &base3,  in get_descriptor_table_ptr()
1624 		dt->address = get_desc_base(&desc) | ((u64)base3 << 32);  in get_descriptor_table_ptr()
1698 	u32 base3 = 0;  in __load_segment_descriptor()  local
1837 		ret = linear_read_system(ctxt, desc_addr+8, &base3, sizeof(base3));  in __load_segment_descriptor()
1841 						 ((u64)base3 << 32), ctxt))  in __load_segment_descriptor()
1854 	ctxt->ops->set_segment(ctxt, selector, &seg_desc, base3, seg);  in __load_segment_descriptor()
2477 	u32 base3;  in rsm_load_seg_64()  local
2485 	base3 =                   GET_SMSTATE(u32, smstate, offset + 12);  in rsm_load_seg_64()
2487 	ctxt->ops->set_segment(ctxt, selector, &desc, base3, n);  in rsm_load_seg_64()
2604 	u32 base3;  in rsm_load_state_64()  local
2637 	base3 =                     GET_SMSTATE(u32, smstate, 0x7e9c);  in rsm_load_state_64()
2638 	ctxt->ops->set_segment(ctxt, selector, &desc, base3, VCPU_SREG_TR);  in rsm_load_state_64()
2648 	base3 =                     GET_SMSTATE(u32, smstate, 0x7e7c);  in rsm_load_state_64()
2649 	ctxt->ops->set_segment(ctxt, selector, &desc, base3, VCPU_SREG_LDTR);  in rsm_load_state_64()
3014 	u32 base3;  in emulator_io_port_access_allowed()  local
3028 	ops->get_segment(ctxt, &tr, &tr_seg, &base3, VCPU_SREG_TR);  in emulator_io_port_access_allowed()
3035 	base |= ((u64)base3) << 32;  in emulator_io_port_access_allowed()