666 	u32 base3;  in set_segment_selector()  local
669 	ctxt->ops->get_segment(ctxt, &dummy, &desc, &base3, seg);  in set_segment_selector()
670 	ctxt->ops->set_segment(ctxt, selector, &desc, base3, seg);  in set_segment_selector()
1535 	u32 base3 = 0;  in get_descriptor_table_ptr()  local
1542 		if (!ops->get_segment(ctxt, &sel, &desc, &base3,  in get_descriptor_table_ptr()
1547 		dt->address = get_desc_base(&desc) | ((u64)base3 << 32);  in get_descriptor_table_ptr()
1621 	u32 base3 = 0;  in __load_segment_descriptor()  local
1766 		ret = linear_read_system(ctxt, desc_addr+8, &base3, sizeof(base3));  in __load_segment_descriptor()
1770 				((u64)base3 << 32), ctxt))  in __load_segment_descriptor()
1774 	ctxt->ops->set_segment(ctxt, selector, &seg_desc, base3, seg);  in __load_segment_descriptor()
2402 	u32 base3;  in rsm_load_seg_64()  local
2410 	base3 =                   GET_SMSTATE(u32, smstate, offset + 12);  in rsm_load_seg_64()
2412 	ctxt->ops->set_segment(ctxt, selector, &desc, base3, n);  in rsm_load_seg_64()
2524 	u32 base3;  in rsm_load_state_64()  local
2550 	base3 =                     GET_SMSTATE(u32, smstate, 0x7e9c);  in rsm_load_state_64()
2551 	ctxt->ops->set_segment(ctxt, selector, &desc, base3, VCPU_SREG_TR);  in rsm_load_state_64()
2561 	base3 =                     GET_SMSTATE(u32, smstate, 0x7e7c);  in rsm_load_state_64()
2562 	ctxt->ops->set_segment(ctxt, selector, &desc, base3, VCPU_SREG_LDTR);  in rsm_load_state_64()
2946 	u32 base3;  in emulator_io_port_access_allowed()  local
2960 	ops->get_segment(ctxt, &tr, &tr_seg, &base3, VCPU_SREG_TR);  in emulator_io_port_access_allowed()
2967 	base |= ((u64)base3) << 32;  in emulator_io_port_access_allowed()