xref: /qemu/target/i386/tcg/seg_helper.c (revision ae541c0eb47f2fbcfd975c8e2fcb0e3a2613dc1c)
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 
3150fcc7cbSGareth Webb int get_pg_mode(CPUX86State *env)
3250fcc7cbSGareth Webb {
3350fcc7cbSGareth Webb     int pg_mode = 0;
3450fcc7cbSGareth Webb     if (!(env->cr[0] & CR0_PG_MASK)) {
3550fcc7cbSGareth Webb         return 0;
3650fcc7cbSGareth Webb     }
3750fcc7cbSGareth Webb     if (env->cr[0] & CR0_WP_MASK) {
3850fcc7cbSGareth Webb         pg_mode |= PG_MODE_WP;
3950fcc7cbSGareth Webb     }
4050fcc7cbSGareth Webb     if (env->cr[4] & CR4_PAE_MASK) {
4150fcc7cbSGareth Webb         pg_mode |= PG_MODE_PAE;
4250fcc7cbSGareth Webb         if (env->efer & MSR_EFER_NXE) {
4350fcc7cbSGareth Webb             pg_mode |= PG_MODE_NXE;
4450fcc7cbSGareth Webb         }
4550fcc7cbSGareth Webb     }
4650fcc7cbSGareth Webb     if (env->cr[4] & CR4_PSE_MASK) {
4750fcc7cbSGareth Webb         pg_mode |= PG_MODE_PSE;
4850fcc7cbSGareth Webb     }
4950fcc7cbSGareth Webb     if (env->cr[4] & CR4_SMEP_MASK) {
5050fcc7cbSGareth Webb         pg_mode |= PG_MODE_SMEP;
5150fcc7cbSGareth Webb     }
5250fcc7cbSGareth Webb     if (env->hflags & HF_LMA_MASK) {
5350fcc7cbSGareth Webb         pg_mode |= PG_MODE_LMA;
5450fcc7cbSGareth Webb         if (env->cr[4] & CR4_PKE_MASK) {
5550fcc7cbSGareth Webb             pg_mode |= PG_MODE_PKE;
5650fcc7cbSGareth Webb         }
5750fcc7cbSGareth Webb         if (env->cr[4] & CR4_PKS_MASK) {
5850fcc7cbSGareth Webb             pg_mode |= PG_MODE_PKS;
5950fcc7cbSGareth Webb         }
6050fcc7cbSGareth Webb         if (env->cr[4] & CR4_LA57_MASK) {
6150fcc7cbSGareth Webb             pg_mode |= PG_MODE_LA57;
6250fcc7cbSGareth Webb         }
6350fcc7cbSGareth Webb     }
6450fcc7cbSGareth Webb     return pg_mode;
6550fcc7cbSGareth Webb }
6650fcc7cbSGareth Webb 
67eaa728eeSbellard /* return non zero if error */
68100ec099SPavel Dovgalyuk static inline int load_segment_ra(CPUX86State *env, uint32_t *e1_ptr,
69100ec099SPavel Dovgalyuk                                uint32_t *e2_ptr, int selector,
70100ec099SPavel Dovgalyuk                                uintptr_t retaddr)
71eaa728eeSbellard {
72eaa728eeSbellard     SegmentCache *dt;
73eaa728eeSbellard     int index;
74eaa728eeSbellard     target_ulong ptr;
75eaa728eeSbellard 
7620054ef0SBlue Swirl     if (selector & 0x4) {
77eaa728eeSbellard         dt = &env->ldt;
7820054ef0SBlue Swirl     } else {
79eaa728eeSbellard         dt = &env->gdt;
8020054ef0SBlue Swirl     }
81eaa728eeSbellard     index = selector & ~7;
8220054ef0SBlue Swirl     if ((index + 7) > dt->limit) {
83eaa728eeSbellard         return -1;
8420054ef0SBlue Swirl     }
85eaa728eeSbellard     ptr = dt->base + index;
86100ec099SPavel Dovgalyuk     *e1_ptr = cpu_ldl_kernel_ra(env, ptr, retaddr);
87100ec099SPavel Dovgalyuk     *e2_ptr = cpu_ldl_kernel_ra(env, ptr + 4, retaddr);
88eaa728eeSbellard     return 0;
89eaa728eeSbellard }
90eaa728eeSbellard 
91100ec099SPavel Dovgalyuk static inline int load_segment(CPUX86State *env, uint32_t *e1_ptr,
92100ec099SPavel Dovgalyuk                                uint32_t *e2_ptr, int selector)
93100ec099SPavel Dovgalyuk {
94100ec099SPavel Dovgalyuk     return load_segment_ra(env, e1_ptr, e2_ptr, selector, 0);
95100ec099SPavel Dovgalyuk }
96100ec099SPavel Dovgalyuk 
97eaa728eeSbellard static inline unsigned int get_seg_limit(uint32_t e1, uint32_t e2)
98eaa728eeSbellard {
99eaa728eeSbellard     unsigned int limit;
10020054ef0SBlue Swirl 
101eaa728eeSbellard     limit = (e1 & 0xffff) | (e2 & 0x000f0000);
10220054ef0SBlue Swirl     if (e2 & DESC_G_MASK) {
103eaa728eeSbellard         limit = (limit << 12) | 0xfff;
10420054ef0SBlue Swirl     }
105eaa728eeSbellard     return limit;
106eaa728eeSbellard }
107eaa728eeSbellard 
108eaa728eeSbellard static inline uint32_t get_seg_base(uint32_t e1, uint32_t e2)
109eaa728eeSbellard {
11020054ef0SBlue Swirl     return (e1 >> 16) | ((e2 & 0xff) << 16) | (e2 & 0xff000000);
111eaa728eeSbellard }
112eaa728eeSbellard 
11320054ef0SBlue Swirl static inline void load_seg_cache_raw_dt(SegmentCache *sc, uint32_t e1,
11420054ef0SBlue Swirl                                          uint32_t e2)
115eaa728eeSbellard {
116eaa728eeSbellard     sc->base = get_seg_base(e1, e2);
117eaa728eeSbellard     sc->limit = get_seg_limit(e1, e2);
118eaa728eeSbellard     sc->flags = e2;
119eaa728eeSbellard }
120eaa728eeSbellard 
121eaa728eeSbellard /* init the segment cache in vm86 mode. */
1222999a0b2SBlue Swirl static inline void load_seg_vm(CPUX86State *env, int seg, int selector)
123eaa728eeSbellard {
124eaa728eeSbellard     selector &= 0xffff;
125b98dbc90SPaolo Bonzini 
126b98dbc90SPaolo Bonzini     cpu_x86_load_seg_cache(env, seg, selector, (selector << 4), 0xffff,
127b98dbc90SPaolo Bonzini                            DESC_P_MASK | DESC_S_MASK | DESC_W_MASK |
128b98dbc90SPaolo Bonzini                            DESC_A_MASK | (3 << DESC_DPL_SHIFT));
129eaa728eeSbellard }
130eaa728eeSbellard 
1312999a0b2SBlue Swirl static inline void get_ss_esp_from_tss(CPUX86State *env, uint32_t *ss_ptr,
132100ec099SPavel Dovgalyuk                                        uint32_t *esp_ptr, int dpl,
133100ec099SPavel Dovgalyuk                                        uintptr_t retaddr)
134eaa728eeSbellard {
1356aa9e42fSRichard Henderson     X86CPU *cpu = env_archcpu(env);
136eaa728eeSbellard     int type, index, shift;
137eaa728eeSbellard 
138eaa728eeSbellard #if 0
139eaa728eeSbellard     {
140eaa728eeSbellard         int i;
141eaa728eeSbellard         printf("TR: base=%p limit=%x\n", env->tr.base, env->tr.limit);
142eaa728eeSbellard         for (i = 0; i < env->tr.limit; i++) {
143eaa728eeSbellard             printf("%02x ", env->tr.base[i]);
14420054ef0SBlue Swirl             if ((i & 7) == 7) {
14520054ef0SBlue Swirl                 printf("\n");
14620054ef0SBlue Swirl             }
147eaa728eeSbellard         }
148eaa728eeSbellard         printf("\n");
149eaa728eeSbellard     }
150eaa728eeSbellard #endif
151eaa728eeSbellard 
15220054ef0SBlue Swirl     if (!(env->tr.flags & DESC_P_MASK)) {
153a47dddd7SAndreas Färber         cpu_abort(CPU(cpu), "invalid tss");
15420054ef0SBlue Swirl     }
155eaa728eeSbellard     type = (env->tr.flags >> DESC_TYPE_SHIFT) & 0xf;
15620054ef0SBlue Swirl     if ((type & 7) != 1) {
157a47dddd7SAndreas Färber         cpu_abort(CPU(cpu), "invalid tss type");
15820054ef0SBlue Swirl     }
159eaa728eeSbellard     shift = type >> 3;
160eaa728eeSbellard     index = (dpl * 4 + 2) << shift;
16120054ef0SBlue Swirl     if (index + (4 << shift) - 1 > env->tr.limit) {
162100ec099SPavel Dovgalyuk         raise_exception_err_ra(env, EXCP0A_TSS, env->tr.selector & 0xfffc, retaddr);
16320054ef0SBlue Swirl     }
164eaa728eeSbellard     if (shift == 0) {
165100ec099SPavel Dovgalyuk         *esp_ptr = cpu_lduw_kernel_ra(env, env->tr.base + index, retaddr);
166100ec099SPavel Dovgalyuk         *ss_ptr = cpu_lduw_kernel_ra(env, env->tr.base + index + 2, retaddr);
167eaa728eeSbellard     } else {
168100ec099SPavel Dovgalyuk         *esp_ptr = cpu_ldl_kernel_ra(env, env->tr.base + index, retaddr);
169100ec099SPavel Dovgalyuk         *ss_ptr = cpu_lduw_kernel_ra(env, env->tr.base + index + 4, retaddr);
170eaa728eeSbellard     }
171eaa728eeSbellard }
172eaa728eeSbellard 
173c117e5b1SPhilippe Mathieu-Daudé static void tss_load_seg(CPUX86State *env, X86Seg seg_reg, int selector,
174c117e5b1SPhilippe Mathieu-Daudé                          int cpl, uintptr_t retaddr)
175eaa728eeSbellard {
176eaa728eeSbellard     uint32_t e1, e2;
177d3b54918SPaolo Bonzini     int rpl, dpl;
178eaa728eeSbellard 
179eaa728eeSbellard     if ((selector & 0xfffc) != 0) {
180100ec099SPavel Dovgalyuk         if (load_segment_ra(env, &e1, &e2, selector, retaddr) != 0) {
181100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0A_TSS, selector & 0xfffc, retaddr);
18220054ef0SBlue Swirl         }
18320054ef0SBlue Swirl         if (!(e2 & DESC_S_MASK)) {
184100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0A_TSS, selector & 0xfffc, retaddr);
18520054ef0SBlue Swirl         }
186eaa728eeSbellard         rpl = selector & 3;
187eaa728eeSbellard         dpl = (e2 >> DESC_DPL_SHIFT) & 3;
188eaa728eeSbellard         if (seg_reg == R_CS) {
18920054ef0SBlue Swirl             if (!(e2 & DESC_CS_MASK)) {
190100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0A_TSS, selector & 0xfffc, retaddr);
19120054ef0SBlue Swirl             }
19220054ef0SBlue Swirl             if (dpl != rpl) {
193100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0A_TSS, selector & 0xfffc, retaddr);
19420054ef0SBlue Swirl             }
195eaa728eeSbellard         } else if (seg_reg == R_SS) {
196eaa728eeSbellard             /* SS must be writable data */
19720054ef0SBlue Swirl             if ((e2 & DESC_CS_MASK) || !(e2 & DESC_W_MASK)) {
198100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0A_TSS, selector & 0xfffc, retaddr);
19920054ef0SBlue Swirl             }
20020054ef0SBlue Swirl             if (dpl != cpl || dpl != rpl) {
201100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0A_TSS, selector & 0xfffc, retaddr);
20220054ef0SBlue Swirl             }
203eaa728eeSbellard         } else {
204eaa728eeSbellard             /* not readable code */
20520054ef0SBlue Swirl             if ((e2 & DESC_CS_MASK) && !(e2 & DESC_R_MASK)) {
206100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0A_TSS, selector & 0xfffc, retaddr);
20720054ef0SBlue Swirl             }
208eaa728eeSbellard             /* if data or non conforming code, checks the rights */
209eaa728eeSbellard             if (((e2 >> DESC_TYPE_SHIFT) & 0xf) < 12) {
21020054ef0SBlue Swirl                 if (dpl < cpl || dpl < rpl) {
211100ec099SPavel Dovgalyuk                     raise_exception_err_ra(env, EXCP0A_TSS, selector & 0xfffc, retaddr);
212eaa728eeSbellard                 }
213eaa728eeSbellard             }
21420054ef0SBlue Swirl         }
21520054ef0SBlue Swirl         if (!(e2 & DESC_P_MASK)) {
216100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0B_NOSEG, selector & 0xfffc, retaddr);
21720054ef0SBlue Swirl         }
218eaa728eeSbellard         cpu_x86_load_seg_cache(env, seg_reg, selector,
219eaa728eeSbellard                                get_seg_base(e1, e2),
220eaa728eeSbellard                                get_seg_limit(e1, e2),
221eaa728eeSbellard                                e2);
222eaa728eeSbellard     } else {
22320054ef0SBlue Swirl         if (seg_reg == R_SS || seg_reg == R_CS) {
224100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0A_TSS, selector & 0xfffc, retaddr);
225eaa728eeSbellard         }
226eaa728eeSbellard     }
22720054ef0SBlue Swirl }
228eaa728eeSbellard 
229a9089859SPaolo Bonzini static void tss_set_busy(CPUX86State *env, int tss_selector, bool value,
230a9089859SPaolo Bonzini                          uintptr_t retaddr)
231a9089859SPaolo Bonzini {
232c35b2fb1SPaolo Bonzini     target_ulong ptr = env->gdt.base + (tss_selector & ~7);
233a9089859SPaolo Bonzini     uint32_t e2 = cpu_ldl_kernel_ra(env, ptr + 4, retaddr);
234a9089859SPaolo Bonzini 
235a9089859SPaolo Bonzini     if (value) {
236a9089859SPaolo Bonzini         e2 |= DESC_TSS_BUSY_MASK;
237a9089859SPaolo Bonzini     } else {
238a9089859SPaolo Bonzini         e2 &= ~DESC_TSS_BUSY_MASK;
239a9089859SPaolo Bonzini     }
240a9089859SPaolo Bonzini 
241a9089859SPaolo Bonzini     cpu_stl_kernel_ra(env, ptr + 4, e2, retaddr);
242a9089859SPaolo Bonzini }
243a9089859SPaolo Bonzini 
244eaa728eeSbellard #define SWITCH_TSS_JMP  0
245eaa728eeSbellard #define SWITCH_TSS_IRET 1
246eaa728eeSbellard #define SWITCH_TSS_CALL 2
247eaa728eeSbellard 
24849958057SPaolo Bonzini /* return 0 if switching to a 16-bit selector */
24949958057SPaolo Bonzini static int switch_tss_ra(CPUX86State *env, int tss_selector,
250eaa728eeSbellard                          uint32_t e1, uint32_t e2, int source,
251100ec099SPavel Dovgalyuk                          uint32_t next_eip, uintptr_t retaddr)
252eaa728eeSbellard {
253eaa728eeSbellard     int tss_limit, tss_limit_max, type, old_tss_limit_max, old_type, v1, v2, i;
254eaa728eeSbellard     target_ulong tss_base;
255eaa728eeSbellard     uint32_t new_regs[8], new_segs[6];
256eaa728eeSbellard     uint32_t new_eflags, new_eip, new_cr3, new_ldt, new_trap;
257eaa728eeSbellard     uint32_t old_eflags, eflags_mask;
258eaa728eeSbellard     SegmentCache *dt;
259eaa728eeSbellard     int index;
260eaa728eeSbellard     target_ulong ptr;
261eaa728eeSbellard 
262eaa728eeSbellard     type = (e2 >> DESC_TYPE_SHIFT) & 0xf;
26320054ef0SBlue Swirl     LOG_PCALL("switch_tss: sel=0x%04x type=%d src=%d\n", tss_selector, type,
26420054ef0SBlue Swirl               source);
265eaa728eeSbellard 
266eaa728eeSbellard     /* if task gate, we read the TSS segment and we load it */
267eaa728eeSbellard     if (type == 5) {
26820054ef0SBlue Swirl         if (!(e2 & DESC_P_MASK)) {
269100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0B_NOSEG, tss_selector & 0xfffc, retaddr);
27020054ef0SBlue Swirl         }
271eaa728eeSbellard         tss_selector = e1 >> 16;
27220054ef0SBlue Swirl         if (tss_selector & 4) {
273100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0A_TSS, tss_selector & 0xfffc, retaddr);
27420054ef0SBlue Swirl         }
275100ec099SPavel Dovgalyuk         if (load_segment_ra(env, &e1, &e2, tss_selector, retaddr) != 0) {
276100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0D_GPF, tss_selector & 0xfffc, retaddr);
277eaa728eeSbellard         }
27820054ef0SBlue Swirl         if (e2 & DESC_S_MASK) {
279100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0D_GPF, tss_selector & 0xfffc, retaddr);
28020054ef0SBlue Swirl         }
28120054ef0SBlue Swirl         type = (e2 >> DESC_TYPE_SHIFT) & 0xf;
28220054ef0SBlue Swirl         if ((type & 7) != 1) {
283100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0D_GPF, tss_selector & 0xfffc, retaddr);
28420054ef0SBlue Swirl         }
28520054ef0SBlue Swirl     }
286eaa728eeSbellard 
28720054ef0SBlue Swirl     if (!(e2 & DESC_P_MASK)) {
288100ec099SPavel Dovgalyuk         raise_exception_err_ra(env, EXCP0B_NOSEG, tss_selector & 0xfffc, retaddr);
28920054ef0SBlue Swirl     }
290eaa728eeSbellard 
29120054ef0SBlue Swirl     if (type & 8) {
292eaa728eeSbellard         tss_limit_max = 103;
29320054ef0SBlue Swirl     } else {
294eaa728eeSbellard         tss_limit_max = 43;
29520054ef0SBlue Swirl     }
296eaa728eeSbellard     tss_limit = get_seg_limit(e1, e2);
297eaa728eeSbellard     tss_base = get_seg_base(e1, e2);
298eaa728eeSbellard     if ((tss_selector & 4) != 0 ||
29920054ef0SBlue Swirl         tss_limit < tss_limit_max) {
300100ec099SPavel Dovgalyuk         raise_exception_err_ra(env, EXCP0A_TSS, tss_selector & 0xfffc, retaddr);
30120054ef0SBlue Swirl     }
302eaa728eeSbellard     old_type = (env->tr.flags >> DESC_TYPE_SHIFT) & 0xf;
30320054ef0SBlue Swirl     if (old_type & 8) {
304eaa728eeSbellard         old_tss_limit_max = 103;
30520054ef0SBlue Swirl     } else {
306eaa728eeSbellard         old_tss_limit_max = 43;
30720054ef0SBlue Swirl     }
308eaa728eeSbellard 
309eaa728eeSbellard     /* read all the registers from the new TSS */
310eaa728eeSbellard     if (type & 8) {
311eaa728eeSbellard         /* 32 bit */
312100ec099SPavel Dovgalyuk         new_cr3 = cpu_ldl_kernel_ra(env, tss_base + 0x1c, retaddr);
313100ec099SPavel Dovgalyuk         new_eip = cpu_ldl_kernel_ra(env, tss_base + 0x20, retaddr);
314100ec099SPavel Dovgalyuk         new_eflags = cpu_ldl_kernel_ra(env, tss_base + 0x24, retaddr);
31520054ef0SBlue Swirl         for (i = 0; i < 8; i++) {
316100ec099SPavel Dovgalyuk             new_regs[i] = cpu_ldl_kernel_ra(env, tss_base + (0x28 + i * 4),
317100ec099SPavel Dovgalyuk                                             retaddr);
31820054ef0SBlue Swirl         }
31920054ef0SBlue Swirl         for (i = 0; i < 6; i++) {
320100ec099SPavel Dovgalyuk             new_segs[i] = cpu_lduw_kernel_ra(env, tss_base + (0x48 + i * 4),
321100ec099SPavel Dovgalyuk                                              retaddr);
32220054ef0SBlue Swirl         }
323100ec099SPavel Dovgalyuk         new_ldt = cpu_lduw_kernel_ra(env, tss_base + 0x60, retaddr);
324100ec099SPavel Dovgalyuk         new_trap = cpu_ldl_kernel_ra(env, tss_base + 0x64, retaddr);
325eaa728eeSbellard     } else {
326eaa728eeSbellard         /* 16 bit */
327eaa728eeSbellard         new_cr3 = 0;
328100ec099SPavel Dovgalyuk         new_eip = cpu_lduw_kernel_ra(env, tss_base + 0x0e, retaddr);
329100ec099SPavel Dovgalyuk         new_eflags = cpu_lduw_kernel_ra(env, tss_base + 0x10, retaddr);
33020054ef0SBlue Swirl         for (i = 0; i < 8; i++) {
331a5505f6bSPaolo Bonzini             new_regs[i] = cpu_lduw_kernel_ra(env, tss_base + (0x12 + i * 2), retaddr);
33220054ef0SBlue Swirl         }
33320054ef0SBlue Swirl         for (i = 0; i < 4; i++) {
33428f6aa11SPaolo Bonzini             new_segs[i] = cpu_lduw_kernel_ra(env, tss_base + (0x22 + i * 2),
335100ec099SPavel Dovgalyuk                                              retaddr);
33620054ef0SBlue Swirl         }
337100ec099SPavel Dovgalyuk         new_ldt = cpu_lduw_kernel_ra(env, tss_base + 0x2a, retaddr);
338eaa728eeSbellard         new_segs[R_FS] = 0;
339eaa728eeSbellard         new_segs[R_GS] = 0;
340eaa728eeSbellard         new_trap = 0;
341eaa728eeSbellard     }
3424581cbcdSBlue Swirl     /* XXX: avoid a compiler warning, see
3434581cbcdSBlue Swirl      http://support.amd.com/us/Processor_TechDocs/24593.pdf
3444581cbcdSBlue Swirl      chapters 12.2.5 and 13.2.4 on how to implement TSS Trap bit */
3454581cbcdSBlue Swirl     (void)new_trap;
346eaa728eeSbellard 
347eaa728eeSbellard     /* NOTE: we must avoid memory exceptions during the task switch,
348eaa728eeSbellard        so we make dummy accesses before */
349eaa728eeSbellard     /* XXX: it can still fail in some cases, so a bigger hack is
350eaa728eeSbellard        necessary to valid the TLB after having done the accesses */
351eaa728eeSbellard 
352100ec099SPavel Dovgalyuk     v1 = cpu_ldub_kernel_ra(env, env->tr.base, retaddr);
353100ec099SPavel Dovgalyuk     v2 = cpu_ldub_kernel_ra(env, env->tr.base + old_tss_limit_max, retaddr);
354100ec099SPavel Dovgalyuk     cpu_stb_kernel_ra(env, env->tr.base, v1, retaddr);
355100ec099SPavel Dovgalyuk     cpu_stb_kernel_ra(env, env->tr.base + old_tss_limit_max, v2, retaddr);
356eaa728eeSbellard 
357eaa728eeSbellard     /* clear busy bit (it is restartable) */
358eaa728eeSbellard     if (source == SWITCH_TSS_JMP || source == SWITCH_TSS_IRET) {
359a9089859SPaolo Bonzini         tss_set_busy(env, env->tr.selector, 0, retaddr);
360eaa728eeSbellard     }
361997ff0d9SBlue Swirl     old_eflags = cpu_compute_eflags(env);
36220054ef0SBlue Swirl     if (source == SWITCH_TSS_IRET) {
363eaa728eeSbellard         old_eflags &= ~NT_MASK;
36420054ef0SBlue Swirl     }
365eaa728eeSbellard 
366eaa728eeSbellard     /* save the current state in the old TSS */
3671b627f38SPaolo Bonzini     if (old_type & 8) {
368eaa728eeSbellard         /* 32 bit */
369100ec099SPavel Dovgalyuk         cpu_stl_kernel_ra(env, env->tr.base + 0x20, next_eip, retaddr);
370100ec099SPavel Dovgalyuk         cpu_stl_kernel_ra(env, env->tr.base + 0x24, old_eflags, retaddr);
371100ec099SPavel Dovgalyuk         cpu_stl_kernel_ra(env, env->tr.base + (0x28 + 0 * 4), env->regs[R_EAX], retaddr);
372100ec099SPavel Dovgalyuk         cpu_stl_kernel_ra(env, env->tr.base + (0x28 + 1 * 4), env->regs[R_ECX], retaddr);
373100ec099SPavel Dovgalyuk         cpu_stl_kernel_ra(env, env->tr.base + (0x28 + 2 * 4), env->regs[R_EDX], retaddr);
374100ec099SPavel Dovgalyuk         cpu_stl_kernel_ra(env, env->tr.base + (0x28 + 3 * 4), env->regs[R_EBX], retaddr);
375100ec099SPavel Dovgalyuk         cpu_stl_kernel_ra(env, env->tr.base + (0x28 + 4 * 4), env->regs[R_ESP], retaddr);
376100ec099SPavel Dovgalyuk         cpu_stl_kernel_ra(env, env->tr.base + (0x28 + 5 * 4), env->regs[R_EBP], retaddr);
377100ec099SPavel Dovgalyuk         cpu_stl_kernel_ra(env, env->tr.base + (0x28 + 6 * 4), env->regs[R_ESI], retaddr);
378100ec099SPavel Dovgalyuk         cpu_stl_kernel_ra(env, env->tr.base + (0x28 + 7 * 4), env->regs[R_EDI], retaddr);
37920054ef0SBlue Swirl         for (i = 0; i < 6; i++) {
380100ec099SPavel Dovgalyuk             cpu_stw_kernel_ra(env, env->tr.base + (0x48 + i * 4),
381100ec099SPavel Dovgalyuk                               env->segs[i].selector, retaddr);
38220054ef0SBlue Swirl         }
383eaa728eeSbellard     } else {
384eaa728eeSbellard         /* 16 bit */
385100ec099SPavel Dovgalyuk         cpu_stw_kernel_ra(env, env->tr.base + 0x0e, next_eip, retaddr);
386100ec099SPavel Dovgalyuk         cpu_stw_kernel_ra(env, env->tr.base + 0x10, old_eflags, retaddr);
387100ec099SPavel Dovgalyuk         cpu_stw_kernel_ra(env, env->tr.base + (0x12 + 0 * 2), env->regs[R_EAX], retaddr);
388100ec099SPavel Dovgalyuk         cpu_stw_kernel_ra(env, env->tr.base + (0x12 + 1 * 2), env->regs[R_ECX], retaddr);
389100ec099SPavel Dovgalyuk         cpu_stw_kernel_ra(env, env->tr.base + (0x12 + 2 * 2), env->regs[R_EDX], retaddr);
390100ec099SPavel Dovgalyuk         cpu_stw_kernel_ra(env, env->tr.base + (0x12 + 3 * 2), env->regs[R_EBX], retaddr);
391100ec099SPavel Dovgalyuk         cpu_stw_kernel_ra(env, env->tr.base + (0x12 + 4 * 2), env->regs[R_ESP], retaddr);
392100ec099SPavel Dovgalyuk         cpu_stw_kernel_ra(env, env->tr.base + (0x12 + 5 * 2), env->regs[R_EBP], retaddr);
393100ec099SPavel Dovgalyuk         cpu_stw_kernel_ra(env, env->tr.base + (0x12 + 6 * 2), env->regs[R_ESI], retaddr);
394100ec099SPavel Dovgalyuk         cpu_stw_kernel_ra(env, env->tr.base + (0x12 + 7 * 2), env->regs[R_EDI], retaddr);
39520054ef0SBlue Swirl         for (i = 0; i < 4; i++) {
39628f6aa11SPaolo Bonzini             cpu_stw_kernel_ra(env, env->tr.base + (0x22 + i * 2),
397100ec099SPavel Dovgalyuk                               env->segs[i].selector, retaddr);
398eaa728eeSbellard         }
39920054ef0SBlue Swirl     }
400eaa728eeSbellard 
401eaa728eeSbellard     /* now if an exception occurs, it will occurs in the next task
402eaa728eeSbellard        context */
403eaa728eeSbellard 
404eaa728eeSbellard     if (source == SWITCH_TSS_CALL) {
405100ec099SPavel Dovgalyuk         cpu_stw_kernel_ra(env, tss_base, env->tr.selector, retaddr);
406eaa728eeSbellard         new_eflags |= NT_MASK;
407eaa728eeSbellard     }
408eaa728eeSbellard 
409eaa728eeSbellard     /* set busy bit */
410eaa728eeSbellard     if (source == SWITCH_TSS_JMP || source == SWITCH_TSS_CALL) {
411a9089859SPaolo Bonzini         tss_set_busy(env, tss_selector, 1, retaddr);
412eaa728eeSbellard     }
413eaa728eeSbellard 
414eaa728eeSbellard     /* set the new CPU state */
415eaa728eeSbellard     /* from this point, any exception which occurs can give problems */
416eaa728eeSbellard     env->cr[0] |= CR0_TS_MASK;
417eaa728eeSbellard     env->hflags |= HF_TS_MASK;
418eaa728eeSbellard     env->tr.selector = tss_selector;
419eaa728eeSbellard     env->tr.base = tss_base;
420eaa728eeSbellard     env->tr.limit = tss_limit;
421eaa728eeSbellard     env->tr.flags = e2 & ~DESC_TSS_BUSY_MASK;
422eaa728eeSbellard 
423eaa728eeSbellard     if ((type & 8) && (env->cr[0] & CR0_PG_MASK)) {
424eaa728eeSbellard         cpu_x86_update_cr3(env, new_cr3);
425eaa728eeSbellard     }
426eaa728eeSbellard 
427eaa728eeSbellard     /* load all registers without an exception, then reload them with
428eaa728eeSbellard        possible exception */
429eaa728eeSbellard     env->eip = new_eip;
430eaa728eeSbellard     eflags_mask = TF_MASK | AC_MASK | ID_MASK |
431eaa728eeSbellard         IF_MASK | IOPL_MASK | VM_MASK | RF_MASK | NT_MASK;
432a5505f6bSPaolo Bonzini     if (type & 8) {
433997ff0d9SBlue Swirl         cpu_load_eflags(env, new_eflags, eflags_mask);
434a5505f6bSPaolo Bonzini         for (i = 0; i < 8; i++) {
435a5505f6bSPaolo Bonzini             env->regs[i] = new_regs[i];
436a5505f6bSPaolo Bonzini         }
437a5505f6bSPaolo Bonzini     } else {
438a5505f6bSPaolo Bonzini         cpu_load_eflags(env, new_eflags, eflags_mask & 0xffff);
439a5505f6bSPaolo Bonzini         for (i = 0; i < 8; i++) {
440a5505f6bSPaolo Bonzini             env->regs[i] = (env->regs[i] & 0xffff0000) | new_regs[i];
441a5505f6bSPaolo Bonzini         }
442a5505f6bSPaolo Bonzini     }
443eaa728eeSbellard     if (new_eflags & VM_MASK) {
44420054ef0SBlue Swirl         for (i = 0; i < 6; i++) {
4452999a0b2SBlue Swirl             load_seg_vm(env, i, new_segs[i]);
44620054ef0SBlue Swirl         }
447eaa728eeSbellard     } else {
448eaa728eeSbellard         /* first just selectors as the rest may trigger exceptions */
44920054ef0SBlue Swirl         for (i = 0; i < 6; i++) {
450eaa728eeSbellard             cpu_x86_load_seg_cache(env, i, new_segs[i], 0, 0, 0);
451eaa728eeSbellard         }
45220054ef0SBlue Swirl     }
453eaa728eeSbellard 
454eaa728eeSbellard     env->ldt.selector = new_ldt & ~4;
455eaa728eeSbellard     env->ldt.base = 0;
456eaa728eeSbellard     env->ldt.limit = 0;
457eaa728eeSbellard     env->ldt.flags = 0;
458eaa728eeSbellard 
459eaa728eeSbellard     /* load the LDT */
46020054ef0SBlue Swirl     if (new_ldt & 4) {
461100ec099SPavel Dovgalyuk         raise_exception_err_ra(env, EXCP0A_TSS, new_ldt & 0xfffc, retaddr);
46220054ef0SBlue Swirl     }
463eaa728eeSbellard 
464eaa728eeSbellard     if ((new_ldt & 0xfffc) != 0) {
465eaa728eeSbellard         dt = &env->gdt;
466eaa728eeSbellard         index = new_ldt & ~7;
46720054ef0SBlue Swirl         if ((index + 7) > dt->limit) {
468100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0A_TSS, new_ldt & 0xfffc, retaddr);
46920054ef0SBlue Swirl         }
470eaa728eeSbellard         ptr = dt->base + index;
471100ec099SPavel Dovgalyuk         e1 = cpu_ldl_kernel_ra(env, ptr, retaddr);
472100ec099SPavel Dovgalyuk         e2 = cpu_ldl_kernel_ra(env, ptr + 4, retaddr);
47320054ef0SBlue Swirl         if ((e2 & DESC_S_MASK) || ((e2 >> DESC_TYPE_SHIFT) & 0xf) != 2) {
474100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0A_TSS, new_ldt & 0xfffc, retaddr);
47520054ef0SBlue Swirl         }
47620054ef0SBlue Swirl         if (!(e2 & DESC_P_MASK)) {
477100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0A_TSS, new_ldt & 0xfffc, retaddr);
47820054ef0SBlue Swirl         }
479eaa728eeSbellard         load_seg_cache_raw_dt(&env->ldt, e1, e2);
480eaa728eeSbellard     }
481eaa728eeSbellard 
482eaa728eeSbellard     /* load the segments */
483eaa728eeSbellard     if (!(new_eflags & VM_MASK)) {
484d3b54918SPaolo Bonzini         int cpl = new_segs[R_CS] & 3;
485100ec099SPavel Dovgalyuk         tss_load_seg(env, R_CS, new_segs[R_CS], cpl, retaddr);
486100ec099SPavel Dovgalyuk         tss_load_seg(env, R_SS, new_segs[R_SS], cpl, retaddr);
487100ec099SPavel Dovgalyuk         tss_load_seg(env, R_ES, new_segs[R_ES], cpl, retaddr);
488100ec099SPavel Dovgalyuk         tss_load_seg(env, R_DS, new_segs[R_DS], cpl, retaddr);
489100ec099SPavel Dovgalyuk         tss_load_seg(env, R_FS, new_segs[R_FS], cpl, retaddr);
490100ec099SPavel Dovgalyuk         tss_load_seg(env, R_GS, new_segs[R_GS], cpl, retaddr);
491eaa728eeSbellard     }
492eaa728eeSbellard 
493a78d0eabSliguang     /* check that env->eip is in the CS segment limits */
494eaa728eeSbellard     if (new_eip > env->segs[R_CS].limit) {
495eaa728eeSbellard         /* XXX: different exception if CALL? */
496100ec099SPavel Dovgalyuk         raise_exception_err_ra(env, EXCP0D_GPF, 0, retaddr);
497eaa728eeSbellard     }
49801df040bSaliguori 
49901df040bSaliguori #ifndef CONFIG_USER_ONLY
50001df040bSaliguori     /* reset local breakpoints */
501428065ceSliguang     if (env->dr[7] & DR7_LOCAL_BP_MASK) {
50293d00d0fSRichard Henderson         cpu_x86_update_dr7(env, env->dr[7] & ~DR7_LOCAL_BP_MASK);
50301df040bSaliguori     }
50401df040bSaliguori #endif
50549958057SPaolo Bonzini     return type >> 3;
506eaa728eeSbellard }
507eaa728eeSbellard 
50849958057SPaolo Bonzini static int switch_tss(CPUX86State *env, int tss_selector,
509100ec099SPavel Dovgalyuk                       uint32_t e1, uint32_t e2, int source,
510100ec099SPavel Dovgalyuk                       uint32_t next_eip)
511100ec099SPavel Dovgalyuk {
51249958057SPaolo Bonzini     return switch_tss_ra(env, tss_selector, e1, e2, source, next_eip, 0);
513100ec099SPavel Dovgalyuk }
514100ec099SPavel Dovgalyuk 
515eaa728eeSbellard static inline unsigned int get_sp_mask(unsigned int e2)
516eaa728eeSbellard {
5170aca0605SAndrew Oates #ifdef TARGET_X86_64
5180aca0605SAndrew Oates     if (e2 & DESC_L_MASK) {
5190aca0605SAndrew Oates         return 0;
5200aca0605SAndrew Oates     } else
5210aca0605SAndrew Oates #endif
52220054ef0SBlue Swirl     if (e2 & DESC_B_MASK) {
523eaa728eeSbellard         return 0xffffffff;
52420054ef0SBlue Swirl     } else {
525eaa728eeSbellard         return 0xffff;
526eaa728eeSbellard     }
52720054ef0SBlue Swirl }
528eaa728eeSbellard 
52969cb498cSPaolo Bonzini static int exception_is_fault(int intno)
53069cb498cSPaolo Bonzini {
53169cb498cSPaolo Bonzini     switch (intno) {
53269cb498cSPaolo Bonzini         /*
53369cb498cSPaolo Bonzini          * #DB can be both fault- and trap-like, but it never sets RF=1
53469cb498cSPaolo Bonzini          * in the RFLAGS value pushed on the stack.
53569cb498cSPaolo Bonzini          */
53669cb498cSPaolo Bonzini     case EXCP01_DB:
53769cb498cSPaolo Bonzini     case EXCP03_INT3:
53869cb498cSPaolo Bonzini     case EXCP04_INTO:
53969cb498cSPaolo Bonzini     case EXCP08_DBLE:
54069cb498cSPaolo Bonzini     case EXCP12_MCHK:
54169cb498cSPaolo Bonzini         return 0;
54269cb498cSPaolo Bonzini     }
54369cb498cSPaolo Bonzini     /* Everything else including reserved exception is a fault.  */
54469cb498cSPaolo Bonzini     return 1;
54569cb498cSPaolo Bonzini }
54669cb498cSPaolo Bonzini 
54730493a03SClaudio Fontana int exception_has_error_code(int intno)
5482ed51f5bSaliguori {
5492ed51f5bSaliguori     switch (intno) {
5502ed51f5bSaliguori     case 8:
5512ed51f5bSaliguori     case 10:
5522ed51f5bSaliguori     case 11:
5532ed51f5bSaliguori     case 12:
5542ed51f5bSaliguori     case 13:
5552ed51f5bSaliguori     case 14:
5562ed51f5bSaliguori     case 17:
5572ed51f5bSaliguori         return 1;
5582ed51f5bSaliguori     }
5592ed51f5bSaliguori     return 0;
5602ed51f5bSaliguori }
5612ed51f5bSaliguori 
562eaa728eeSbellard #ifdef TARGET_X86_64
563eaa728eeSbellard #define SET_ESP(val, sp_mask)                                   \
564eaa728eeSbellard     do {                                                        \
56520054ef0SBlue Swirl         if ((sp_mask) == 0xffff) {                              \
56608b3ded6Sliguang             env->regs[R_ESP] = (env->regs[R_ESP] & ~0xffff) |   \
56708b3ded6Sliguang                 ((val) & 0xffff);                               \
56820054ef0SBlue Swirl         } else if ((sp_mask) == 0xffffffffLL) {                 \
56908b3ded6Sliguang             env->regs[R_ESP] = (uint32_t)(val);                 \
57020054ef0SBlue Swirl         } else {                                                \
57108b3ded6Sliguang             env->regs[R_ESP] = (val);                           \
57220054ef0SBlue Swirl         }                                                       \
573eaa728eeSbellard     } while (0)
574eaa728eeSbellard #else
57520054ef0SBlue Swirl #define SET_ESP(val, sp_mask)                                   \
57620054ef0SBlue Swirl     do {                                                        \
57708b3ded6Sliguang         env->regs[R_ESP] = (env->regs[R_ESP] & ~(sp_mask)) |    \
57808b3ded6Sliguang             ((val) & (sp_mask));                                \
57920054ef0SBlue Swirl     } while (0)
580eaa728eeSbellard #endif
581eaa728eeSbellard 
582c0a04f0eSaliguori /* in 64-bit machines, this can overflow. So this segment addition macro
583c0a04f0eSaliguori  * can be used to trim the value to 32-bit whenever needed */
584c0a04f0eSaliguori #define SEG_ADDL(ssp, sp, sp_mask) ((uint32_t)((ssp) + (sp & (sp_mask))))
585c0a04f0eSaliguori 
586eaa728eeSbellard /* XXX: add a is_user flag to have proper security support */
587100ec099SPavel Dovgalyuk #define PUSHW_RA(ssp, sp, sp_mask, val, ra)                      \
588eaa728eeSbellard     {                                                            \
589eaa728eeSbellard         sp -= 2;                                                 \
590100ec099SPavel Dovgalyuk         cpu_stw_kernel_ra(env, (ssp) + (sp & (sp_mask)), (val), ra); \
591eaa728eeSbellard     }
592eaa728eeSbellard 
593100ec099SPavel Dovgalyuk #define PUSHL_RA(ssp, sp, sp_mask, val, ra)                             \
594eaa728eeSbellard     {                                                                   \
595eaa728eeSbellard         sp -= 4;                                                        \
596100ec099SPavel Dovgalyuk         cpu_stl_kernel_ra(env, SEG_ADDL(ssp, sp, sp_mask), (uint32_t)(val), ra); \
597eaa728eeSbellard     }
598eaa728eeSbellard 
599100ec099SPavel Dovgalyuk #define POPW_RA(ssp, sp, sp_mask, val, ra)                       \
600eaa728eeSbellard     {                                                            \
601100ec099SPavel Dovgalyuk         val = cpu_lduw_kernel_ra(env, (ssp) + (sp & (sp_mask)), ra); \
602eaa728eeSbellard         sp += 2;                                                 \
603eaa728eeSbellard     }
604eaa728eeSbellard 
605100ec099SPavel Dovgalyuk #define POPL_RA(ssp, sp, sp_mask, val, ra)                              \
606eaa728eeSbellard     {                                                                   \
607100ec099SPavel Dovgalyuk         val = (uint32_t)cpu_ldl_kernel_ra(env, SEG_ADDL(ssp, sp, sp_mask), ra); \
608eaa728eeSbellard         sp += 4;                                                        \
609eaa728eeSbellard     }
610eaa728eeSbellard 
611100ec099SPavel Dovgalyuk #define PUSHW(ssp, sp, sp_mask, val) PUSHW_RA(ssp, sp, sp_mask, val, 0)
612100ec099SPavel Dovgalyuk #define PUSHL(ssp, sp, sp_mask, val) PUSHL_RA(ssp, sp, sp_mask, val, 0)
613100ec099SPavel Dovgalyuk #define POPW(ssp, sp, sp_mask, val) POPW_RA(ssp, sp, sp_mask, val, 0)
614100ec099SPavel Dovgalyuk #define POPL(ssp, sp, sp_mask, val) POPL_RA(ssp, sp, sp_mask, val, 0)
615100ec099SPavel Dovgalyuk 
616eaa728eeSbellard /* protected mode interrupt */
6172999a0b2SBlue Swirl static void do_interrupt_protected(CPUX86State *env, int intno, int is_int,
6182999a0b2SBlue Swirl                                    int error_code, unsigned int next_eip,
6192999a0b2SBlue Swirl                                    int is_hw)
620eaa728eeSbellard {
621eaa728eeSbellard     SegmentCache *dt;
622eaa728eeSbellard     target_ulong ptr, ssp;
623eaa728eeSbellard     int type, dpl, selector, ss_dpl, cpl;
624eaa728eeSbellard     int has_error_code, new_stack, shift;
6251c918ebaSblueswir1     uint32_t e1, e2, offset, ss = 0, esp, ss_e1 = 0, ss_e2 = 0;
62669cb498cSPaolo Bonzini     uint32_t old_eip, sp_mask, eflags;
62787446327SKevin O'Connor     int vm86 = env->eflags & VM_MASK;
62869cb498cSPaolo Bonzini     bool set_rf;
629eaa728eeSbellard 
630eaa728eeSbellard     has_error_code = 0;
63120054ef0SBlue Swirl     if (!is_int && !is_hw) {
63220054ef0SBlue Swirl         has_error_code = exception_has_error_code(intno);
63320054ef0SBlue Swirl     }
63420054ef0SBlue Swirl     if (is_int) {
635eaa728eeSbellard         old_eip = next_eip;
63669cb498cSPaolo Bonzini         set_rf = false;
63720054ef0SBlue Swirl     } else {
638eaa728eeSbellard         old_eip = env->eip;
63969cb498cSPaolo Bonzini         set_rf = exception_is_fault(intno);
64020054ef0SBlue Swirl     }
641eaa728eeSbellard 
642eaa728eeSbellard     dt = &env->idt;
64320054ef0SBlue Swirl     if (intno * 8 + 7 > dt->limit) {
64477b2bc2cSBlue Swirl         raise_exception_err(env, EXCP0D_GPF, intno * 8 + 2);
64520054ef0SBlue Swirl     }
646eaa728eeSbellard     ptr = dt->base + intno * 8;
647329e607dSBlue Swirl     e1 = cpu_ldl_kernel(env, ptr);
648329e607dSBlue Swirl     e2 = cpu_ldl_kernel(env, ptr + 4);
649eaa728eeSbellard     /* check gate type */
650eaa728eeSbellard     type = (e2 >> DESC_TYPE_SHIFT) & 0x1f;
651eaa728eeSbellard     switch (type) {
652eaa728eeSbellard     case 5: /* task gate */
6533df1a3d0SPeter Maydell     case 6: /* 286 interrupt gate */
6543df1a3d0SPeter Maydell     case 7: /* 286 trap gate */
6553df1a3d0SPeter Maydell     case 14: /* 386 interrupt gate */
6563df1a3d0SPeter Maydell     case 15: /* 386 trap gate */
6573df1a3d0SPeter Maydell         break;
6583df1a3d0SPeter Maydell     default:
6593df1a3d0SPeter Maydell         raise_exception_err(env, EXCP0D_GPF, intno * 8 + 2);
6603df1a3d0SPeter Maydell         break;
6613df1a3d0SPeter Maydell     }
6623df1a3d0SPeter Maydell     dpl = (e2 >> DESC_DPL_SHIFT) & 3;
6633df1a3d0SPeter Maydell     cpl = env->hflags & HF_CPL_MASK;
6643df1a3d0SPeter Maydell     /* check privilege if software int */
6653df1a3d0SPeter Maydell     if (is_int && dpl < cpl) {
6663df1a3d0SPeter Maydell         raise_exception_err(env, EXCP0D_GPF, intno * 8 + 2);
6673df1a3d0SPeter Maydell     }
6683df1a3d0SPeter Maydell 
6693df1a3d0SPeter Maydell     if (type == 5) {
6703df1a3d0SPeter Maydell         /* task gate */
671eaa728eeSbellard         /* must do that check here to return the correct error code */
67220054ef0SBlue Swirl         if (!(e2 & DESC_P_MASK)) {
67377b2bc2cSBlue Swirl             raise_exception_err(env, EXCP0B_NOSEG, intno * 8 + 2);
67420054ef0SBlue Swirl         }
67549958057SPaolo Bonzini         shift = switch_tss(env, intno * 8, e1, e2, SWITCH_TSS_CALL, old_eip);
676eaa728eeSbellard         if (has_error_code) {
677eaa728eeSbellard             uint32_t mask;
67820054ef0SBlue Swirl 
679eaa728eeSbellard             /* push the error code */
68020054ef0SBlue Swirl             if (env->segs[R_SS].flags & DESC_B_MASK) {
681eaa728eeSbellard                 mask = 0xffffffff;
68220054ef0SBlue Swirl             } else {
683eaa728eeSbellard                 mask = 0xffff;
68420054ef0SBlue Swirl             }
68508b3ded6Sliguang             esp = (env->regs[R_ESP] - (2 << shift)) & mask;
686eaa728eeSbellard             ssp = env->segs[R_SS].base + esp;
68720054ef0SBlue Swirl             if (shift) {
688329e607dSBlue Swirl                 cpu_stl_kernel(env, ssp, error_code);
68920054ef0SBlue Swirl             } else {
690329e607dSBlue Swirl                 cpu_stw_kernel(env, ssp, error_code);
69120054ef0SBlue Swirl             }
692eaa728eeSbellard             SET_ESP(esp, mask);
693eaa728eeSbellard         }
694eaa728eeSbellard         return;
695eaa728eeSbellard     }
6963df1a3d0SPeter Maydell 
6973df1a3d0SPeter Maydell     /* Otherwise, trap or interrupt gate */
6983df1a3d0SPeter Maydell 
699eaa728eeSbellard     /* check valid bit */
70020054ef0SBlue Swirl     if (!(e2 & DESC_P_MASK)) {
70177b2bc2cSBlue Swirl         raise_exception_err(env, EXCP0B_NOSEG, intno * 8 + 2);
70220054ef0SBlue Swirl     }
703eaa728eeSbellard     selector = e1 >> 16;
704eaa728eeSbellard     offset = (e2 & 0xffff0000) | (e1 & 0x0000ffff);
70520054ef0SBlue Swirl     if ((selector & 0xfffc) == 0) {
70677b2bc2cSBlue Swirl         raise_exception_err(env, EXCP0D_GPF, 0);
70720054ef0SBlue Swirl     }
7082999a0b2SBlue Swirl     if (load_segment(env, &e1, &e2, selector) != 0) {
70977b2bc2cSBlue Swirl         raise_exception_err(env, EXCP0D_GPF, selector & 0xfffc);
71020054ef0SBlue Swirl     }
71120054ef0SBlue Swirl     if (!(e2 & DESC_S_MASK) || !(e2 & (DESC_CS_MASK))) {
71277b2bc2cSBlue Swirl         raise_exception_err(env, EXCP0D_GPF, selector & 0xfffc);
71320054ef0SBlue Swirl     }
714eaa728eeSbellard     dpl = (e2 >> DESC_DPL_SHIFT) & 3;
71520054ef0SBlue Swirl     if (dpl > cpl) {
71677b2bc2cSBlue Swirl         raise_exception_err(env, EXCP0D_GPF, selector & 0xfffc);
71720054ef0SBlue Swirl     }
71820054ef0SBlue Swirl     if (!(e2 & DESC_P_MASK)) {
71977b2bc2cSBlue Swirl         raise_exception_err(env, EXCP0B_NOSEG, selector & 0xfffc);
72020054ef0SBlue Swirl     }
7211110bfe6SPaolo Bonzini     if (e2 & DESC_C_MASK) {
7221110bfe6SPaolo Bonzini         dpl = cpl;
7231110bfe6SPaolo Bonzini     }
7241110bfe6SPaolo Bonzini     if (dpl < cpl) {
725eaa728eeSbellard         /* to inner privilege */
726100ec099SPavel Dovgalyuk         get_ss_esp_from_tss(env, &ss, &esp, dpl, 0);
72720054ef0SBlue Swirl         if ((ss & 0xfffc) == 0) {
72877b2bc2cSBlue Swirl             raise_exception_err(env, EXCP0A_TSS, ss & 0xfffc);
72920054ef0SBlue Swirl         }
73020054ef0SBlue Swirl         if ((ss & 3) != dpl) {
73177b2bc2cSBlue Swirl             raise_exception_err(env, EXCP0A_TSS, ss & 0xfffc);
73220054ef0SBlue Swirl         }
7332999a0b2SBlue Swirl         if (load_segment(env, &ss_e1, &ss_e2, ss) != 0) {
73477b2bc2cSBlue Swirl             raise_exception_err(env, EXCP0A_TSS, ss & 0xfffc);
73520054ef0SBlue Swirl         }
736eaa728eeSbellard         ss_dpl = (ss_e2 >> DESC_DPL_SHIFT) & 3;
73720054ef0SBlue Swirl         if (ss_dpl != dpl) {
73877b2bc2cSBlue Swirl             raise_exception_err(env, EXCP0A_TSS, ss & 0xfffc);
73920054ef0SBlue Swirl         }
740eaa728eeSbellard         if (!(ss_e2 & DESC_S_MASK) ||
741eaa728eeSbellard             (ss_e2 & DESC_CS_MASK) ||
74220054ef0SBlue Swirl             !(ss_e2 & DESC_W_MASK)) {
74377b2bc2cSBlue Swirl             raise_exception_err(env, EXCP0A_TSS, ss & 0xfffc);
74420054ef0SBlue Swirl         }
74520054ef0SBlue Swirl         if (!(ss_e2 & DESC_P_MASK)) {
74677b2bc2cSBlue Swirl             raise_exception_err(env, EXCP0A_TSS, ss & 0xfffc);
74720054ef0SBlue Swirl         }
748eaa728eeSbellard         new_stack = 1;
749eaa728eeSbellard         sp_mask = get_sp_mask(ss_e2);
750eaa728eeSbellard         ssp = get_seg_base(ss_e1, ss_e2);
7511110bfe6SPaolo Bonzini     } else  {
752eaa728eeSbellard         /* to same privilege */
75387446327SKevin O'Connor         if (vm86) {
75477b2bc2cSBlue Swirl             raise_exception_err(env, EXCP0D_GPF, selector & 0xfffc);
75520054ef0SBlue Swirl         }
756eaa728eeSbellard         new_stack = 0;
757eaa728eeSbellard         sp_mask = get_sp_mask(env->segs[R_SS].flags);
758eaa728eeSbellard         ssp = env->segs[R_SS].base;
75908b3ded6Sliguang         esp = env->regs[R_ESP];
760eaa728eeSbellard     }
761eaa728eeSbellard 
762eaa728eeSbellard     shift = type >> 3;
763eaa728eeSbellard 
764eaa728eeSbellard #if 0
765eaa728eeSbellard     /* XXX: check that enough room is available */
766eaa728eeSbellard     push_size = 6 + (new_stack << 2) + (has_error_code << 1);
76787446327SKevin O'Connor     if (vm86) {
768eaa728eeSbellard         push_size += 8;
76920054ef0SBlue Swirl     }
770eaa728eeSbellard     push_size <<= shift;
771eaa728eeSbellard #endif
77269cb498cSPaolo Bonzini     eflags = cpu_compute_eflags(env);
77369cb498cSPaolo Bonzini     /*
77469cb498cSPaolo Bonzini      * AMD states that code breakpoint #DBs clear RF=0, Intel leaves it
77569cb498cSPaolo Bonzini      * as is.  AMD behavior could be implemented in check_hw_breakpoints().
77669cb498cSPaolo Bonzini      */
77769cb498cSPaolo Bonzini     if (set_rf) {
77869cb498cSPaolo Bonzini         eflags |= RF_MASK;
77969cb498cSPaolo Bonzini     }
78069cb498cSPaolo Bonzini 
781eaa728eeSbellard     if (shift == 1) {
782eaa728eeSbellard         if (new_stack) {
78387446327SKevin O'Connor             if (vm86) {
784eaa728eeSbellard                 PUSHL(ssp, esp, sp_mask, env->segs[R_GS].selector);
785eaa728eeSbellard                 PUSHL(ssp, esp, sp_mask, env->segs[R_FS].selector);
786eaa728eeSbellard                 PUSHL(ssp, esp, sp_mask, env->segs[R_DS].selector);
787eaa728eeSbellard                 PUSHL(ssp, esp, sp_mask, env->segs[R_ES].selector);
788eaa728eeSbellard             }
789eaa728eeSbellard             PUSHL(ssp, esp, sp_mask, env->segs[R_SS].selector);
79008b3ded6Sliguang             PUSHL(ssp, esp, sp_mask, env->regs[R_ESP]);
791eaa728eeSbellard         }
79269cb498cSPaolo Bonzini         PUSHL(ssp, esp, sp_mask, eflags);
793eaa728eeSbellard         PUSHL(ssp, esp, sp_mask, env->segs[R_CS].selector);
794eaa728eeSbellard         PUSHL(ssp, esp, sp_mask, old_eip);
795eaa728eeSbellard         if (has_error_code) {
796eaa728eeSbellard             PUSHL(ssp, esp, sp_mask, error_code);
797eaa728eeSbellard         }
798eaa728eeSbellard     } else {
799eaa728eeSbellard         if (new_stack) {
80087446327SKevin O'Connor             if (vm86) {
801eaa728eeSbellard                 PUSHW(ssp, esp, sp_mask, env->segs[R_GS].selector);
802eaa728eeSbellard                 PUSHW(ssp, esp, sp_mask, env->segs[R_FS].selector);
803eaa728eeSbellard                 PUSHW(ssp, esp, sp_mask, env->segs[R_DS].selector);
804eaa728eeSbellard                 PUSHW(ssp, esp, sp_mask, env->segs[R_ES].selector);
805eaa728eeSbellard             }
806eaa728eeSbellard             PUSHW(ssp, esp, sp_mask, env->segs[R_SS].selector);
80708b3ded6Sliguang             PUSHW(ssp, esp, sp_mask, env->regs[R_ESP]);
808eaa728eeSbellard         }
80969cb498cSPaolo Bonzini         PUSHW(ssp, esp, sp_mask, eflags);
810eaa728eeSbellard         PUSHW(ssp, esp, sp_mask, env->segs[R_CS].selector);
811eaa728eeSbellard         PUSHW(ssp, esp, sp_mask, old_eip);
812eaa728eeSbellard         if (has_error_code) {
813eaa728eeSbellard             PUSHW(ssp, esp, sp_mask, error_code);
814eaa728eeSbellard         }
815eaa728eeSbellard     }
816eaa728eeSbellard 
817fd460606SKevin O'Connor     /* interrupt gate clear IF mask */
818fd460606SKevin O'Connor     if ((type & 1) == 0) {
819fd460606SKevin O'Connor         env->eflags &= ~IF_MASK;
820fd460606SKevin O'Connor     }
821fd460606SKevin O'Connor     env->eflags &= ~(TF_MASK | VM_MASK | RF_MASK | NT_MASK);
822fd460606SKevin O'Connor 
823eaa728eeSbellard     if (new_stack) {
82487446327SKevin O'Connor         if (vm86) {
825eaa728eeSbellard             cpu_x86_load_seg_cache(env, R_ES, 0, 0, 0, 0);
826eaa728eeSbellard             cpu_x86_load_seg_cache(env, R_DS, 0, 0, 0, 0);
827eaa728eeSbellard             cpu_x86_load_seg_cache(env, R_FS, 0, 0, 0, 0);
828eaa728eeSbellard             cpu_x86_load_seg_cache(env, R_GS, 0, 0, 0, 0);
829eaa728eeSbellard         }
830eaa728eeSbellard         ss = (ss & ~3) | dpl;
831eaa728eeSbellard         cpu_x86_load_seg_cache(env, R_SS, ss,
832eaa728eeSbellard                                ssp, get_seg_limit(ss_e1, ss_e2), ss_e2);
833eaa728eeSbellard     }
834eaa728eeSbellard     SET_ESP(esp, sp_mask);
835eaa728eeSbellard 
836eaa728eeSbellard     selector = (selector & ~3) | dpl;
837eaa728eeSbellard     cpu_x86_load_seg_cache(env, R_CS, selector,
838eaa728eeSbellard                    get_seg_base(e1, e2),
839eaa728eeSbellard                    get_seg_limit(e1, e2),
840eaa728eeSbellard                    e2);
841eaa728eeSbellard     env->eip = offset;
842eaa728eeSbellard }
843eaa728eeSbellard 
844eaa728eeSbellard #ifdef TARGET_X86_64
845eaa728eeSbellard 
846100ec099SPavel Dovgalyuk #define PUSHQ_RA(sp, val, ra)                   \
847eaa728eeSbellard     {                                           \
848eaa728eeSbellard         sp -= 8;                                \
849100ec099SPavel Dovgalyuk         cpu_stq_kernel_ra(env, sp, (val), ra);  \
850eaa728eeSbellard     }
851eaa728eeSbellard 
852100ec099SPavel Dovgalyuk #define POPQ_RA(sp, val, ra)                    \
853eaa728eeSbellard     {                                           \
854100ec099SPavel Dovgalyuk         val = cpu_ldq_kernel_ra(env, sp, ra);   \
855eaa728eeSbellard         sp += 8;                                \
856eaa728eeSbellard     }
857eaa728eeSbellard 
858100ec099SPavel Dovgalyuk #define PUSHQ(sp, val) PUSHQ_RA(sp, val, 0)
859100ec099SPavel Dovgalyuk #define POPQ(sp, val) POPQ_RA(sp, val, 0)
860100ec099SPavel Dovgalyuk 
8612999a0b2SBlue Swirl static inline target_ulong get_rsp_from_tss(CPUX86State *env, int level)
862eaa728eeSbellard {
8636aa9e42fSRichard Henderson     X86CPU *cpu = env_archcpu(env);
86450fcc7cbSGareth Webb     int index, pg_mode;
86550fcc7cbSGareth Webb     target_ulong rsp;
86650fcc7cbSGareth Webb     int32_t sext;
867eaa728eeSbellard 
868eaa728eeSbellard #if 0
869eaa728eeSbellard     printf("TR: base=" TARGET_FMT_lx " limit=%x\n",
870eaa728eeSbellard            env->tr.base, env->tr.limit);
871eaa728eeSbellard #endif
872eaa728eeSbellard 
87320054ef0SBlue Swirl     if (!(env->tr.flags & DESC_P_MASK)) {
874a47dddd7SAndreas Färber         cpu_abort(CPU(cpu), "invalid tss");
87520054ef0SBlue Swirl     }
876eaa728eeSbellard     index = 8 * level + 4;
87720054ef0SBlue Swirl     if ((index + 7) > env->tr.limit) {
87877b2bc2cSBlue Swirl         raise_exception_err(env, EXCP0A_TSS, env->tr.selector & 0xfffc);
87920054ef0SBlue Swirl     }
88050fcc7cbSGareth Webb 
88150fcc7cbSGareth Webb     rsp = cpu_ldq_kernel(env, env->tr.base + index);
88250fcc7cbSGareth Webb 
88350fcc7cbSGareth Webb     /* test virtual address sign extension */
88450fcc7cbSGareth Webb     pg_mode = get_pg_mode(env);
88550fcc7cbSGareth Webb     sext = (int64_t)rsp >> (pg_mode & PG_MODE_LA57 ? 56 : 47);
88650fcc7cbSGareth Webb     if (sext != 0 && sext != -1) {
88750fcc7cbSGareth Webb         raise_exception_err(env, EXCP0C_STACK, 0);
88850fcc7cbSGareth Webb     }
88950fcc7cbSGareth Webb 
89050fcc7cbSGareth Webb     return rsp;
891eaa728eeSbellard }
892eaa728eeSbellard 
893eaa728eeSbellard /* 64 bit interrupt */
8942999a0b2SBlue Swirl static void do_interrupt64(CPUX86State *env, int intno, int is_int,
8952999a0b2SBlue Swirl                            int error_code, target_ulong next_eip, int is_hw)
896eaa728eeSbellard {
897eaa728eeSbellard     SegmentCache *dt;
898eaa728eeSbellard     target_ulong ptr;
899eaa728eeSbellard     int type, dpl, selector, cpl, ist;
900eaa728eeSbellard     int has_error_code, new_stack;
90169cb498cSPaolo Bonzini     uint32_t e1, e2, e3, ss, eflags;
902eaa728eeSbellard     target_ulong old_eip, esp, offset;
90369cb498cSPaolo Bonzini     bool set_rf;
904eaa728eeSbellard 
905eaa728eeSbellard     has_error_code = 0;
90620054ef0SBlue Swirl     if (!is_int && !is_hw) {
90720054ef0SBlue Swirl         has_error_code = exception_has_error_code(intno);
90820054ef0SBlue Swirl     }
90920054ef0SBlue Swirl     if (is_int) {
910eaa728eeSbellard         old_eip = next_eip;
91169cb498cSPaolo Bonzini         set_rf = false;
91220054ef0SBlue Swirl     } else {
913eaa728eeSbellard         old_eip = env->eip;
91469cb498cSPaolo Bonzini         set_rf = exception_is_fault(intno);
91520054ef0SBlue Swirl     }
916eaa728eeSbellard 
917eaa728eeSbellard     dt = &env->idt;
91820054ef0SBlue Swirl     if (intno * 16 + 15 > dt->limit) {
919b585edcaSJoe Richey         raise_exception_err(env, EXCP0D_GPF, intno * 8 + 2);
92020054ef0SBlue Swirl     }
921eaa728eeSbellard     ptr = dt->base + intno * 16;
922329e607dSBlue Swirl     e1 = cpu_ldl_kernel(env, ptr);
923329e607dSBlue Swirl     e2 = cpu_ldl_kernel(env, ptr + 4);
924329e607dSBlue Swirl     e3 = cpu_ldl_kernel(env, ptr + 8);
925eaa728eeSbellard     /* check gate type */
926eaa728eeSbellard     type = (e2 >> DESC_TYPE_SHIFT) & 0x1f;
927eaa728eeSbellard     switch (type) {
928eaa728eeSbellard     case 14: /* 386 interrupt gate */
929eaa728eeSbellard     case 15: /* 386 trap gate */
930eaa728eeSbellard         break;
931eaa728eeSbellard     default:
932b585edcaSJoe Richey         raise_exception_err(env, EXCP0D_GPF, intno * 8 + 2);
933eaa728eeSbellard         break;
934eaa728eeSbellard     }
935eaa728eeSbellard     dpl = (e2 >> DESC_DPL_SHIFT) & 3;
936eaa728eeSbellard     cpl = env->hflags & HF_CPL_MASK;
9371235fc06Sths     /* check privilege if software int */
93820054ef0SBlue Swirl     if (is_int && dpl < cpl) {
939b585edcaSJoe Richey         raise_exception_err(env, EXCP0D_GPF, intno * 8 + 2);
94020054ef0SBlue Swirl     }
941eaa728eeSbellard     /* check valid bit */
94220054ef0SBlue Swirl     if (!(e2 & DESC_P_MASK)) {
943b585edcaSJoe Richey         raise_exception_err(env, EXCP0B_NOSEG, intno * 8 + 2);
94420054ef0SBlue Swirl     }
945eaa728eeSbellard     selector = e1 >> 16;
946eaa728eeSbellard     offset = ((target_ulong)e3 << 32) | (e2 & 0xffff0000) | (e1 & 0x0000ffff);
947eaa728eeSbellard     ist = e2 & 7;
94820054ef0SBlue Swirl     if ((selector & 0xfffc) == 0) {
94977b2bc2cSBlue Swirl         raise_exception_err(env, EXCP0D_GPF, 0);
95020054ef0SBlue Swirl     }
951eaa728eeSbellard 
9522999a0b2SBlue Swirl     if (load_segment(env, &e1, &e2, selector) != 0) {
95377b2bc2cSBlue Swirl         raise_exception_err(env, EXCP0D_GPF, selector & 0xfffc);
95420054ef0SBlue Swirl     }
95520054ef0SBlue Swirl     if (!(e2 & DESC_S_MASK) || !(e2 & (DESC_CS_MASK))) {
95677b2bc2cSBlue Swirl         raise_exception_err(env, EXCP0D_GPF, selector & 0xfffc);
95720054ef0SBlue Swirl     }
958eaa728eeSbellard     dpl = (e2 >> DESC_DPL_SHIFT) & 3;
95920054ef0SBlue Swirl     if (dpl > cpl) {
96077b2bc2cSBlue Swirl         raise_exception_err(env, EXCP0D_GPF, selector & 0xfffc);
96120054ef0SBlue Swirl     }
96220054ef0SBlue Swirl     if (!(e2 & DESC_P_MASK)) {
96377b2bc2cSBlue Swirl         raise_exception_err(env, EXCP0B_NOSEG, selector & 0xfffc);
96420054ef0SBlue Swirl     }
96520054ef0SBlue Swirl     if (!(e2 & DESC_L_MASK) || (e2 & DESC_B_MASK)) {
96677b2bc2cSBlue Swirl         raise_exception_err(env, EXCP0D_GPF, selector & 0xfffc);
96720054ef0SBlue Swirl     }
9681110bfe6SPaolo Bonzini     if (e2 & DESC_C_MASK) {
9691110bfe6SPaolo Bonzini         dpl = cpl;
9701110bfe6SPaolo Bonzini     }
9711110bfe6SPaolo Bonzini     if (dpl < cpl || ist != 0) {
972eaa728eeSbellard         /* to inner privilege */
973eaa728eeSbellard         new_stack = 1;
974ae67dc72SPaolo Bonzini         esp = get_rsp_from_tss(env, ist != 0 ? ist + 3 : dpl);
975ae67dc72SPaolo Bonzini         ss = 0;
9761110bfe6SPaolo Bonzini     } else {
977eaa728eeSbellard         /* to same privilege */
97820054ef0SBlue Swirl         if (env->eflags & VM_MASK) {
97977b2bc2cSBlue Swirl             raise_exception_err(env, EXCP0D_GPF, selector & 0xfffc);
98020054ef0SBlue Swirl         }
981eaa728eeSbellard         new_stack = 0;
98208b3ded6Sliguang         esp = env->regs[R_ESP];
983e95e9b88SWu Xiang     }
984ae67dc72SPaolo Bonzini     esp &= ~0xfLL; /* align stack */
985eaa728eeSbellard 
98669cb498cSPaolo Bonzini     /* See do_interrupt_protected.  */
98769cb498cSPaolo Bonzini     eflags = cpu_compute_eflags(env);
98869cb498cSPaolo Bonzini     if (set_rf) {
98969cb498cSPaolo Bonzini         eflags |= RF_MASK;
99069cb498cSPaolo Bonzini     }
99169cb498cSPaolo Bonzini 
992eaa728eeSbellard     PUSHQ(esp, env->segs[R_SS].selector);
99308b3ded6Sliguang     PUSHQ(esp, env->regs[R_ESP]);
99469cb498cSPaolo Bonzini     PUSHQ(esp, eflags);
995eaa728eeSbellard     PUSHQ(esp, env->segs[R_CS].selector);
996eaa728eeSbellard     PUSHQ(esp, old_eip);
997eaa728eeSbellard     if (has_error_code) {
998eaa728eeSbellard         PUSHQ(esp, error_code);
999eaa728eeSbellard     }
1000eaa728eeSbellard 
1001fd460606SKevin O'Connor     /* interrupt gate clear IF mask */
1002fd460606SKevin O'Connor     if ((type & 1) == 0) {
1003fd460606SKevin O'Connor         env->eflags &= ~IF_MASK;
1004fd460606SKevin O'Connor     }
1005fd460606SKevin O'Connor     env->eflags &= ~(TF_MASK | VM_MASK | RF_MASK | NT_MASK);
1006fd460606SKevin O'Connor 
1007eaa728eeSbellard     if (new_stack) {
1008eaa728eeSbellard         ss = 0 | dpl;
1009e95e9b88SWu Xiang         cpu_x86_load_seg_cache(env, R_SS, ss, 0, 0, dpl << DESC_DPL_SHIFT);
1010eaa728eeSbellard     }
101108b3ded6Sliguang     env->regs[R_ESP] = esp;
1012eaa728eeSbellard 
1013eaa728eeSbellard     selector = (selector & ~3) | dpl;
1014eaa728eeSbellard     cpu_x86_load_seg_cache(env, R_CS, selector,
1015eaa728eeSbellard                    get_seg_base(e1, e2),
1016eaa728eeSbellard                    get_seg_limit(e1, e2),
1017eaa728eeSbellard                    e2);
1018eaa728eeSbellard     env->eip = offset;
1019eaa728eeSbellard }
102063fd8ef0SPaolo Bonzini #endif /* TARGET_X86_64 */
1021eaa728eeSbellard 
10222999a0b2SBlue Swirl void helper_sysret(CPUX86State *env, int dflag)
1023eaa728eeSbellard {
1024eaa728eeSbellard     int cpl, selector;
1025eaa728eeSbellard 
1026eaa728eeSbellard     if (!(env->efer & MSR_EFER_SCE)) {
1027100ec099SPavel Dovgalyuk         raise_exception_err_ra(env, EXCP06_ILLOP, 0, GETPC());
1028eaa728eeSbellard     }
1029eaa728eeSbellard     cpl = env->hflags & HF_CPL_MASK;
1030eaa728eeSbellard     if (!(env->cr[0] & CR0_PE_MASK) || cpl != 0) {
1031100ec099SPavel Dovgalyuk         raise_exception_err_ra(env, EXCP0D_GPF, 0, GETPC());
1032eaa728eeSbellard     }
1033eaa728eeSbellard     selector = (env->star >> 48) & 0xffff;
103463fd8ef0SPaolo Bonzini #ifdef TARGET_X86_64
1035eaa728eeSbellard     if (env->hflags & HF_LMA_MASK) {
1036fd460606SKevin O'Connor         cpu_load_eflags(env, (uint32_t)(env->regs[11]), TF_MASK | AC_MASK
1037fd460606SKevin O'Connor                         | ID_MASK | IF_MASK | IOPL_MASK | VM_MASK | RF_MASK |
1038fd460606SKevin O'Connor                         NT_MASK);
1039eaa728eeSbellard         if (dflag == 2) {
1040eaa728eeSbellard             cpu_x86_load_seg_cache(env, R_CS, (selector + 16) | 3,
1041eaa728eeSbellard                                    0, 0xffffffff,
1042eaa728eeSbellard                                    DESC_G_MASK | DESC_P_MASK |
1043eaa728eeSbellard                                    DESC_S_MASK | (3 << DESC_DPL_SHIFT) |
1044eaa728eeSbellard                                    DESC_CS_MASK | DESC_R_MASK | DESC_A_MASK |
1045eaa728eeSbellard                                    DESC_L_MASK);
1046a4165610Sliguang             env->eip = env->regs[R_ECX];
1047eaa728eeSbellard         } else {
1048eaa728eeSbellard             cpu_x86_load_seg_cache(env, R_CS, selector | 3,
1049eaa728eeSbellard                                    0, 0xffffffff,
1050eaa728eeSbellard                                    DESC_G_MASK | DESC_B_MASK | DESC_P_MASK |
1051eaa728eeSbellard                                    DESC_S_MASK | (3 << DESC_DPL_SHIFT) |
1052eaa728eeSbellard                                    DESC_CS_MASK | DESC_R_MASK | DESC_A_MASK);
1053a4165610Sliguang             env->eip = (uint32_t)env->regs[R_ECX];
1054eaa728eeSbellard         }
1055ac576229SBill Paul         cpu_x86_load_seg_cache(env, R_SS, (selector + 8) | 3,
1056eaa728eeSbellard                                0, 0xffffffff,
1057eaa728eeSbellard                                DESC_G_MASK | DESC_B_MASK | DESC_P_MASK |
1058eaa728eeSbellard                                DESC_S_MASK | (3 << DESC_DPL_SHIFT) |
1059eaa728eeSbellard                                DESC_W_MASK | DESC_A_MASK);
106063fd8ef0SPaolo Bonzini     } else
106163fd8ef0SPaolo Bonzini #endif
106263fd8ef0SPaolo Bonzini     {
1063fd460606SKevin O'Connor         env->eflags |= IF_MASK;
1064eaa728eeSbellard         cpu_x86_load_seg_cache(env, R_CS, selector | 3,
1065eaa728eeSbellard                                0, 0xffffffff,
1066eaa728eeSbellard                                DESC_G_MASK | DESC_B_MASK | DESC_P_MASK |
1067eaa728eeSbellard                                DESC_S_MASK | (3 << DESC_DPL_SHIFT) |
1068eaa728eeSbellard                                DESC_CS_MASK | DESC_R_MASK | DESC_A_MASK);
1069a4165610Sliguang         env->eip = (uint32_t)env->regs[R_ECX];
1070ac576229SBill Paul         cpu_x86_load_seg_cache(env, R_SS, (selector + 8) | 3,
1071eaa728eeSbellard                                0, 0xffffffff,
1072eaa728eeSbellard                                DESC_G_MASK | DESC_B_MASK | DESC_P_MASK |
1073eaa728eeSbellard                                DESC_S_MASK | (3 << DESC_DPL_SHIFT) |
1074eaa728eeSbellard                                DESC_W_MASK | DESC_A_MASK);
1075eaa728eeSbellard     }
1076eaa728eeSbellard }
1077eaa728eeSbellard 
1078eaa728eeSbellard /* real mode interrupt */
10792999a0b2SBlue Swirl static void do_interrupt_real(CPUX86State *env, int intno, int is_int,
10802999a0b2SBlue Swirl                               int error_code, unsigned int next_eip)
1081eaa728eeSbellard {
1082eaa728eeSbellard     SegmentCache *dt;
1083eaa728eeSbellard     target_ulong ptr, ssp;
1084eaa728eeSbellard     int selector;
1085eaa728eeSbellard     uint32_t offset, esp;
1086eaa728eeSbellard     uint32_t old_cs, old_eip;
1087eaa728eeSbellard 
1088eaa728eeSbellard     /* real mode (simpler!) */
1089eaa728eeSbellard     dt = &env->idt;
109020054ef0SBlue Swirl     if (intno * 4 + 3 > dt->limit) {
109177b2bc2cSBlue Swirl         raise_exception_err(env, EXCP0D_GPF, intno * 8 + 2);
109220054ef0SBlue Swirl     }
1093eaa728eeSbellard     ptr = dt->base + intno * 4;
1094329e607dSBlue Swirl     offset = cpu_lduw_kernel(env, ptr);
1095329e607dSBlue Swirl     selector = cpu_lduw_kernel(env, ptr + 2);
109608b3ded6Sliguang     esp = env->regs[R_ESP];
1097eaa728eeSbellard     ssp = env->segs[R_SS].base;
109820054ef0SBlue Swirl     if (is_int) {
1099eaa728eeSbellard         old_eip = next_eip;
110020054ef0SBlue Swirl     } else {
1101eaa728eeSbellard         old_eip = env->eip;
110220054ef0SBlue Swirl     }
1103eaa728eeSbellard     old_cs = env->segs[R_CS].selector;
1104eaa728eeSbellard     /* XXX: use SS segment size? */
1105997ff0d9SBlue Swirl     PUSHW(ssp, esp, 0xffff, cpu_compute_eflags(env));
1106eaa728eeSbellard     PUSHW(ssp, esp, 0xffff, old_cs);
1107eaa728eeSbellard     PUSHW(ssp, esp, 0xffff, old_eip);
1108eaa728eeSbellard 
1109eaa728eeSbellard     /* update processor state */
111008b3ded6Sliguang     env->regs[R_ESP] = (env->regs[R_ESP] & ~0xffff) | (esp & 0xffff);
1111eaa728eeSbellard     env->eip = offset;
1112eaa728eeSbellard     env->segs[R_CS].selector = selector;
1113eaa728eeSbellard     env->segs[R_CS].base = (selector << 4);
1114eaa728eeSbellard     env->eflags &= ~(IF_MASK | TF_MASK | AC_MASK | RF_MASK);
1115eaa728eeSbellard }
1116eaa728eeSbellard 
1117eaa728eeSbellard /*
1118eaa728eeSbellard  * Begin execution of an interruption. is_int is TRUE if coming from
1119a78d0eabSliguang  * the int instruction. next_eip is the env->eip value AFTER the interrupt
1120eaa728eeSbellard  * instruction. It is only relevant if is_int is TRUE.
1121eaa728eeSbellard  */
112230493a03SClaudio Fontana void do_interrupt_all(X86CPU *cpu, int intno, int is_int,
11232999a0b2SBlue Swirl                       int error_code, target_ulong next_eip, int is_hw)
1124eaa728eeSbellard {
1125ca4c810aSAndreas Färber     CPUX86State *env = &cpu->env;
1126ca4c810aSAndreas Färber 
11278fec2b8cSaliguori     if (qemu_loglevel_mask(CPU_LOG_INT)) {
1128eaa728eeSbellard         if ((env->cr[0] & CR0_PE_MASK)) {
1129eaa728eeSbellard             static int count;
113020054ef0SBlue Swirl 
113120054ef0SBlue Swirl             qemu_log("%6d: v=%02x e=%04x i=%d cpl=%d IP=%04x:" TARGET_FMT_lx
113220054ef0SBlue Swirl                      " pc=" TARGET_FMT_lx " SP=%04x:" TARGET_FMT_lx,
1133eaa728eeSbellard                      count, intno, error_code, is_int,
1134eaa728eeSbellard                      env->hflags & HF_CPL_MASK,
1135a78d0eabSliguang                      env->segs[R_CS].selector, env->eip,
1136a78d0eabSliguang                      (int)env->segs[R_CS].base + env->eip,
113708b3ded6Sliguang                      env->segs[R_SS].selector, env->regs[R_ESP]);
1138eaa728eeSbellard             if (intno == 0x0e) {
113993fcfe39Saliguori                 qemu_log(" CR2=" TARGET_FMT_lx, env->cr[2]);
1140eaa728eeSbellard             } else {
11414b34e3adSliguang                 qemu_log(" env->regs[R_EAX]=" TARGET_FMT_lx, env->regs[R_EAX]);
1142eaa728eeSbellard             }
114393fcfe39Saliguori             qemu_log("\n");
1144a0762859SAndreas Färber             log_cpu_state(CPU(cpu), CPU_DUMP_CCOP);
1145eaa728eeSbellard #if 0
1146eaa728eeSbellard             {
1147eaa728eeSbellard                 int i;
11489bd5494eSAdam Lackorzynski                 target_ulong ptr;
114920054ef0SBlue Swirl 
115093fcfe39Saliguori                 qemu_log("       code=");
1151eaa728eeSbellard                 ptr = env->segs[R_CS].base + env->eip;
1152eaa728eeSbellard                 for (i = 0; i < 16; i++) {
115393fcfe39Saliguori                     qemu_log(" %02x", ldub(ptr + i));
1154eaa728eeSbellard                 }
115593fcfe39Saliguori                 qemu_log("\n");
1156eaa728eeSbellard             }
1157eaa728eeSbellard #endif
1158eaa728eeSbellard             count++;
1159eaa728eeSbellard         }
1160eaa728eeSbellard     }
1161eaa728eeSbellard     if (env->cr[0] & CR0_PE_MASK) {
116200ea18d1Saliguori #if !defined(CONFIG_USER_ONLY)
1163f8dc4c64SPaolo Bonzini         if (env->hflags & HF_GUEST_MASK) {
11642999a0b2SBlue Swirl             handle_even_inj(env, intno, is_int, error_code, is_hw, 0);
116520054ef0SBlue Swirl         }
116600ea18d1Saliguori #endif
1167eb38c52cSblueswir1 #ifdef TARGET_X86_64
1168eaa728eeSbellard         if (env->hflags & HF_LMA_MASK) {
11692999a0b2SBlue Swirl             do_interrupt64(env, intno, is_int, error_code, next_eip, is_hw);
1170eaa728eeSbellard         } else
1171eaa728eeSbellard #endif
1172eaa728eeSbellard         {
11732999a0b2SBlue Swirl             do_interrupt_protected(env, intno, is_int, error_code, next_eip,
11742999a0b2SBlue Swirl                                    is_hw);
1175eaa728eeSbellard         }
1176eaa728eeSbellard     } else {
117700ea18d1Saliguori #if !defined(CONFIG_USER_ONLY)
1178f8dc4c64SPaolo Bonzini         if (env->hflags & HF_GUEST_MASK) {
11792999a0b2SBlue Swirl             handle_even_inj(env, intno, is_int, error_code, is_hw, 1);
118020054ef0SBlue Swirl         }
118100ea18d1Saliguori #endif
11822999a0b2SBlue Swirl         do_interrupt_real(env, intno, is_int, error_code, next_eip);
1183eaa728eeSbellard     }
11842ed51f5bSaliguori 
118500ea18d1Saliguori #if !defined(CONFIG_USER_ONLY)
1186f8dc4c64SPaolo Bonzini     if (env->hflags & HF_GUEST_MASK) {
1187fdfba1a2SEdgar E. Iglesias         CPUState *cs = CPU(cpu);
1188b216aa6cSPaolo Bonzini         uint32_t event_inj = x86_ldl_phys(cs, env->vm_vmcb +
118920054ef0SBlue Swirl                                       offsetof(struct vmcb,
119020054ef0SBlue Swirl                                                control.event_inj));
119120054ef0SBlue Swirl 
1192b216aa6cSPaolo Bonzini         x86_stl_phys(cs,
1193ab1da857SEdgar E. Iglesias                  env->vm_vmcb + offsetof(struct vmcb, control.event_inj),
119420054ef0SBlue Swirl                  event_inj & ~SVM_EVTINJ_VALID);
11952ed51f5bSaliguori     }
119600ea18d1Saliguori #endif
1197eaa728eeSbellard }
1198eaa728eeSbellard 
11992999a0b2SBlue Swirl void do_interrupt_x86_hardirq(CPUX86State *env, int intno, int is_hw)
1200e694d4e2SBlue Swirl {
12016aa9e42fSRichard Henderson     do_interrupt_all(env_archcpu(env), intno, 0, 0, 0, is_hw);
1202e694d4e2SBlue Swirl }
1203e694d4e2SBlue Swirl 
12042999a0b2SBlue Swirl void helper_lldt(CPUX86State *env, int selector)
1205eaa728eeSbellard {
1206eaa728eeSbellard     SegmentCache *dt;
1207eaa728eeSbellard     uint32_t e1, e2;
1208eaa728eeSbellard     int index, entry_limit;
1209eaa728eeSbellard     target_ulong ptr;
1210eaa728eeSbellard 
1211eaa728eeSbellard     selector &= 0xffff;
1212eaa728eeSbellard     if ((selector & 0xfffc) == 0) {
1213eaa728eeSbellard         /* XXX: NULL selector case: invalid LDT */
1214eaa728eeSbellard         env->ldt.base = 0;
1215eaa728eeSbellard         env->ldt.limit = 0;
1216eaa728eeSbellard     } else {
121720054ef0SBlue Swirl         if (selector & 0x4) {
1218100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC());
121920054ef0SBlue Swirl         }
1220eaa728eeSbellard         dt = &env->gdt;
1221eaa728eeSbellard         index = selector & ~7;
1222eaa728eeSbellard #ifdef TARGET_X86_64
122320054ef0SBlue Swirl         if (env->hflags & HF_LMA_MASK) {
1224eaa728eeSbellard             entry_limit = 15;
122520054ef0SBlue Swirl         } else
1226eaa728eeSbellard #endif
122720054ef0SBlue Swirl         {
1228eaa728eeSbellard             entry_limit = 7;
122920054ef0SBlue Swirl         }
123020054ef0SBlue Swirl         if ((index + entry_limit) > dt->limit) {
1231100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC());
123220054ef0SBlue Swirl         }
1233eaa728eeSbellard         ptr = dt->base + index;
1234100ec099SPavel Dovgalyuk         e1 = cpu_ldl_kernel_ra(env, ptr, GETPC());
1235100ec099SPavel Dovgalyuk         e2 = cpu_ldl_kernel_ra(env, ptr + 4, GETPC());
123620054ef0SBlue Swirl         if ((e2 & DESC_S_MASK) || ((e2 >> DESC_TYPE_SHIFT) & 0xf) != 2) {
1237100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC());
123820054ef0SBlue Swirl         }
123920054ef0SBlue Swirl         if (!(e2 & DESC_P_MASK)) {
1240100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0B_NOSEG, selector & 0xfffc, GETPC());
124120054ef0SBlue Swirl         }
1242eaa728eeSbellard #ifdef TARGET_X86_64
1243eaa728eeSbellard         if (env->hflags & HF_LMA_MASK) {
1244eaa728eeSbellard             uint32_t e3;
124520054ef0SBlue Swirl 
1246100ec099SPavel Dovgalyuk             e3 = cpu_ldl_kernel_ra(env, ptr + 8, GETPC());
1247eaa728eeSbellard             load_seg_cache_raw_dt(&env->ldt, e1, e2);
1248eaa728eeSbellard             env->ldt.base |= (target_ulong)e3 << 32;
1249eaa728eeSbellard         } else
1250eaa728eeSbellard #endif
1251eaa728eeSbellard         {
1252eaa728eeSbellard             load_seg_cache_raw_dt(&env->ldt, e1, e2);
1253eaa728eeSbellard         }
1254eaa728eeSbellard     }
1255eaa728eeSbellard     env->ldt.selector = selector;
1256eaa728eeSbellard }
1257eaa728eeSbellard 
12582999a0b2SBlue Swirl void helper_ltr(CPUX86State *env, int selector)
1259eaa728eeSbellard {
1260eaa728eeSbellard     SegmentCache *dt;
1261eaa728eeSbellard     uint32_t e1, e2;
1262eaa728eeSbellard     int index, type, entry_limit;
1263eaa728eeSbellard     target_ulong ptr;
1264eaa728eeSbellard 
1265eaa728eeSbellard     selector &= 0xffff;
1266eaa728eeSbellard     if ((selector & 0xfffc) == 0) {
1267eaa728eeSbellard         /* NULL selector case: invalid TR */
1268eaa728eeSbellard         env->tr.base = 0;
1269eaa728eeSbellard         env->tr.limit = 0;
1270eaa728eeSbellard         env->tr.flags = 0;
1271eaa728eeSbellard     } else {
127220054ef0SBlue Swirl         if (selector & 0x4) {
1273100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC());
127420054ef0SBlue Swirl         }
1275eaa728eeSbellard         dt = &env->gdt;
1276eaa728eeSbellard         index = selector & ~7;
1277eaa728eeSbellard #ifdef TARGET_X86_64
127820054ef0SBlue Swirl         if (env->hflags & HF_LMA_MASK) {
1279eaa728eeSbellard             entry_limit = 15;
128020054ef0SBlue Swirl         } else
1281eaa728eeSbellard #endif
128220054ef0SBlue Swirl         {
1283eaa728eeSbellard             entry_limit = 7;
128420054ef0SBlue Swirl         }
128520054ef0SBlue Swirl         if ((index + entry_limit) > dt->limit) {
1286100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC());
128720054ef0SBlue Swirl         }
1288eaa728eeSbellard         ptr = dt->base + index;
1289100ec099SPavel Dovgalyuk         e1 = cpu_ldl_kernel_ra(env, ptr, GETPC());
1290100ec099SPavel Dovgalyuk         e2 = cpu_ldl_kernel_ra(env, ptr + 4, GETPC());
1291eaa728eeSbellard         type = (e2 >> DESC_TYPE_SHIFT) & 0xf;
1292eaa728eeSbellard         if ((e2 & DESC_S_MASK) ||
129320054ef0SBlue Swirl             (type != 1 && type != 9)) {
1294100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC());
129520054ef0SBlue Swirl         }
129620054ef0SBlue Swirl         if (!(e2 & DESC_P_MASK)) {
1297100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0B_NOSEG, selector & 0xfffc, GETPC());
129820054ef0SBlue Swirl         }
1299eaa728eeSbellard #ifdef TARGET_X86_64
1300eaa728eeSbellard         if (env->hflags & HF_LMA_MASK) {
1301eaa728eeSbellard             uint32_t e3, e4;
130220054ef0SBlue Swirl 
1303100ec099SPavel Dovgalyuk             e3 = cpu_ldl_kernel_ra(env, ptr + 8, GETPC());
1304100ec099SPavel Dovgalyuk             e4 = cpu_ldl_kernel_ra(env, ptr + 12, GETPC());
130520054ef0SBlue Swirl             if ((e4 >> DESC_TYPE_SHIFT) & 0xf) {
1306100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC());
130720054ef0SBlue Swirl             }
1308eaa728eeSbellard             load_seg_cache_raw_dt(&env->tr, e1, e2);
1309eaa728eeSbellard             env->tr.base |= (target_ulong)e3 << 32;
1310eaa728eeSbellard         } else
1311eaa728eeSbellard #endif
1312eaa728eeSbellard         {
1313eaa728eeSbellard             load_seg_cache_raw_dt(&env->tr, e1, e2);
1314eaa728eeSbellard         }
1315eaa728eeSbellard         e2 |= DESC_TSS_BUSY_MASK;
1316100ec099SPavel Dovgalyuk         cpu_stl_kernel_ra(env, ptr + 4, e2, GETPC());
1317eaa728eeSbellard     }
1318eaa728eeSbellard     env->tr.selector = selector;
1319eaa728eeSbellard }
1320eaa728eeSbellard 
1321eaa728eeSbellard /* only works if protected mode and not VM86. seg_reg must be != R_CS */
13222999a0b2SBlue Swirl void helper_load_seg(CPUX86State *env, int seg_reg, int selector)
1323eaa728eeSbellard {
1324eaa728eeSbellard     uint32_t e1, e2;
1325eaa728eeSbellard     int cpl, dpl, rpl;
1326eaa728eeSbellard     SegmentCache *dt;
1327eaa728eeSbellard     int index;
1328eaa728eeSbellard     target_ulong ptr;
1329eaa728eeSbellard 
1330eaa728eeSbellard     selector &= 0xffff;
1331eaa728eeSbellard     cpl = env->hflags & HF_CPL_MASK;
1332eaa728eeSbellard     if ((selector & 0xfffc) == 0) {
1333eaa728eeSbellard         /* null selector case */
1334eaa728eeSbellard         if (seg_reg == R_SS
1335eaa728eeSbellard #ifdef TARGET_X86_64
1336eaa728eeSbellard             && (!(env->hflags & HF_CS64_MASK) || cpl == 3)
1337eaa728eeSbellard #endif
133820054ef0SBlue Swirl             ) {
1339100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0D_GPF, 0, GETPC());
134020054ef0SBlue Swirl         }
1341eaa728eeSbellard         cpu_x86_load_seg_cache(env, seg_reg, selector, 0, 0, 0);
1342eaa728eeSbellard     } else {
1343eaa728eeSbellard 
134420054ef0SBlue Swirl         if (selector & 0x4) {
1345eaa728eeSbellard             dt = &env->ldt;
134620054ef0SBlue Swirl         } else {
1347eaa728eeSbellard             dt = &env->gdt;
134820054ef0SBlue Swirl         }
1349eaa728eeSbellard         index = selector & ~7;
135020054ef0SBlue Swirl         if ((index + 7) > dt->limit) {
1351100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC());
135220054ef0SBlue Swirl         }
1353eaa728eeSbellard         ptr = dt->base + index;
1354100ec099SPavel Dovgalyuk         e1 = cpu_ldl_kernel_ra(env, ptr, GETPC());
1355100ec099SPavel Dovgalyuk         e2 = cpu_ldl_kernel_ra(env, ptr + 4, GETPC());
1356eaa728eeSbellard 
135720054ef0SBlue Swirl         if (!(e2 & DESC_S_MASK)) {
1358100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC());
135920054ef0SBlue Swirl         }
1360eaa728eeSbellard         rpl = selector & 3;
1361eaa728eeSbellard         dpl = (e2 >> DESC_DPL_SHIFT) & 3;
1362eaa728eeSbellard         if (seg_reg == R_SS) {
1363eaa728eeSbellard             /* must be writable segment */
136420054ef0SBlue Swirl             if ((e2 & DESC_CS_MASK) || !(e2 & DESC_W_MASK)) {
1365100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC());
136620054ef0SBlue Swirl             }
136720054ef0SBlue Swirl             if (rpl != cpl || dpl != cpl) {
1368100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC());
136920054ef0SBlue Swirl             }
1370eaa728eeSbellard         } else {
1371eaa728eeSbellard             /* must be readable segment */
137220054ef0SBlue Swirl             if ((e2 & (DESC_CS_MASK | DESC_R_MASK)) == DESC_CS_MASK) {
1373100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC());
137420054ef0SBlue Swirl             }
1375eaa728eeSbellard 
1376eaa728eeSbellard             if (!(e2 & DESC_CS_MASK) || !(e2 & DESC_C_MASK)) {
1377eaa728eeSbellard                 /* if not conforming code, test rights */
137820054ef0SBlue Swirl                 if (dpl < cpl || dpl < rpl) {
1379100ec099SPavel Dovgalyuk                     raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC());
1380eaa728eeSbellard                 }
1381eaa728eeSbellard             }
138220054ef0SBlue Swirl         }
1383eaa728eeSbellard 
1384eaa728eeSbellard         if (!(e2 & DESC_P_MASK)) {
138520054ef0SBlue Swirl             if (seg_reg == R_SS) {
1386100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0C_STACK, selector & 0xfffc, GETPC());
138720054ef0SBlue Swirl             } else {
1388100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0B_NOSEG, selector & 0xfffc, GETPC());
1389eaa728eeSbellard             }
139020054ef0SBlue Swirl         }
1391eaa728eeSbellard 
1392eaa728eeSbellard         /* set the access bit if not already set */
1393eaa728eeSbellard         if (!(e2 & DESC_A_MASK)) {
1394eaa728eeSbellard             e2 |= DESC_A_MASK;
1395100ec099SPavel Dovgalyuk             cpu_stl_kernel_ra(env, ptr + 4, e2, GETPC());
1396eaa728eeSbellard         }
1397eaa728eeSbellard 
1398eaa728eeSbellard         cpu_x86_load_seg_cache(env, seg_reg, selector,
1399eaa728eeSbellard                        get_seg_base(e1, e2),
1400eaa728eeSbellard                        get_seg_limit(e1, e2),
1401eaa728eeSbellard                        e2);
1402eaa728eeSbellard #if 0
140393fcfe39Saliguori         qemu_log("load_seg: sel=0x%04x base=0x%08lx limit=0x%08lx flags=%08x\n",
1404eaa728eeSbellard                 selector, (unsigned long)sc->base, sc->limit, sc->flags);
1405eaa728eeSbellard #endif
1406eaa728eeSbellard     }
1407eaa728eeSbellard }
1408eaa728eeSbellard 
1409eaa728eeSbellard /* protected mode jump */
14102999a0b2SBlue Swirl void helper_ljmp_protected(CPUX86State *env, int new_cs, target_ulong new_eip,
1411100ec099SPavel Dovgalyuk                            target_ulong next_eip)
1412eaa728eeSbellard {
1413eaa728eeSbellard     int gate_cs, type;
1414eaa728eeSbellard     uint32_t e1, e2, cpl, dpl, rpl, limit;
1415eaa728eeSbellard 
141620054ef0SBlue Swirl     if ((new_cs & 0xfffc) == 0) {
1417100ec099SPavel Dovgalyuk         raise_exception_err_ra(env, EXCP0D_GPF, 0, GETPC());
141820054ef0SBlue Swirl     }
1419100ec099SPavel Dovgalyuk     if (load_segment_ra(env, &e1, &e2, new_cs, GETPC()) != 0) {
1420100ec099SPavel Dovgalyuk         raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
142120054ef0SBlue Swirl     }
1422eaa728eeSbellard     cpl = env->hflags & HF_CPL_MASK;
1423eaa728eeSbellard     if (e2 & DESC_S_MASK) {
142420054ef0SBlue Swirl         if (!(e2 & DESC_CS_MASK)) {
1425100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
142620054ef0SBlue Swirl         }
1427eaa728eeSbellard         dpl = (e2 >> DESC_DPL_SHIFT) & 3;
1428eaa728eeSbellard         if (e2 & DESC_C_MASK) {
1429eaa728eeSbellard             /* conforming code segment */
143020054ef0SBlue Swirl             if (dpl > cpl) {
1431100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
143220054ef0SBlue Swirl             }
1433eaa728eeSbellard         } else {
1434eaa728eeSbellard             /* non conforming code segment */
1435eaa728eeSbellard             rpl = new_cs & 3;
143620054ef0SBlue Swirl             if (rpl > cpl) {
1437100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
1438eaa728eeSbellard             }
143920054ef0SBlue Swirl             if (dpl != cpl) {
1440100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
144120054ef0SBlue Swirl             }
144220054ef0SBlue Swirl         }
144320054ef0SBlue Swirl         if (!(e2 & DESC_P_MASK)) {
1444100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0B_NOSEG, new_cs & 0xfffc, GETPC());
144520054ef0SBlue Swirl         }
1446eaa728eeSbellard         limit = get_seg_limit(e1, e2);
1447eaa728eeSbellard         if (new_eip > limit &&
1448db7196dbSAndrew Oates             (!(env->hflags & HF_LMA_MASK) || !(e2 & DESC_L_MASK))) {
1449db7196dbSAndrew Oates             raise_exception_err_ra(env, EXCP0D_GPF, 0, GETPC());
145020054ef0SBlue Swirl         }
1451eaa728eeSbellard         cpu_x86_load_seg_cache(env, R_CS, (new_cs & 0xfffc) | cpl,
1452eaa728eeSbellard                        get_seg_base(e1, e2), limit, e2);
1453a78d0eabSliguang         env->eip = new_eip;
1454eaa728eeSbellard     } else {
1455eaa728eeSbellard         /* jump to call or task gate */
1456eaa728eeSbellard         dpl = (e2 >> DESC_DPL_SHIFT) & 3;
1457eaa728eeSbellard         rpl = new_cs & 3;
1458eaa728eeSbellard         cpl = env->hflags & HF_CPL_MASK;
1459eaa728eeSbellard         type = (e2 >> DESC_TYPE_SHIFT) & 0xf;
14600aca0605SAndrew Oates 
14610aca0605SAndrew Oates #ifdef TARGET_X86_64
14620aca0605SAndrew Oates         if (env->efer & MSR_EFER_LMA) {
14630aca0605SAndrew Oates             if (type != 12) {
14640aca0605SAndrew Oates                 raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
14650aca0605SAndrew Oates             }
14660aca0605SAndrew Oates         }
14670aca0605SAndrew Oates #endif
1468eaa728eeSbellard         switch (type) {
1469eaa728eeSbellard         case 1: /* 286 TSS */
1470eaa728eeSbellard         case 9: /* 386 TSS */
1471eaa728eeSbellard         case 5: /* task gate */
147220054ef0SBlue Swirl             if (dpl < cpl || dpl < rpl) {
1473100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
147420054ef0SBlue Swirl             }
1475100ec099SPavel Dovgalyuk             switch_tss_ra(env, new_cs, e1, e2, SWITCH_TSS_JMP, next_eip, GETPC());
1476eaa728eeSbellard             break;
1477eaa728eeSbellard         case 4: /* 286 call gate */
1478eaa728eeSbellard         case 12: /* 386 call gate */
147920054ef0SBlue Swirl             if ((dpl < cpl) || (dpl < rpl)) {
1480100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
148120054ef0SBlue Swirl             }
148220054ef0SBlue Swirl             if (!(e2 & DESC_P_MASK)) {
1483100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0B_NOSEG, new_cs & 0xfffc, GETPC());
148420054ef0SBlue Swirl             }
1485eaa728eeSbellard             gate_cs = e1 >> 16;
1486eaa728eeSbellard             new_eip = (e1 & 0xffff);
148720054ef0SBlue Swirl             if (type == 12) {
1488eaa728eeSbellard                 new_eip |= (e2 & 0xffff0000);
148920054ef0SBlue Swirl             }
14900aca0605SAndrew Oates 
14910aca0605SAndrew Oates #ifdef TARGET_X86_64
14920aca0605SAndrew Oates             if (env->efer & MSR_EFER_LMA) {
14930aca0605SAndrew Oates                 /* load the upper 8 bytes of the 64-bit call gate */
14940aca0605SAndrew Oates                 if (load_segment_ra(env, &e1, &e2, new_cs + 8, GETPC())) {
14950aca0605SAndrew Oates                     raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc,
14960aca0605SAndrew Oates                                            GETPC());
14970aca0605SAndrew Oates                 }
14980aca0605SAndrew Oates                 type = (e2 >> DESC_TYPE_SHIFT) & 0x1f;
14990aca0605SAndrew Oates                 if (type != 0) {
15000aca0605SAndrew Oates                     raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc,
15010aca0605SAndrew Oates                                            GETPC());
15020aca0605SAndrew Oates                 }
15030aca0605SAndrew Oates                 new_eip |= ((target_ulong)e1) << 32;
15040aca0605SAndrew Oates             }
15050aca0605SAndrew Oates #endif
15060aca0605SAndrew Oates 
1507100ec099SPavel Dovgalyuk             if (load_segment_ra(env, &e1, &e2, gate_cs, GETPC()) != 0) {
1508100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0D_GPF, gate_cs & 0xfffc, GETPC());
150920054ef0SBlue Swirl             }
1510eaa728eeSbellard             dpl = (e2 >> DESC_DPL_SHIFT) & 3;
1511eaa728eeSbellard             /* must be code segment */
1512eaa728eeSbellard             if (((e2 & (DESC_S_MASK | DESC_CS_MASK)) !=
151320054ef0SBlue Swirl                  (DESC_S_MASK | DESC_CS_MASK))) {
1514100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0D_GPF, gate_cs & 0xfffc, GETPC());
151520054ef0SBlue Swirl             }
1516eaa728eeSbellard             if (((e2 & DESC_C_MASK) && (dpl > cpl)) ||
151720054ef0SBlue Swirl                 (!(e2 & DESC_C_MASK) && (dpl != cpl))) {
1518100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0D_GPF, gate_cs & 0xfffc, GETPC());
151920054ef0SBlue Swirl             }
15200aca0605SAndrew Oates #ifdef TARGET_X86_64
15210aca0605SAndrew Oates             if (env->efer & MSR_EFER_LMA) {
15220aca0605SAndrew Oates                 if (!(e2 & DESC_L_MASK)) {
15230aca0605SAndrew Oates                     raise_exception_err_ra(env, EXCP0D_GPF, gate_cs & 0xfffc, GETPC());
15240aca0605SAndrew Oates                 }
15250aca0605SAndrew Oates                 if (e2 & DESC_B_MASK) {
15260aca0605SAndrew Oates                     raise_exception_err_ra(env, EXCP0D_GPF, gate_cs & 0xfffc, GETPC());
15270aca0605SAndrew Oates                 }
15280aca0605SAndrew Oates             }
15290aca0605SAndrew Oates #endif
153020054ef0SBlue Swirl             if (!(e2 & DESC_P_MASK)) {
1531100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0D_GPF, gate_cs & 0xfffc, GETPC());
153220054ef0SBlue Swirl             }
1533eaa728eeSbellard             limit = get_seg_limit(e1, e2);
15340aca0605SAndrew Oates             if (new_eip > limit &&
15350aca0605SAndrew Oates                 (!(env->hflags & HF_LMA_MASK) || !(e2 & DESC_L_MASK))) {
1536100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0D_GPF, 0, GETPC());
153720054ef0SBlue Swirl             }
1538eaa728eeSbellard             cpu_x86_load_seg_cache(env, R_CS, (gate_cs & 0xfffc) | cpl,
1539eaa728eeSbellard                                    get_seg_base(e1, e2), limit, e2);
1540a78d0eabSliguang             env->eip = new_eip;
1541eaa728eeSbellard             break;
1542eaa728eeSbellard         default:
1543100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
1544eaa728eeSbellard             break;
1545eaa728eeSbellard         }
1546eaa728eeSbellard     }
1547eaa728eeSbellard }
1548eaa728eeSbellard 
1549eaa728eeSbellard /* real mode call */
15508c03ab9fSRichard Henderson void helper_lcall_real(CPUX86State *env, uint32_t new_cs, uint32_t new_eip,
15518c03ab9fSRichard Henderson                        int shift, uint32_t next_eip)
1552eaa728eeSbellard {
1553eaa728eeSbellard     uint32_t esp, esp_mask;
1554eaa728eeSbellard     target_ulong ssp;
1555eaa728eeSbellard 
155608b3ded6Sliguang     esp = env->regs[R_ESP];
1557eaa728eeSbellard     esp_mask = get_sp_mask(env->segs[R_SS].flags);
1558eaa728eeSbellard     ssp = env->segs[R_SS].base;
1559eaa728eeSbellard     if (shift) {
1560100ec099SPavel Dovgalyuk         PUSHL_RA(ssp, esp, esp_mask, env->segs[R_CS].selector, GETPC());
1561100ec099SPavel Dovgalyuk         PUSHL_RA(ssp, esp, esp_mask, next_eip, GETPC());
1562eaa728eeSbellard     } else {
1563100ec099SPavel Dovgalyuk         PUSHW_RA(ssp, esp, esp_mask, env->segs[R_CS].selector, GETPC());
1564100ec099SPavel Dovgalyuk         PUSHW_RA(ssp, esp, esp_mask, next_eip, GETPC());
1565eaa728eeSbellard     }
1566eaa728eeSbellard 
1567eaa728eeSbellard     SET_ESP(esp, esp_mask);
1568eaa728eeSbellard     env->eip = new_eip;
1569eaa728eeSbellard     env->segs[R_CS].selector = new_cs;
1570eaa728eeSbellard     env->segs[R_CS].base = (new_cs << 4);
1571eaa728eeSbellard }
1572eaa728eeSbellard 
1573eaa728eeSbellard /* protected mode call */
15742999a0b2SBlue Swirl void helper_lcall_protected(CPUX86State *env, int new_cs, target_ulong new_eip,
1575100ec099SPavel Dovgalyuk                             int shift, target_ulong next_eip)
1576eaa728eeSbellard {
1577eaa728eeSbellard     int new_stack, i;
15780aca0605SAndrew Oates     uint32_t e1, e2, cpl, dpl, rpl, selector, param_count;
15790aca0605SAndrew Oates     uint32_t ss = 0, ss_e1 = 0, ss_e2 = 0, type, ss_dpl, sp_mask;
1580eaa728eeSbellard     uint32_t val, limit, old_sp_mask;
15810aca0605SAndrew Oates     target_ulong ssp, old_ssp, offset, sp;
1582eaa728eeSbellard 
15830aca0605SAndrew Oates     LOG_PCALL("lcall %04x:" TARGET_FMT_lx " s=%d\n", new_cs, new_eip, shift);
15846aa9e42fSRichard Henderson     LOG_PCALL_STATE(env_cpu(env));
158520054ef0SBlue Swirl     if ((new_cs & 0xfffc) == 0) {
1586100ec099SPavel Dovgalyuk         raise_exception_err_ra(env, EXCP0D_GPF, 0, GETPC());
158720054ef0SBlue Swirl     }
1588100ec099SPavel Dovgalyuk     if (load_segment_ra(env, &e1, &e2, new_cs, GETPC()) != 0) {
1589100ec099SPavel Dovgalyuk         raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
159020054ef0SBlue Swirl     }
1591eaa728eeSbellard     cpl = env->hflags & HF_CPL_MASK;
1592d12d51d5Saliguori     LOG_PCALL("desc=%08x:%08x\n", e1, e2);
1593eaa728eeSbellard     if (e2 & DESC_S_MASK) {
159420054ef0SBlue Swirl         if (!(e2 & DESC_CS_MASK)) {
1595100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
159620054ef0SBlue Swirl         }
1597eaa728eeSbellard         dpl = (e2 >> DESC_DPL_SHIFT) & 3;
1598eaa728eeSbellard         if (e2 & DESC_C_MASK) {
1599eaa728eeSbellard             /* conforming code segment */
160020054ef0SBlue Swirl             if (dpl > cpl) {
1601100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
160220054ef0SBlue Swirl             }
1603eaa728eeSbellard         } else {
1604eaa728eeSbellard             /* non conforming code segment */
1605eaa728eeSbellard             rpl = new_cs & 3;
160620054ef0SBlue Swirl             if (rpl > cpl) {
1607100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
1608eaa728eeSbellard             }
160920054ef0SBlue Swirl             if (dpl != cpl) {
1610100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
161120054ef0SBlue Swirl             }
161220054ef0SBlue Swirl         }
161320054ef0SBlue Swirl         if (!(e2 & DESC_P_MASK)) {
1614100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0B_NOSEG, new_cs & 0xfffc, GETPC());
161520054ef0SBlue Swirl         }
1616eaa728eeSbellard 
1617eaa728eeSbellard #ifdef TARGET_X86_64
1618eaa728eeSbellard         /* XXX: check 16/32 bit cases in long mode */
1619eaa728eeSbellard         if (shift == 2) {
1620eaa728eeSbellard             target_ulong rsp;
162120054ef0SBlue Swirl 
1622eaa728eeSbellard             /* 64 bit case */
162308b3ded6Sliguang             rsp = env->regs[R_ESP];
1624100ec099SPavel Dovgalyuk             PUSHQ_RA(rsp, env->segs[R_CS].selector, GETPC());
1625100ec099SPavel Dovgalyuk             PUSHQ_RA(rsp, next_eip, GETPC());
1626eaa728eeSbellard             /* from this point, not restartable */
162708b3ded6Sliguang             env->regs[R_ESP] = rsp;
1628eaa728eeSbellard             cpu_x86_load_seg_cache(env, R_CS, (new_cs & 0xfffc) | cpl,
1629eaa728eeSbellard                                    get_seg_base(e1, e2),
1630eaa728eeSbellard                                    get_seg_limit(e1, e2), e2);
1631a78d0eabSliguang             env->eip = new_eip;
1632eaa728eeSbellard         } else
1633eaa728eeSbellard #endif
1634eaa728eeSbellard         {
163508b3ded6Sliguang             sp = env->regs[R_ESP];
1636eaa728eeSbellard             sp_mask = get_sp_mask(env->segs[R_SS].flags);
1637eaa728eeSbellard             ssp = env->segs[R_SS].base;
1638eaa728eeSbellard             if (shift) {
1639100ec099SPavel Dovgalyuk                 PUSHL_RA(ssp, sp, sp_mask, env->segs[R_CS].selector, GETPC());
1640100ec099SPavel Dovgalyuk                 PUSHL_RA(ssp, sp, sp_mask, next_eip, GETPC());
1641eaa728eeSbellard             } else {
1642100ec099SPavel Dovgalyuk                 PUSHW_RA(ssp, sp, sp_mask, env->segs[R_CS].selector, GETPC());
1643100ec099SPavel Dovgalyuk                 PUSHW_RA(ssp, sp, sp_mask, next_eip, GETPC());
1644eaa728eeSbellard             }
1645eaa728eeSbellard 
1646eaa728eeSbellard             limit = get_seg_limit(e1, e2);
164720054ef0SBlue Swirl             if (new_eip > limit) {
1648100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
164920054ef0SBlue Swirl             }
1650eaa728eeSbellard             /* from this point, not restartable */
1651eaa728eeSbellard             SET_ESP(sp, sp_mask);
1652eaa728eeSbellard             cpu_x86_load_seg_cache(env, R_CS, (new_cs & 0xfffc) | cpl,
1653eaa728eeSbellard                                    get_seg_base(e1, e2), limit, e2);
1654a78d0eabSliguang             env->eip = new_eip;
1655eaa728eeSbellard         }
1656eaa728eeSbellard     } else {
1657eaa728eeSbellard         /* check gate type */
1658eaa728eeSbellard         type = (e2 >> DESC_TYPE_SHIFT) & 0x1f;
1659eaa728eeSbellard         dpl = (e2 >> DESC_DPL_SHIFT) & 3;
1660eaa728eeSbellard         rpl = new_cs & 3;
16610aca0605SAndrew Oates 
16620aca0605SAndrew Oates #ifdef TARGET_X86_64
16630aca0605SAndrew Oates         if (env->efer & MSR_EFER_LMA) {
16640aca0605SAndrew Oates             if (type != 12) {
16650aca0605SAndrew Oates                 raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
16660aca0605SAndrew Oates             }
16670aca0605SAndrew Oates         }
16680aca0605SAndrew Oates #endif
16690aca0605SAndrew Oates 
1670eaa728eeSbellard         switch (type) {
1671eaa728eeSbellard         case 1: /* available 286 TSS */
1672eaa728eeSbellard         case 9: /* available 386 TSS */
1673eaa728eeSbellard         case 5: /* task gate */
167420054ef0SBlue Swirl             if (dpl < cpl || dpl < rpl) {
1675100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
167620054ef0SBlue Swirl             }
1677100ec099SPavel Dovgalyuk             switch_tss_ra(env, new_cs, e1, e2, SWITCH_TSS_CALL, next_eip, GETPC());
1678eaa728eeSbellard             return;
1679eaa728eeSbellard         case 4: /* 286 call gate */
1680eaa728eeSbellard         case 12: /* 386 call gate */
1681eaa728eeSbellard             break;
1682eaa728eeSbellard         default:
1683100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
1684eaa728eeSbellard             break;
1685eaa728eeSbellard         }
1686eaa728eeSbellard         shift = type >> 3;
1687eaa728eeSbellard 
168820054ef0SBlue Swirl         if (dpl < cpl || dpl < rpl) {
1689100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
169020054ef0SBlue Swirl         }
1691eaa728eeSbellard         /* check valid bit */
169220054ef0SBlue Swirl         if (!(e2 & DESC_P_MASK)) {
1693100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0B_NOSEG,  new_cs & 0xfffc, GETPC());
169420054ef0SBlue Swirl         }
1695eaa728eeSbellard         selector = e1 >> 16;
1696eaa728eeSbellard         param_count = e2 & 0x1f;
16970aca0605SAndrew Oates         offset = (e2 & 0xffff0000) | (e1 & 0x0000ffff);
16980aca0605SAndrew Oates #ifdef TARGET_X86_64
16990aca0605SAndrew Oates         if (env->efer & MSR_EFER_LMA) {
17000aca0605SAndrew Oates             /* load the upper 8 bytes of the 64-bit call gate */
17010aca0605SAndrew Oates             if (load_segment_ra(env, &e1, &e2, new_cs + 8, GETPC())) {
17020aca0605SAndrew Oates                 raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc,
17030aca0605SAndrew Oates                                        GETPC());
17040aca0605SAndrew Oates             }
17050aca0605SAndrew Oates             type = (e2 >> DESC_TYPE_SHIFT) & 0x1f;
17060aca0605SAndrew Oates             if (type != 0) {
17070aca0605SAndrew Oates                 raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc,
17080aca0605SAndrew Oates                                        GETPC());
17090aca0605SAndrew Oates             }
17100aca0605SAndrew Oates             offset |= ((target_ulong)e1) << 32;
17110aca0605SAndrew Oates         }
17120aca0605SAndrew Oates #endif
171320054ef0SBlue Swirl         if ((selector & 0xfffc) == 0) {
1714100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0D_GPF, 0, GETPC());
171520054ef0SBlue Swirl         }
1716eaa728eeSbellard 
1717100ec099SPavel Dovgalyuk         if (load_segment_ra(env, &e1, &e2, selector, GETPC()) != 0) {
1718100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC());
171920054ef0SBlue Swirl         }
172020054ef0SBlue Swirl         if (!(e2 & DESC_S_MASK) || !(e2 & (DESC_CS_MASK))) {
1721100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC());
172220054ef0SBlue Swirl         }
1723eaa728eeSbellard         dpl = (e2 >> DESC_DPL_SHIFT) & 3;
172420054ef0SBlue Swirl         if (dpl > cpl) {
1725100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC());
172620054ef0SBlue Swirl         }
17270aca0605SAndrew Oates #ifdef TARGET_X86_64
17280aca0605SAndrew Oates         if (env->efer & MSR_EFER_LMA) {
17290aca0605SAndrew Oates             if (!(e2 & DESC_L_MASK)) {
17300aca0605SAndrew Oates                 raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC());
17310aca0605SAndrew Oates             }
17320aca0605SAndrew Oates             if (e2 & DESC_B_MASK) {
17330aca0605SAndrew Oates                 raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC());
17340aca0605SAndrew Oates             }
17350aca0605SAndrew Oates             shift++;
17360aca0605SAndrew Oates         }
17370aca0605SAndrew Oates #endif
173820054ef0SBlue Swirl         if (!(e2 & DESC_P_MASK)) {
1739100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0B_NOSEG, selector & 0xfffc, GETPC());
174020054ef0SBlue Swirl         }
1741eaa728eeSbellard 
1742eaa728eeSbellard         if (!(e2 & DESC_C_MASK) && dpl < cpl) {
1743eaa728eeSbellard             /* to inner privilege */
17440aca0605SAndrew Oates #ifdef TARGET_X86_64
17450aca0605SAndrew Oates             if (shift == 2) {
17460aca0605SAndrew Oates                 sp = get_rsp_from_tss(env, dpl);
17470aca0605SAndrew Oates                 ss = dpl;  /* SS = NULL selector with RPL = new CPL */
17480aca0605SAndrew Oates                 new_stack = 1;
17490aca0605SAndrew Oates                 sp_mask = 0;
17500aca0605SAndrew Oates                 ssp = 0;  /* SS base is always zero in IA-32e mode */
17510aca0605SAndrew Oates                 LOG_PCALL("new ss:rsp=%04x:%016llx env->regs[R_ESP]="
17520aca0605SAndrew Oates                           TARGET_FMT_lx "\n", ss, sp, env->regs[R_ESP]);
17530aca0605SAndrew Oates             } else
17540aca0605SAndrew Oates #endif
17550aca0605SAndrew Oates             {
17560aca0605SAndrew Oates                 uint32_t sp32;
17570aca0605SAndrew Oates                 get_ss_esp_from_tss(env, &ss, &sp32, dpl, GETPC());
175890a2541bSliguang                 LOG_PCALL("new ss:esp=%04x:%08x param_count=%d env->regs[R_ESP]="
17590aca0605SAndrew Oates                           TARGET_FMT_lx "\n", ss, sp32, param_count,
176090a2541bSliguang                           env->regs[R_ESP]);
17610aca0605SAndrew Oates                 sp = sp32;
176220054ef0SBlue Swirl                 if ((ss & 0xfffc) == 0) {
1763100ec099SPavel Dovgalyuk                     raise_exception_err_ra(env, EXCP0A_TSS, ss & 0xfffc, GETPC());
176420054ef0SBlue Swirl                 }
176520054ef0SBlue Swirl                 if ((ss & 3) != dpl) {
1766100ec099SPavel Dovgalyuk                     raise_exception_err_ra(env, EXCP0A_TSS, ss & 0xfffc, GETPC());
176720054ef0SBlue Swirl                 }
1768100ec099SPavel Dovgalyuk                 if (load_segment_ra(env, &ss_e1, &ss_e2, ss, GETPC()) != 0) {
1769100ec099SPavel Dovgalyuk                     raise_exception_err_ra(env, EXCP0A_TSS, ss & 0xfffc, GETPC());
177020054ef0SBlue Swirl                 }
1771eaa728eeSbellard                 ss_dpl = (ss_e2 >> DESC_DPL_SHIFT) & 3;
177220054ef0SBlue Swirl                 if (ss_dpl != dpl) {
1773100ec099SPavel Dovgalyuk                     raise_exception_err_ra(env, EXCP0A_TSS, ss & 0xfffc, GETPC());
177420054ef0SBlue Swirl                 }
1775eaa728eeSbellard                 if (!(ss_e2 & DESC_S_MASK) ||
1776eaa728eeSbellard                     (ss_e2 & DESC_CS_MASK) ||
177720054ef0SBlue Swirl                     !(ss_e2 & DESC_W_MASK)) {
1778100ec099SPavel Dovgalyuk                     raise_exception_err_ra(env, EXCP0A_TSS, ss & 0xfffc, GETPC());
177920054ef0SBlue Swirl                 }
178020054ef0SBlue Swirl                 if (!(ss_e2 & DESC_P_MASK)) {
1781100ec099SPavel Dovgalyuk                     raise_exception_err_ra(env, EXCP0A_TSS, ss & 0xfffc, GETPC());
178220054ef0SBlue Swirl                 }
1783eaa728eeSbellard 
17840aca0605SAndrew Oates                 sp_mask = get_sp_mask(ss_e2);
17850aca0605SAndrew Oates                 ssp = get_seg_base(ss_e1, ss_e2);
17860aca0605SAndrew Oates             }
17870aca0605SAndrew Oates 
178820054ef0SBlue Swirl             /* push_size = ((param_count * 2) + 8) << shift; */
1789eaa728eeSbellard 
1790eaa728eeSbellard             old_sp_mask = get_sp_mask(env->segs[R_SS].flags);
1791eaa728eeSbellard             old_ssp = env->segs[R_SS].base;
17920aca0605SAndrew Oates #ifdef TARGET_X86_64
17930aca0605SAndrew Oates             if (shift == 2) {
17940aca0605SAndrew Oates                 /* XXX: verify if new stack address is canonical */
17950aca0605SAndrew Oates                 PUSHQ_RA(sp, env->segs[R_SS].selector, GETPC());
17960aca0605SAndrew Oates                 PUSHQ_RA(sp, env->regs[R_ESP], GETPC());
17970aca0605SAndrew Oates                 /* parameters aren't supported for 64-bit call gates */
17980aca0605SAndrew Oates             } else
17990aca0605SAndrew Oates #endif
18000aca0605SAndrew Oates             if (shift == 1) {
1801100ec099SPavel Dovgalyuk                 PUSHL_RA(ssp, sp, sp_mask, env->segs[R_SS].selector, GETPC());
1802100ec099SPavel Dovgalyuk                 PUSHL_RA(ssp, sp, sp_mask, env->regs[R_ESP], GETPC());
1803eaa728eeSbellard                 for (i = param_count - 1; i >= 0; i--) {
1804100ec099SPavel Dovgalyuk                     val = cpu_ldl_kernel_ra(env, old_ssp +
180590a2541bSliguang                                             ((env->regs[R_ESP] + i * 4) &
1806100ec099SPavel Dovgalyuk                                              old_sp_mask), GETPC());
1807100ec099SPavel Dovgalyuk                     PUSHL_RA(ssp, sp, sp_mask, val, GETPC());
1808eaa728eeSbellard                 }
1809eaa728eeSbellard             } else {
1810100ec099SPavel Dovgalyuk                 PUSHW_RA(ssp, sp, sp_mask, env->segs[R_SS].selector, GETPC());
1811100ec099SPavel Dovgalyuk                 PUSHW_RA(ssp, sp, sp_mask, env->regs[R_ESP], GETPC());
1812eaa728eeSbellard                 for (i = param_count - 1; i >= 0; i--) {
1813100ec099SPavel Dovgalyuk                     val = cpu_lduw_kernel_ra(env, old_ssp +
181490a2541bSliguang                                              ((env->regs[R_ESP] + i * 2) &
1815100ec099SPavel Dovgalyuk                                               old_sp_mask), GETPC());
1816100ec099SPavel Dovgalyuk                     PUSHW_RA(ssp, sp, sp_mask, val, GETPC());
1817eaa728eeSbellard                 }
1818eaa728eeSbellard             }
1819eaa728eeSbellard             new_stack = 1;
1820eaa728eeSbellard         } else {
1821eaa728eeSbellard             /* to same privilege */
182208b3ded6Sliguang             sp = env->regs[R_ESP];
1823eaa728eeSbellard             sp_mask = get_sp_mask(env->segs[R_SS].flags);
1824eaa728eeSbellard             ssp = env->segs[R_SS].base;
182520054ef0SBlue Swirl             /* push_size = (4 << shift); */
1826eaa728eeSbellard             new_stack = 0;
1827eaa728eeSbellard         }
1828eaa728eeSbellard 
18290aca0605SAndrew Oates #ifdef TARGET_X86_64
18300aca0605SAndrew Oates         if (shift == 2) {
18310aca0605SAndrew Oates             PUSHQ_RA(sp, env->segs[R_CS].selector, GETPC());
18320aca0605SAndrew Oates             PUSHQ_RA(sp, next_eip, GETPC());
18330aca0605SAndrew Oates         } else
18340aca0605SAndrew Oates #endif
18350aca0605SAndrew Oates         if (shift == 1) {
1836100ec099SPavel Dovgalyuk             PUSHL_RA(ssp, sp, sp_mask, env->segs[R_CS].selector, GETPC());
1837100ec099SPavel Dovgalyuk             PUSHL_RA(ssp, sp, sp_mask, next_eip, GETPC());
1838eaa728eeSbellard         } else {
1839100ec099SPavel Dovgalyuk             PUSHW_RA(ssp, sp, sp_mask, env->segs[R_CS].selector, GETPC());
1840100ec099SPavel Dovgalyuk             PUSHW_RA(ssp, sp, sp_mask, next_eip, GETPC());
1841eaa728eeSbellard         }
1842eaa728eeSbellard 
1843eaa728eeSbellard         /* from this point, not restartable */
1844eaa728eeSbellard 
1845eaa728eeSbellard         if (new_stack) {
18460aca0605SAndrew Oates #ifdef TARGET_X86_64
18470aca0605SAndrew Oates             if (shift == 2) {
18480aca0605SAndrew Oates                 cpu_x86_load_seg_cache(env, R_SS, ss, 0, 0, 0);
18490aca0605SAndrew Oates             } else
18500aca0605SAndrew Oates #endif
18510aca0605SAndrew Oates             {
1852eaa728eeSbellard                 ss = (ss & ~3) | dpl;
1853eaa728eeSbellard                 cpu_x86_load_seg_cache(env, R_SS, ss,
1854eaa728eeSbellard                                        ssp,
1855eaa728eeSbellard                                        get_seg_limit(ss_e1, ss_e2),
1856eaa728eeSbellard                                        ss_e2);
1857eaa728eeSbellard             }
18580aca0605SAndrew Oates         }
1859eaa728eeSbellard 
1860eaa728eeSbellard         selector = (selector & ~3) | dpl;
1861eaa728eeSbellard         cpu_x86_load_seg_cache(env, R_CS, selector,
1862eaa728eeSbellard                        get_seg_base(e1, e2),
1863eaa728eeSbellard                        get_seg_limit(e1, e2),
1864eaa728eeSbellard                        e2);
1865eaa728eeSbellard         SET_ESP(sp, sp_mask);
1866a78d0eabSliguang         env->eip = offset;
1867eaa728eeSbellard     }
1868eaa728eeSbellard }
1869eaa728eeSbellard 
1870eaa728eeSbellard /* real and vm86 mode iret */
18712999a0b2SBlue Swirl void helper_iret_real(CPUX86State *env, int shift)
1872eaa728eeSbellard {
1873eaa728eeSbellard     uint32_t sp, new_cs, new_eip, new_eflags, sp_mask;
1874eaa728eeSbellard     target_ulong ssp;
1875eaa728eeSbellard     int eflags_mask;
1876eaa728eeSbellard 
1877eaa728eeSbellard     sp_mask = 0xffff; /* XXXX: use SS segment size? */
187808b3ded6Sliguang     sp = env->regs[R_ESP];
1879eaa728eeSbellard     ssp = env->segs[R_SS].base;
1880eaa728eeSbellard     if (shift == 1) {
1881eaa728eeSbellard         /* 32 bits */
1882100ec099SPavel Dovgalyuk         POPL_RA(ssp, sp, sp_mask, new_eip, GETPC());
1883100ec099SPavel Dovgalyuk         POPL_RA(ssp, sp, sp_mask, new_cs, GETPC());
1884eaa728eeSbellard         new_cs &= 0xffff;
1885100ec099SPavel Dovgalyuk         POPL_RA(ssp, sp, sp_mask, new_eflags, GETPC());
1886eaa728eeSbellard     } else {
1887eaa728eeSbellard         /* 16 bits */
1888100ec099SPavel Dovgalyuk         POPW_RA(ssp, sp, sp_mask, new_eip, GETPC());
1889100ec099SPavel Dovgalyuk         POPW_RA(ssp, sp, sp_mask, new_cs, GETPC());
1890100ec099SPavel Dovgalyuk         POPW_RA(ssp, sp, sp_mask, new_eflags, GETPC());
1891eaa728eeSbellard     }
189208b3ded6Sliguang     env->regs[R_ESP] = (env->regs[R_ESP] & ~sp_mask) | (sp & sp_mask);
1893bdadc0b5Smalc     env->segs[R_CS].selector = new_cs;
1894bdadc0b5Smalc     env->segs[R_CS].base = (new_cs << 4);
1895eaa728eeSbellard     env->eip = new_eip;
189620054ef0SBlue Swirl     if (env->eflags & VM_MASK) {
189720054ef0SBlue Swirl         eflags_mask = TF_MASK | AC_MASK | ID_MASK | IF_MASK | RF_MASK |
189820054ef0SBlue Swirl             NT_MASK;
189920054ef0SBlue Swirl     } else {
190020054ef0SBlue Swirl         eflags_mask = TF_MASK | AC_MASK | ID_MASK | IF_MASK | IOPL_MASK |
190120054ef0SBlue Swirl             RF_MASK | NT_MASK;
190220054ef0SBlue Swirl     }
190320054ef0SBlue Swirl     if (shift == 0) {
1904eaa728eeSbellard         eflags_mask &= 0xffff;
190520054ef0SBlue Swirl     }
1906997ff0d9SBlue Swirl     cpu_load_eflags(env, new_eflags, eflags_mask);
1907db620f46Sbellard     env->hflags2 &= ~HF2_NMI_MASK;
1908eaa728eeSbellard }
1909eaa728eeSbellard 
1910c117e5b1SPhilippe Mathieu-Daudé static inline void validate_seg(CPUX86State *env, X86Seg seg_reg, int cpl)
1911eaa728eeSbellard {
1912eaa728eeSbellard     int dpl;
1913eaa728eeSbellard     uint32_t e2;
1914eaa728eeSbellard 
1915eaa728eeSbellard     /* XXX: on x86_64, we do not want to nullify FS and GS because
1916eaa728eeSbellard        they may still contain a valid base. I would be interested to
1917eaa728eeSbellard        know how a real x86_64 CPU behaves */
1918eaa728eeSbellard     if ((seg_reg == R_FS || seg_reg == R_GS) &&
191920054ef0SBlue Swirl         (env->segs[seg_reg].selector & 0xfffc) == 0) {
1920eaa728eeSbellard         return;
192120054ef0SBlue Swirl     }
1922eaa728eeSbellard 
1923eaa728eeSbellard     e2 = env->segs[seg_reg].flags;
1924eaa728eeSbellard     dpl = (e2 >> DESC_DPL_SHIFT) & 3;
1925eaa728eeSbellard     if (!(e2 & DESC_CS_MASK) || !(e2 & DESC_C_MASK)) {
1926eaa728eeSbellard         /* data or non conforming code segment */
1927eaa728eeSbellard         if (dpl < cpl) {
1928c2ba0515SBin Meng             cpu_x86_load_seg_cache(env, seg_reg, 0,
1929c2ba0515SBin Meng                                    env->segs[seg_reg].base,
1930c2ba0515SBin Meng                                    env->segs[seg_reg].limit,
1931c2ba0515SBin Meng                                    env->segs[seg_reg].flags & ~DESC_P_MASK);
1932eaa728eeSbellard         }
1933eaa728eeSbellard     }
1934eaa728eeSbellard }
1935eaa728eeSbellard 
1936eaa728eeSbellard /* protected mode iret */
19372999a0b2SBlue Swirl static inline void helper_ret_protected(CPUX86State *env, int shift,
1938100ec099SPavel Dovgalyuk                                         int is_iret, int addend,
1939100ec099SPavel Dovgalyuk                                         uintptr_t retaddr)
1940eaa728eeSbellard {
1941eaa728eeSbellard     uint32_t new_cs, new_eflags, new_ss;
1942eaa728eeSbellard     uint32_t new_es, new_ds, new_fs, new_gs;
1943eaa728eeSbellard     uint32_t e1, e2, ss_e1, ss_e2;
1944eaa728eeSbellard     int cpl, dpl, rpl, eflags_mask, iopl;
1945eaa728eeSbellard     target_ulong ssp, sp, new_eip, new_esp, sp_mask;
1946eaa728eeSbellard 
1947eaa728eeSbellard #ifdef TARGET_X86_64
194820054ef0SBlue Swirl     if (shift == 2) {
1949eaa728eeSbellard         sp_mask = -1;
195020054ef0SBlue Swirl     } else
1951eaa728eeSbellard #endif
195220054ef0SBlue Swirl     {
1953eaa728eeSbellard         sp_mask = get_sp_mask(env->segs[R_SS].flags);
195420054ef0SBlue Swirl     }
195508b3ded6Sliguang     sp = env->regs[R_ESP];
1956eaa728eeSbellard     ssp = env->segs[R_SS].base;
1957eaa728eeSbellard     new_eflags = 0; /* avoid warning */
1958eaa728eeSbellard #ifdef TARGET_X86_64
1959eaa728eeSbellard     if (shift == 2) {
1960100ec099SPavel Dovgalyuk         POPQ_RA(sp, new_eip, retaddr);
1961100ec099SPavel Dovgalyuk         POPQ_RA(sp, new_cs, retaddr);
1962eaa728eeSbellard         new_cs &= 0xffff;
1963eaa728eeSbellard         if (is_iret) {
1964100ec099SPavel Dovgalyuk             POPQ_RA(sp, new_eflags, retaddr);
1965eaa728eeSbellard         }
1966eaa728eeSbellard     } else
1967eaa728eeSbellard #endif
196820054ef0SBlue Swirl     {
1969eaa728eeSbellard         if (shift == 1) {
1970eaa728eeSbellard             /* 32 bits */
1971100ec099SPavel Dovgalyuk             POPL_RA(ssp, sp, sp_mask, new_eip, retaddr);
1972100ec099SPavel Dovgalyuk             POPL_RA(ssp, sp, sp_mask, new_cs, retaddr);
1973eaa728eeSbellard             new_cs &= 0xffff;
1974eaa728eeSbellard             if (is_iret) {
1975100ec099SPavel Dovgalyuk                 POPL_RA(ssp, sp, sp_mask, new_eflags, retaddr);
197620054ef0SBlue Swirl                 if (new_eflags & VM_MASK) {
1977eaa728eeSbellard                     goto return_to_vm86;
1978eaa728eeSbellard                 }
197920054ef0SBlue Swirl             }
1980eaa728eeSbellard         } else {
1981eaa728eeSbellard             /* 16 bits */
1982100ec099SPavel Dovgalyuk             POPW_RA(ssp, sp, sp_mask, new_eip, retaddr);
1983100ec099SPavel Dovgalyuk             POPW_RA(ssp, sp, sp_mask, new_cs, retaddr);
198420054ef0SBlue Swirl             if (is_iret) {
1985100ec099SPavel Dovgalyuk                 POPW_RA(ssp, sp, sp_mask, new_eflags, retaddr);
1986eaa728eeSbellard             }
198720054ef0SBlue Swirl         }
198820054ef0SBlue Swirl     }
1989d12d51d5Saliguori     LOG_PCALL("lret new %04x:" TARGET_FMT_lx " s=%d addend=0x%x\n",
1990eaa728eeSbellard               new_cs, new_eip, shift, addend);
19916aa9e42fSRichard Henderson     LOG_PCALL_STATE(env_cpu(env));
199220054ef0SBlue Swirl     if ((new_cs & 0xfffc) == 0) {
1993100ec099SPavel Dovgalyuk         raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, retaddr);
1994eaa728eeSbellard     }
1995100ec099SPavel Dovgalyuk     if (load_segment_ra(env, &e1, &e2, new_cs, retaddr) != 0) {
1996100ec099SPavel Dovgalyuk         raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, retaddr);
199720054ef0SBlue Swirl     }
199820054ef0SBlue Swirl     if (!(e2 & DESC_S_MASK) ||
199920054ef0SBlue Swirl         !(e2 & DESC_CS_MASK)) {
2000100ec099SPavel Dovgalyuk         raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, retaddr);
200120054ef0SBlue Swirl     }
200220054ef0SBlue Swirl     cpl = env->hflags & HF_CPL_MASK;
200320054ef0SBlue Swirl     rpl = new_cs & 3;
200420054ef0SBlue Swirl     if (rpl < cpl) {
2005100ec099SPavel Dovgalyuk         raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, retaddr);
200620054ef0SBlue Swirl     }
200720054ef0SBlue Swirl     dpl = (e2 >> DESC_DPL_SHIFT) & 3;
200820054ef0SBlue Swirl     if (e2 & DESC_C_MASK) {
200920054ef0SBlue Swirl         if (dpl > rpl) {
2010100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, retaddr);
201120054ef0SBlue Swirl         }
201220054ef0SBlue Swirl     } else {
201320054ef0SBlue Swirl         if (dpl != rpl) {
2014100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, retaddr);
201520054ef0SBlue Swirl         }
201620054ef0SBlue Swirl     }
201720054ef0SBlue Swirl     if (!(e2 & DESC_P_MASK)) {
2018100ec099SPavel Dovgalyuk         raise_exception_err_ra(env, EXCP0B_NOSEG, new_cs & 0xfffc, retaddr);
201920054ef0SBlue Swirl     }
2020eaa728eeSbellard 
2021eaa728eeSbellard     sp += addend;
2022eaa728eeSbellard     if (rpl == cpl && (!(env->hflags & HF_CS64_MASK) ||
2023eaa728eeSbellard                        ((env->hflags & HF_CS64_MASK) && !is_iret))) {
20241235fc06Sths         /* return to same privilege level */
2025eaa728eeSbellard         cpu_x86_load_seg_cache(env, R_CS, new_cs,
2026eaa728eeSbellard                        get_seg_base(e1, e2),
2027eaa728eeSbellard                        get_seg_limit(e1, e2),
2028eaa728eeSbellard                        e2);
2029eaa728eeSbellard     } else {
2030eaa728eeSbellard         /* return to different privilege level */
2031eaa728eeSbellard #ifdef TARGET_X86_64
2032eaa728eeSbellard         if (shift == 2) {
2033100ec099SPavel Dovgalyuk             POPQ_RA(sp, new_esp, retaddr);
2034100ec099SPavel Dovgalyuk             POPQ_RA(sp, new_ss, retaddr);
2035eaa728eeSbellard             new_ss &= 0xffff;
2036eaa728eeSbellard         } else
2037eaa728eeSbellard #endif
203820054ef0SBlue Swirl         {
2039eaa728eeSbellard             if (shift == 1) {
2040eaa728eeSbellard                 /* 32 bits */
2041100ec099SPavel Dovgalyuk                 POPL_RA(ssp, sp, sp_mask, new_esp, retaddr);
2042100ec099SPavel Dovgalyuk                 POPL_RA(ssp, sp, sp_mask, new_ss, retaddr);
2043eaa728eeSbellard                 new_ss &= 0xffff;
2044eaa728eeSbellard             } else {
2045eaa728eeSbellard                 /* 16 bits */
2046100ec099SPavel Dovgalyuk                 POPW_RA(ssp, sp, sp_mask, new_esp, retaddr);
2047100ec099SPavel Dovgalyuk                 POPW_RA(ssp, sp, sp_mask, new_ss, retaddr);
2048eaa728eeSbellard             }
204920054ef0SBlue Swirl         }
2050d12d51d5Saliguori         LOG_PCALL("new ss:esp=%04x:" TARGET_FMT_lx "\n",
2051eaa728eeSbellard                   new_ss, new_esp);
2052eaa728eeSbellard         if ((new_ss & 0xfffc) == 0) {
2053eaa728eeSbellard #ifdef TARGET_X86_64
2054eaa728eeSbellard             /* NULL ss is allowed in long mode if cpl != 3 */
2055eaa728eeSbellard             /* XXX: test CS64? */
2056eaa728eeSbellard             if ((env->hflags & HF_LMA_MASK) && rpl != 3) {
2057eaa728eeSbellard                 cpu_x86_load_seg_cache(env, R_SS, new_ss,
2058eaa728eeSbellard                                        0, 0xffffffff,
2059eaa728eeSbellard                                        DESC_G_MASK | DESC_B_MASK | DESC_P_MASK |
2060eaa728eeSbellard                                        DESC_S_MASK | (rpl << DESC_DPL_SHIFT) |
2061eaa728eeSbellard                                        DESC_W_MASK | DESC_A_MASK);
2062eaa728eeSbellard                 ss_e2 = DESC_B_MASK; /* XXX: should not be needed? */
2063eaa728eeSbellard             } else
2064eaa728eeSbellard #endif
2065eaa728eeSbellard             {
2066100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0D_GPF, 0, retaddr);
2067eaa728eeSbellard             }
2068eaa728eeSbellard         } else {
206920054ef0SBlue Swirl             if ((new_ss & 3) != rpl) {
2070100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0D_GPF, new_ss & 0xfffc, retaddr);
207120054ef0SBlue Swirl             }
2072100ec099SPavel Dovgalyuk             if (load_segment_ra(env, &ss_e1, &ss_e2, new_ss, retaddr) != 0) {
2073100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0D_GPF, new_ss & 0xfffc, retaddr);
207420054ef0SBlue Swirl             }
2075eaa728eeSbellard             if (!(ss_e2 & DESC_S_MASK) ||
2076eaa728eeSbellard                 (ss_e2 & DESC_CS_MASK) ||
207720054ef0SBlue Swirl                 !(ss_e2 & DESC_W_MASK)) {
2078100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0D_GPF, new_ss & 0xfffc, retaddr);
207920054ef0SBlue Swirl             }
2080eaa728eeSbellard             dpl = (ss_e2 >> DESC_DPL_SHIFT) & 3;
208120054ef0SBlue Swirl             if (dpl != rpl) {
2082100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0D_GPF, new_ss & 0xfffc, retaddr);
208320054ef0SBlue Swirl             }
208420054ef0SBlue Swirl             if (!(ss_e2 & DESC_P_MASK)) {
2085100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0B_NOSEG, new_ss & 0xfffc, retaddr);
208620054ef0SBlue Swirl             }
2087eaa728eeSbellard             cpu_x86_load_seg_cache(env, R_SS, new_ss,
2088eaa728eeSbellard                                    get_seg_base(ss_e1, ss_e2),
2089eaa728eeSbellard                                    get_seg_limit(ss_e1, ss_e2),
2090eaa728eeSbellard                                    ss_e2);
2091eaa728eeSbellard         }
2092eaa728eeSbellard 
2093eaa728eeSbellard         cpu_x86_load_seg_cache(env, R_CS, new_cs,
2094eaa728eeSbellard                        get_seg_base(e1, e2),
2095eaa728eeSbellard                        get_seg_limit(e1, e2),
2096eaa728eeSbellard                        e2);
2097eaa728eeSbellard         sp = new_esp;
2098eaa728eeSbellard #ifdef TARGET_X86_64
209920054ef0SBlue Swirl         if (env->hflags & HF_CS64_MASK) {
2100eaa728eeSbellard             sp_mask = -1;
210120054ef0SBlue Swirl         } else
2102eaa728eeSbellard #endif
210320054ef0SBlue Swirl         {
2104eaa728eeSbellard             sp_mask = get_sp_mask(ss_e2);
210520054ef0SBlue Swirl         }
2106eaa728eeSbellard 
2107eaa728eeSbellard         /* validate data segments */
21082999a0b2SBlue Swirl         validate_seg(env, R_ES, rpl);
21092999a0b2SBlue Swirl         validate_seg(env, R_DS, rpl);
21102999a0b2SBlue Swirl         validate_seg(env, R_FS, rpl);
21112999a0b2SBlue Swirl         validate_seg(env, R_GS, rpl);
2112eaa728eeSbellard 
2113eaa728eeSbellard         sp += addend;
2114eaa728eeSbellard     }
2115eaa728eeSbellard     SET_ESP(sp, sp_mask);
2116eaa728eeSbellard     env->eip = new_eip;
2117eaa728eeSbellard     if (is_iret) {
2118eaa728eeSbellard         /* NOTE: 'cpl' is the _old_ CPL */
2119eaa728eeSbellard         eflags_mask = TF_MASK | AC_MASK | ID_MASK | RF_MASK | NT_MASK;
212020054ef0SBlue Swirl         if (cpl == 0) {
2121eaa728eeSbellard             eflags_mask |= IOPL_MASK;
212220054ef0SBlue Swirl         }
2123eaa728eeSbellard         iopl = (env->eflags >> IOPL_SHIFT) & 3;
212420054ef0SBlue Swirl         if (cpl <= iopl) {
2125eaa728eeSbellard             eflags_mask |= IF_MASK;
212620054ef0SBlue Swirl         }
212720054ef0SBlue Swirl         if (shift == 0) {
2128eaa728eeSbellard             eflags_mask &= 0xffff;
212920054ef0SBlue Swirl         }
2130997ff0d9SBlue Swirl         cpu_load_eflags(env, new_eflags, eflags_mask);
2131eaa728eeSbellard     }
2132eaa728eeSbellard     return;
2133eaa728eeSbellard 
2134eaa728eeSbellard  return_to_vm86:
2135100ec099SPavel Dovgalyuk     POPL_RA(ssp, sp, sp_mask, new_esp, retaddr);
2136100ec099SPavel Dovgalyuk     POPL_RA(ssp, sp, sp_mask, new_ss, retaddr);
2137100ec099SPavel Dovgalyuk     POPL_RA(ssp, sp, sp_mask, new_es, retaddr);
2138100ec099SPavel Dovgalyuk     POPL_RA(ssp, sp, sp_mask, new_ds, retaddr);
2139100ec099SPavel Dovgalyuk     POPL_RA(ssp, sp, sp_mask, new_fs, retaddr);
2140100ec099SPavel Dovgalyuk     POPL_RA(ssp, sp, sp_mask, new_gs, retaddr);
2141eaa728eeSbellard 
2142eaa728eeSbellard     /* modify processor state */
2143997ff0d9SBlue Swirl     cpu_load_eflags(env, new_eflags, TF_MASK | AC_MASK | ID_MASK |
2144997ff0d9SBlue Swirl                     IF_MASK | IOPL_MASK | VM_MASK | NT_MASK | VIF_MASK |
2145997ff0d9SBlue Swirl                     VIP_MASK);
21462999a0b2SBlue Swirl     load_seg_vm(env, R_CS, new_cs & 0xffff);
21472999a0b2SBlue Swirl     load_seg_vm(env, R_SS, new_ss & 0xffff);
21482999a0b2SBlue Swirl     load_seg_vm(env, R_ES, new_es & 0xffff);
21492999a0b2SBlue Swirl     load_seg_vm(env, R_DS, new_ds & 0xffff);
21502999a0b2SBlue Swirl     load_seg_vm(env, R_FS, new_fs & 0xffff);
21512999a0b2SBlue Swirl     load_seg_vm(env, R_GS, new_gs & 0xffff);
2152eaa728eeSbellard 
2153eaa728eeSbellard     env->eip = new_eip & 0xffff;
215408b3ded6Sliguang     env->regs[R_ESP] = new_esp;
2155eaa728eeSbellard }
2156eaa728eeSbellard 
21572999a0b2SBlue Swirl void helper_iret_protected(CPUX86State *env, int shift, int next_eip)
2158eaa728eeSbellard {
2159eaa728eeSbellard     int tss_selector, type;
2160eaa728eeSbellard     uint32_t e1, e2;
2161eaa728eeSbellard 
2162eaa728eeSbellard     /* specific case for TSS */
2163eaa728eeSbellard     if (env->eflags & NT_MASK) {
2164eaa728eeSbellard #ifdef TARGET_X86_64
216520054ef0SBlue Swirl         if (env->hflags & HF_LMA_MASK) {
2166100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0D_GPF, 0, GETPC());
216720054ef0SBlue Swirl         }
2168eaa728eeSbellard #endif
2169100ec099SPavel Dovgalyuk         tss_selector = cpu_lduw_kernel_ra(env, env->tr.base + 0, GETPC());
217020054ef0SBlue Swirl         if (tss_selector & 4) {
2171100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0A_TSS, tss_selector & 0xfffc, GETPC());
217220054ef0SBlue Swirl         }
2173100ec099SPavel Dovgalyuk         if (load_segment_ra(env, &e1, &e2, tss_selector, GETPC()) != 0) {
2174100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0A_TSS, tss_selector & 0xfffc, GETPC());
217520054ef0SBlue Swirl         }
2176eaa728eeSbellard         type = (e2 >> DESC_TYPE_SHIFT) & 0x17;
2177eaa728eeSbellard         /* NOTE: we check both segment and busy TSS */
217820054ef0SBlue Swirl         if (type != 3) {
2179100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0A_TSS, tss_selector & 0xfffc, GETPC());
218020054ef0SBlue Swirl         }
2181100ec099SPavel Dovgalyuk         switch_tss_ra(env, tss_selector, e1, e2, SWITCH_TSS_IRET, next_eip, GETPC());
2182eaa728eeSbellard     } else {
2183100ec099SPavel Dovgalyuk         helper_ret_protected(env, shift, 1, 0, GETPC());
2184eaa728eeSbellard     }
2185db620f46Sbellard     env->hflags2 &= ~HF2_NMI_MASK;
2186eaa728eeSbellard }
2187eaa728eeSbellard 
21882999a0b2SBlue Swirl void helper_lret_protected(CPUX86State *env, int shift, int addend)
2189eaa728eeSbellard {
2190100ec099SPavel Dovgalyuk     helper_ret_protected(env, shift, 0, addend, GETPC());
2191eaa728eeSbellard }
2192eaa728eeSbellard 
21932999a0b2SBlue Swirl void helper_sysenter(CPUX86State *env)
2194eaa728eeSbellard {
2195eaa728eeSbellard     if (env->sysenter_cs == 0) {
2196100ec099SPavel Dovgalyuk         raise_exception_err_ra(env, EXCP0D_GPF, 0, GETPC());
2197eaa728eeSbellard     }
2198eaa728eeSbellard     env->eflags &= ~(VM_MASK | IF_MASK | RF_MASK);
21992436b61aSbalrog 
22002436b61aSbalrog #ifdef TARGET_X86_64
22012436b61aSbalrog     if (env->hflags & HF_LMA_MASK) {
22022436b61aSbalrog         cpu_x86_load_seg_cache(env, R_CS, env->sysenter_cs & 0xfffc,
22032436b61aSbalrog                                0, 0xffffffff,
22042436b61aSbalrog                                DESC_G_MASK | DESC_B_MASK | DESC_P_MASK |
22052436b61aSbalrog                                DESC_S_MASK |
220620054ef0SBlue Swirl                                DESC_CS_MASK | DESC_R_MASK | DESC_A_MASK |
220720054ef0SBlue Swirl                                DESC_L_MASK);
22082436b61aSbalrog     } else
22092436b61aSbalrog #endif
22102436b61aSbalrog     {
2211eaa728eeSbellard         cpu_x86_load_seg_cache(env, R_CS, env->sysenter_cs & 0xfffc,
2212eaa728eeSbellard                                0, 0xffffffff,
2213eaa728eeSbellard                                DESC_G_MASK | DESC_B_MASK | DESC_P_MASK |
2214eaa728eeSbellard                                DESC_S_MASK |
2215eaa728eeSbellard                                DESC_CS_MASK | DESC_R_MASK | DESC_A_MASK);
22162436b61aSbalrog     }
2217eaa728eeSbellard     cpu_x86_load_seg_cache(env, R_SS, (env->sysenter_cs + 8) & 0xfffc,
2218eaa728eeSbellard                            0, 0xffffffff,
2219eaa728eeSbellard                            DESC_G_MASK | DESC_B_MASK | DESC_P_MASK |
2220eaa728eeSbellard                            DESC_S_MASK |
2221eaa728eeSbellard                            DESC_W_MASK | DESC_A_MASK);
222208b3ded6Sliguang     env->regs[R_ESP] = env->sysenter_esp;
2223a78d0eabSliguang     env->eip = env->sysenter_eip;
2224eaa728eeSbellard }
2225eaa728eeSbellard 
22262999a0b2SBlue Swirl void helper_sysexit(CPUX86State *env, int dflag)
2227eaa728eeSbellard {
2228eaa728eeSbellard     int cpl;
2229eaa728eeSbellard 
2230eaa728eeSbellard     cpl = env->hflags & HF_CPL_MASK;
2231eaa728eeSbellard     if (env->sysenter_cs == 0 || cpl != 0) {
2232100ec099SPavel Dovgalyuk         raise_exception_err_ra(env, EXCP0D_GPF, 0, GETPC());
2233eaa728eeSbellard     }
22342436b61aSbalrog #ifdef TARGET_X86_64
22352436b61aSbalrog     if (dflag == 2) {
223620054ef0SBlue Swirl         cpu_x86_load_seg_cache(env, R_CS, ((env->sysenter_cs + 32) & 0xfffc) |
223720054ef0SBlue Swirl                                3, 0, 0xffffffff,
22382436b61aSbalrog                                DESC_G_MASK | DESC_B_MASK | DESC_P_MASK |
22392436b61aSbalrog                                DESC_S_MASK | (3 << DESC_DPL_SHIFT) |
224020054ef0SBlue Swirl                                DESC_CS_MASK | DESC_R_MASK | DESC_A_MASK |
224120054ef0SBlue Swirl                                DESC_L_MASK);
224220054ef0SBlue Swirl         cpu_x86_load_seg_cache(env, R_SS, ((env->sysenter_cs + 40) & 0xfffc) |
224320054ef0SBlue Swirl                                3, 0, 0xffffffff,
22442436b61aSbalrog                                DESC_G_MASK | DESC_B_MASK | DESC_P_MASK |
22452436b61aSbalrog                                DESC_S_MASK | (3 << DESC_DPL_SHIFT) |
22462436b61aSbalrog                                DESC_W_MASK | DESC_A_MASK);
22472436b61aSbalrog     } else
22482436b61aSbalrog #endif
22492436b61aSbalrog     {
225020054ef0SBlue Swirl         cpu_x86_load_seg_cache(env, R_CS, ((env->sysenter_cs + 16) & 0xfffc) |
225120054ef0SBlue Swirl                                3, 0, 0xffffffff,
2252eaa728eeSbellard                                DESC_G_MASK | DESC_B_MASK | DESC_P_MASK |
2253eaa728eeSbellard                                DESC_S_MASK | (3 << DESC_DPL_SHIFT) |
2254eaa728eeSbellard                                DESC_CS_MASK | DESC_R_MASK | DESC_A_MASK);
225520054ef0SBlue Swirl         cpu_x86_load_seg_cache(env, R_SS, ((env->sysenter_cs + 24) & 0xfffc) |
225620054ef0SBlue Swirl                                3, 0, 0xffffffff,
2257eaa728eeSbellard                                DESC_G_MASK | DESC_B_MASK | DESC_P_MASK |
2258eaa728eeSbellard                                DESC_S_MASK | (3 << DESC_DPL_SHIFT) |
2259eaa728eeSbellard                                DESC_W_MASK | DESC_A_MASK);
22602436b61aSbalrog     }
226108b3ded6Sliguang     env->regs[R_ESP] = env->regs[R_ECX];
2262a78d0eabSliguang     env->eip = env->regs[R_EDX];
2263eaa728eeSbellard }
2264eaa728eeSbellard 
22652999a0b2SBlue Swirl target_ulong helper_lsl(CPUX86State *env, target_ulong selector1)
2266eaa728eeSbellard {
2267eaa728eeSbellard     unsigned int limit;
2268*ae541c0eSPaolo Bonzini     uint32_t e1, e2, selector;
2269eaa728eeSbellard     int rpl, dpl, cpl, type;
2270eaa728eeSbellard 
2271eaa728eeSbellard     selector = selector1 & 0xffff;
2272*ae541c0eSPaolo Bonzini     assert(CC_OP == CC_OP_EFLAGS);
227320054ef0SBlue Swirl     if ((selector & 0xfffc) == 0) {
2274dc1ded53Saliguori         goto fail;
227520054ef0SBlue Swirl     }
2276100ec099SPavel Dovgalyuk     if (load_segment_ra(env, &e1, &e2, selector, GETPC()) != 0) {
2277eaa728eeSbellard         goto fail;
227820054ef0SBlue Swirl     }
2279eaa728eeSbellard     rpl = selector & 3;
2280eaa728eeSbellard     dpl = (e2 >> DESC_DPL_SHIFT) & 3;
2281eaa728eeSbellard     cpl = env->hflags & HF_CPL_MASK;
2282eaa728eeSbellard     if (e2 & DESC_S_MASK) {
2283eaa728eeSbellard         if ((e2 & DESC_CS_MASK) && (e2 & DESC_C_MASK)) {
2284eaa728eeSbellard             /* conforming */
2285eaa728eeSbellard         } else {
228620054ef0SBlue Swirl             if (dpl < cpl || dpl < rpl) {
2287eaa728eeSbellard                 goto fail;
2288eaa728eeSbellard             }
228920054ef0SBlue Swirl         }
2290eaa728eeSbellard     } else {
2291eaa728eeSbellard         type = (e2 >> DESC_TYPE_SHIFT) & 0xf;
2292eaa728eeSbellard         switch (type) {
2293eaa728eeSbellard         case 1:
2294eaa728eeSbellard         case 2:
2295eaa728eeSbellard         case 3:
2296eaa728eeSbellard         case 9:
2297eaa728eeSbellard         case 11:
2298eaa728eeSbellard             break;
2299eaa728eeSbellard         default:
2300eaa728eeSbellard             goto fail;
2301eaa728eeSbellard         }
2302eaa728eeSbellard         if (dpl < cpl || dpl < rpl) {
2303eaa728eeSbellard         fail:
2304*ae541c0eSPaolo Bonzini             CC_SRC &= ~CC_Z;
2305eaa728eeSbellard             return 0;
2306eaa728eeSbellard         }
2307eaa728eeSbellard     }
2308eaa728eeSbellard     limit = get_seg_limit(e1, e2);
2309*ae541c0eSPaolo Bonzini     CC_SRC |= CC_Z;
2310eaa728eeSbellard     return limit;
2311eaa728eeSbellard }
2312eaa728eeSbellard 
23132999a0b2SBlue Swirl target_ulong helper_lar(CPUX86State *env, target_ulong selector1)
2314eaa728eeSbellard {
2315*ae541c0eSPaolo Bonzini     uint32_t e1, e2, selector;
2316eaa728eeSbellard     int rpl, dpl, cpl, type;
2317eaa728eeSbellard 
2318eaa728eeSbellard     selector = selector1 & 0xffff;
2319*ae541c0eSPaolo Bonzini     assert(CC_OP == CC_OP_EFLAGS);
232020054ef0SBlue Swirl     if ((selector & 0xfffc) == 0) {
2321eaa728eeSbellard         goto fail;
232220054ef0SBlue Swirl     }
2323100ec099SPavel Dovgalyuk     if (load_segment_ra(env, &e1, &e2, selector, GETPC()) != 0) {
2324eaa728eeSbellard         goto fail;
232520054ef0SBlue Swirl     }
2326eaa728eeSbellard     rpl = selector & 3;
2327eaa728eeSbellard     dpl = (e2 >> DESC_DPL_SHIFT) & 3;
2328eaa728eeSbellard     cpl = env->hflags & HF_CPL_MASK;
2329eaa728eeSbellard     if (e2 & DESC_S_MASK) {
2330eaa728eeSbellard         if ((e2 & DESC_CS_MASK) && (e2 & DESC_C_MASK)) {
2331eaa728eeSbellard             /* conforming */
2332eaa728eeSbellard         } else {
233320054ef0SBlue Swirl             if (dpl < cpl || dpl < rpl) {
2334eaa728eeSbellard                 goto fail;
2335eaa728eeSbellard             }
233620054ef0SBlue Swirl         }
2337eaa728eeSbellard     } else {
2338eaa728eeSbellard         type = (e2 >> DESC_TYPE_SHIFT) & 0xf;
2339eaa728eeSbellard         switch (type) {
2340eaa728eeSbellard         case 1:
2341eaa728eeSbellard         case 2:
2342eaa728eeSbellard         case 3:
2343eaa728eeSbellard         case 4:
2344eaa728eeSbellard         case 5:
2345eaa728eeSbellard         case 9:
2346eaa728eeSbellard         case 11:
2347eaa728eeSbellard         case 12:
2348eaa728eeSbellard             break;
2349eaa728eeSbellard         default:
2350eaa728eeSbellard             goto fail;
2351eaa728eeSbellard         }
2352eaa728eeSbellard         if (dpl < cpl || dpl < rpl) {
2353eaa728eeSbellard         fail:
2354*ae541c0eSPaolo Bonzini             CC_SRC &= ~CC_Z;
2355eaa728eeSbellard             return 0;
2356eaa728eeSbellard         }
2357eaa728eeSbellard     }
2358*ae541c0eSPaolo Bonzini     CC_SRC |= CC_Z;
2359eaa728eeSbellard     return e2 & 0x00f0ff00;
2360eaa728eeSbellard }
2361eaa728eeSbellard 
23622999a0b2SBlue Swirl void helper_verr(CPUX86State *env, target_ulong selector1)
2363eaa728eeSbellard {
2364eaa728eeSbellard     uint32_t e1, e2, eflags, selector;
2365eaa728eeSbellard     int rpl, dpl, cpl;
2366eaa728eeSbellard 
2367eaa728eeSbellard     selector = selector1 & 0xffff;
2368abdcc5c8SPaolo Bonzini     eflags = cpu_cc_compute_all(env) | CC_Z;
236920054ef0SBlue Swirl     if ((selector & 0xfffc) == 0) {
2370eaa728eeSbellard         goto fail;
237120054ef0SBlue Swirl     }
2372100ec099SPavel Dovgalyuk     if (load_segment_ra(env, &e1, &e2, selector, GETPC()) != 0) {
2373eaa728eeSbellard         goto fail;
237420054ef0SBlue Swirl     }
237520054ef0SBlue Swirl     if (!(e2 & DESC_S_MASK)) {
2376eaa728eeSbellard         goto fail;
237720054ef0SBlue Swirl     }
2378eaa728eeSbellard     rpl = selector & 3;
2379eaa728eeSbellard     dpl = (e2 >> DESC_DPL_SHIFT) & 3;
2380eaa728eeSbellard     cpl = env->hflags & HF_CPL_MASK;
2381eaa728eeSbellard     if (e2 & DESC_CS_MASK) {
238220054ef0SBlue Swirl         if (!(e2 & DESC_R_MASK)) {
2383eaa728eeSbellard             goto fail;
238420054ef0SBlue Swirl         }
2385eaa728eeSbellard         if (!(e2 & DESC_C_MASK)) {
238620054ef0SBlue Swirl             if (dpl < cpl || dpl < rpl) {
2387eaa728eeSbellard                 goto fail;
2388eaa728eeSbellard             }
238920054ef0SBlue Swirl         }
2390eaa728eeSbellard     } else {
2391eaa728eeSbellard         if (dpl < cpl || dpl < rpl) {
2392eaa728eeSbellard         fail:
2393abdcc5c8SPaolo Bonzini             eflags &= ~CC_Z;
2394eaa728eeSbellard         }
2395eaa728eeSbellard     }
2396abdcc5c8SPaolo Bonzini     CC_SRC = eflags;
2397abdcc5c8SPaolo Bonzini     CC_OP = CC_OP_EFLAGS;
2398eaa728eeSbellard }
2399eaa728eeSbellard 
24002999a0b2SBlue Swirl void helper_verw(CPUX86State *env, target_ulong selector1)
2401eaa728eeSbellard {
2402eaa728eeSbellard     uint32_t e1, e2, eflags, selector;
2403eaa728eeSbellard     int rpl, dpl, cpl;
2404eaa728eeSbellard 
2405eaa728eeSbellard     selector = selector1 & 0xffff;
2406abdcc5c8SPaolo Bonzini     eflags = cpu_cc_compute_all(env) | CC_Z;
240720054ef0SBlue Swirl     if ((selector & 0xfffc) == 0) {
2408eaa728eeSbellard         goto fail;
240920054ef0SBlue Swirl     }
2410100ec099SPavel Dovgalyuk     if (load_segment_ra(env, &e1, &e2, selector, GETPC()) != 0) {
2411eaa728eeSbellard         goto fail;
241220054ef0SBlue Swirl     }
241320054ef0SBlue Swirl     if (!(e2 & DESC_S_MASK)) {
2414eaa728eeSbellard         goto fail;
241520054ef0SBlue Swirl     }
2416eaa728eeSbellard     rpl = selector & 3;
2417eaa728eeSbellard     dpl = (e2 >> DESC_DPL_SHIFT) & 3;
2418eaa728eeSbellard     cpl = env->hflags & HF_CPL_MASK;
2419eaa728eeSbellard     if (e2 & DESC_CS_MASK) {
2420eaa728eeSbellard         goto fail;
2421eaa728eeSbellard     } else {
242220054ef0SBlue Swirl         if (dpl < cpl || dpl < rpl) {
2423eaa728eeSbellard             goto fail;
242420054ef0SBlue Swirl         }
2425eaa728eeSbellard         if (!(e2 & DESC_W_MASK)) {
2426eaa728eeSbellard         fail:
2427abdcc5c8SPaolo Bonzini             eflags &= ~CC_Z;
2428eaa728eeSbellard         }
2429eaa728eeSbellard     }
2430abdcc5c8SPaolo Bonzini     CC_SRC = eflags;
2431abdcc5c8SPaolo Bonzini     CC_OP = CC_OP_EFLAGS;
2432eaa728eeSbellard }
2433