Searched refs:seg_selector (Results 1 – 3 of 3) sorted by relevance
2568 UInt seg_selector, UInt virtual_addr ) in x86g_use_seg_selector() argument2581 seg_selector, virtual_addr); in x86g_use_seg_selector()2584 if (seg_selector & ~0xFFFF) in x86g_use_seg_selector()2587 seg_selector &= 0x0000FFFF; in x86g_use_seg_selector()2591 if ((seg_selector & 3) != 3) in x86g_use_seg_selector()2595 tiBit = (seg_selector >> 2) & 1; in x86g_use_seg_selector()2598 seg_selector >>= 3; in x86g_use_seg_selector()2599 vassert(seg_selector >= 0 && seg_selector < 8192); in x86g_use_seg_selector()2609 if (seg_selector >= VEX_GUEST_X86_GDT_NENT) in x86g_use_seg_selector()2613 base = get_segdescr_base (&the_descrs[seg_selector]); in x86g_use_seg_selector()[all …]
130 UInt seg_selector, UInt virtual_addr );
1400 IRTemp ldt_ptr, gdt_ptr, seg_selector, r64; in handleSegOverride() local1416 seg_selector = newTemp(Ity_I32); in handleSegOverride()1421 assign( seg_selector, unop(Iop_16Uto32, getSReg(sreg)) ); in handleSegOverride()1438 mkexpr(seg_selector), virtual) in handleSegOverride()