xref: /qemu/target/i386/tcg/seg_helper.c (revision 8053862af969a934dca67da9b38992e48fa1a95d)
1eaa728eeSbellard /*
210774999SBlue Swirl  *  x86 segmentation related helpers:
310774999SBlue Swirl  *  TSS, interrupts, system calls, jumps and call/task gates, descriptors
4eaa728eeSbellard  *
5eaa728eeSbellard  *  Copyright (c) 2003 Fabrice Bellard
6eaa728eeSbellard  *
7eaa728eeSbellard  * This library is free software; you can redistribute it and/or
8eaa728eeSbellard  * modify it under the terms of the GNU Lesser General Public
9eaa728eeSbellard  * License as published by the Free Software Foundation; either
10d9ff33adSChetan Pant  * version 2.1 of the License, or (at your option) any later version.
11eaa728eeSbellard  *
12eaa728eeSbellard  * This library is distributed in the hope that it will be useful,
13eaa728eeSbellard  * but WITHOUT ANY WARRANTY; without even the implied warranty of
14eaa728eeSbellard  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
15eaa728eeSbellard  * Lesser General Public License for more details.
16eaa728eeSbellard  *
17eaa728eeSbellard  * You should have received a copy of the GNU Lesser General Public
188167ee88SBlue Swirl  * License along with this library; if not, see <http://www.gnu.org/licenses/>.
19eaa728eeSbellard  */
2083dae095SPaolo Bonzini 
21b6a0aa05SPeter Maydell #include "qemu/osdep.h"
223e457172SBlue Swirl #include "cpu.h"
231de7afc9SPaolo Bonzini #include "qemu/log.h"
242ef6175aSRichard Henderson #include "exec/helper-proto.h"
2563c91552SPaolo Bonzini #include "exec/exec-all.h"
26f08b6170SPaolo Bonzini #include "exec/cpu_ldst.h"
27508127e2SPaolo Bonzini #include "exec/log.h"
28ed69e831SClaudio Fontana #include "helper-tcg.h"
2930493a03SClaudio Fontana #include "seg_helper.h"
308a201bd4SPaolo Bonzini 
31059368bcSRichard Henderson #ifdef TARGET_X86_64
32059368bcSRichard Henderson #define SET_ESP(val, sp_mask)                                   \
33059368bcSRichard Henderson     do {                                                        \
34059368bcSRichard Henderson         if ((sp_mask) == 0xffff) {                              \
35059368bcSRichard Henderson             env->regs[R_ESP] = (env->regs[R_ESP] & ~0xffff) |   \
36059368bcSRichard Henderson                 ((val) & 0xffff);                               \
37059368bcSRichard Henderson         } else if ((sp_mask) == 0xffffffffLL) {                 \
38059368bcSRichard Henderson             env->regs[R_ESP] = (uint32_t)(val);                 \
39059368bcSRichard Henderson         } else {                                                \
40059368bcSRichard Henderson             env->regs[R_ESP] = (val);                           \
41059368bcSRichard Henderson         }                                                       \
42059368bcSRichard Henderson     } while (0)
43059368bcSRichard Henderson #else
44059368bcSRichard Henderson #define SET_ESP(val, sp_mask)                                   \
45059368bcSRichard Henderson     do {                                                        \
46059368bcSRichard Henderson         env->regs[R_ESP] = (env->regs[R_ESP] & ~(sp_mask)) |    \
47059368bcSRichard Henderson             ((val) & (sp_mask));                                \
48059368bcSRichard Henderson     } while (0)
49059368bcSRichard Henderson #endif
50059368bcSRichard Henderson 
51059368bcSRichard Henderson /* XXX: use mmu_index to have proper DPL support */
52059368bcSRichard Henderson typedef struct StackAccess
53059368bcSRichard Henderson {
54059368bcSRichard Henderson     CPUX86State *env;
55059368bcSRichard Henderson     uintptr_t ra;
56059368bcSRichard Henderson     target_ulong ss_base;
57059368bcSRichard Henderson     target_ulong sp;
58059368bcSRichard Henderson     target_ulong sp_mask;
59*8053862aSPaolo Bonzini     int mmu_index;
60059368bcSRichard Henderson } StackAccess;
61059368bcSRichard Henderson 
62059368bcSRichard Henderson static void pushw(StackAccess *sa, uint16_t val)
63059368bcSRichard Henderson {
64059368bcSRichard Henderson     sa->sp -= 2;
65*8053862aSPaolo Bonzini     cpu_stw_mmuidx_ra(sa->env, sa->ss_base + (sa->sp & sa->sp_mask),
66*8053862aSPaolo Bonzini                       val, sa->mmu_index, sa->ra);
67059368bcSRichard Henderson }
68059368bcSRichard Henderson 
69059368bcSRichard Henderson static void pushl(StackAccess *sa, uint32_t val)
70059368bcSRichard Henderson {
71059368bcSRichard Henderson     sa->sp -= 4;
72*8053862aSPaolo Bonzini     cpu_stl_mmuidx_ra(sa->env, sa->ss_base + (sa->sp & sa->sp_mask),
73*8053862aSPaolo Bonzini                       val, sa->mmu_index, sa->ra);
74059368bcSRichard Henderson }
75059368bcSRichard Henderson 
76059368bcSRichard Henderson static uint16_t popw(StackAccess *sa)
77059368bcSRichard Henderson {
78*8053862aSPaolo Bonzini     uint16_t ret = cpu_lduw_mmuidx_ra(sa->env,
79059368bcSRichard Henderson                                       sa->ss_base + (sa->sp & sa->sp_mask),
80*8053862aSPaolo Bonzini                                       sa->mmu_index, sa->ra);
81059368bcSRichard Henderson     sa->sp += 2;
82059368bcSRichard Henderson     return ret;
83059368bcSRichard Henderson }
84059368bcSRichard Henderson 
85059368bcSRichard Henderson static uint32_t popl(StackAccess *sa)
86059368bcSRichard Henderson {
87*8053862aSPaolo Bonzini     uint32_t ret = cpu_ldl_mmuidx_ra(sa->env,
88059368bcSRichard Henderson                                      sa->ss_base + (sa->sp & sa->sp_mask),
89*8053862aSPaolo Bonzini                                      sa->mmu_index, sa->ra);
90059368bcSRichard Henderson     sa->sp += 4;
91059368bcSRichard Henderson     return ret;
92059368bcSRichard Henderson }
93059368bcSRichard Henderson 
9450fcc7cbSGareth Webb int get_pg_mode(CPUX86State *env)
9550fcc7cbSGareth Webb {
9650fcc7cbSGareth Webb     int pg_mode = 0;
9750fcc7cbSGareth Webb     if (!(env->cr[0] & CR0_PG_MASK)) {
9850fcc7cbSGareth Webb         return 0;
9950fcc7cbSGareth Webb     }
10050fcc7cbSGareth Webb     if (env->cr[0] & CR0_WP_MASK) {
10150fcc7cbSGareth Webb         pg_mode |= PG_MODE_WP;
10250fcc7cbSGareth Webb     }
10350fcc7cbSGareth Webb     if (env->cr[4] & CR4_PAE_MASK) {
10450fcc7cbSGareth Webb         pg_mode |= PG_MODE_PAE;
10550fcc7cbSGareth Webb         if (env->efer & MSR_EFER_NXE) {
10650fcc7cbSGareth Webb             pg_mode |= PG_MODE_NXE;
10750fcc7cbSGareth Webb         }
10850fcc7cbSGareth Webb     }
10950fcc7cbSGareth Webb     if (env->cr[4] & CR4_PSE_MASK) {
11050fcc7cbSGareth Webb         pg_mode |= PG_MODE_PSE;
11150fcc7cbSGareth Webb     }
11250fcc7cbSGareth Webb     if (env->cr[4] & CR4_SMEP_MASK) {
11350fcc7cbSGareth Webb         pg_mode |= PG_MODE_SMEP;
11450fcc7cbSGareth Webb     }
11550fcc7cbSGareth Webb     if (env->hflags & HF_LMA_MASK) {
11650fcc7cbSGareth Webb         pg_mode |= PG_MODE_LMA;
11750fcc7cbSGareth Webb         if (env->cr[4] & CR4_PKE_MASK) {
11850fcc7cbSGareth Webb             pg_mode |= PG_MODE_PKE;
11950fcc7cbSGareth Webb         }
12050fcc7cbSGareth Webb         if (env->cr[4] & CR4_PKS_MASK) {
12150fcc7cbSGareth Webb             pg_mode |= PG_MODE_PKS;
12250fcc7cbSGareth Webb         }
12350fcc7cbSGareth Webb         if (env->cr[4] & CR4_LA57_MASK) {
12450fcc7cbSGareth Webb             pg_mode |= PG_MODE_LA57;
12550fcc7cbSGareth Webb         }
12650fcc7cbSGareth Webb     }
12750fcc7cbSGareth Webb     return pg_mode;
12850fcc7cbSGareth Webb }
12950fcc7cbSGareth Webb 
130eaa728eeSbellard /* return non zero if error */
131100ec099SPavel Dovgalyuk static inline int load_segment_ra(CPUX86State *env, uint32_t *e1_ptr,
132100ec099SPavel Dovgalyuk                                uint32_t *e2_ptr, int selector,
133100ec099SPavel Dovgalyuk                                uintptr_t retaddr)
134eaa728eeSbellard {
135eaa728eeSbellard     SegmentCache *dt;
136eaa728eeSbellard     int index;
137eaa728eeSbellard     target_ulong ptr;
138eaa728eeSbellard 
13920054ef0SBlue Swirl     if (selector & 0x4) {
140eaa728eeSbellard         dt = &env->ldt;
14120054ef0SBlue Swirl     } else {
142eaa728eeSbellard         dt = &env->gdt;
14320054ef0SBlue Swirl     }
144eaa728eeSbellard     index = selector & ~7;
14520054ef0SBlue Swirl     if ((index + 7) > dt->limit) {
146eaa728eeSbellard         return -1;
14720054ef0SBlue Swirl     }
148eaa728eeSbellard     ptr = dt->base + index;
149100ec099SPavel Dovgalyuk     *e1_ptr = cpu_ldl_kernel_ra(env, ptr, retaddr);
150100ec099SPavel Dovgalyuk     *e2_ptr = cpu_ldl_kernel_ra(env, ptr + 4, retaddr);
151eaa728eeSbellard     return 0;
152eaa728eeSbellard }
153eaa728eeSbellard 
154100ec099SPavel Dovgalyuk static inline int load_segment(CPUX86State *env, uint32_t *e1_ptr,
155100ec099SPavel Dovgalyuk                                uint32_t *e2_ptr, int selector)
156100ec099SPavel Dovgalyuk {
157100ec099SPavel Dovgalyuk     return load_segment_ra(env, e1_ptr, e2_ptr, selector, 0);
158100ec099SPavel Dovgalyuk }
159100ec099SPavel Dovgalyuk 
160eaa728eeSbellard static inline unsigned int get_seg_limit(uint32_t e1, uint32_t e2)
161eaa728eeSbellard {
162eaa728eeSbellard     unsigned int limit;
16320054ef0SBlue Swirl 
164eaa728eeSbellard     limit = (e1 & 0xffff) | (e2 & 0x000f0000);
16520054ef0SBlue Swirl     if (e2 & DESC_G_MASK) {
166eaa728eeSbellard         limit = (limit << 12) | 0xfff;
16720054ef0SBlue Swirl     }
168eaa728eeSbellard     return limit;
169eaa728eeSbellard }
170eaa728eeSbellard 
171eaa728eeSbellard static inline uint32_t get_seg_base(uint32_t e1, uint32_t e2)
172eaa728eeSbellard {
17320054ef0SBlue Swirl     return (e1 >> 16) | ((e2 & 0xff) << 16) | (e2 & 0xff000000);
174eaa728eeSbellard }
175eaa728eeSbellard 
17620054ef0SBlue Swirl static inline void load_seg_cache_raw_dt(SegmentCache *sc, uint32_t e1,
17720054ef0SBlue Swirl                                          uint32_t e2)
178eaa728eeSbellard {
179eaa728eeSbellard     sc->base = get_seg_base(e1, e2);
180eaa728eeSbellard     sc->limit = get_seg_limit(e1, e2);
181eaa728eeSbellard     sc->flags = e2;
182eaa728eeSbellard }
183eaa728eeSbellard 
184eaa728eeSbellard /* init the segment cache in vm86 mode. */
1852999a0b2SBlue Swirl static inline void load_seg_vm(CPUX86State *env, int seg, int selector)
186eaa728eeSbellard {
187eaa728eeSbellard     selector &= 0xffff;
188b98dbc90SPaolo Bonzini 
189b98dbc90SPaolo Bonzini     cpu_x86_load_seg_cache(env, seg, selector, (selector << 4), 0xffff,
190b98dbc90SPaolo Bonzini                            DESC_P_MASK | DESC_S_MASK | DESC_W_MASK |
191b98dbc90SPaolo Bonzini                            DESC_A_MASK | (3 << DESC_DPL_SHIFT));
192eaa728eeSbellard }
193eaa728eeSbellard 
1942999a0b2SBlue Swirl static inline void get_ss_esp_from_tss(CPUX86State *env, uint32_t *ss_ptr,
195100ec099SPavel Dovgalyuk                                        uint32_t *esp_ptr, int dpl,
196100ec099SPavel Dovgalyuk                                        uintptr_t retaddr)
197eaa728eeSbellard {
1986aa9e42fSRichard Henderson     X86CPU *cpu = env_archcpu(env);
199eaa728eeSbellard     int type, index, shift;
200eaa728eeSbellard 
201eaa728eeSbellard #if 0
202eaa728eeSbellard     {
203eaa728eeSbellard         int i;
204eaa728eeSbellard         printf("TR: base=%p limit=%x\n", env->tr.base, env->tr.limit);
205eaa728eeSbellard         for (i = 0; i < env->tr.limit; i++) {
206eaa728eeSbellard             printf("%02x ", env->tr.base[i]);
20720054ef0SBlue Swirl             if ((i & 7) == 7) {
20820054ef0SBlue Swirl                 printf("\n");
20920054ef0SBlue Swirl             }
210eaa728eeSbellard         }
211eaa728eeSbellard         printf("\n");
212eaa728eeSbellard     }
213eaa728eeSbellard #endif
214eaa728eeSbellard 
21520054ef0SBlue Swirl     if (!(env->tr.flags & DESC_P_MASK)) {
216a47dddd7SAndreas Färber         cpu_abort(CPU(cpu), "invalid tss");
21720054ef0SBlue Swirl     }
218eaa728eeSbellard     type = (env->tr.flags >> DESC_TYPE_SHIFT) & 0xf;
21920054ef0SBlue Swirl     if ((type & 7) != 1) {
220a47dddd7SAndreas Färber         cpu_abort(CPU(cpu), "invalid tss type");
22120054ef0SBlue Swirl     }
222eaa728eeSbellard     shift = type >> 3;
223eaa728eeSbellard     index = (dpl * 4 + 2) << shift;
22420054ef0SBlue Swirl     if (index + (4 << shift) - 1 > env->tr.limit) {
225100ec099SPavel Dovgalyuk         raise_exception_err_ra(env, EXCP0A_TSS, env->tr.selector & 0xfffc, retaddr);
22620054ef0SBlue Swirl     }
227eaa728eeSbellard     if (shift == 0) {
228100ec099SPavel Dovgalyuk         *esp_ptr = cpu_lduw_kernel_ra(env, env->tr.base + index, retaddr);
229100ec099SPavel Dovgalyuk         *ss_ptr = cpu_lduw_kernel_ra(env, env->tr.base + index + 2, retaddr);
230eaa728eeSbellard     } else {
231100ec099SPavel Dovgalyuk         *esp_ptr = cpu_ldl_kernel_ra(env, env->tr.base + index, retaddr);
232100ec099SPavel Dovgalyuk         *ss_ptr = cpu_lduw_kernel_ra(env, env->tr.base + index + 4, retaddr);
233eaa728eeSbellard     }
234eaa728eeSbellard }
235eaa728eeSbellard 
236c117e5b1SPhilippe Mathieu-Daudé static void tss_load_seg(CPUX86State *env, X86Seg seg_reg, int selector,
237c117e5b1SPhilippe Mathieu-Daudé                          int cpl, uintptr_t retaddr)
238eaa728eeSbellard {
239eaa728eeSbellard     uint32_t e1, e2;
240d3b54918SPaolo Bonzini     int rpl, dpl;
241eaa728eeSbellard 
242eaa728eeSbellard     if ((selector & 0xfffc) != 0) {
243100ec099SPavel Dovgalyuk         if (load_segment_ra(env, &e1, &e2, selector, retaddr) != 0) {
244100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0A_TSS, selector & 0xfffc, retaddr);
24520054ef0SBlue Swirl         }
24620054ef0SBlue Swirl         if (!(e2 & DESC_S_MASK)) {
247100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0A_TSS, selector & 0xfffc, retaddr);
24820054ef0SBlue Swirl         }
249eaa728eeSbellard         rpl = selector & 3;
250eaa728eeSbellard         dpl = (e2 >> DESC_DPL_SHIFT) & 3;
251eaa728eeSbellard         if (seg_reg == R_CS) {
25220054ef0SBlue Swirl             if (!(e2 & DESC_CS_MASK)) {
253100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0A_TSS, selector & 0xfffc, retaddr);
25420054ef0SBlue Swirl             }
25520054ef0SBlue Swirl             if (dpl != rpl) {
256100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0A_TSS, selector & 0xfffc, retaddr);
25720054ef0SBlue Swirl             }
258eaa728eeSbellard         } else if (seg_reg == R_SS) {
259eaa728eeSbellard             /* SS must be writable data */
26020054ef0SBlue Swirl             if ((e2 & DESC_CS_MASK) || !(e2 & DESC_W_MASK)) {
261100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0A_TSS, selector & 0xfffc, retaddr);
26220054ef0SBlue Swirl             }
26320054ef0SBlue Swirl             if (dpl != cpl || dpl != rpl) {
264100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0A_TSS, selector & 0xfffc, retaddr);
26520054ef0SBlue Swirl             }
266eaa728eeSbellard         } else {
267eaa728eeSbellard             /* not readable code */
26820054ef0SBlue Swirl             if ((e2 & DESC_CS_MASK) && !(e2 & DESC_R_MASK)) {
269100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0A_TSS, selector & 0xfffc, retaddr);
27020054ef0SBlue Swirl             }
271eaa728eeSbellard             /* if data or non conforming code, checks the rights */
272eaa728eeSbellard             if (((e2 >> DESC_TYPE_SHIFT) & 0xf) < 12) {
27320054ef0SBlue Swirl                 if (dpl < cpl || dpl < rpl) {
274100ec099SPavel Dovgalyuk                     raise_exception_err_ra(env, EXCP0A_TSS, selector & 0xfffc, retaddr);
275eaa728eeSbellard                 }
276eaa728eeSbellard             }
27720054ef0SBlue Swirl         }
27820054ef0SBlue Swirl         if (!(e2 & DESC_P_MASK)) {
279100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0B_NOSEG, selector & 0xfffc, retaddr);
28020054ef0SBlue Swirl         }
281eaa728eeSbellard         cpu_x86_load_seg_cache(env, seg_reg, selector,
282eaa728eeSbellard                                get_seg_base(e1, e2),
283eaa728eeSbellard                                get_seg_limit(e1, e2),
284eaa728eeSbellard                                e2);
285eaa728eeSbellard     } else {
28620054ef0SBlue Swirl         if (seg_reg == R_SS || seg_reg == R_CS) {
287100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0A_TSS, selector & 0xfffc, retaddr);
288eaa728eeSbellard         }
289eaa728eeSbellard     }
29020054ef0SBlue Swirl }
291eaa728eeSbellard 
292a9089859SPaolo Bonzini static void tss_set_busy(CPUX86State *env, int tss_selector, bool value,
293a9089859SPaolo Bonzini                          uintptr_t retaddr)
294a9089859SPaolo Bonzini {
295c35b2fb1SPaolo Bonzini     target_ulong ptr = env->gdt.base + (tss_selector & ~7);
296a9089859SPaolo Bonzini     uint32_t e2 = cpu_ldl_kernel_ra(env, ptr + 4, retaddr);
297a9089859SPaolo Bonzini 
298a9089859SPaolo Bonzini     if (value) {
299a9089859SPaolo Bonzini         e2 |= DESC_TSS_BUSY_MASK;
300a9089859SPaolo Bonzini     } else {
301a9089859SPaolo Bonzini         e2 &= ~DESC_TSS_BUSY_MASK;
302a9089859SPaolo Bonzini     }
303a9089859SPaolo Bonzini 
304a9089859SPaolo Bonzini     cpu_stl_kernel_ra(env, ptr + 4, e2, retaddr);
305a9089859SPaolo Bonzini }
306a9089859SPaolo Bonzini 
307eaa728eeSbellard #define SWITCH_TSS_JMP  0
308eaa728eeSbellard #define SWITCH_TSS_IRET 1
309eaa728eeSbellard #define SWITCH_TSS_CALL 2
310eaa728eeSbellard 
31149958057SPaolo Bonzini /* return 0 if switching to a 16-bit selector */
31249958057SPaolo Bonzini static int switch_tss_ra(CPUX86State *env, int tss_selector,
313eaa728eeSbellard                          uint32_t e1, uint32_t e2, int source,
314100ec099SPavel Dovgalyuk                          uint32_t next_eip, uintptr_t retaddr)
315eaa728eeSbellard {
316eaa728eeSbellard     int tss_limit, tss_limit_max, type, old_tss_limit_max, old_type, v1, v2, i;
317eaa728eeSbellard     target_ulong tss_base;
318eaa728eeSbellard     uint32_t new_regs[8], new_segs[6];
319eaa728eeSbellard     uint32_t new_eflags, new_eip, new_cr3, new_ldt, new_trap;
320eaa728eeSbellard     uint32_t old_eflags, eflags_mask;
321eaa728eeSbellard     SegmentCache *dt;
322eaa728eeSbellard     int index;
323eaa728eeSbellard     target_ulong ptr;
324eaa728eeSbellard 
325eaa728eeSbellard     type = (e2 >> DESC_TYPE_SHIFT) & 0xf;
32620054ef0SBlue Swirl     LOG_PCALL("switch_tss: sel=0x%04x type=%d src=%d\n", tss_selector, type,
32720054ef0SBlue Swirl               source);
328eaa728eeSbellard 
329eaa728eeSbellard     /* if task gate, we read the TSS segment and we load it */
330eaa728eeSbellard     if (type == 5) {
33120054ef0SBlue Swirl         if (!(e2 & DESC_P_MASK)) {
332100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0B_NOSEG, tss_selector & 0xfffc, retaddr);
33320054ef0SBlue Swirl         }
334eaa728eeSbellard         tss_selector = e1 >> 16;
33520054ef0SBlue Swirl         if (tss_selector & 4) {
336100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0A_TSS, tss_selector & 0xfffc, retaddr);
33720054ef0SBlue Swirl         }
338100ec099SPavel Dovgalyuk         if (load_segment_ra(env, &e1, &e2, tss_selector, retaddr) != 0) {
339100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0D_GPF, tss_selector & 0xfffc, retaddr);
340eaa728eeSbellard         }
34120054ef0SBlue Swirl         if (e2 & DESC_S_MASK) {
342100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0D_GPF, tss_selector & 0xfffc, retaddr);
34320054ef0SBlue Swirl         }
34420054ef0SBlue Swirl         type = (e2 >> DESC_TYPE_SHIFT) & 0xf;
34520054ef0SBlue Swirl         if ((type & 7) != 1) {
346100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0D_GPF, tss_selector & 0xfffc, retaddr);
34720054ef0SBlue Swirl         }
34820054ef0SBlue Swirl     }
349eaa728eeSbellard 
35020054ef0SBlue Swirl     if (!(e2 & DESC_P_MASK)) {
351100ec099SPavel Dovgalyuk         raise_exception_err_ra(env, EXCP0B_NOSEG, tss_selector & 0xfffc, retaddr);
35220054ef0SBlue Swirl     }
353eaa728eeSbellard 
35420054ef0SBlue Swirl     if (type & 8) {
355eaa728eeSbellard         tss_limit_max = 103;
35620054ef0SBlue Swirl     } else {
357eaa728eeSbellard         tss_limit_max = 43;
35820054ef0SBlue Swirl     }
359eaa728eeSbellard     tss_limit = get_seg_limit(e1, e2);
360eaa728eeSbellard     tss_base = get_seg_base(e1, e2);
361eaa728eeSbellard     if ((tss_selector & 4) != 0 ||
36220054ef0SBlue Swirl         tss_limit < tss_limit_max) {
363100ec099SPavel Dovgalyuk         raise_exception_err_ra(env, EXCP0A_TSS, tss_selector & 0xfffc, retaddr);
36420054ef0SBlue Swirl     }
365eaa728eeSbellard     old_type = (env->tr.flags >> DESC_TYPE_SHIFT) & 0xf;
36620054ef0SBlue Swirl     if (old_type & 8) {
367eaa728eeSbellard         old_tss_limit_max = 103;
36820054ef0SBlue Swirl     } else {
369eaa728eeSbellard         old_tss_limit_max = 43;
37020054ef0SBlue Swirl     }
371eaa728eeSbellard 
372eaa728eeSbellard     /* read all the registers from the new TSS */
373eaa728eeSbellard     if (type & 8) {
374eaa728eeSbellard         /* 32 bit */
375100ec099SPavel Dovgalyuk         new_cr3 = cpu_ldl_kernel_ra(env, tss_base + 0x1c, retaddr);
376100ec099SPavel Dovgalyuk         new_eip = cpu_ldl_kernel_ra(env, tss_base + 0x20, retaddr);
377100ec099SPavel Dovgalyuk         new_eflags = cpu_ldl_kernel_ra(env, tss_base + 0x24, retaddr);
37820054ef0SBlue Swirl         for (i = 0; i < 8; i++) {
379100ec099SPavel Dovgalyuk             new_regs[i] = cpu_ldl_kernel_ra(env, tss_base + (0x28 + i * 4),
380100ec099SPavel Dovgalyuk                                             retaddr);
38120054ef0SBlue Swirl         }
38220054ef0SBlue Swirl         for (i = 0; i < 6; i++) {
383100ec099SPavel Dovgalyuk             new_segs[i] = cpu_lduw_kernel_ra(env, tss_base + (0x48 + i * 4),
384100ec099SPavel Dovgalyuk                                              retaddr);
38520054ef0SBlue Swirl         }
386100ec099SPavel Dovgalyuk         new_ldt = cpu_lduw_kernel_ra(env, tss_base + 0x60, retaddr);
387100ec099SPavel Dovgalyuk         new_trap = cpu_ldl_kernel_ra(env, tss_base + 0x64, retaddr);
388eaa728eeSbellard     } else {
389eaa728eeSbellard         /* 16 bit */
390eaa728eeSbellard         new_cr3 = 0;
391100ec099SPavel Dovgalyuk         new_eip = cpu_lduw_kernel_ra(env, tss_base + 0x0e, retaddr);
392100ec099SPavel Dovgalyuk         new_eflags = cpu_lduw_kernel_ra(env, tss_base + 0x10, retaddr);
39320054ef0SBlue Swirl         for (i = 0; i < 8; i++) {
394a5505f6bSPaolo Bonzini             new_regs[i] = cpu_lduw_kernel_ra(env, tss_base + (0x12 + i * 2), retaddr);
39520054ef0SBlue Swirl         }
39620054ef0SBlue Swirl         for (i = 0; i < 4; i++) {
39728f6aa11SPaolo Bonzini             new_segs[i] = cpu_lduw_kernel_ra(env, tss_base + (0x22 + i * 2),
398100ec099SPavel Dovgalyuk                                              retaddr);
39920054ef0SBlue Swirl         }
400100ec099SPavel Dovgalyuk         new_ldt = cpu_lduw_kernel_ra(env, tss_base + 0x2a, retaddr);
401eaa728eeSbellard         new_segs[R_FS] = 0;
402eaa728eeSbellard         new_segs[R_GS] = 0;
403eaa728eeSbellard         new_trap = 0;
404eaa728eeSbellard     }
4054581cbcdSBlue Swirl     /* XXX: avoid a compiler warning, see
4064581cbcdSBlue Swirl      http://support.amd.com/us/Processor_TechDocs/24593.pdf
4074581cbcdSBlue Swirl      chapters 12.2.5 and 13.2.4 on how to implement TSS Trap bit */
4084581cbcdSBlue Swirl     (void)new_trap;
409eaa728eeSbellard 
410eaa728eeSbellard     /* NOTE: we must avoid memory exceptions during the task switch,
411eaa728eeSbellard        so we make dummy accesses before */
412eaa728eeSbellard     /* XXX: it can still fail in some cases, so a bigger hack is
413eaa728eeSbellard        necessary to valid the TLB after having done the accesses */
414eaa728eeSbellard 
415100ec099SPavel Dovgalyuk     v1 = cpu_ldub_kernel_ra(env, env->tr.base, retaddr);
416100ec099SPavel Dovgalyuk     v2 = cpu_ldub_kernel_ra(env, env->tr.base + old_tss_limit_max, retaddr);
417100ec099SPavel Dovgalyuk     cpu_stb_kernel_ra(env, env->tr.base, v1, retaddr);
418100ec099SPavel Dovgalyuk     cpu_stb_kernel_ra(env, env->tr.base + old_tss_limit_max, v2, retaddr);
419eaa728eeSbellard 
420eaa728eeSbellard     /* clear busy bit (it is restartable) */
421eaa728eeSbellard     if (source == SWITCH_TSS_JMP || source == SWITCH_TSS_IRET) {
422a9089859SPaolo Bonzini         tss_set_busy(env, env->tr.selector, 0, retaddr);
423eaa728eeSbellard     }
424997ff0d9SBlue Swirl     old_eflags = cpu_compute_eflags(env);
42520054ef0SBlue Swirl     if (source == SWITCH_TSS_IRET) {
426eaa728eeSbellard         old_eflags &= ~NT_MASK;
42720054ef0SBlue Swirl     }
428eaa728eeSbellard 
429eaa728eeSbellard     /* save the current state in the old TSS */
4301b627f38SPaolo Bonzini     if (old_type & 8) {
431eaa728eeSbellard         /* 32 bit */
432100ec099SPavel Dovgalyuk         cpu_stl_kernel_ra(env, env->tr.base + 0x20, next_eip, retaddr);
433100ec099SPavel Dovgalyuk         cpu_stl_kernel_ra(env, env->tr.base + 0x24, old_eflags, retaddr);
434100ec099SPavel Dovgalyuk         cpu_stl_kernel_ra(env, env->tr.base + (0x28 + 0 * 4), env->regs[R_EAX], retaddr);
435100ec099SPavel Dovgalyuk         cpu_stl_kernel_ra(env, env->tr.base + (0x28 + 1 * 4), env->regs[R_ECX], retaddr);
436100ec099SPavel Dovgalyuk         cpu_stl_kernel_ra(env, env->tr.base + (0x28 + 2 * 4), env->regs[R_EDX], retaddr);
437100ec099SPavel Dovgalyuk         cpu_stl_kernel_ra(env, env->tr.base + (0x28 + 3 * 4), env->regs[R_EBX], retaddr);
438100ec099SPavel Dovgalyuk         cpu_stl_kernel_ra(env, env->tr.base + (0x28 + 4 * 4), env->regs[R_ESP], retaddr);
439100ec099SPavel Dovgalyuk         cpu_stl_kernel_ra(env, env->tr.base + (0x28 + 5 * 4), env->regs[R_EBP], retaddr);
440100ec099SPavel Dovgalyuk         cpu_stl_kernel_ra(env, env->tr.base + (0x28 + 6 * 4), env->regs[R_ESI], retaddr);
441100ec099SPavel Dovgalyuk         cpu_stl_kernel_ra(env, env->tr.base + (0x28 + 7 * 4), env->regs[R_EDI], retaddr);
44220054ef0SBlue Swirl         for (i = 0; i < 6; i++) {
443100ec099SPavel Dovgalyuk             cpu_stw_kernel_ra(env, env->tr.base + (0x48 + i * 4),
444100ec099SPavel Dovgalyuk                               env->segs[i].selector, retaddr);
44520054ef0SBlue Swirl         }
446eaa728eeSbellard     } else {
447eaa728eeSbellard         /* 16 bit */
448100ec099SPavel Dovgalyuk         cpu_stw_kernel_ra(env, env->tr.base + 0x0e, next_eip, retaddr);
449100ec099SPavel Dovgalyuk         cpu_stw_kernel_ra(env, env->tr.base + 0x10, old_eflags, retaddr);
450100ec099SPavel Dovgalyuk         cpu_stw_kernel_ra(env, env->tr.base + (0x12 + 0 * 2), env->regs[R_EAX], retaddr);
451100ec099SPavel Dovgalyuk         cpu_stw_kernel_ra(env, env->tr.base + (0x12 + 1 * 2), env->regs[R_ECX], retaddr);
452100ec099SPavel Dovgalyuk         cpu_stw_kernel_ra(env, env->tr.base + (0x12 + 2 * 2), env->regs[R_EDX], retaddr);
453100ec099SPavel Dovgalyuk         cpu_stw_kernel_ra(env, env->tr.base + (0x12 + 3 * 2), env->regs[R_EBX], retaddr);
454100ec099SPavel Dovgalyuk         cpu_stw_kernel_ra(env, env->tr.base + (0x12 + 4 * 2), env->regs[R_ESP], retaddr);
455100ec099SPavel Dovgalyuk         cpu_stw_kernel_ra(env, env->tr.base + (0x12 + 5 * 2), env->regs[R_EBP], retaddr);
456100ec099SPavel Dovgalyuk         cpu_stw_kernel_ra(env, env->tr.base + (0x12 + 6 * 2), env->regs[R_ESI], retaddr);
457100ec099SPavel Dovgalyuk         cpu_stw_kernel_ra(env, env->tr.base + (0x12 + 7 * 2), env->regs[R_EDI], retaddr);
45820054ef0SBlue Swirl         for (i = 0; i < 4; i++) {
45928f6aa11SPaolo Bonzini             cpu_stw_kernel_ra(env, env->tr.base + (0x22 + i * 2),
460100ec099SPavel Dovgalyuk                               env->segs[i].selector, retaddr);
461eaa728eeSbellard         }
46220054ef0SBlue Swirl     }
463eaa728eeSbellard 
464eaa728eeSbellard     /* now if an exception occurs, it will occurs in the next task
465eaa728eeSbellard        context */
466eaa728eeSbellard 
467eaa728eeSbellard     if (source == SWITCH_TSS_CALL) {
468100ec099SPavel Dovgalyuk         cpu_stw_kernel_ra(env, tss_base, env->tr.selector, retaddr);
469eaa728eeSbellard         new_eflags |= NT_MASK;
470eaa728eeSbellard     }
471eaa728eeSbellard 
472eaa728eeSbellard     /* set busy bit */
473eaa728eeSbellard     if (source == SWITCH_TSS_JMP || source == SWITCH_TSS_CALL) {
474a9089859SPaolo Bonzini         tss_set_busy(env, tss_selector, 1, retaddr);
475eaa728eeSbellard     }
476eaa728eeSbellard 
477eaa728eeSbellard     /* set the new CPU state */
478eaa728eeSbellard     /* from this point, any exception which occurs can give problems */
479eaa728eeSbellard     env->cr[0] |= CR0_TS_MASK;
480eaa728eeSbellard     env->hflags |= HF_TS_MASK;
481eaa728eeSbellard     env->tr.selector = tss_selector;
482eaa728eeSbellard     env->tr.base = tss_base;
483eaa728eeSbellard     env->tr.limit = tss_limit;
484eaa728eeSbellard     env->tr.flags = e2 & ~DESC_TSS_BUSY_MASK;
485eaa728eeSbellard 
486eaa728eeSbellard     if ((type & 8) && (env->cr[0] & CR0_PG_MASK)) {
487eaa728eeSbellard         cpu_x86_update_cr3(env, new_cr3);
488eaa728eeSbellard     }
489eaa728eeSbellard 
490eaa728eeSbellard     /* load all registers without an exception, then reload them with
491eaa728eeSbellard        possible exception */
492eaa728eeSbellard     env->eip = new_eip;
493eaa728eeSbellard     eflags_mask = TF_MASK | AC_MASK | ID_MASK |
494eaa728eeSbellard         IF_MASK | IOPL_MASK | VM_MASK | RF_MASK | NT_MASK;
495a5505f6bSPaolo Bonzini     if (type & 8) {
496997ff0d9SBlue Swirl         cpu_load_eflags(env, new_eflags, eflags_mask);
497a5505f6bSPaolo Bonzini         for (i = 0; i < 8; i++) {
498a5505f6bSPaolo Bonzini             env->regs[i] = new_regs[i];
499a5505f6bSPaolo Bonzini         }
500a5505f6bSPaolo Bonzini     } else {
501a5505f6bSPaolo Bonzini         cpu_load_eflags(env, new_eflags, eflags_mask & 0xffff);
502a5505f6bSPaolo Bonzini         for (i = 0; i < 8; i++) {
503a5505f6bSPaolo Bonzini             env->regs[i] = (env->regs[i] & 0xffff0000) | new_regs[i];
504a5505f6bSPaolo Bonzini         }
505a5505f6bSPaolo Bonzini     }
506eaa728eeSbellard     if (new_eflags & VM_MASK) {
50720054ef0SBlue Swirl         for (i = 0; i < 6; i++) {
5082999a0b2SBlue Swirl             load_seg_vm(env, i, new_segs[i]);
50920054ef0SBlue Swirl         }
510eaa728eeSbellard     } else {
511eaa728eeSbellard         /* first just selectors as the rest may trigger exceptions */
51220054ef0SBlue Swirl         for (i = 0; i < 6; i++) {
513eaa728eeSbellard             cpu_x86_load_seg_cache(env, i, new_segs[i], 0, 0, 0);
514eaa728eeSbellard         }
51520054ef0SBlue Swirl     }
516eaa728eeSbellard 
517eaa728eeSbellard     env->ldt.selector = new_ldt & ~4;
518eaa728eeSbellard     env->ldt.base = 0;
519eaa728eeSbellard     env->ldt.limit = 0;
520eaa728eeSbellard     env->ldt.flags = 0;
521eaa728eeSbellard 
522eaa728eeSbellard     /* load the LDT */
52320054ef0SBlue Swirl     if (new_ldt & 4) {
524100ec099SPavel Dovgalyuk         raise_exception_err_ra(env, EXCP0A_TSS, new_ldt & 0xfffc, retaddr);
52520054ef0SBlue Swirl     }
526eaa728eeSbellard 
527eaa728eeSbellard     if ((new_ldt & 0xfffc) != 0) {
528eaa728eeSbellard         dt = &env->gdt;
529eaa728eeSbellard         index = new_ldt & ~7;
53020054ef0SBlue Swirl         if ((index + 7) > dt->limit) {
531100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0A_TSS, new_ldt & 0xfffc, retaddr);
53220054ef0SBlue Swirl         }
533eaa728eeSbellard         ptr = dt->base + index;
534100ec099SPavel Dovgalyuk         e1 = cpu_ldl_kernel_ra(env, ptr, retaddr);
535100ec099SPavel Dovgalyuk         e2 = cpu_ldl_kernel_ra(env, ptr + 4, retaddr);
53620054ef0SBlue Swirl         if ((e2 & DESC_S_MASK) || ((e2 >> DESC_TYPE_SHIFT) & 0xf) != 2) {
537100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0A_TSS, new_ldt & 0xfffc, retaddr);
53820054ef0SBlue Swirl         }
53920054ef0SBlue Swirl         if (!(e2 & DESC_P_MASK)) {
540100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0A_TSS, new_ldt & 0xfffc, retaddr);
54120054ef0SBlue Swirl         }
542eaa728eeSbellard         load_seg_cache_raw_dt(&env->ldt, e1, e2);
543eaa728eeSbellard     }
544eaa728eeSbellard 
545eaa728eeSbellard     /* load the segments */
546eaa728eeSbellard     if (!(new_eflags & VM_MASK)) {
547d3b54918SPaolo Bonzini         int cpl = new_segs[R_CS] & 3;
548100ec099SPavel Dovgalyuk         tss_load_seg(env, R_CS, new_segs[R_CS], cpl, retaddr);
549100ec099SPavel Dovgalyuk         tss_load_seg(env, R_SS, new_segs[R_SS], cpl, retaddr);
550100ec099SPavel Dovgalyuk         tss_load_seg(env, R_ES, new_segs[R_ES], cpl, retaddr);
551100ec099SPavel Dovgalyuk         tss_load_seg(env, R_DS, new_segs[R_DS], cpl, retaddr);
552100ec099SPavel Dovgalyuk         tss_load_seg(env, R_FS, new_segs[R_FS], cpl, retaddr);
553100ec099SPavel Dovgalyuk         tss_load_seg(env, R_GS, new_segs[R_GS], cpl, retaddr);
554eaa728eeSbellard     }
555eaa728eeSbellard 
556a78d0eabSliguang     /* check that env->eip is in the CS segment limits */
557eaa728eeSbellard     if (new_eip > env->segs[R_CS].limit) {
558eaa728eeSbellard         /* XXX: different exception if CALL? */
559100ec099SPavel Dovgalyuk         raise_exception_err_ra(env, EXCP0D_GPF, 0, retaddr);
560eaa728eeSbellard     }
56101df040bSaliguori 
56201df040bSaliguori #ifndef CONFIG_USER_ONLY
56301df040bSaliguori     /* reset local breakpoints */
564428065ceSliguang     if (env->dr[7] & DR7_LOCAL_BP_MASK) {
56593d00d0fSRichard Henderson         cpu_x86_update_dr7(env, env->dr[7] & ~DR7_LOCAL_BP_MASK);
56601df040bSaliguori     }
56701df040bSaliguori #endif
56849958057SPaolo Bonzini     return type >> 3;
569eaa728eeSbellard }
570eaa728eeSbellard 
57149958057SPaolo Bonzini static int switch_tss(CPUX86State *env, int tss_selector,
572100ec099SPavel Dovgalyuk                       uint32_t e1, uint32_t e2, int source,
573100ec099SPavel Dovgalyuk                       uint32_t next_eip)
574100ec099SPavel Dovgalyuk {
57549958057SPaolo Bonzini     return switch_tss_ra(env, tss_selector, e1, e2, source, next_eip, 0);
576100ec099SPavel Dovgalyuk }
577100ec099SPavel Dovgalyuk 
578eaa728eeSbellard static inline unsigned int get_sp_mask(unsigned int e2)
579eaa728eeSbellard {
5800aca0605SAndrew Oates #ifdef TARGET_X86_64
5810aca0605SAndrew Oates     if (e2 & DESC_L_MASK) {
5820aca0605SAndrew Oates         return 0;
5830aca0605SAndrew Oates     } else
5840aca0605SAndrew Oates #endif
58520054ef0SBlue Swirl     if (e2 & DESC_B_MASK) {
586eaa728eeSbellard         return 0xffffffff;
58720054ef0SBlue Swirl     } else {
588eaa728eeSbellard         return 0xffff;
589eaa728eeSbellard     }
59020054ef0SBlue Swirl }
591eaa728eeSbellard 
59269cb498cSPaolo Bonzini static int exception_is_fault(int intno)
59369cb498cSPaolo Bonzini {
59469cb498cSPaolo Bonzini     switch (intno) {
59569cb498cSPaolo Bonzini         /*
59669cb498cSPaolo Bonzini          * #DB can be both fault- and trap-like, but it never sets RF=1
59769cb498cSPaolo Bonzini          * in the RFLAGS value pushed on the stack.
59869cb498cSPaolo Bonzini          */
59969cb498cSPaolo Bonzini     case EXCP01_DB:
60069cb498cSPaolo Bonzini     case EXCP03_INT3:
60169cb498cSPaolo Bonzini     case EXCP04_INTO:
60269cb498cSPaolo Bonzini     case EXCP08_DBLE:
60369cb498cSPaolo Bonzini     case EXCP12_MCHK:
60469cb498cSPaolo Bonzini         return 0;
60569cb498cSPaolo Bonzini     }
60669cb498cSPaolo Bonzini     /* Everything else including reserved exception is a fault.  */
60769cb498cSPaolo Bonzini     return 1;
60869cb498cSPaolo Bonzini }
60969cb498cSPaolo Bonzini 
61030493a03SClaudio Fontana int exception_has_error_code(int intno)
6112ed51f5bSaliguori {
6122ed51f5bSaliguori     switch (intno) {
6132ed51f5bSaliguori     case 8:
6142ed51f5bSaliguori     case 10:
6152ed51f5bSaliguori     case 11:
6162ed51f5bSaliguori     case 12:
6172ed51f5bSaliguori     case 13:
6182ed51f5bSaliguori     case 14:
6192ed51f5bSaliguori     case 17:
6202ed51f5bSaliguori         return 1;
6212ed51f5bSaliguori     }
6222ed51f5bSaliguori     return 0;
6232ed51f5bSaliguori }
6242ed51f5bSaliguori 
625eaa728eeSbellard /* protected mode interrupt */
6262999a0b2SBlue Swirl static void do_interrupt_protected(CPUX86State *env, int intno, int is_int,
6272999a0b2SBlue Swirl                                    int error_code, unsigned int next_eip,
6282999a0b2SBlue Swirl                                    int is_hw)
629eaa728eeSbellard {
630eaa728eeSbellard     SegmentCache *dt;
631059368bcSRichard Henderson     target_ulong ptr;
632eaa728eeSbellard     int type, dpl, selector, ss_dpl, cpl;
633eaa728eeSbellard     int has_error_code, new_stack, shift;
634059368bcSRichard Henderson     uint32_t e1, e2, offset, ss = 0, ss_e1 = 0, ss_e2 = 0;
635059368bcSRichard Henderson     uint32_t old_eip, eflags;
63687446327SKevin O'Connor     int vm86 = env->eflags & VM_MASK;
637059368bcSRichard Henderson     StackAccess sa;
63869cb498cSPaolo Bonzini     bool set_rf;
639eaa728eeSbellard 
640eaa728eeSbellard     has_error_code = 0;
64120054ef0SBlue Swirl     if (!is_int && !is_hw) {
64220054ef0SBlue Swirl         has_error_code = exception_has_error_code(intno);
64320054ef0SBlue Swirl     }
64420054ef0SBlue Swirl     if (is_int) {
645eaa728eeSbellard         old_eip = next_eip;
64669cb498cSPaolo Bonzini         set_rf = false;
64720054ef0SBlue Swirl     } else {
648eaa728eeSbellard         old_eip = env->eip;
64969cb498cSPaolo Bonzini         set_rf = exception_is_fault(intno);
65020054ef0SBlue Swirl     }
651eaa728eeSbellard 
652eaa728eeSbellard     dt = &env->idt;
65320054ef0SBlue Swirl     if (intno * 8 + 7 > dt->limit) {
65477b2bc2cSBlue Swirl         raise_exception_err(env, EXCP0D_GPF, intno * 8 + 2);
65520054ef0SBlue Swirl     }
656eaa728eeSbellard     ptr = dt->base + intno * 8;
657329e607dSBlue Swirl     e1 = cpu_ldl_kernel(env, ptr);
658329e607dSBlue Swirl     e2 = cpu_ldl_kernel(env, ptr + 4);
659eaa728eeSbellard     /* check gate type */
660eaa728eeSbellard     type = (e2 >> DESC_TYPE_SHIFT) & 0x1f;
661eaa728eeSbellard     switch (type) {
662eaa728eeSbellard     case 5: /* task gate */
6633df1a3d0SPeter Maydell     case 6: /* 286 interrupt gate */
6643df1a3d0SPeter Maydell     case 7: /* 286 trap gate */
6653df1a3d0SPeter Maydell     case 14: /* 386 interrupt gate */
6663df1a3d0SPeter Maydell     case 15: /* 386 trap gate */
6673df1a3d0SPeter Maydell         break;
6683df1a3d0SPeter Maydell     default:
6693df1a3d0SPeter Maydell         raise_exception_err(env, EXCP0D_GPF, intno * 8 + 2);
6703df1a3d0SPeter Maydell         break;
6713df1a3d0SPeter Maydell     }
6723df1a3d0SPeter Maydell     dpl = (e2 >> DESC_DPL_SHIFT) & 3;
6733df1a3d0SPeter Maydell     cpl = env->hflags & HF_CPL_MASK;
6743df1a3d0SPeter Maydell     /* check privilege if software int */
6753df1a3d0SPeter Maydell     if (is_int && dpl < cpl) {
6763df1a3d0SPeter Maydell         raise_exception_err(env, EXCP0D_GPF, intno * 8 + 2);
6773df1a3d0SPeter Maydell     }
6783df1a3d0SPeter Maydell 
679059368bcSRichard Henderson     sa.env = env;
680059368bcSRichard Henderson     sa.ra = 0;
681*8053862aSPaolo Bonzini     sa.mmu_index = cpu_mmu_index_kernel(env);
682059368bcSRichard Henderson 
6833df1a3d0SPeter Maydell     if (type == 5) {
6843df1a3d0SPeter Maydell         /* task gate */
685eaa728eeSbellard         /* must do that check here to return the correct error code */
68620054ef0SBlue Swirl         if (!(e2 & DESC_P_MASK)) {
68777b2bc2cSBlue Swirl             raise_exception_err(env, EXCP0B_NOSEG, intno * 8 + 2);
68820054ef0SBlue Swirl         }
68949958057SPaolo Bonzini         shift = switch_tss(env, intno * 8, e1, e2, SWITCH_TSS_CALL, old_eip);
690eaa728eeSbellard         if (has_error_code) {
691eaa728eeSbellard             /* push the error code */
69220054ef0SBlue Swirl             if (env->segs[R_SS].flags & DESC_B_MASK) {
693059368bcSRichard Henderson                 sa.sp_mask = 0xffffffff;
69420054ef0SBlue Swirl             } else {
695059368bcSRichard Henderson                 sa.sp_mask = 0xffff;
69620054ef0SBlue Swirl             }
697059368bcSRichard Henderson             sa.sp = env->regs[R_ESP];
698059368bcSRichard Henderson             sa.ss_base = env->segs[R_SS].base;
69920054ef0SBlue Swirl             if (shift) {
700059368bcSRichard Henderson                 pushl(&sa, error_code);
70120054ef0SBlue Swirl             } else {
702059368bcSRichard Henderson                 pushw(&sa, error_code);
70320054ef0SBlue Swirl             }
704059368bcSRichard Henderson             SET_ESP(sa.sp, sa.sp_mask);
705eaa728eeSbellard         }
706eaa728eeSbellard         return;
707eaa728eeSbellard     }
7083df1a3d0SPeter Maydell 
7093df1a3d0SPeter Maydell     /* Otherwise, trap or interrupt gate */
7103df1a3d0SPeter Maydell 
711eaa728eeSbellard     /* check valid bit */
71220054ef0SBlue Swirl     if (!(e2 & DESC_P_MASK)) {
71377b2bc2cSBlue Swirl         raise_exception_err(env, EXCP0B_NOSEG, intno * 8 + 2);
71420054ef0SBlue Swirl     }
715eaa728eeSbellard     selector = e1 >> 16;
716eaa728eeSbellard     offset = (e2 & 0xffff0000) | (e1 & 0x0000ffff);
71720054ef0SBlue Swirl     if ((selector & 0xfffc) == 0) {
71877b2bc2cSBlue Swirl         raise_exception_err(env, EXCP0D_GPF, 0);
71920054ef0SBlue Swirl     }
7202999a0b2SBlue Swirl     if (load_segment(env, &e1, &e2, selector) != 0) {
72177b2bc2cSBlue Swirl         raise_exception_err(env, EXCP0D_GPF, selector & 0xfffc);
72220054ef0SBlue Swirl     }
72320054ef0SBlue Swirl     if (!(e2 & DESC_S_MASK) || !(e2 & (DESC_CS_MASK))) {
72477b2bc2cSBlue Swirl         raise_exception_err(env, EXCP0D_GPF, selector & 0xfffc);
72520054ef0SBlue Swirl     }
726eaa728eeSbellard     dpl = (e2 >> DESC_DPL_SHIFT) & 3;
72720054ef0SBlue Swirl     if (dpl > cpl) {
72877b2bc2cSBlue Swirl         raise_exception_err(env, EXCP0D_GPF, selector & 0xfffc);
72920054ef0SBlue Swirl     }
73020054ef0SBlue Swirl     if (!(e2 & DESC_P_MASK)) {
73177b2bc2cSBlue Swirl         raise_exception_err(env, EXCP0B_NOSEG, selector & 0xfffc);
73220054ef0SBlue Swirl     }
7331110bfe6SPaolo Bonzini     if (e2 & DESC_C_MASK) {
7341110bfe6SPaolo Bonzini         dpl = cpl;
7351110bfe6SPaolo Bonzini     }
7361110bfe6SPaolo Bonzini     if (dpl < cpl) {
737eaa728eeSbellard         /* to inner privilege */
738059368bcSRichard Henderson         uint32_t esp;
739100ec099SPavel Dovgalyuk         get_ss_esp_from_tss(env, &ss, &esp, dpl, 0);
74020054ef0SBlue Swirl         if ((ss & 0xfffc) == 0) {
74177b2bc2cSBlue Swirl             raise_exception_err(env, EXCP0A_TSS, ss & 0xfffc);
74220054ef0SBlue Swirl         }
74320054ef0SBlue Swirl         if ((ss & 3) != dpl) {
74477b2bc2cSBlue Swirl             raise_exception_err(env, EXCP0A_TSS, ss & 0xfffc);
74520054ef0SBlue Swirl         }
7462999a0b2SBlue Swirl         if (load_segment(env, &ss_e1, &ss_e2, ss) != 0) {
74777b2bc2cSBlue Swirl             raise_exception_err(env, EXCP0A_TSS, ss & 0xfffc);
74820054ef0SBlue Swirl         }
749eaa728eeSbellard         ss_dpl = (ss_e2 >> DESC_DPL_SHIFT) & 3;
75020054ef0SBlue Swirl         if (ss_dpl != dpl) {
75177b2bc2cSBlue Swirl             raise_exception_err(env, EXCP0A_TSS, ss & 0xfffc);
75220054ef0SBlue Swirl         }
753eaa728eeSbellard         if (!(ss_e2 & DESC_S_MASK) ||
754eaa728eeSbellard             (ss_e2 & DESC_CS_MASK) ||
75520054ef0SBlue Swirl             !(ss_e2 & DESC_W_MASK)) {
75677b2bc2cSBlue Swirl             raise_exception_err(env, EXCP0A_TSS, ss & 0xfffc);
75720054ef0SBlue Swirl         }
75820054ef0SBlue Swirl         if (!(ss_e2 & DESC_P_MASK)) {
75977b2bc2cSBlue Swirl             raise_exception_err(env, EXCP0A_TSS, ss & 0xfffc);
76020054ef0SBlue Swirl         }
761eaa728eeSbellard         new_stack = 1;
762059368bcSRichard Henderson         sa.sp = esp;
763059368bcSRichard Henderson         sa.sp_mask = get_sp_mask(ss_e2);
764059368bcSRichard Henderson         sa.ss_base = get_seg_base(ss_e1, ss_e2);
7651110bfe6SPaolo Bonzini     } else  {
766eaa728eeSbellard         /* to same privilege */
76787446327SKevin O'Connor         if (vm86) {
76877b2bc2cSBlue Swirl             raise_exception_err(env, EXCP0D_GPF, selector & 0xfffc);
76920054ef0SBlue Swirl         }
770eaa728eeSbellard         new_stack = 0;
771059368bcSRichard Henderson         sa.sp = env->regs[R_ESP];
772059368bcSRichard Henderson         sa.sp_mask = get_sp_mask(env->segs[R_SS].flags);
773059368bcSRichard Henderson         sa.ss_base = env->segs[R_SS].base;
774eaa728eeSbellard     }
775eaa728eeSbellard 
776eaa728eeSbellard     shift = type >> 3;
777eaa728eeSbellard 
778eaa728eeSbellard #if 0
779eaa728eeSbellard     /* XXX: check that enough room is available */
780eaa728eeSbellard     push_size = 6 + (new_stack << 2) + (has_error_code << 1);
78187446327SKevin O'Connor     if (vm86) {
782eaa728eeSbellard         push_size += 8;
78320054ef0SBlue Swirl     }
784eaa728eeSbellard     push_size <<= shift;
785eaa728eeSbellard #endif
78669cb498cSPaolo Bonzini     eflags = cpu_compute_eflags(env);
78769cb498cSPaolo Bonzini     /*
78869cb498cSPaolo Bonzini      * AMD states that code breakpoint #DBs clear RF=0, Intel leaves it
78969cb498cSPaolo Bonzini      * as is.  AMD behavior could be implemented in check_hw_breakpoints().
79069cb498cSPaolo Bonzini      */
79169cb498cSPaolo Bonzini     if (set_rf) {
79269cb498cSPaolo Bonzini         eflags |= RF_MASK;
79369cb498cSPaolo Bonzini     }
79469cb498cSPaolo Bonzini 
795eaa728eeSbellard     if (shift == 1) {
796eaa728eeSbellard         if (new_stack) {
79787446327SKevin O'Connor             if (vm86) {
798059368bcSRichard Henderson                 pushl(&sa, env->segs[R_GS].selector);
799059368bcSRichard Henderson                 pushl(&sa, env->segs[R_FS].selector);
800059368bcSRichard Henderson                 pushl(&sa, env->segs[R_DS].selector);
801059368bcSRichard Henderson                 pushl(&sa, env->segs[R_ES].selector);
802eaa728eeSbellard             }
803059368bcSRichard Henderson             pushl(&sa, env->segs[R_SS].selector);
804059368bcSRichard Henderson             pushl(&sa, env->regs[R_ESP]);
805eaa728eeSbellard         }
806059368bcSRichard Henderson         pushl(&sa, eflags);
807059368bcSRichard Henderson         pushl(&sa, env->segs[R_CS].selector);
808059368bcSRichard Henderson         pushl(&sa, old_eip);
809eaa728eeSbellard         if (has_error_code) {
810059368bcSRichard Henderson             pushl(&sa, error_code);
811eaa728eeSbellard         }
812eaa728eeSbellard     } else {
813eaa728eeSbellard         if (new_stack) {
81487446327SKevin O'Connor             if (vm86) {
815059368bcSRichard Henderson                 pushw(&sa, env->segs[R_GS].selector);
816059368bcSRichard Henderson                 pushw(&sa, env->segs[R_FS].selector);
817059368bcSRichard Henderson                 pushw(&sa, env->segs[R_DS].selector);
818059368bcSRichard Henderson                 pushw(&sa, env->segs[R_ES].selector);
819eaa728eeSbellard             }
820059368bcSRichard Henderson             pushw(&sa, env->segs[R_SS].selector);
821059368bcSRichard Henderson             pushw(&sa, env->regs[R_ESP]);
822eaa728eeSbellard         }
823059368bcSRichard Henderson         pushw(&sa, eflags);
824059368bcSRichard Henderson         pushw(&sa, env->segs[R_CS].selector);
825059368bcSRichard Henderson         pushw(&sa, old_eip);
826eaa728eeSbellard         if (has_error_code) {
827059368bcSRichard Henderson             pushw(&sa, error_code);
828eaa728eeSbellard         }
829eaa728eeSbellard     }
830eaa728eeSbellard 
831fd460606SKevin O'Connor     /* interrupt gate clear IF mask */
832fd460606SKevin O'Connor     if ((type & 1) == 0) {
833fd460606SKevin O'Connor         env->eflags &= ~IF_MASK;
834fd460606SKevin O'Connor     }
835fd460606SKevin O'Connor     env->eflags &= ~(TF_MASK | VM_MASK | RF_MASK | NT_MASK);
836fd460606SKevin O'Connor 
837eaa728eeSbellard     if (new_stack) {
83887446327SKevin O'Connor         if (vm86) {
839eaa728eeSbellard             cpu_x86_load_seg_cache(env, R_ES, 0, 0, 0, 0);
840eaa728eeSbellard             cpu_x86_load_seg_cache(env, R_DS, 0, 0, 0, 0);
841eaa728eeSbellard             cpu_x86_load_seg_cache(env, R_FS, 0, 0, 0, 0);
842eaa728eeSbellard             cpu_x86_load_seg_cache(env, R_GS, 0, 0, 0, 0);
843eaa728eeSbellard         }
844eaa728eeSbellard         ss = (ss & ~3) | dpl;
845059368bcSRichard Henderson         cpu_x86_load_seg_cache(env, R_SS, ss, sa.ss_base,
846059368bcSRichard Henderson                                get_seg_limit(ss_e1, ss_e2), ss_e2);
847eaa728eeSbellard     }
848059368bcSRichard Henderson     SET_ESP(sa.sp, sa.sp_mask);
849eaa728eeSbellard 
850eaa728eeSbellard     selector = (selector & ~3) | dpl;
851eaa728eeSbellard     cpu_x86_load_seg_cache(env, R_CS, selector,
852eaa728eeSbellard                    get_seg_base(e1, e2),
853eaa728eeSbellard                    get_seg_limit(e1, e2),
854eaa728eeSbellard                    e2);
855eaa728eeSbellard     env->eip = offset;
856eaa728eeSbellard }
857eaa728eeSbellard 
858eaa728eeSbellard #ifdef TARGET_X86_64
859eaa728eeSbellard 
860059368bcSRichard Henderson static void pushq(StackAccess *sa, uint64_t val)
861059368bcSRichard Henderson {
862059368bcSRichard Henderson     sa->sp -= 8;
863*8053862aSPaolo Bonzini     cpu_stq_mmuidx_ra(sa->env, sa->sp, val, sa->mmu_index, sa->ra);
864eaa728eeSbellard }
865eaa728eeSbellard 
866059368bcSRichard Henderson static uint64_t popq(StackAccess *sa)
867059368bcSRichard Henderson {
868*8053862aSPaolo Bonzini     uint64_t ret = cpu_ldq_mmuidx_ra(sa->env, sa->sp, sa->mmu_index, sa->ra);
869059368bcSRichard Henderson     sa->sp += 8;
870059368bcSRichard Henderson     return ret;
871eaa728eeSbellard }
872eaa728eeSbellard 
8732999a0b2SBlue Swirl static inline target_ulong get_rsp_from_tss(CPUX86State *env, int level)
874eaa728eeSbellard {
8756aa9e42fSRichard Henderson     X86CPU *cpu = env_archcpu(env);
87650fcc7cbSGareth Webb     int index, pg_mode;
87750fcc7cbSGareth Webb     target_ulong rsp;
87850fcc7cbSGareth Webb     int32_t sext;
879eaa728eeSbellard 
880eaa728eeSbellard #if 0
881eaa728eeSbellard     printf("TR: base=" TARGET_FMT_lx " limit=%x\n",
882eaa728eeSbellard            env->tr.base, env->tr.limit);
883eaa728eeSbellard #endif
884eaa728eeSbellard 
88520054ef0SBlue Swirl     if (!(env->tr.flags & DESC_P_MASK)) {
886a47dddd7SAndreas Färber         cpu_abort(CPU(cpu), "invalid tss");
88720054ef0SBlue Swirl     }
888eaa728eeSbellard     index = 8 * level + 4;
88920054ef0SBlue Swirl     if ((index + 7) > env->tr.limit) {
89077b2bc2cSBlue Swirl         raise_exception_err(env, EXCP0A_TSS, env->tr.selector & 0xfffc);
89120054ef0SBlue Swirl     }
89250fcc7cbSGareth Webb 
89350fcc7cbSGareth Webb     rsp = cpu_ldq_kernel(env, env->tr.base + index);
89450fcc7cbSGareth Webb 
89550fcc7cbSGareth Webb     /* test virtual address sign extension */
89650fcc7cbSGareth Webb     pg_mode = get_pg_mode(env);
89750fcc7cbSGareth Webb     sext = (int64_t)rsp >> (pg_mode & PG_MODE_LA57 ? 56 : 47);
89850fcc7cbSGareth Webb     if (sext != 0 && sext != -1) {
89950fcc7cbSGareth Webb         raise_exception_err(env, EXCP0C_STACK, 0);
90050fcc7cbSGareth Webb     }
90150fcc7cbSGareth Webb 
90250fcc7cbSGareth Webb     return rsp;
903eaa728eeSbellard }
904eaa728eeSbellard 
905eaa728eeSbellard /* 64 bit interrupt */
9062999a0b2SBlue Swirl static void do_interrupt64(CPUX86State *env, int intno, int is_int,
9072999a0b2SBlue Swirl                            int error_code, target_ulong next_eip, int is_hw)
908eaa728eeSbellard {
909eaa728eeSbellard     SegmentCache *dt;
910eaa728eeSbellard     target_ulong ptr;
911eaa728eeSbellard     int type, dpl, selector, cpl, ist;
912eaa728eeSbellard     int has_error_code, new_stack;
91369cb498cSPaolo Bonzini     uint32_t e1, e2, e3, ss, eflags;
914059368bcSRichard Henderson     target_ulong old_eip, offset;
91569cb498cSPaolo Bonzini     bool set_rf;
916059368bcSRichard Henderson     StackAccess sa;
917eaa728eeSbellard 
918eaa728eeSbellard     has_error_code = 0;
91920054ef0SBlue Swirl     if (!is_int && !is_hw) {
92020054ef0SBlue Swirl         has_error_code = exception_has_error_code(intno);
92120054ef0SBlue Swirl     }
92220054ef0SBlue Swirl     if (is_int) {
923eaa728eeSbellard         old_eip = next_eip;
92469cb498cSPaolo Bonzini         set_rf = false;
92520054ef0SBlue Swirl     } else {
926eaa728eeSbellard         old_eip = env->eip;
92769cb498cSPaolo Bonzini         set_rf = exception_is_fault(intno);
92820054ef0SBlue Swirl     }
929eaa728eeSbellard 
930eaa728eeSbellard     dt = &env->idt;
93120054ef0SBlue Swirl     if (intno * 16 + 15 > dt->limit) {
932b585edcaSJoe Richey         raise_exception_err(env, EXCP0D_GPF, intno * 8 + 2);
93320054ef0SBlue Swirl     }
934eaa728eeSbellard     ptr = dt->base + intno * 16;
935329e607dSBlue Swirl     e1 = cpu_ldl_kernel(env, ptr);
936329e607dSBlue Swirl     e2 = cpu_ldl_kernel(env, ptr + 4);
937329e607dSBlue Swirl     e3 = cpu_ldl_kernel(env, ptr + 8);
938eaa728eeSbellard     /* check gate type */
939eaa728eeSbellard     type = (e2 >> DESC_TYPE_SHIFT) & 0x1f;
940eaa728eeSbellard     switch (type) {
941eaa728eeSbellard     case 14: /* 386 interrupt gate */
942eaa728eeSbellard     case 15: /* 386 trap gate */
943eaa728eeSbellard         break;
944eaa728eeSbellard     default:
945b585edcaSJoe Richey         raise_exception_err(env, EXCP0D_GPF, intno * 8 + 2);
946eaa728eeSbellard         break;
947eaa728eeSbellard     }
948eaa728eeSbellard     dpl = (e2 >> DESC_DPL_SHIFT) & 3;
949eaa728eeSbellard     cpl = env->hflags & HF_CPL_MASK;
9501235fc06Sths     /* check privilege if software int */
95120054ef0SBlue Swirl     if (is_int && dpl < cpl) {
952b585edcaSJoe Richey         raise_exception_err(env, EXCP0D_GPF, intno * 8 + 2);
95320054ef0SBlue Swirl     }
954eaa728eeSbellard     /* check valid bit */
95520054ef0SBlue Swirl     if (!(e2 & DESC_P_MASK)) {
956b585edcaSJoe Richey         raise_exception_err(env, EXCP0B_NOSEG, intno * 8 + 2);
95720054ef0SBlue Swirl     }
958eaa728eeSbellard     selector = e1 >> 16;
959eaa728eeSbellard     offset = ((target_ulong)e3 << 32) | (e2 & 0xffff0000) | (e1 & 0x0000ffff);
960eaa728eeSbellard     ist = e2 & 7;
96120054ef0SBlue Swirl     if ((selector & 0xfffc) == 0) {
96277b2bc2cSBlue Swirl         raise_exception_err(env, EXCP0D_GPF, 0);
96320054ef0SBlue Swirl     }
964eaa728eeSbellard 
9652999a0b2SBlue Swirl     if (load_segment(env, &e1, &e2, selector) != 0) {
96677b2bc2cSBlue Swirl         raise_exception_err(env, EXCP0D_GPF, selector & 0xfffc);
96720054ef0SBlue Swirl     }
96820054ef0SBlue Swirl     if (!(e2 & DESC_S_MASK) || !(e2 & (DESC_CS_MASK))) {
96977b2bc2cSBlue Swirl         raise_exception_err(env, EXCP0D_GPF, selector & 0xfffc);
97020054ef0SBlue Swirl     }
971eaa728eeSbellard     dpl = (e2 >> DESC_DPL_SHIFT) & 3;
97220054ef0SBlue Swirl     if (dpl > cpl) {
97377b2bc2cSBlue Swirl         raise_exception_err(env, EXCP0D_GPF, selector & 0xfffc);
97420054ef0SBlue Swirl     }
97520054ef0SBlue Swirl     if (!(e2 & DESC_P_MASK)) {
97677b2bc2cSBlue Swirl         raise_exception_err(env, EXCP0B_NOSEG, selector & 0xfffc);
97720054ef0SBlue Swirl     }
97820054ef0SBlue Swirl     if (!(e2 & DESC_L_MASK) || (e2 & DESC_B_MASK)) {
97977b2bc2cSBlue Swirl         raise_exception_err(env, EXCP0D_GPF, selector & 0xfffc);
98020054ef0SBlue Swirl     }
9811110bfe6SPaolo Bonzini     if (e2 & DESC_C_MASK) {
9821110bfe6SPaolo Bonzini         dpl = cpl;
9831110bfe6SPaolo Bonzini     }
984059368bcSRichard Henderson 
985059368bcSRichard Henderson     sa.env = env;
986059368bcSRichard Henderson     sa.ra = 0;
987*8053862aSPaolo Bonzini     sa.mmu_index = cpu_mmu_index_kernel(env);
988059368bcSRichard Henderson     sa.sp_mask = -1;
989059368bcSRichard Henderson     sa.ss_base = 0;
9901110bfe6SPaolo Bonzini     if (dpl < cpl || ist != 0) {
991eaa728eeSbellard         /* to inner privilege */
992eaa728eeSbellard         new_stack = 1;
993059368bcSRichard Henderson         sa.sp = get_rsp_from_tss(env, ist != 0 ? ist + 3 : dpl);
994ae67dc72SPaolo Bonzini         ss = 0;
9951110bfe6SPaolo Bonzini     } else {
996eaa728eeSbellard         /* to same privilege */
99720054ef0SBlue Swirl         if (env->eflags & VM_MASK) {
99877b2bc2cSBlue Swirl             raise_exception_err(env, EXCP0D_GPF, selector & 0xfffc);
99920054ef0SBlue Swirl         }
1000eaa728eeSbellard         new_stack = 0;
1001059368bcSRichard Henderson         sa.sp = env->regs[R_ESP];
1002e95e9b88SWu Xiang     }
1003059368bcSRichard Henderson     sa.sp &= ~0xfLL; /* align stack */
1004eaa728eeSbellard 
100569cb498cSPaolo Bonzini     /* See do_interrupt_protected.  */
100669cb498cSPaolo Bonzini     eflags = cpu_compute_eflags(env);
100769cb498cSPaolo Bonzini     if (set_rf) {
100869cb498cSPaolo Bonzini         eflags |= RF_MASK;
100969cb498cSPaolo Bonzini     }
101069cb498cSPaolo Bonzini 
1011059368bcSRichard Henderson     pushq(&sa, env->segs[R_SS].selector);
1012059368bcSRichard Henderson     pushq(&sa, env->regs[R_ESP]);
1013059368bcSRichard Henderson     pushq(&sa, eflags);
1014059368bcSRichard Henderson     pushq(&sa, env->segs[R_CS].selector);
1015059368bcSRichard Henderson     pushq(&sa, old_eip);
1016eaa728eeSbellard     if (has_error_code) {
1017059368bcSRichard Henderson         pushq(&sa, error_code);
1018eaa728eeSbellard     }
1019eaa728eeSbellard 
1020fd460606SKevin O'Connor     /* interrupt gate clear IF mask */
1021fd460606SKevin O'Connor     if ((type & 1) == 0) {
1022fd460606SKevin O'Connor         env->eflags &= ~IF_MASK;
1023fd460606SKevin O'Connor     }
1024fd460606SKevin O'Connor     env->eflags &= ~(TF_MASK | VM_MASK | RF_MASK | NT_MASK);
1025fd460606SKevin O'Connor 
1026eaa728eeSbellard     if (new_stack) {
1027eaa728eeSbellard         ss = 0 | dpl;
1028e95e9b88SWu Xiang         cpu_x86_load_seg_cache(env, R_SS, ss, 0, 0, dpl << DESC_DPL_SHIFT);
1029eaa728eeSbellard     }
1030059368bcSRichard Henderson     env->regs[R_ESP] = sa.sp;
1031eaa728eeSbellard 
1032eaa728eeSbellard     selector = (selector & ~3) | dpl;
1033eaa728eeSbellard     cpu_x86_load_seg_cache(env, R_CS, selector,
1034eaa728eeSbellard                    get_seg_base(e1, e2),
1035eaa728eeSbellard                    get_seg_limit(e1, e2),
1036eaa728eeSbellard                    e2);
1037eaa728eeSbellard     env->eip = offset;
1038eaa728eeSbellard }
103963fd8ef0SPaolo Bonzini #endif /* TARGET_X86_64 */
1040eaa728eeSbellard 
10412999a0b2SBlue Swirl void helper_sysret(CPUX86State *env, int dflag)
1042eaa728eeSbellard {
1043eaa728eeSbellard     int cpl, selector;
1044eaa728eeSbellard 
1045eaa728eeSbellard     if (!(env->efer & MSR_EFER_SCE)) {
1046100ec099SPavel Dovgalyuk         raise_exception_err_ra(env, EXCP06_ILLOP, 0, GETPC());
1047eaa728eeSbellard     }
1048eaa728eeSbellard     cpl = env->hflags & HF_CPL_MASK;
1049eaa728eeSbellard     if (!(env->cr[0] & CR0_PE_MASK) || cpl != 0) {
1050100ec099SPavel Dovgalyuk         raise_exception_err_ra(env, EXCP0D_GPF, 0, GETPC());
1051eaa728eeSbellard     }
1052eaa728eeSbellard     selector = (env->star >> 48) & 0xffff;
105363fd8ef0SPaolo Bonzini #ifdef TARGET_X86_64
1054eaa728eeSbellard     if (env->hflags & HF_LMA_MASK) {
1055fd460606SKevin O'Connor         cpu_load_eflags(env, (uint32_t)(env->regs[11]), TF_MASK | AC_MASK
1056fd460606SKevin O'Connor                         | ID_MASK | IF_MASK | IOPL_MASK | VM_MASK | RF_MASK |
1057fd460606SKevin O'Connor                         NT_MASK);
1058eaa728eeSbellard         if (dflag == 2) {
1059eaa728eeSbellard             cpu_x86_load_seg_cache(env, R_CS, (selector + 16) | 3,
1060eaa728eeSbellard                                    0, 0xffffffff,
1061eaa728eeSbellard                                    DESC_G_MASK | DESC_P_MASK |
1062eaa728eeSbellard                                    DESC_S_MASK | (3 << DESC_DPL_SHIFT) |
1063eaa728eeSbellard                                    DESC_CS_MASK | DESC_R_MASK | DESC_A_MASK |
1064eaa728eeSbellard                                    DESC_L_MASK);
1065a4165610Sliguang             env->eip = env->regs[R_ECX];
1066eaa728eeSbellard         } else {
1067eaa728eeSbellard             cpu_x86_load_seg_cache(env, R_CS, selector | 3,
1068eaa728eeSbellard                                    0, 0xffffffff,
1069eaa728eeSbellard                                    DESC_G_MASK | DESC_B_MASK | DESC_P_MASK |
1070eaa728eeSbellard                                    DESC_S_MASK | (3 << DESC_DPL_SHIFT) |
1071eaa728eeSbellard                                    DESC_CS_MASK | DESC_R_MASK | DESC_A_MASK);
1072a4165610Sliguang             env->eip = (uint32_t)env->regs[R_ECX];
1073eaa728eeSbellard         }
1074ac576229SBill Paul         cpu_x86_load_seg_cache(env, R_SS, (selector + 8) | 3,
1075eaa728eeSbellard                                0, 0xffffffff,
1076eaa728eeSbellard                                DESC_G_MASK | DESC_B_MASK | DESC_P_MASK |
1077eaa728eeSbellard                                DESC_S_MASK | (3 << DESC_DPL_SHIFT) |
1078eaa728eeSbellard                                DESC_W_MASK | DESC_A_MASK);
107963fd8ef0SPaolo Bonzini     } else
108063fd8ef0SPaolo Bonzini #endif
108163fd8ef0SPaolo Bonzini     {
1082fd460606SKevin O'Connor         env->eflags |= IF_MASK;
1083eaa728eeSbellard         cpu_x86_load_seg_cache(env, R_CS, selector | 3,
1084eaa728eeSbellard                                0, 0xffffffff,
1085eaa728eeSbellard                                DESC_G_MASK | DESC_B_MASK | DESC_P_MASK |
1086eaa728eeSbellard                                DESC_S_MASK | (3 << DESC_DPL_SHIFT) |
1087eaa728eeSbellard                                DESC_CS_MASK | DESC_R_MASK | DESC_A_MASK);
1088a4165610Sliguang         env->eip = (uint32_t)env->regs[R_ECX];
1089ac576229SBill Paul         cpu_x86_load_seg_cache(env, R_SS, (selector + 8) | 3,
1090eaa728eeSbellard                                0, 0xffffffff,
1091eaa728eeSbellard                                DESC_G_MASK | DESC_B_MASK | DESC_P_MASK |
1092eaa728eeSbellard                                DESC_S_MASK | (3 << DESC_DPL_SHIFT) |
1093eaa728eeSbellard                                DESC_W_MASK | DESC_A_MASK);
1094eaa728eeSbellard     }
1095eaa728eeSbellard }
1096eaa728eeSbellard 
1097eaa728eeSbellard /* real mode interrupt */
10982999a0b2SBlue Swirl static void do_interrupt_real(CPUX86State *env, int intno, int is_int,
10992999a0b2SBlue Swirl                               int error_code, unsigned int next_eip)
1100eaa728eeSbellard {
1101eaa728eeSbellard     SegmentCache *dt;
1102059368bcSRichard Henderson     target_ulong ptr;
1103eaa728eeSbellard     int selector;
1104059368bcSRichard Henderson     uint32_t offset;
1105eaa728eeSbellard     uint32_t old_cs, old_eip;
1106059368bcSRichard Henderson     StackAccess sa;
1107eaa728eeSbellard 
1108eaa728eeSbellard     /* real mode (simpler!) */
1109eaa728eeSbellard     dt = &env->idt;
111020054ef0SBlue Swirl     if (intno * 4 + 3 > dt->limit) {
111177b2bc2cSBlue Swirl         raise_exception_err(env, EXCP0D_GPF, intno * 8 + 2);
111220054ef0SBlue Swirl     }
1113eaa728eeSbellard     ptr = dt->base + intno * 4;
1114329e607dSBlue Swirl     offset = cpu_lduw_kernel(env, ptr);
1115329e607dSBlue Swirl     selector = cpu_lduw_kernel(env, ptr + 2);
1116059368bcSRichard Henderson 
1117059368bcSRichard Henderson     sa.env = env;
1118059368bcSRichard Henderson     sa.ra = 0;
1119059368bcSRichard Henderson     sa.sp = env->regs[R_ESP];
1120059368bcSRichard Henderson     sa.sp_mask = 0xffff;
1121059368bcSRichard Henderson     sa.ss_base = env->segs[R_SS].base;
1122*8053862aSPaolo Bonzini     sa.mmu_index = cpu_mmu_index_kernel(env);
1123059368bcSRichard Henderson 
112420054ef0SBlue Swirl     if (is_int) {
1125eaa728eeSbellard         old_eip = next_eip;
112620054ef0SBlue Swirl     } else {
1127eaa728eeSbellard         old_eip = env->eip;
112820054ef0SBlue Swirl     }
1129eaa728eeSbellard     old_cs = env->segs[R_CS].selector;
1130eaa728eeSbellard     /* XXX: use SS segment size? */
1131059368bcSRichard Henderson     pushw(&sa, cpu_compute_eflags(env));
1132059368bcSRichard Henderson     pushw(&sa, old_cs);
1133059368bcSRichard Henderson     pushw(&sa, old_eip);
1134eaa728eeSbellard 
1135eaa728eeSbellard     /* update processor state */
1136059368bcSRichard Henderson     SET_ESP(sa.sp, sa.sp_mask);
1137eaa728eeSbellard     env->eip = offset;
1138eaa728eeSbellard     env->segs[R_CS].selector = selector;
1139eaa728eeSbellard     env->segs[R_CS].base = (selector << 4);
1140eaa728eeSbellard     env->eflags &= ~(IF_MASK | TF_MASK | AC_MASK | RF_MASK);
1141eaa728eeSbellard }
1142eaa728eeSbellard 
1143eaa728eeSbellard /*
1144eaa728eeSbellard  * Begin execution of an interruption. is_int is TRUE if coming from
1145a78d0eabSliguang  * the int instruction. next_eip is the env->eip value AFTER the interrupt
1146eaa728eeSbellard  * instruction. It is only relevant if is_int is TRUE.
1147eaa728eeSbellard  */
114830493a03SClaudio Fontana void do_interrupt_all(X86CPU *cpu, int intno, int is_int,
11492999a0b2SBlue Swirl                       int error_code, target_ulong next_eip, int is_hw)
1150eaa728eeSbellard {
1151ca4c810aSAndreas Färber     CPUX86State *env = &cpu->env;
1152ca4c810aSAndreas Färber 
11538fec2b8cSaliguori     if (qemu_loglevel_mask(CPU_LOG_INT)) {
1154eaa728eeSbellard         if ((env->cr[0] & CR0_PE_MASK)) {
1155eaa728eeSbellard             static int count;
115620054ef0SBlue Swirl 
115720054ef0SBlue Swirl             qemu_log("%6d: v=%02x e=%04x i=%d cpl=%d IP=%04x:" TARGET_FMT_lx
115820054ef0SBlue Swirl                      " pc=" TARGET_FMT_lx " SP=%04x:" TARGET_FMT_lx,
1159eaa728eeSbellard                      count, intno, error_code, is_int,
1160eaa728eeSbellard                      env->hflags & HF_CPL_MASK,
1161a78d0eabSliguang                      env->segs[R_CS].selector, env->eip,
1162a78d0eabSliguang                      (int)env->segs[R_CS].base + env->eip,
116308b3ded6Sliguang                      env->segs[R_SS].selector, env->regs[R_ESP]);
1164eaa728eeSbellard             if (intno == 0x0e) {
116593fcfe39Saliguori                 qemu_log(" CR2=" TARGET_FMT_lx, env->cr[2]);
1166eaa728eeSbellard             } else {
11674b34e3adSliguang                 qemu_log(" env->regs[R_EAX]=" TARGET_FMT_lx, env->regs[R_EAX]);
1168eaa728eeSbellard             }
116993fcfe39Saliguori             qemu_log("\n");
1170a0762859SAndreas Färber             log_cpu_state(CPU(cpu), CPU_DUMP_CCOP);
1171eaa728eeSbellard #if 0
1172eaa728eeSbellard             {
1173eaa728eeSbellard                 int i;
11749bd5494eSAdam Lackorzynski                 target_ulong ptr;
117520054ef0SBlue Swirl 
117693fcfe39Saliguori                 qemu_log("       code=");
1177eaa728eeSbellard                 ptr = env->segs[R_CS].base + env->eip;
1178eaa728eeSbellard                 for (i = 0; i < 16; i++) {
117993fcfe39Saliguori                     qemu_log(" %02x", ldub(ptr + i));
1180eaa728eeSbellard                 }
118193fcfe39Saliguori                 qemu_log("\n");
1182eaa728eeSbellard             }
1183eaa728eeSbellard #endif
1184eaa728eeSbellard             count++;
1185eaa728eeSbellard         }
1186eaa728eeSbellard     }
1187eaa728eeSbellard     if (env->cr[0] & CR0_PE_MASK) {
118800ea18d1Saliguori #if !defined(CONFIG_USER_ONLY)
1189f8dc4c64SPaolo Bonzini         if (env->hflags & HF_GUEST_MASK) {
11902999a0b2SBlue Swirl             handle_even_inj(env, intno, is_int, error_code, is_hw, 0);
119120054ef0SBlue Swirl         }
119200ea18d1Saliguori #endif
1193eb38c52cSblueswir1 #ifdef TARGET_X86_64
1194eaa728eeSbellard         if (env->hflags & HF_LMA_MASK) {
11952999a0b2SBlue Swirl             do_interrupt64(env, intno, is_int, error_code, next_eip, is_hw);
1196eaa728eeSbellard         } else
1197eaa728eeSbellard #endif
1198eaa728eeSbellard         {
11992999a0b2SBlue Swirl             do_interrupt_protected(env, intno, is_int, error_code, next_eip,
12002999a0b2SBlue Swirl                                    is_hw);
1201eaa728eeSbellard         }
1202eaa728eeSbellard     } else {
120300ea18d1Saliguori #if !defined(CONFIG_USER_ONLY)
1204f8dc4c64SPaolo Bonzini         if (env->hflags & HF_GUEST_MASK) {
12052999a0b2SBlue Swirl             handle_even_inj(env, intno, is_int, error_code, is_hw, 1);
120620054ef0SBlue Swirl         }
120700ea18d1Saliguori #endif
12082999a0b2SBlue Swirl         do_interrupt_real(env, intno, is_int, error_code, next_eip);
1209eaa728eeSbellard     }
12102ed51f5bSaliguori 
121100ea18d1Saliguori #if !defined(CONFIG_USER_ONLY)
1212f8dc4c64SPaolo Bonzini     if (env->hflags & HF_GUEST_MASK) {
1213fdfba1a2SEdgar E. Iglesias         CPUState *cs = CPU(cpu);
1214b216aa6cSPaolo Bonzini         uint32_t event_inj = x86_ldl_phys(cs, env->vm_vmcb +
121520054ef0SBlue Swirl                                       offsetof(struct vmcb,
121620054ef0SBlue Swirl                                                control.event_inj));
121720054ef0SBlue Swirl 
1218b216aa6cSPaolo Bonzini         x86_stl_phys(cs,
1219ab1da857SEdgar E. Iglesias                  env->vm_vmcb + offsetof(struct vmcb, control.event_inj),
122020054ef0SBlue Swirl                  event_inj & ~SVM_EVTINJ_VALID);
12212ed51f5bSaliguori     }
122200ea18d1Saliguori #endif
1223eaa728eeSbellard }
1224eaa728eeSbellard 
12252999a0b2SBlue Swirl void do_interrupt_x86_hardirq(CPUX86State *env, int intno, int is_hw)
1226e694d4e2SBlue Swirl {
12276aa9e42fSRichard Henderson     do_interrupt_all(env_archcpu(env), intno, 0, 0, 0, is_hw);
1228e694d4e2SBlue Swirl }
1229e694d4e2SBlue Swirl 
12302999a0b2SBlue Swirl void helper_lldt(CPUX86State *env, int selector)
1231eaa728eeSbellard {
1232eaa728eeSbellard     SegmentCache *dt;
1233eaa728eeSbellard     uint32_t e1, e2;
1234eaa728eeSbellard     int index, entry_limit;
1235eaa728eeSbellard     target_ulong ptr;
1236eaa728eeSbellard 
1237eaa728eeSbellard     selector &= 0xffff;
1238eaa728eeSbellard     if ((selector & 0xfffc) == 0) {
1239eaa728eeSbellard         /* XXX: NULL selector case: invalid LDT */
1240eaa728eeSbellard         env->ldt.base = 0;
1241eaa728eeSbellard         env->ldt.limit = 0;
1242eaa728eeSbellard     } else {
124320054ef0SBlue Swirl         if (selector & 0x4) {
1244100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC());
124520054ef0SBlue Swirl         }
1246eaa728eeSbellard         dt = &env->gdt;
1247eaa728eeSbellard         index = selector & ~7;
1248eaa728eeSbellard #ifdef TARGET_X86_64
124920054ef0SBlue Swirl         if (env->hflags & HF_LMA_MASK) {
1250eaa728eeSbellard             entry_limit = 15;
125120054ef0SBlue Swirl         } else
1252eaa728eeSbellard #endif
125320054ef0SBlue Swirl         {
1254eaa728eeSbellard             entry_limit = 7;
125520054ef0SBlue Swirl         }
125620054ef0SBlue Swirl         if ((index + entry_limit) > dt->limit) {
1257100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC());
125820054ef0SBlue Swirl         }
1259eaa728eeSbellard         ptr = dt->base + index;
1260100ec099SPavel Dovgalyuk         e1 = cpu_ldl_kernel_ra(env, ptr, GETPC());
1261100ec099SPavel Dovgalyuk         e2 = cpu_ldl_kernel_ra(env, ptr + 4, GETPC());
126220054ef0SBlue Swirl         if ((e2 & DESC_S_MASK) || ((e2 >> DESC_TYPE_SHIFT) & 0xf) != 2) {
1263100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC());
126420054ef0SBlue Swirl         }
126520054ef0SBlue Swirl         if (!(e2 & DESC_P_MASK)) {
1266100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0B_NOSEG, selector & 0xfffc, GETPC());
126720054ef0SBlue Swirl         }
1268eaa728eeSbellard #ifdef TARGET_X86_64
1269eaa728eeSbellard         if (env->hflags & HF_LMA_MASK) {
1270eaa728eeSbellard             uint32_t e3;
127120054ef0SBlue Swirl 
1272100ec099SPavel Dovgalyuk             e3 = cpu_ldl_kernel_ra(env, ptr + 8, GETPC());
1273eaa728eeSbellard             load_seg_cache_raw_dt(&env->ldt, e1, e2);
1274eaa728eeSbellard             env->ldt.base |= (target_ulong)e3 << 32;
1275eaa728eeSbellard         } else
1276eaa728eeSbellard #endif
1277eaa728eeSbellard         {
1278eaa728eeSbellard             load_seg_cache_raw_dt(&env->ldt, e1, e2);
1279eaa728eeSbellard         }
1280eaa728eeSbellard     }
1281eaa728eeSbellard     env->ldt.selector = selector;
1282eaa728eeSbellard }
1283eaa728eeSbellard 
12842999a0b2SBlue Swirl void helper_ltr(CPUX86State *env, int selector)
1285eaa728eeSbellard {
1286eaa728eeSbellard     SegmentCache *dt;
1287eaa728eeSbellard     uint32_t e1, e2;
1288eaa728eeSbellard     int index, type, entry_limit;
1289eaa728eeSbellard     target_ulong ptr;
1290eaa728eeSbellard 
1291eaa728eeSbellard     selector &= 0xffff;
1292eaa728eeSbellard     if ((selector & 0xfffc) == 0) {
1293eaa728eeSbellard         /* NULL selector case: invalid TR */
1294eaa728eeSbellard         env->tr.base = 0;
1295eaa728eeSbellard         env->tr.limit = 0;
1296eaa728eeSbellard         env->tr.flags = 0;
1297eaa728eeSbellard     } else {
129820054ef0SBlue Swirl         if (selector & 0x4) {
1299100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC());
130020054ef0SBlue Swirl         }
1301eaa728eeSbellard         dt = &env->gdt;
1302eaa728eeSbellard         index = selector & ~7;
1303eaa728eeSbellard #ifdef TARGET_X86_64
130420054ef0SBlue Swirl         if (env->hflags & HF_LMA_MASK) {
1305eaa728eeSbellard             entry_limit = 15;
130620054ef0SBlue Swirl         } else
1307eaa728eeSbellard #endif
130820054ef0SBlue Swirl         {
1309eaa728eeSbellard             entry_limit = 7;
131020054ef0SBlue Swirl         }
131120054ef0SBlue Swirl         if ((index + entry_limit) > dt->limit) {
1312100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC());
131320054ef0SBlue Swirl         }
1314eaa728eeSbellard         ptr = dt->base + index;
1315100ec099SPavel Dovgalyuk         e1 = cpu_ldl_kernel_ra(env, ptr, GETPC());
1316100ec099SPavel Dovgalyuk         e2 = cpu_ldl_kernel_ra(env, ptr + 4, GETPC());
1317eaa728eeSbellard         type = (e2 >> DESC_TYPE_SHIFT) & 0xf;
1318eaa728eeSbellard         if ((e2 & DESC_S_MASK) ||
131920054ef0SBlue Swirl             (type != 1 && type != 9)) {
1320100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC());
132120054ef0SBlue Swirl         }
132220054ef0SBlue Swirl         if (!(e2 & DESC_P_MASK)) {
1323100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0B_NOSEG, selector & 0xfffc, GETPC());
132420054ef0SBlue Swirl         }
1325eaa728eeSbellard #ifdef TARGET_X86_64
1326eaa728eeSbellard         if (env->hflags & HF_LMA_MASK) {
1327eaa728eeSbellard             uint32_t e3, e4;
132820054ef0SBlue Swirl 
1329100ec099SPavel Dovgalyuk             e3 = cpu_ldl_kernel_ra(env, ptr + 8, GETPC());
1330100ec099SPavel Dovgalyuk             e4 = cpu_ldl_kernel_ra(env, ptr + 12, GETPC());
133120054ef0SBlue Swirl             if ((e4 >> DESC_TYPE_SHIFT) & 0xf) {
1332100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC());
133320054ef0SBlue Swirl             }
1334eaa728eeSbellard             load_seg_cache_raw_dt(&env->tr, e1, e2);
1335eaa728eeSbellard             env->tr.base |= (target_ulong)e3 << 32;
1336eaa728eeSbellard         } else
1337eaa728eeSbellard #endif
1338eaa728eeSbellard         {
1339eaa728eeSbellard             load_seg_cache_raw_dt(&env->tr, e1, e2);
1340eaa728eeSbellard         }
1341eaa728eeSbellard         e2 |= DESC_TSS_BUSY_MASK;
1342100ec099SPavel Dovgalyuk         cpu_stl_kernel_ra(env, ptr + 4, e2, GETPC());
1343eaa728eeSbellard     }
1344eaa728eeSbellard     env->tr.selector = selector;
1345eaa728eeSbellard }
1346eaa728eeSbellard 
1347eaa728eeSbellard /* only works if protected mode and not VM86. seg_reg must be != R_CS */
13482999a0b2SBlue Swirl void helper_load_seg(CPUX86State *env, int seg_reg, int selector)
1349eaa728eeSbellard {
1350eaa728eeSbellard     uint32_t e1, e2;
1351eaa728eeSbellard     int cpl, dpl, rpl;
1352eaa728eeSbellard     SegmentCache *dt;
1353eaa728eeSbellard     int index;
1354eaa728eeSbellard     target_ulong ptr;
1355eaa728eeSbellard 
1356eaa728eeSbellard     selector &= 0xffff;
1357eaa728eeSbellard     cpl = env->hflags & HF_CPL_MASK;
1358eaa728eeSbellard     if ((selector & 0xfffc) == 0) {
1359eaa728eeSbellard         /* null selector case */
1360eaa728eeSbellard         if (seg_reg == R_SS
1361eaa728eeSbellard #ifdef TARGET_X86_64
1362eaa728eeSbellard             && (!(env->hflags & HF_CS64_MASK) || cpl == 3)
1363eaa728eeSbellard #endif
136420054ef0SBlue Swirl             ) {
1365100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0D_GPF, 0, GETPC());
136620054ef0SBlue Swirl         }
1367eaa728eeSbellard         cpu_x86_load_seg_cache(env, seg_reg, selector, 0, 0, 0);
1368eaa728eeSbellard     } else {
1369eaa728eeSbellard 
137020054ef0SBlue Swirl         if (selector & 0x4) {
1371eaa728eeSbellard             dt = &env->ldt;
137220054ef0SBlue Swirl         } else {
1373eaa728eeSbellard             dt = &env->gdt;
137420054ef0SBlue Swirl         }
1375eaa728eeSbellard         index = selector & ~7;
137620054ef0SBlue Swirl         if ((index + 7) > dt->limit) {
1377100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC());
137820054ef0SBlue Swirl         }
1379eaa728eeSbellard         ptr = dt->base + index;
1380100ec099SPavel Dovgalyuk         e1 = cpu_ldl_kernel_ra(env, ptr, GETPC());
1381100ec099SPavel Dovgalyuk         e2 = cpu_ldl_kernel_ra(env, ptr + 4, GETPC());
1382eaa728eeSbellard 
138320054ef0SBlue Swirl         if (!(e2 & DESC_S_MASK)) {
1384100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC());
138520054ef0SBlue Swirl         }
1386eaa728eeSbellard         rpl = selector & 3;
1387eaa728eeSbellard         dpl = (e2 >> DESC_DPL_SHIFT) & 3;
1388eaa728eeSbellard         if (seg_reg == R_SS) {
1389eaa728eeSbellard             /* must be writable segment */
139020054ef0SBlue Swirl             if ((e2 & DESC_CS_MASK) || !(e2 & DESC_W_MASK)) {
1391100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC());
139220054ef0SBlue Swirl             }
139320054ef0SBlue Swirl             if (rpl != cpl || dpl != cpl) {
1394100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC());
139520054ef0SBlue Swirl             }
1396eaa728eeSbellard         } else {
1397eaa728eeSbellard             /* must be readable segment */
139820054ef0SBlue Swirl             if ((e2 & (DESC_CS_MASK | DESC_R_MASK)) == DESC_CS_MASK) {
1399100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC());
140020054ef0SBlue Swirl             }
1401eaa728eeSbellard 
1402eaa728eeSbellard             if (!(e2 & DESC_CS_MASK) || !(e2 & DESC_C_MASK)) {
1403eaa728eeSbellard                 /* if not conforming code, test rights */
140420054ef0SBlue Swirl                 if (dpl < cpl || dpl < rpl) {
1405100ec099SPavel Dovgalyuk                     raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC());
1406eaa728eeSbellard                 }
1407eaa728eeSbellard             }
140820054ef0SBlue Swirl         }
1409eaa728eeSbellard 
1410eaa728eeSbellard         if (!(e2 & DESC_P_MASK)) {
141120054ef0SBlue Swirl             if (seg_reg == R_SS) {
1412100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0C_STACK, selector & 0xfffc, GETPC());
141320054ef0SBlue Swirl             } else {
1414100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0B_NOSEG, selector & 0xfffc, GETPC());
1415eaa728eeSbellard             }
141620054ef0SBlue Swirl         }
1417eaa728eeSbellard 
1418eaa728eeSbellard         /* set the access bit if not already set */
1419eaa728eeSbellard         if (!(e2 & DESC_A_MASK)) {
1420eaa728eeSbellard             e2 |= DESC_A_MASK;
1421100ec099SPavel Dovgalyuk             cpu_stl_kernel_ra(env, ptr + 4, e2, GETPC());
1422eaa728eeSbellard         }
1423eaa728eeSbellard 
1424eaa728eeSbellard         cpu_x86_load_seg_cache(env, seg_reg, selector,
1425eaa728eeSbellard                        get_seg_base(e1, e2),
1426eaa728eeSbellard                        get_seg_limit(e1, e2),
1427eaa728eeSbellard                        e2);
1428eaa728eeSbellard #if 0
142993fcfe39Saliguori         qemu_log("load_seg: sel=0x%04x base=0x%08lx limit=0x%08lx flags=%08x\n",
1430eaa728eeSbellard                 selector, (unsigned long)sc->base, sc->limit, sc->flags);
1431eaa728eeSbellard #endif
1432eaa728eeSbellard     }
1433eaa728eeSbellard }
1434eaa728eeSbellard 
1435eaa728eeSbellard /* protected mode jump */
14362999a0b2SBlue Swirl void helper_ljmp_protected(CPUX86State *env, int new_cs, target_ulong new_eip,
1437100ec099SPavel Dovgalyuk                            target_ulong next_eip)
1438eaa728eeSbellard {
1439eaa728eeSbellard     int gate_cs, type;
1440eaa728eeSbellard     uint32_t e1, e2, cpl, dpl, rpl, limit;
1441eaa728eeSbellard 
144220054ef0SBlue Swirl     if ((new_cs & 0xfffc) == 0) {
1443100ec099SPavel Dovgalyuk         raise_exception_err_ra(env, EXCP0D_GPF, 0, GETPC());
144420054ef0SBlue Swirl     }
1445100ec099SPavel Dovgalyuk     if (load_segment_ra(env, &e1, &e2, new_cs, GETPC()) != 0) {
1446100ec099SPavel Dovgalyuk         raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
144720054ef0SBlue Swirl     }
1448eaa728eeSbellard     cpl = env->hflags & HF_CPL_MASK;
1449eaa728eeSbellard     if (e2 & DESC_S_MASK) {
145020054ef0SBlue Swirl         if (!(e2 & DESC_CS_MASK)) {
1451100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
145220054ef0SBlue Swirl         }
1453eaa728eeSbellard         dpl = (e2 >> DESC_DPL_SHIFT) & 3;
1454eaa728eeSbellard         if (e2 & DESC_C_MASK) {
1455eaa728eeSbellard             /* conforming code segment */
145620054ef0SBlue Swirl             if (dpl > cpl) {
1457100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
145820054ef0SBlue Swirl             }
1459eaa728eeSbellard         } else {
1460eaa728eeSbellard             /* non conforming code segment */
1461eaa728eeSbellard             rpl = new_cs & 3;
146220054ef0SBlue Swirl             if (rpl > cpl) {
1463100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
1464eaa728eeSbellard             }
146520054ef0SBlue Swirl             if (dpl != cpl) {
1466100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
146720054ef0SBlue Swirl             }
146820054ef0SBlue Swirl         }
146920054ef0SBlue Swirl         if (!(e2 & DESC_P_MASK)) {
1470100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0B_NOSEG, new_cs & 0xfffc, GETPC());
147120054ef0SBlue Swirl         }
1472eaa728eeSbellard         limit = get_seg_limit(e1, e2);
1473eaa728eeSbellard         if (new_eip > limit &&
1474db7196dbSAndrew Oates             (!(env->hflags & HF_LMA_MASK) || !(e2 & DESC_L_MASK))) {
1475db7196dbSAndrew Oates             raise_exception_err_ra(env, EXCP0D_GPF, 0, GETPC());
147620054ef0SBlue Swirl         }
1477eaa728eeSbellard         cpu_x86_load_seg_cache(env, R_CS, (new_cs & 0xfffc) | cpl,
1478eaa728eeSbellard                        get_seg_base(e1, e2), limit, e2);
1479a78d0eabSliguang         env->eip = new_eip;
1480eaa728eeSbellard     } else {
1481eaa728eeSbellard         /* jump to call or task gate */
1482eaa728eeSbellard         dpl = (e2 >> DESC_DPL_SHIFT) & 3;
1483eaa728eeSbellard         rpl = new_cs & 3;
1484eaa728eeSbellard         cpl = env->hflags & HF_CPL_MASK;
1485eaa728eeSbellard         type = (e2 >> DESC_TYPE_SHIFT) & 0xf;
14860aca0605SAndrew Oates 
14870aca0605SAndrew Oates #ifdef TARGET_X86_64
14880aca0605SAndrew Oates         if (env->efer & MSR_EFER_LMA) {
14890aca0605SAndrew Oates             if (type != 12) {
14900aca0605SAndrew Oates                 raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
14910aca0605SAndrew Oates             }
14920aca0605SAndrew Oates         }
14930aca0605SAndrew Oates #endif
1494eaa728eeSbellard         switch (type) {
1495eaa728eeSbellard         case 1: /* 286 TSS */
1496eaa728eeSbellard         case 9: /* 386 TSS */
1497eaa728eeSbellard         case 5: /* task gate */
149820054ef0SBlue Swirl             if (dpl < cpl || dpl < rpl) {
1499100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
150020054ef0SBlue Swirl             }
1501100ec099SPavel Dovgalyuk             switch_tss_ra(env, new_cs, e1, e2, SWITCH_TSS_JMP, next_eip, GETPC());
1502eaa728eeSbellard             break;
1503eaa728eeSbellard         case 4: /* 286 call gate */
1504eaa728eeSbellard         case 12: /* 386 call gate */
150520054ef0SBlue Swirl             if ((dpl < cpl) || (dpl < rpl)) {
1506100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
150720054ef0SBlue Swirl             }
150820054ef0SBlue Swirl             if (!(e2 & DESC_P_MASK)) {
1509100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0B_NOSEG, new_cs & 0xfffc, GETPC());
151020054ef0SBlue Swirl             }
1511eaa728eeSbellard             gate_cs = e1 >> 16;
1512eaa728eeSbellard             new_eip = (e1 & 0xffff);
151320054ef0SBlue Swirl             if (type == 12) {
1514eaa728eeSbellard                 new_eip |= (e2 & 0xffff0000);
151520054ef0SBlue Swirl             }
15160aca0605SAndrew Oates 
15170aca0605SAndrew Oates #ifdef TARGET_X86_64
15180aca0605SAndrew Oates             if (env->efer & MSR_EFER_LMA) {
15190aca0605SAndrew Oates                 /* load the upper 8 bytes of the 64-bit call gate */
15200aca0605SAndrew Oates                 if (load_segment_ra(env, &e1, &e2, new_cs + 8, GETPC())) {
15210aca0605SAndrew Oates                     raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc,
15220aca0605SAndrew Oates                                            GETPC());
15230aca0605SAndrew Oates                 }
15240aca0605SAndrew Oates                 type = (e2 >> DESC_TYPE_SHIFT) & 0x1f;
15250aca0605SAndrew Oates                 if (type != 0) {
15260aca0605SAndrew Oates                     raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc,
15270aca0605SAndrew Oates                                            GETPC());
15280aca0605SAndrew Oates                 }
15290aca0605SAndrew Oates                 new_eip |= ((target_ulong)e1) << 32;
15300aca0605SAndrew Oates             }
15310aca0605SAndrew Oates #endif
15320aca0605SAndrew Oates 
1533100ec099SPavel Dovgalyuk             if (load_segment_ra(env, &e1, &e2, gate_cs, GETPC()) != 0) {
1534100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0D_GPF, gate_cs & 0xfffc, GETPC());
153520054ef0SBlue Swirl             }
1536eaa728eeSbellard             dpl = (e2 >> DESC_DPL_SHIFT) & 3;
1537eaa728eeSbellard             /* must be code segment */
1538eaa728eeSbellard             if (((e2 & (DESC_S_MASK | DESC_CS_MASK)) !=
153920054ef0SBlue Swirl                  (DESC_S_MASK | DESC_CS_MASK))) {
1540100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0D_GPF, gate_cs & 0xfffc, GETPC());
154120054ef0SBlue Swirl             }
1542eaa728eeSbellard             if (((e2 & DESC_C_MASK) && (dpl > cpl)) ||
154320054ef0SBlue Swirl                 (!(e2 & DESC_C_MASK) && (dpl != cpl))) {
1544100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0D_GPF, gate_cs & 0xfffc, GETPC());
154520054ef0SBlue Swirl             }
15460aca0605SAndrew Oates #ifdef TARGET_X86_64
15470aca0605SAndrew Oates             if (env->efer & MSR_EFER_LMA) {
15480aca0605SAndrew Oates                 if (!(e2 & DESC_L_MASK)) {
15490aca0605SAndrew Oates                     raise_exception_err_ra(env, EXCP0D_GPF, gate_cs & 0xfffc, GETPC());
15500aca0605SAndrew Oates                 }
15510aca0605SAndrew Oates                 if (e2 & DESC_B_MASK) {
15520aca0605SAndrew Oates                     raise_exception_err_ra(env, EXCP0D_GPF, gate_cs & 0xfffc, GETPC());
15530aca0605SAndrew Oates                 }
15540aca0605SAndrew Oates             }
15550aca0605SAndrew Oates #endif
155620054ef0SBlue Swirl             if (!(e2 & DESC_P_MASK)) {
1557100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0D_GPF, gate_cs & 0xfffc, GETPC());
155820054ef0SBlue Swirl             }
1559eaa728eeSbellard             limit = get_seg_limit(e1, e2);
15600aca0605SAndrew Oates             if (new_eip > limit &&
15610aca0605SAndrew Oates                 (!(env->hflags & HF_LMA_MASK) || !(e2 & DESC_L_MASK))) {
1562100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0D_GPF, 0, GETPC());
156320054ef0SBlue Swirl             }
1564eaa728eeSbellard             cpu_x86_load_seg_cache(env, R_CS, (gate_cs & 0xfffc) | cpl,
1565eaa728eeSbellard                                    get_seg_base(e1, e2), limit, e2);
1566a78d0eabSliguang             env->eip = new_eip;
1567eaa728eeSbellard             break;
1568eaa728eeSbellard         default:
1569100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
1570eaa728eeSbellard             break;
1571eaa728eeSbellard         }
1572eaa728eeSbellard     }
1573eaa728eeSbellard }
1574eaa728eeSbellard 
1575eaa728eeSbellard /* real mode call */
15768c03ab9fSRichard Henderson void helper_lcall_real(CPUX86State *env, uint32_t new_cs, uint32_t new_eip,
15778c03ab9fSRichard Henderson                        int shift, uint32_t next_eip)
1578eaa728eeSbellard {
1579059368bcSRichard Henderson     StackAccess sa;
1580eaa728eeSbellard 
1581059368bcSRichard Henderson     sa.env = env;
1582059368bcSRichard Henderson     sa.ra = GETPC();
1583059368bcSRichard Henderson     sa.sp = env->regs[R_ESP];
1584059368bcSRichard Henderson     sa.sp_mask = get_sp_mask(env->segs[R_SS].flags);
1585059368bcSRichard Henderson     sa.ss_base = env->segs[R_SS].base;
1586*8053862aSPaolo Bonzini     sa.mmu_index = cpu_mmu_index_kernel(env);
1587059368bcSRichard Henderson 
1588eaa728eeSbellard     if (shift) {
1589059368bcSRichard Henderson         pushl(&sa, env->segs[R_CS].selector);
1590059368bcSRichard Henderson         pushl(&sa, next_eip);
1591eaa728eeSbellard     } else {
1592059368bcSRichard Henderson         pushw(&sa, env->segs[R_CS].selector);
1593059368bcSRichard Henderson         pushw(&sa, next_eip);
1594eaa728eeSbellard     }
1595eaa728eeSbellard 
1596059368bcSRichard Henderson     SET_ESP(sa.sp, sa.sp_mask);
1597eaa728eeSbellard     env->eip = new_eip;
1598eaa728eeSbellard     env->segs[R_CS].selector = new_cs;
1599eaa728eeSbellard     env->segs[R_CS].base = (new_cs << 4);
1600eaa728eeSbellard }
1601eaa728eeSbellard 
1602eaa728eeSbellard /* protected mode call */
16032999a0b2SBlue Swirl void helper_lcall_protected(CPUX86State *env, int new_cs, target_ulong new_eip,
1604100ec099SPavel Dovgalyuk                             int shift, target_ulong next_eip)
1605eaa728eeSbellard {
1606eaa728eeSbellard     int new_stack, i;
16070aca0605SAndrew Oates     uint32_t e1, e2, cpl, dpl, rpl, selector, param_count;
1608059368bcSRichard Henderson     uint32_t ss = 0, ss_e1 = 0, ss_e2 = 0, type, ss_dpl;
1609eaa728eeSbellard     uint32_t val, limit, old_sp_mask;
1610059368bcSRichard Henderson     target_ulong old_ssp, offset;
1611059368bcSRichard Henderson     StackAccess sa;
1612eaa728eeSbellard 
16130aca0605SAndrew Oates     LOG_PCALL("lcall %04x:" TARGET_FMT_lx " s=%d\n", new_cs, new_eip, shift);
16146aa9e42fSRichard Henderson     LOG_PCALL_STATE(env_cpu(env));
161520054ef0SBlue Swirl     if ((new_cs & 0xfffc) == 0) {
1616100ec099SPavel Dovgalyuk         raise_exception_err_ra(env, EXCP0D_GPF, 0, GETPC());
161720054ef0SBlue Swirl     }
1618100ec099SPavel Dovgalyuk     if (load_segment_ra(env, &e1, &e2, new_cs, GETPC()) != 0) {
1619100ec099SPavel Dovgalyuk         raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
162020054ef0SBlue Swirl     }
1621eaa728eeSbellard     cpl = env->hflags & HF_CPL_MASK;
1622d12d51d5Saliguori     LOG_PCALL("desc=%08x:%08x\n", e1, e2);
1623059368bcSRichard Henderson 
1624059368bcSRichard Henderson     sa.env = env;
1625059368bcSRichard Henderson     sa.ra = GETPC();
1626*8053862aSPaolo Bonzini     sa.mmu_index = cpu_mmu_index_kernel(env);
1627059368bcSRichard Henderson 
1628eaa728eeSbellard     if (e2 & DESC_S_MASK) {
162920054ef0SBlue Swirl         if (!(e2 & DESC_CS_MASK)) {
1630100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
163120054ef0SBlue Swirl         }
1632eaa728eeSbellard         dpl = (e2 >> DESC_DPL_SHIFT) & 3;
1633eaa728eeSbellard         if (e2 & DESC_C_MASK) {
1634eaa728eeSbellard             /* conforming code segment */
163520054ef0SBlue Swirl             if (dpl > cpl) {
1636100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
163720054ef0SBlue Swirl             }
1638eaa728eeSbellard         } else {
1639eaa728eeSbellard             /* non conforming code segment */
1640eaa728eeSbellard             rpl = new_cs & 3;
164120054ef0SBlue Swirl             if (rpl > cpl) {
1642100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
1643eaa728eeSbellard             }
164420054ef0SBlue Swirl             if (dpl != cpl) {
1645100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
164620054ef0SBlue Swirl             }
164720054ef0SBlue Swirl         }
164820054ef0SBlue Swirl         if (!(e2 & DESC_P_MASK)) {
1649100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0B_NOSEG, new_cs & 0xfffc, GETPC());
165020054ef0SBlue Swirl         }
1651eaa728eeSbellard 
1652eaa728eeSbellard #ifdef TARGET_X86_64
1653eaa728eeSbellard         /* XXX: check 16/32 bit cases in long mode */
1654eaa728eeSbellard         if (shift == 2) {
1655eaa728eeSbellard             /* 64 bit case */
1656059368bcSRichard Henderson             sa.sp = env->regs[R_ESP];
1657059368bcSRichard Henderson             sa.sp_mask = -1;
1658059368bcSRichard Henderson             sa.ss_base = 0;
1659059368bcSRichard Henderson             pushq(&sa, env->segs[R_CS].selector);
1660059368bcSRichard Henderson             pushq(&sa, next_eip);
1661eaa728eeSbellard             /* from this point, not restartable */
1662059368bcSRichard Henderson             env->regs[R_ESP] = sa.sp;
1663eaa728eeSbellard             cpu_x86_load_seg_cache(env, R_CS, (new_cs & 0xfffc) | cpl,
1664eaa728eeSbellard                                    get_seg_base(e1, e2),
1665eaa728eeSbellard                                    get_seg_limit(e1, e2), e2);
1666a78d0eabSliguang             env->eip = new_eip;
1667eaa728eeSbellard         } else
1668eaa728eeSbellard #endif
1669eaa728eeSbellard         {
1670059368bcSRichard Henderson             sa.sp = env->regs[R_ESP];
1671059368bcSRichard Henderson             sa.sp_mask = get_sp_mask(env->segs[R_SS].flags);
1672059368bcSRichard Henderson             sa.ss_base = env->segs[R_SS].base;
1673eaa728eeSbellard             if (shift) {
1674059368bcSRichard Henderson                 pushl(&sa, env->segs[R_CS].selector);
1675059368bcSRichard Henderson                 pushl(&sa, next_eip);
1676eaa728eeSbellard             } else {
1677059368bcSRichard Henderson                 pushw(&sa, env->segs[R_CS].selector);
1678059368bcSRichard Henderson                 pushw(&sa, next_eip);
1679eaa728eeSbellard             }
1680eaa728eeSbellard 
1681eaa728eeSbellard             limit = get_seg_limit(e1, e2);
168220054ef0SBlue Swirl             if (new_eip > limit) {
1683100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
168420054ef0SBlue Swirl             }
1685eaa728eeSbellard             /* from this point, not restartable */
1686059368bcSRichard Henderson             SET_ESP(sa.sp, sa.sp_mask);
1687eaa728eeSbellard             cpu_x86_load_seg_cache(env, R_CS, (new_cs & 0xfffc) | cpl,
1688eaa728eeSbellard                                    get_seg_base(e1, e2), limit, e2);
1689a78d0eabSliguang             env->eip = new_eip;
1690eaa728eeSbellard         }
1691eaa728eeSbellard     } else {
1692eaa728eeSbellard         /* check gate type */
1693eaa728eeSbellard         type = (e2 >> DESC_TYPE_SHIFT) & 0x1f;
1694eaa728eeSbellard         dpl = (e2 >> DESC_DPL_SHIFT) & 3;
1695eaa728eeSbellard         rpl = new_cs & 3;
16960aca0605SAndrew Oates 
16970aca0605SAndrew Oates #ifdef TARGET_X86_64
16980aca0605SAndrew Oates         if (env->efer & MSR_EFER_LMA) {
16990aca0605SAndrew Oates             if (type != 12) {
17000aca0605SAndrew Oates                 raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
17010aca0605SAndrew Oates             }
17020aca0605SAndrew Oates         }
17030aca0605SAndrew Oates #endif
17040aca0605SAndrew Oates 
1705eaa728eeSbellard         switch (type) {
1706eaa728eeSbellard         case 1: /* available 286 TSS */
1707eaa728eeSbellard         case 9: /* available 386 TSS */
1708eaa728eeSbellard         case 5: /* task gate */
170920054ef0SBlue Swirl             if (dpl < cpl || dpl < rpl) {
1710100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
171120054ef0SBlue Swirl             }
1712100ec099SPavel Dovgalyuk             switch_tss_ra(env, new_cs, e1, e2, SWITCH_TSS_CALL, next_eip, GETPC());
1713eaa728eeSbellard             return;
1714eaa728eeSbellard         case 4: /* 286 call gate */
1715eaa728eeSbellard         case 12: /* 386 call gate */
1716eaa728eeSbellard             break;
1717eaa728eeSbellard         default:
1718100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
1719eaa728eeSbellard             break;
1720eaa728eeSbellard         }
1721eaa728eeSbellard         shift = type >> 3;
1722eaa728eeSbellard 
172320054ef0SBlue Swirl         if (dpl < cpl || dpl < rpl) {
1724100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
172520054ef0SBlue Swirl         }
1726eaa728eeSbellard         /* check valid bit */
172720054ef0SBlue Swirl         if (!(e2 & DESC_P_MASK)) {
1728100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0B_NOSEG,  new_cs & 0xfffc, GETPC());
172920054ef0SBlue Swirl         }
1730eaa728eeSbellard         selector = e1 >> 16;
1731eaa728eeSbellard         param_count = e2 & 0x1f;
17320aca0605SAndrew Oates         offset = (e2 & 0xffff0000) | (e1 & 0x0000ffff);
17330aca0605SAndrew Oates #ifdef TARGET_X86_64
17340aca0605SAndrew Oates         if (env->efer & MSR_EFER_LMA) {
17350aca0605SAndrew Oates             /* load the upper 8 bytes of the 64-bit call gate */
17360aca0605SAndrew Oates             if (load_segment_ra(env, &e1, &e2, new_cs + 8, GETPC())) {
17370aca0605SAndrew Oates                 raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc,
17380aca0605SAndrew Oates                                        GETPC());
17390aca0605SAndrew Oates             }
17400aca0605SAndrew Oates             type = (e2 >> DESC_TYPE_SHIFT) & 0x1f;
17410aca0605SAndrew Oates             if (type != 0) {
17420aca0605SAndrew Oates                 raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc,
17430aca0605SAndrew Oates                                        GETPC());
17440aca0605SAndrew Oates             }
17450aca0605SAndrew Oates             offset |= ((target_ulong)e1) << 32;
17460aca0605SAndrew Oates         }
17470aca0605SAndrew Oates #endif
174820054ef0SBlue Swirl         if ((selector & 0xfffc) == 0) {
1749100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0D_GPF, 0, GETPC());
175020054ef0SBlue Swirl         }
1751eaa728eeSbellard 
1752100ec099SPavel Dovgalyuk         if (load_segment_ra(env, &e1, &e2, selector, GETPC()) != 0) {
1753100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC());
175420054ef0SBlue Swirl         }
175520054ef0SBlue Swirl         if (!(e2 & DESC_S_MASK) || !(e2 & (DESC_CS_MASK))) {
1756100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC());
175720054ef0SBlue Swirl         }
1758eaa728eeSbellard         dpl = (e2 >> DESC_DPL_SHIFT) & 3;
175920054ef0SBlue Swirl         if (dpl > cpl) {
1760100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC());
176120054ef0SBlue Swirl         }
17620aca0605SAndrew Oates #ifdef TARGET_X86_64
17630aca0605SAndrew Oates         if (env->efer & MSR_EFER_LMA) {
17640aca0605SAndrew Oates             if (!(e2 & DESC_L_MASK)) {
17650aca0605SAndrew Oates                 raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC());
17660aca0605SAndrew Oates             }
17670aca0605SAndrew Oates             if (e2 & DESC_B_MASK) {
17680aca0605SAndrew Oates                 raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC());
17690aca0605SAndrew Oates             }
17700aca0605SAndrew Oates             shift++;
17710aca0605SAndrew Oates         }
17720aca0605SAndrew Oates #endif
177320054ef0SBlue Swirl         if (!(e2 & DESC_P_MASK)) {
1774100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0B_NOSEG, selector & 0xfffc, GETPC());
177520054ef0SBlue Swirl         }
1776eaa728eeSbellard 
1777eaa728eeSbellard         if (!(e2 & DESC_C_MASK) && dpl < cpl) {
1778eaa728eeSbellard             /* to inner privilege */
17790aca0605SAndrew Oates #ifdef TARGET_X86_64
17800aca0605SAndrew Oates             if (shift == 2) {
17810aca0605SAndrew Oates                 ss = dpl;  /* SS = NULL selector with RPL = new CPL */
17820aca0605SAndrew Oates                 new_stack = 1;
1783059368bcSRichard Henderson                 sa.sp = get_rsp_from_tss(env, dpl);
1784059368bcSRichard Henderson                 sa.sp_mask = -1;
1785059368bcSRichard Henderson                 sa.ss_base = 0;  /* SS base is always zero in IA-32e mode */
17860aca0605SAndrew Oates                 LOG_PCALL("new ss:rsp=%04x:%016llx env->regs[R_ESP]="
1787059368bcSRichard Henderson                           TARGET_FMT_lx "\n", ss, sa.sp, env->regs[R_ESP]);
17880aca0605SAndrew Oates             } else
17890aca0605SAndrew Oates #endif
17900aca0605SAndrew Oates             {
17910aca0605SAndrew Oates                 uint32_t sp32;
17920aca0605SAndrew Oates                 get_ss_esp_from_tss(env, &ss, &sp32, dpl, GETPC());
179390a2541bSliguang                 LOG_PCALL("new ss:esp=%04x:%08x param_count=%d env->regs[R_ESP]="
17940aca0605SAndrew Oates                           TARGET_FMT_lx "\n", ss, sp32, param_count,
179590a2541bSliguang                           env->regs[R_ESP]);
179620054ef0SBlue Swirl                 if ((ss & 0xfffc) == 0) {
1797100ec099SPavel Dovgalyuk                     raise_exception_err_ra(env, EXCP0A_TSS, ss & 0xfffc, GETPC());
179820054ef0SBlue Swirl                 }
179920054ef0SBlue Swirl                 if ((ss & 3) != dpl) {
1800100ec099SPavel Dovgalyuk                     raise_exception_err_ra(env, EXCP0A_TSS, ss & 0xfffc, GETPC());
180120054ef0SBlue Swirl                 }
1802100ec099SPavel Dovgalyuk                 if (load_segment_ra(env, &ss_e1, &ss_e2, ss, GETPC()) != 0) {
1803100ec099SPavel Dovgalyuk                     raise_exception_err_ra(env, EXCP0A_TSS, ss & 0xfffc, GETPC());
180420054ef0SBlue Swirl                 }
1805eaa728eeSbellard                 ss_dpl = (ss_e2 >> DESC_DPL_SHIFT) & 3;
180620054ef0SBlue Swirl                 if (ss_dpl != dpl) {
1807100ec099SPavel Dovgalyuk                     raise_exception_err_ra(env, EXCP0A_TSS, ss & 0xfffc, GETPC());
180820054ef0SBlue Swirl                 }
1809eaa728eeSbellard                 if (!(ss_e2 & DESC_S_MASK) ||
1810eaa728eeSbellard                     (ss_e2 & DESC_CS_MASK) ||
181120054ef0SBlue Swirl                     !(ss_e2 & DESC_W_MASK)) {
1812100ec099SPavel Dovgalyuk                     raise_exception_err_ra(env, EXCP0A_TSS, ss & 0xfffc, GETPC());
181320054ef0SBlue Swirl                 }
181420054ef0SBlue Swirl                 if (!(ss_e2 & DESC_P_MASK)) {
1815100ec099SPavel Dovgalyuk                     raise_exception_err_ra(env, EXCP0A_TSS, ss & 0xfffc, GETPC());
181620054ef0SBlue Swirl                 }
1817eaa728eeSbellard 
1818059368bcSRichard Henderson                 sa.sp = sp32;
1819059368bcSRichard Henderson                 sa.sp_mask = get_sp_mask(ss_e2);
1820059368bcSRichard Henderson                 sa.ss_base = get_seg_base(ss_e1, ss_e2);
18210aca0605SAndrew Oates             }
18220aca0605SAndrew Oates 
182320054ef0SBlue Swirl             /* push_size = ((param_count * 2) + 8) << shift; */
1824eaa728eeSbellard             old_sp_mask = get_sp_mask(env->segs[R_SS].flags);
1825eaa728eeSbellard             old_ssp = env->segs[R_SS].base;
1826059368bcSRichard Henderson 
18270aca0605SAndrew Oates #ifdef TARGET_X86_64
18280aca0605SAndrew Oates             if (shift == 2) {
18290aca0605SAndrew Oates                 /* XXX: verify if new stack address is canonical */
1830059368bcSRichard Henderson                 pushq(&sa, env->segs[R_SS].selector);
1831059368bcSRichard Henderson                 pushq(&sa, env->regs[R_ESP]);
18320aca0605SAndrew Oates                 /* parameters aren't supported for 64-bit call gates */
18330aca0605SAndrew Oates             } else
18340aca0605SAndrew Oates #endif
18350aca0605SAndrew Oates             if (shift == 1) {
1836059368bcSRichard Henderson                 pushl(&sa, env->segs[R_SS].selector);
1837059368bcSRichard Henderson                 pushl(&sa, env->regs[R_ESP]);
1838eaa728eeSbellard                 for (i = param_count - 1; i >= 0; i--) {
18390bd385e7SPaolo Bonzini                     val = cpu_ldl_data_ra(env,
18400bd385e7SPaolo Bonzini                                           old_ssp + ((env->regs[R_ESP] + i * 4) & old_sp_mask),
18410bd385e7SPaolo Bonzini                                           GETPC());
1842059368bcSRichard Henderson                     pushl(&sa, val);
1843eaa728eeSbellard                 }
1844eaa728eeSbellard             } else {
1845059368bcSRichard Henderson                 pushw(&sa, env->segs[R_SS].selector);
1846059368bcSRichard Henderson                 pushw(&sa, env->regs[R_ESP]);
1847eaa728eeSbellard                 for (i = param_count - 1; i >= 0; i--) {
18480bd385e7SPaolo Bonzini                     val = cpu_lduw_data_ra(env,
18490bd385e7SPaolo Bonzini                                            old_ssp + ((env->regs[R_ESP] + i * 2) & old_sp_mask),
18500bd385e7SPaolo Bonzini                                            GETPC());
1851059368bcSRichard Henderson                     pushw(&sa, val);
1852eaa728eeSbellard                 }
1853eaa728eeSbellard             }
1854eaa728eeSbellard             new_stack = 1;
1855eaa728eeSbellard         } else {
1856eaa728eeSbellard             /* to same privilege */
1857059368bcSRichard Henderson             sa.sp = env->regs[R_ESP];
1858059368bcSRichard Henderson             sa.sp_mask = get_sp_mask(env->segs[R_SS].flags);
1859059368bcSRichard Henderson             sa.ss_base = env->segs[R_SS].base;
186020054ef0SBlue Swirl             /* push_size = (4 << shift); */
1861eaa728eeSbellard             new_stack = 0;
1862eaa728eeSbellard         }
1863eaa728eeSbellard 
18640aca0605SAndrew Oates #ifdef TARGET_X86_64
18650aca0605SAndrew Oates         if (shift == 2) {
1866059368bcSRichard Henderson             pushq(&sa, env->segs[R_CS].selector);
1867059368bcSRichard Henderson             pushq(&sa, next_eip);
18680aca0605SAndrew Oates         } else
18690aca0605SAndrew Oates #endif
18700aca0605SAndrew Oates         if (shift == 1) {
1871059368bcSRichard Henderson             pushl(&sa, env->segs[R_CS].selector);
1872059368bcSRichard Henderson             pushl(&sa, next_eip);
1873eaa728eeSbellard         } else {
1874059368bcSRichard Henderson             pushw(&sa, env->segs[R_CS].selector);
1875059368bcSRichard Henderson             pushw(&sa, next_eip);
1876eaa728eeSbellard         }
1877eaa728eeSbellard 
1878eaa728eeSbellard         /* from this point, not restartable */
1879eaa728eeSbellard 
1880eaa728eeSbellard         if (new_stack) {
18810aca0605SAndrew Oates #ifdef TARGET_X86_64
18820aca0605SAndrew Oates             if (shift == 2) {
18830aca0605SAndrew Oates                 cpu_x86_load_seg_cache(env, R_SS, ss, 0, 0, 0);
18840aca0605SAndrew Oates             } else
18850aca0605SAndrew Oates #endif
18860aca0605SAndrew Oates             {
1887eaa728eeSbellard                 ss = (ss & ~3) | dpl;
1888eaa728eeSbellard                 cpu_x86_load_seg_cache(env, R_SS, ss,
1889059368bcSRichard Henderson                                        sa.ss_base,
1890eaa728eeSbellard                                        get_seg_limit(ss_e1, ss_e2),
1891eaa728eeSbellard                                        ss_e2);
1892eaa728eeSbellard             }
18930aca0605SAndrew Oates         }
1894eaa728eeSbellard 
1895eaa728eeSbellard         selector = (selector & ~3) | dpl;
1896eaa728eeSbellard         cpu_x86_load_seg_cache(env, R_CS, selector,
1897eaa728eeSbellard                        get_seg_base(e1, e2),
1898eaa728eeSbellard                        get_seg_limit(e1, e2),
1899eaa728eeSbellard                        e2);
1900059368bcSRichard Henderson         SET_ESP(sa.sp, sa.sp_mask);
1901a78d0eabSliguang         env->eip = offset;
1902eaa728eeSbellard     }
1903eaa728eeSbellard }
1904eaa728eeSbellard 
1905eaa728eeSbellard /* real and vm86 mode iret */
19062999a0b2SBlue Swirl void helper_iret_real(CPUX86State *env, int shift)
1907eaa728eeSbellard {
1908059368bcSRichard Henderson     uint32_t new_cs, new_eip, new_eflags;
1909eaa728eeSbellard     int eflags_mask;
1910059368bcSRichard Henderson     StackAccess sa;
1911eaa728eeSbellard 
1912059368bcSRichard Henderson     sa.env = env;
1913059368bcSRichard Henderson     sa.ra = GETPC();
1914*8053862aSPaolo Bonzini     sa.mmu_index = x86_mmu_index_pl(env, 0);
1915059368bcSRichard Henderson     sa.sp_mask = 0xffff; /* XXXX: use SS segment size? */
1916059368bcSRichard Henderson     sa.sp = env->regs[R_ESP];
1917059368bcSRichard Henderson     sa.ss_base = env->segs[R_SS].base;
1918059368bcSRichard Henderson 
1919eaa728eeSbellard     if (shift == 1) {
1920eaa728eeSbellard         /* 32 bits */
1921059368bcSRichard Henderson         new_eip = popl(&sa);
1922059368bcSRichard Henderson         new_cs = popl(&sa) & 0xffff;
1923059368bcSRichard Henderson         new_eflags = popl(&sa);
1924eaa728eeSbellard     } else {
1925eaa728eeSbellard         /* 16 bits */
1926059368bcSRichard Henderson         new_eip = popw(&sa);
1927059368bcSRichard Henderson         new_cs = popw(&sa);
1928059368bcSRichard Henderson         new_eflags = popw(&sa);
1929eaa728eeSbellard     }
1930059368bcSRichard Henderson     SET_ESP(sa.sp, sa.sp_mask);
1931bdadc0b5Smalc     env->segs[R_CS].selector = new_cs;
1932bdadc0b5Smalc     env->segs[R_CS].base = (new_cs << 4);
1933eaa728eeSbellard     env->eip = new_eip;
193420054ef0SBlue Swirl     if (env->eflags & VM_MASK) {
193520054ef0SBlue Swirl         eflags_mask = TF_MASK | AC_MASK | ID_MASK | IF_MASK | RF_MASK |
193620054ef0SBlue Swirl             NT_MASK;
193720054ef0SBlue Swirl     } else {
193820054ef0SBlue Swirl         eflags_mask = TF_MASK | AC_MASK | ID_MASK | IF_MASK | IOPL_MASK |
193920054ef0SBlue Swirl             RF_MASK | NT_MASK;
194020054ef0SBlue Swirl     }
194120054ef0SBlue Swirl     if (shift == 0) {
1942eaa728eeSbellard         eflags_mask &= 0xffff;
194320054ef0SBlue Swirl     }
1944997ff0d9SBlue Swirl     cpu_load_eflags(env, new_eflags, eflags_mask);
1945db620f46Sbellard     env->hflags2 &= ~HF2_NMI_MASK;
1946eaa728eeSbellard }
1947eaa728eeSbellard 
1948c117e5b1SPhilippe Mathieu-Daudé static inline void validate_seg(CPUX86State *env, X86Seg seg_reg, int cpl)
1949eaa728eeSbellard {
1950eaa728eeSbellard     int dpl;
1951eaa728eeSbellard     uint32_t e2;
1952eaa728eeSbellard 
1953eaa728eeSbellard     /* XXX: on x86_64, we do not want to nullify FS and GS because
1954eaa728eeSbellard        they may still contain a valid base. I would be interested to
1955eaa728eeSbellard        know how a real x86_64 CPU behaves */
1956eaa728eeSbellard     if ((seg_reg == R_FS || seg_reg == R_GS) &&
195720054ef0SBlue Swirl         (env->segs[seg_reg].selector & 0xfffc) == 0) {
1958eaa728eeSbellard         return;
195920054ef0SBlue Swirl     }
1960eaa728eeSbellard 
1961eaa728eeSbellard     e2 = env->segs[seg_reg].flags;
1962eaa728eeSbellard     dpl = (e2 >> DESC_DPL_SHIFT) & 3;
1963eaa728eeSbellard     if (!(e2 & DESC_CS_MASK) || !(e2 & DESC_C_MASK)) {
1964eaa728eeSbellard         /* data or non conforming code segment */
1965eaa728eeSbellard         if (dpl < cpl) {
1966c2ba0515SBin Meng             cpu_x86_load_seg_cache(env, seg_reg, 0,
1967c2ba0515SBin Meng                                    env->segs[seg_reg].base,
1968c2ba0515SBin Meng                                    env->segs[seg_reg].limit,
1969c2ba0515SBin Meng                                    env->segs[seg_reg].flags & ~DESC_P_MASK);
1970eaa728eeSbellard         }
1971eaa728eeSbellard     }
1972eaa728eeSbellard }
1973eaa728eeSbellard 
1974eaa728eeSbellard /* protected mode iret */
19752999a0b2SBlue Swirl static inline void helper_ret_protected(CPUX86State *env, int shift,
1976100ec099SPavel Dovgalyuk                                         int is_iret, int addend,
1977100ec099SPavel Dovgalyuk                                         uintptr_t retaddr)
1978eaa728eeSbellard {
1979eaa728eeSbellard     uint32_t new_cs, new_eflags, new_ss;
1980eaa728eeSbellard     uint32_t new_es, new_ds, new_fs, new_gs;
1981eaa728eeSbellard     uint32_t e1, e2, ss_e1, ss_e2;
1982eaa728eeSbellard     int cpl, dpl, rpl, eflags_mask, iopl;
1983059368bcSRichard Henderson     target_ulong new_eip, new_esp;
1984059368bcSRichard Henderson     StackAccess sa;
1985059368bcSRichard Henderson 
1986*8053862aSPaolo Bonzini     cpl = env->hflags & HF_CPL_MASK;
1987*8053862aSPaolo Bonzini 
1988059368bcSRichard Henderson     sa.env = env;
1989059368bcSRichard Henderson     sa.ra = retaddr;
1990*8053862aSPaolo Bonzini     sa.mmu_index = x86_mmu_index_pl(env, cpl);
1991eaa728eeSbellard 
1992eaa728eeSbellard #ifdef TARGET_X86_64
199320054ef0SBlue Swirl     if (shift == 2) {
1994059368bcSRichard Henderson         sa.sp_mask = -1;
199520054ef0SBlue Swirl     } else
1996eaa728eeSbellard #endif
199720054ef0SBlue Swirl     {
1998059368bcSRichard Henderson         sa.sp_mask = get_sp_mask(env->segs[R_SS].flags);
199920054ef0SBlue Swirl     }
2000059368bcSRichard Henderson     sa.sp = env->regs[R_ESP];
2001059368bcSRichard Henderson     sa.ss_base = env->segs[R_SS].base;
2002eaa728eeSbellard     new_eflags = 0; /* avoid warning */
2003eaa728eeSbellard #ifdef TARGET_X86_64
2004eaa728eeSbellard     if (shift == 2) {
2005059368bcSRichard Henderson         new_eip = popq(&sa);
2006059368bcSRichard Henderson         new_cs = popq(&sa) & 0xffff;
2007eaa728eeSbellard         if (is_iret) {
2008059368bcSRichard Henderson             new_eflags = popq(&sa);
2009eaa728eeSbellard         }
2010eaa728eeSbellard     } else
2011eaa728eeSbellard #endif
201220054ef0SBlue Swirl     {
2013eaa728eeSbellard         if (shift == 1) {
2014eaa728eeSbellard             /* 32 bits */
2015059368bcSRichard Henderson             new_eip = popl(&sa);
2016059368bcSRichard Henderson             new_cs = popl(&sa) & 0xffff;
2017eaa728eeSbellard             if (is_iret) {
2018059368bcSRichard Henderson                 new_eflags = popl(&sa);
201920054ef0SBlue Swirl                 if (new_eflags & VM_MASK) {
2020eaa728eeSbellard                     goto return_to_vm86;
2021eaa728eeSbellard                 }
202220054ef0SBlue Swirl             }
2023eaa728eeSbellard         } else {
2024eaa728eeSbellard             /* 16 bits */
2025059368bcSRichard Henderson             new_eip = popw(&sa);
2026059368bcSRichard Henderson             new_cs = popw(&sa);
202720054ef0SBlue Swirl             if (is_iret) {
2028059368bcSRichard Henderson                 new_eflags = popw(&sa);
2029eaa728eeSbellard             }
203020054ef0SBlue Swirl         }
203120054ef0SBlue Swirl     }
2032d12d51d5Saliguori     LOG_PCALL("lret new %04x:" TARGET_FMT_lx " s=%d addend=0x%x\n",
2033eaa728eeSbellard               new_cs, new_eip, shift, addend);
20346aa9e42fSRichard Henderson     LOG_PCALL_STATE(env_cpu(env));
203520054ef0SBlue Swirl     if ((new_cs & 0xfffc) == 0) {
2036100ec099SPavel Dovgalyuk         raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, retaddr);
2037eaa728eeSbellard     }
2038100ec099SPavel Dovgalyuk     if (load_segment_ra(env, &e1, &e2, new_cs, retaddr) != 0) {
2039100ec099SPavel Dovgalyuk         raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, retaddr);
204020054ef0SBlue Swirl     }
204120054ef0SBlue Swirl     if (!(e2 & DESC_S_MASK) ||
204220054ef0SBlue Swirl         !(e2 & DESC_CS_MASK)) {
2043100ec099SPavel Dovgalyuk         raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, retaddr);
204420054ef0SBlue Swirl     }
204520054ef0SBlue Swirl     rpl = new_cs & 3;
204620054ef0SBlue Swirl     if (rpl < cpl) {
2047100ec099SPavel Dovgalyuk         raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, retaddr);
204820054ef0SBlue Swirl     }
204920054ef0SBlue Swirl     dpl = (e2 >> DESC_DPL_SHIFT) & 3;
205020054ef0SBlue Swirl     if (e2 & DESC_C_MASK) {
205120054ef0SBlue Swirl         if (dpl > rpl) {
2052100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, retaddr);
205320054ef0SBlue Swirl         }
205420054ef0SBlue Swirl     } else {
205520054ef0SBlue Swirl         if (dpl != rpl) {
2056100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, retaddr);
205720054ef0SBlue Swirl         }
205820054ef0SBlue Swirl     }
205920054ef0SBlue Swirl     if (!(e2 & DESC_P_MASK)) {
2060100ec099SPavel Dovgalyuk         raise_exception_err_ra(env, EXCP0B_NOSEG, new_cs & 0xfffc, retaddr);
206120054ef0SBlue Swirl     }
2062eaa728eeSbellard 
2063059368bcSRichard Henderson     sa.sp += addend;
2064eaa728eeSbellard     if (rpl == cpl && (!(env->hflags & HF_CS64_MASK) ||
2065eaa728eeSbellard                        ((env->hflags & HF_CS64_MASK) && !is_iret))) {
20661235fc06Sths         /* return to same privilege level */
2067eaa728eeSbellard         cpu_x86_load_seg_cache(env, R_CS, new_cs,
2068eaa728eeSbellard                        get_seg_base(e1, e2),
2069eaa728eeSbellard                        get_seg_limit(e1, e2),
2070eaa728eeSbellard                        e2);
2071eaa728eeSbellard     } else {
2072eaa728eeSbellard         /* return to different privilege level */
2073eaa728eeSbellard #ifdef TARGET_X86_64
2074eaa728eeSbellard         if (shift == 2) {
2075059368bcSRichard Henderson             new_esp = popq(&sa);
2076059368bcSRichard Henderson             new_ss = popq(&sa) & 0xffff;
2077eaa728eeSbellard         } else
2078eaa728eeSbellard #endif
207920054ef0SBlue Swirl         {
2080eaa728eeSbellard             if (shift == 1) {
2081eaa728eeSbellard                 /* 32 bits */
2082059368bcSRichard Henderson                 new_esp = popl(&sa);
2083059368bcSRichard Henderson                 new_ss = popl(&sa) & 0xffff;
2084eaa728eeSbellard             } else {
2085eaa728eeSbellard                 /* 16 bits */
2086059368bcSRichard Henderson                 new_esp = popw(&sa);
2087059368bcSRichard Henderson                 new_ss = popw(&sa);
2088eaa728eeSbellard             }
208920054ef0SBlue Swirl         }
2090d12d51d5Saliguori         LOG_PCALL("new ss:esp=%04x:" TARGET_FMT_lx "\n",
2091eaa728eeSbellard                   new_ss, new_esp);
2092eaa728eeSbellard         if ((new_ss & 0xfffc) == 0) {
2093eaa728eeSbellard #ifdef TARGET_X86_64
2094eaa728eeSbellard             /* NULL ss is allowed in long mode if cpl != 3 */
2095eaa728eeSbellard             /* XXX: test CS64? */
2096eaa728eeSbellard             if ((env->hflags & HF_LMA_MASK) && rpl != 3) {
2097eaa728eeSbellard                 cpu_x86_load_seg_cache(env, R_SS, new_ss,
2098eaa728eeSbellard                                        0, 0xffffffff,
2099eaa728eeSbellard                                        DESC_G_MASK | DESC_B_MASK | DESC_P_MASK |
2100eaa728eeSbellard                                        DESC_S_MASK | (rpl << DESC_DPL_SHIFT) |
2101eaa728eeSbellard                                        DESC_W_MASK | DESC_A_MASK);
2102eaa728eeSbellard                 ss_e2 = DESC_B_MASK; /* XXX: should not be needed? */
2103eaa728eeSbellard             } else
2104eaa728eeSbellard #endif
2105eaa728eeSbellard             {
2106100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0D_GPF, 0, retaddr);
2107eaa728eeSbellard             }
2108eaa728eeSbellard         } else {
210920054ef0SBlue Swirl             if ((new_ss & 3) != rpl) {
2110100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0D_GPF, new_ss & 0xfffc, retaddr);
211120054ef0SBlue Swirl             }
2112100ec099SPavel Dovgalyuk             if (load_segment_ra(env, &ss_e1, &ss_e2, new_ss, retaddr) != 0) {
2113100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0D_GPF, new_ss & 0xfffc, retaddr);
211420054ef0SBlue Swirl             }
2115eaa728eeSbellard             if (!(ss_e2 & DESC_S_MASK) ||
2116eaa728eeSbellard                 (ss_e2 & DESC_CS_MASK) ||
211720054ef0SBlue Swirl                 !(ss_e2 & DESC_W_MASK)) {
2118100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0D_GPF, new_ss & 0xfffc, retaddr);
211920054ef0SBlue Swirl             }
2120eaa728eeSbellard             dpl = (ss_e2 >> DESC_DPL_SHIFT) & 3;
212120054ef0SBlue Swirl             if (dpl != rpl) {
2122100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0D_GPF, new_ss & 0xfffc, retaddr);
212320054ef0SBlue Swirl             }
212420054ef0SBlue Swirl             if (!(ss_e2 & DESC_P_MASK)) {
2125100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0B_NOSEG, new_ss & 0xfffc, retaddr);
212620054ef0SBlue Swirl             }
2127eaa728eeSbellard             cpu_x86_load_seg_cache(env, R_SS, new_ss,
2128eaa728eeSbellard                                    get_seg_base(ss_e1, ss_e2),
2129eaa728eeSbellard                                    get_seg_limit(ss_e1, ss_e2),
2130eaa728eeSbellard                                    ss_e2);
2131eaa728eeSbellard         }
2132eaa728eeSbellard 
2133eaa728eeSbellard         cpu_x86_load_seg_cache(env, R_CS, new_cs,
2134eaa728eeSbellard                        get_seg_base(e1, e2),
2135eaa728eeSbellard                        get_seg_limit(e1, e2),
2136eaa728eeSbellard                        e2);
2137059368bcSRichard Henderson         sa.sp = new_esp;
2138eaa728eeSbellard #ifdef TARGET_X86_64
213920054ef0SBlue Swirl         if (env->hflags & HF_CS64_MASK) {
2140059368bcSRichard Henderson             sa.sp_mask = -1;
214120054ef0SBlue Swirl         } else
2142eaa728eeSbellard #endif
214320054ef0SBlue Swirl         {
2144059368bcSRichard Henderson             sa.sp_mask = get_sp_mask(ss_e2);
214520054ef0SBlue Swirl         }
2146eaa728eeSbellard 
2147eaa728eeSbellard         /* validate data segments */
21482999a0b2SBlue Swirl         validate_seg(env, R_ES, rpl);
21492999a0b2SBlue Swirl         validate_seg(env, R_DS, rpl);
21502999a0b2SBlue Swirl         validate_seg(env, R_FS, rpl);
21512999a0b2SBlue Swirl         validate_seg(env, R_GS, rpl);
2152eaa728eeSbellard 
2153059368bcSRichard Henderson         sa.sp += addend;
2154eaa728eeSbellard     }
2155059368bcSRichard Henderson     SET_ESP(sa.sp, sa.sp_mask);
2156eaa728eeSbellard     env->eip = new_eip;
2157eaa728eeSbellard     if (is_iret) {
2158eaa728eeSbellard         /* NOTE: 'cpl' is the _old_ CPL */
2159eaa728eeSbellard         eflags_mask = TF_MASK | AC_MASK | ID_MASK | RF_MASK | NT_MASK;
216020054ef0SBlue Swirl         if (cpl == 0) {
2161eaa728eeSbellard             eflags_mask |= IOPL_MASK;
216220054ef0SBlue Swirl         }
2163eaa728eeSbellard         iopl = (env->eflags >> IOPL_SHIFT) & 3;
216420054ef0SBlue Swirl         if (cpl <= iopl) {
2165eaa728eeSbellard             eflags_mask |= IF_MASK;
216620054ef0SBlue Swirl         }
216720054ef0SBlue Swirl         if (shift == 0) {
2168eaa728eeSbellard             eflags_mask &= 0xffff;
216920054ef0SBlue Swirl         }
2170997ff0d9SBlue Swirl         cpu_load_eflags(env, new_eflags, eflags_mask);
2171eaa728eeSbellard     }
2172eaa728eeSbellard     return;
2173eaa728eeSbellard 
2174eaa728eeSbellard  return_to_vm86:
2175059368bcSRichard Henderson     new_esp = popl(&sa);
2176059368bcSRichard Henderson     new_ss = popl(&sa);
2177059368bcSRichard Henderson     new_es = popl(&sa);
2178059368bcSRichard Henderson     new_ds = popl(&sa);
2179059368bcSRichard Henderson     new_fs = popl(&sa);
2180059368bcSRichard Henderson     new_gs = popl(&sa);
2181eaa728eeSbellard 
2182eaa728eeSbellard     /* modify processor state */
2183997ff0d9SBlue Swirl     cpu_load_eflags(env, new_eflags, TF_MASK | AC_MASK | ID_MASK |
2184997ff0d9SBlue Swirl                     IF_MASK | IOPL_MASK | VM_MASK | NT_MASK | VIF_MASK |
2185997ff0d9SBlue Swirl                     VIP_MASK);
21862999a0b2SBlue Swirl     load_seg_vm(env, R_CS, new_cs & 0xffff);
21872999a0b2SBlue Swirl     load_seg_vm(env, R_SS, new_ss & 0xffff);
21882999a0b2SBlue Swirl     load_seg_vm(env, R_ES, new_es & 0xffff);
21892999a0b2SBlue Swirl     load_seg_vm(env, R_DS, new_ds & 0xffff);
21902999a0b2SBlue Swirl     load_seg_vm(env, R_FS, new_fs & 0xffff);
21912999a0b2SBlue Swirl     load_seg_vm(env, R_GS, new_gs & 0xffff);
2192eaa728eeSbellard 
2193eaa728eeSbellard     env->eip = new_eip & 0xffff;
219408b3ded6Sliguang     env->regs[R_ESP] = new_esp;
2195eaa728eeSbellard }
2196eaa728eeSbellard 
21972999a0b2SBlue Swirl void helper_iret_protected(CPUX86State *env, int shift, int next_eip)
2198eaa728eeSbellard {
2199eaa728eeSbellard     int tss_selector, type;
2200eaa728eeSbellard     uint32_t e1, e2;
2201eaa728eeSbellard 
2202eaa728eeSbellard     /* specific case for TSS */
2203eaa728eeSbellard     if (env->eflags & NT_MASK) {
2204eaa728eeSbellard #ifdef TARGET_X86_64
220520054ef0SBlue Swirl         if (env->hflags & HF_LMA_MASK) {
2206100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0D_GPF, 0, GETPC());
220720054ef0SBlue Swirl         }
2208eaa728eeSbellard #endif
2209100ec099SPavel Dovgalyuk         tss_selector = cpu_lduw_kernel_ra(env, env->tr.base + 0, GETPC());
221020054ef0SBlue Swirl         if (tss_selector & 4) {
2211100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0A_TSS, tss_selector & 0xfffc, GETPC());
221220054ef0SBlue Swirl         }
2213100ec099SPavel Dovgalyuk         if (load_segment_ra(env, &e1, &e2, tss_selector, GETPC()) != 0) {
2214100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0A_TSS, tss_selector & 0xfffc, GETPC());
221520054ef0SBlue Swirl         }
2216eaa728eeSbellard         type = (e2 >> DESC_TYPE_SHIFT) & 0x17;
2217eaa728eeSbellard         /* NOTE: we check both segment and busy TSS */
221820054ef0SBlue Swirl         if (type != 3) {
2219100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0A_TSS, tss_selector & 0xfffc, GETPC());
222020054ef0SBlue Swirl         }
2221100ec099SPavel Dovgalyuk         switch_tss_ra(env, tss_selector, e1, e2, SWITCH_TSS_IRET, next_eip, GETPC());
2222eaa728eeSbellard     } else {
2223100ec099SPavel Dovgalyuk         helper_ret_protected(env, shift, 1, 0, GETPC());
2224eaa728eeSbellard     }
2225db620f46Sbellard     env->hflags2 &= ~HF2_NMI_MASK;
2226eaa728eeSbellard }
2227eaa728eeSbellard 
22282999a0b2SBlue Swirl void helper_lret_protected(CPUX86State *env, int shift, int addend)
2229eaa728eeSbellard {
2230100ec099SPavel Dovgalyuk     helper_ret_protected(env, shift, 0, addend, GETPC());
2231eaa728eeSbellard }
2232eaa728eeSbellard 
22332999a0b2SBlue Swirl void helper_sysenter(CPUX86State *env)
2234eaa728eeSbellard {
2235eaa728eeSbellard     if (env->sysenter_cs == 0) {
2236100ec099SPavel Dovgalyuk         raise_exception_err_ra(env, EXCP0D_GPF, 0, GETPC());
2237eaa728eeSbellard     }
2238eaa728eeSbellard     env->eflags &= ~(VM_MASK | IF_MASK | RF_MASK);
22392436b61aSbalrog 
22402436b61aSbalrog #ifdef TARGET_X86_64
22412436b61aSbalrog     if (env->hflags & HF_LMA_MASK) {
22422436b61aSbalrog         cpu_x86_load_seg_cache(env, R_CS, env->sysenter_cs & 0xfffc,
22432436b61aSbalrog                                0, 0xffffffff,
22442436b61aSbalrog                                DESC_G_MASK | DESC_B_MASK | DESC_P_MASK |
22452436b61aSbalrog                                DESC_S_MASK |
224620054ef0SBlue Swirl                                DESC_CS_MASK | DESC_R_MASK | DESC_A_MASK |
224720054ef0SBlue Swirl                                DESC_L_MASK);
22482436b61aSbalrog     } else
22492436b61aSbalrog #endif
22502436b61aSbalrog     {
2251eaa728eeSbellard         cpu_x86_load_seg_cache(env, R_CS, env->sysenter_cs & 0xfffc,
2252eaa728eeSbellard                                0, 0xffffffff,
2253eaa728eeSbellard                                DESC_G_MASK | DESC_B_MASK | DESC_P_MASK |
2254eaa728eeSbellard                                DESC_S_MASK |
2255eaa728eeSbellard                                DESC_CS_MASK | DESC_R_MASK | DESC_A_MASK);
22562436b61aSbalrog     }
2257eaa728eeSbellard     cpu_x86_load_seg_cache(env, R_SS, (env->sysenter_cs + 8) & 0xfffc,
2258eaa728eeSbellard                            0, 0xffffffff,
2259eaa728eeSbellard                            DESC_G_MASK | DESC_B_MASK | DESC_P_MASK |
2260eaa728eeSbellard                            DESC_S_MASK |
2261eaa728eeSbellard                            DESC_W_MASK | DESC_A_MASK);
226208b3ded6Sliguang     env->regs[R_ESP] = env->sysenter_esp;
2263a78d0eabSliguang     env->eip = env->sysenter_eip;
2264eaa728eeSbellard }
2265eaa728eeSbellard 
22662999a0b2SBlue Swirl void helper_sysexit(CPUX86State *env, int dflag)
2267eaa728eeSbellard {
2268eaa728eeSbellard     int cpl;
2269eaa728eeSbellard 
2270eaa728eeSbellard     cpl = env->hflags & HF_CPL_MASK;
2271eaa728eeSbellard     if (env->sysenter_cs == 0 || cpl != 0) {
2272100ec099SPavel Dovgalyuk         raise_exception_err_ra(env, EXCP0D_GPF, 0, GETPC());
2273eaa728eeSbellard     }
22742436b61aSbalrog #ifdef TARGET_X86_64
22752436b61aSbalrog     if (dflag == 2) {
227620054ef0SBlue Swirl         cpu_x86_load_seg_cache(env, R_CS, ((env->sysenter_cs + 32) & 0xfffc) |
227720054ef0SBlue Swirl                                3, 0, 0xffffffff,
22782436b61aSbalrog                                DESC_G_MASK | DESC_B_MASK | DESC_P_MASK |
22792436b61aSbalrog                                DESC_S_MASK | (3 << DESC_DPL_SHIFT) |
228020054ef0SBlue Swirl                                DESC_CS_MASK | DESC_R_MASK | DESC_A_MASK |
228120054ef0SBlue Swirl                                DESC_L_MASK);
228220054ef0SBlue Swirl         cpu_x86_load_seg_cache(env, R_SS, ((env->sysenter_cs + 40) & 0xfffc) |
228320054ef0SBlue Swirl                                3, 0, 0xffffffff,
22842436b61aSbalrog                                DESC_G_MASK | DESC_B_MASK | DESC_P_MASK |
22852436b61aSbalrog                                DESC_S_MASK | (3 << DESC_DPL_SHIFT) |
22862436b61aSbalrog                                DESC_W_MASK | DESC_A_MASK);
22872436b61aSbalrog     } else
22882436b61aSbalrog #endif
22892436b61aSbalrog     {
229020054ef0SBlue Swirl         cpu_x86_load_seg_cache(env, R_CS, ((env->sysenter_cs + 16) & 0xfffc) |
229120054ef0SBlue Swirl                                3, 0, 0xffffffff,
2292eaa728eeSbellard                                DESC_G_MASK | DESC_B_MASK | DESC_P_MASK |
2293eaa728eeSbellard                                DESC_S_MASK | (3 << DESC_DPL_SHIFT) |
2294eaa728eeSbellard                                DESC_CS_MASK | DESC_R_MASK | DESC_A_MASK);
229520054ef0SBlue Swirl         cpu_x86_load_seg_cache(env, R_SS, ((env->sysenter_cs + 24) & 0xfffc) |
229620054ef0SBlue Swirl                                3, 0, 0xffffffff,
2297eaa728eeSbellard                                DESC_G_MASK | DESC_B_MASK | DESC_P_MASK |
2298eaa728eeSbellard                                DESC_S_MASK | (3 << DESC_DPL_SHIFT) |
2299eaa728eeSbellard                                DESC_W_MASK | DESC_A_MASK);
23002436b61aSbalrog     }
230108b3ded6Sliguang     env->regs[R_ESP] = env->regs[R_ECX];
2302a78d0eabSliguang     env->eip = env->regs[R_EDX];
2303eaa728eeSbellard }
2304eaa728eeSbellard 
23052999a0b2SBlue Swirl target_ulong helper_lsl(CPUX86State *env, target_ulong selector1)
2306eaa728eeSbellard {
2307eaa728eeSbellard     unsigned int limit;
2308ae541c0eSPaolo Bonzini     uint32_t e1, e2, selector;
2309eaa728eeSbellard     int rpl, dpl, cpl, type;
2310eaa728eeSbellard 
2311eaa728eeSbellard     selector = selector1 & 0xffff;
2312ae541c0eSPaolo Bonzini     assert(CC_OP == CC_OP_EFLAGS);
231320054ef0SBlue Swirl     if ((selector & 0xfffc) == 0) {
2314dc1ded53Saliguori         goto fail;
231520054ef0SBlue Swirl     }
2316100ec099SPavel Dovgalyuk     if (load_segment_ra(env, &e1, &e2, selector, GETPC()) != 0) {
2317eaa728eeSbellard         goto fail;
231820054ef0SBlue Swirl     }
2319eaa728eeSbellard     rpl = selector & 3;
2320eaa728eeSbellard     dpl = (e2 >> DESC_DPL_SHIFT) & 3;
2321eaa728eeSbellard     cpl = env->hflags & HF_CPL_MASK;
2322eaa728eeSbellard     if (e2 & DESC_S_MASK) {
2323eaa728eeSbellard         if ((e2 & DESC_CS_MASK) && (e2 & DESC_C_MASK)) {
2324eaa728eeSbellard             /* conforming */
2325eaa728eeSbellard         } else {
232620054ef0SBlue Swirl             if (dpl < cpl || dpl < rpl) {
2327eaa728eeSbellard                 goto fail;
2328eaa728eeSbellard             }
232920054ef0SBlue Swirl         }
2330eaa728eeSbellard     } else {
2331eaa728eeSbellard         type = (e2 >> DESC_TYPE_SHIFT) & 0xf;
2332eaa728eeSbellard         switch (type) {
2333eaa728eeSbellard         case 1:
2334eaa728eeSbellard         case 2:
2335eaa728eeSbellard         case 3:
2336eaa728eeSbellard         case 9:
2337eaa728eeSbellard         case 11:
2338eaa728eeSbellard             break;
2339eaa728eeSbellard         default:
2340eaa728eeSbellard             goto fail;
2341eaa728eeSbellard         }
2342eaa728eeSbellard         if (dpl < cpl || dpl < rpl) {
2343eaa728eeSbellard         fail:
2344ae541c0eSPaolo Bonzini             CC_SRC &= ~CC_Z;
2345eaa728eeSbellard             return 0;
2346eaa728eeSbellard         }
2347eaa728eeSbellard     }
2348eaa728eeSbellard     limit = get_seg_limit(e1, e2);
2349ae541c0eSPaolo Bonzini     CC_SRC |= CC_Z;
2350eaa728eeSbellard     return limit;
2351eaa728eeSbellard }
2352eaa728eeSbellard 
23532999a0b2SBlue Swirl target_ulong helper_lar(CPUX86State *env, target_ulong selector1)
2354eaa728eeSbellard {
2355ae541c0eSPaolo Bonzini     uint32_t e1, e2, selector;
2356eaa728eeSbellard     int rpl, dpl, cpl, type;
2357eaa728eeSbellard 
2358eaa728eeSbellard     selector = selector1 & 0xffff;
2359ae541c0eSPaolo Bonzini     assert(CC_OP == CC_OP_EFLAGS);
236020054ef0SBlue Swirl     if ((selector & 0xfffc) == 0) {
2361eaa728eeSbellard         goto fail;
236220054ef0SBlue Swirl     }
2363100ec099SPavel Dovgalyuk     if (load_segment_ra(env, &e1, &e2, selector, GETPC()) != 0) {
2364eaa728eeSbellard         goto fail;
236520054ef0SBlue Swirl     }
2366eaa728eeSbellard     rpl = selector & 3;
2367eaa728eeSbellard     dpl = (e2 >> DESC_DPL_SHIFT) & 3;
2368eaa728eeSbellard     cpl = env->hflags & HF_CPL_MASK;
2369eaa728eeSbellard     if (e2 & DESC_S_MASK) {
2370eaa728eeSbellard         if ((e2 & DESC_CS_MASK) && (e2 & DESC_C_MASK)) {
2371eaa728eeSbellard             /* conforming */
2372eaa728eeSbellard         } else {
237320054ef0SBlue Swirl             if (dpl < cpl || dpl < rpl) {
2374eaa728eeSbellard                 goto fail;
2375eaa728eeSbellard             }
237620054ef0SBlue Swirl         }
2377eaa728eeSbellard     } else {
2378eaa728eeSbellard         type = (e2 >> DESC_TYPE_SHIFT) & 0xf;
2379eaa728eeSbellard         switch (type) {
2380eaa728eeSbellard         case 1:
2381eaa728eeSbellard         case 2:
2382eaa728eeSbellard         case 3:
2383eaa728eeSbellard         case 4:
2384eaa728eeSbellard         case 5:
2385eaa728eeSbellard         case 9:
2386eaa728eeSbellard         case 11:
2387eaa728eeSbellard         case 12:
2388eaa728eeSbellard             break;
2389eaa728eeSbellard         default:
2390eaa728eeSbellard             goto fail;
2391eaa728eeSbellard         }
2392eaa728eeSbellard         if (dpl < cpl || dpl < rpl) {
2393eaa728eeSbellard         fail:
2394ae541c0eSPaolo Bonzini             CC_SRC &= ~CC_Z;
2395eaa728eeSbellard             return 0;
2396eaa728eeSbellard         }
2397eaa728eeSbellard     }
2398ae541c0eSPaolo Bonzini     CC_SRC |= CC_Z;
2399eaa728eeSbellard     return e2 & 0x00f0ff00;
2400eaa728eeSbellard }
2401eaa728eeSbellard 
24022999a0b2SBlue Swirl void helper_verr(CPUX86State *env, target_ulong selector1)
2403eaa728eeSbellard {
2404eaa728eeSbellard     uint32_t e1, e2, eflags, selector;
2405eaa728eeSbellard     int rpl, dpl, cpl;
2406eaa728eeSbellard 
2407eaa728eeSbellard     selector = selector1 & 0xffff;
2408abdcc5c8SPaolo Bonzini     eflags = cpu_cc_compute_all(env) | CC_Z;
240920054ef0SBlue Swirl     if ((selector & 0xfffc) == 0) {
2410eaa728eeSbellard         goto fail;
241120054ef0SBlue Swirl     }
2412100ec099SPavel Dovgalyuk     if (load_segment_ra(env, &e1, &e2, selector, GETPC()) != 0) {
2413eaa728eeSbellard         goto fail;
241420054ef0SBlue Swirl     }
241520054ef0SBlue Swirl     if (!(e2 & DESC_S_MASK)) {
2416eaa728eeSbellard         goto fail;
241720054ef0SBlue Swirl     }
2418eaa728eeSbellard     rpl = selector & 3;
2419eaa728eeSbellard     dpl = (e2 >> DESC_DPL_SHIFT) & 3;
2420eaa728eeSbellard     cpl = env->hflags & HF_CPL_MASK;
2421eaa728eeSbellard     if (e2 & DESC_CS_MASK) {
242220054ef0SBlue Swirl         if (!(e2 & DESC_R_MASK)) {
2423eaa728eeSbellard             goto fail;
242420054ef0SBlue Swirl         }
2425eaa728eeSbellard         if (!(e2 & DESC_C_MASK)) {
242620054ef0SBlue Swirl             if (dpl < cpl || dpl < rpl) {
2427eaa728eeSbellard                 goto fail;
2428eaa728eeSbellard             }
242920054ef0SBlue Swirl         }
2430eaa728eeSbellard     } else {
2431eaa728eeSbellard         if (dpl < cpl || dpl < rpl) {
2432eaa728eeSbellard         fail:
2433abdcc5c8SPaolo Bonzini             eflags &= ~CC_Z;
2434eaa728eeSbellard         }
2435eaa728eeSbellard     }
2436abdcc5c8SPaolo Bonzini     CC_SRC = eflags;
2437abdcc5c8SPaolo Bonzini     CC_OP = CC_OP_EFLAGS;
2438eaa728eeSbellard }
2439eaa728eeSbellard 
24402999a0b2SBlue Swirl void helper_verw(CPUX86State *env, target_ulong selector1)
2441eaa728eeSbellard {
2442eaa728eeSbellard     uint32_t e1, e2, eflags, selector;
2443eaa728eeSbellard     int rpl, dpl, cpl;
2444eaa728eeSbellard 
2445eaa728eeSbellard     selector = selector1 & 0xffff;
2446abdcc5c8SPaolo Bonzini     eflags = cpu_cc_compute_all(env) | CC_Z;
244720054ef0SBlue Swirl     if ((selector & 0xfffc) == 0) {
2448eaa728eeSbellard         goto fail;
244920054ef0SBlue Swirl     }
2450100ec099SPavel Dovgalyuk     if (load_segment_ra(env, &e1, &e2, selector, GETPC()) != 0) {
2451eaa728eeSbellard         goto fail;
245220054ef0SBlue Swirl     }
245320054ef0SBlue Swirl     if (!(e2 & DESC_S_MASK)) {
2454eaa728eeSbellard         goto fail;
245520054ef0SBlue Swirl     }
2456eaa728eeSbellard     rpl = selector & 3;
2457eaa728eeSbellard     dpl = (e2 >> DESC_DPL_SHIFT) & 3;
2458eaa728eeSbellard     cpl = env->hflags & HF_CPL_MASK;
2459eaa728eeSbellard     if (e2 & DESC_CS_MASK) {
2460eaa728eeSbellard         goto fail;
2461eaa728eeSbellard     } else {
246220054ef0SBlue Swirl         if (dpl < cpl || dpl < rpl) {
2463eaa728eeSbellard             goto fail;
246420054ef0SBlue Swirl         }
2465eaa728eeSbellard         if (!(e2 & DESC_W_MASK)) {
2466eaa728eeSbellard         fail:
2467abdcc5c8SPaolo Bonzini             eflags &= ~CC_Z;
2468eaa728eeSbellard         }
2469eaa728eeSbellard     }
2470abdcc5c8SPaolo Bonzini     CC_SRC = eflags;
2471abdcc5c8SPaolo Bonzini     CC_OP = CC_OP_EFLAGS;
2472eaa728eeSbellard }
2473