xref: /qemu/target/i386/tcg/seg_helper.c (revision ad441b8b7913a26b18edbc076c74ca0cdbfa4ee5)
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"
2542fa9665SPhilippe Mathieu-Daudé #include "accel/tcg/cpu-ldst.h"
26fe1a3aceSPhilippe Mathieu-Daudé #include "accel/tcg/probe.h"
27508127e2SPaolo Bonzini #include "exec/log.h"
28ed69e831SClaudio Fontana #include "helper-tcg.h"
2930493a03SClaudio Fontana #include "seg_helper.h"
308b131065SPaolo Bonzini #include "access.h"
318480f7c7SPhilippe Mathieu-Daudé #include "tcg-cpu.h"
328a201bd4SPaolo Bonzini 
33059368bcSRichard Henderson #ifdef TARGET_X86_64
34059368bcSRichard Henderson #define SET_ESP(val, sp_mask)                                   \
35059368bcSRichard Henderson     do {                                                        \
36059368bcSRichard Henderson         if ((sp_mask) == 0xffff) {                              \
37059368bcSRichard Henderson             env->regs[R_ESP] = (env->regs[R_ESP] & ~0xffff) |   \
38059368bcSRichard Henderson                 ((val) & 0xffff);                               \
39059368bcSRichard Henderson         } else if ((sp_mask) == 0xffffffffLL) {                 \
40059368bcSRichard Henderson             env->regs[R_ESP] = (uint32_t)(val);                 \
41059368bcSRichard Henderson         } else {                                                \
42059368bcSRichard Henderson             env->regs[R_ESP] = (val);                           \
43059368bcSRichard Henderson         }                                                       \
44059368bcSRichard Henderson     } while (0)
45059368bcSRichard Henderson #else
46059368bcSRichard Henderson #define SET_ESP(val, sp_mask)                                   \
47059368bcSRichard Henderson     do {                                                        \
48059368bcSRichard Henderson         env->regs[R_ESP] = (env->regs[R_ESP] & ~(sp_mask)) |    \
49059368bcSRichard Henderson             ((val) & (sp_mask));                                \
50059368bcSRichard Henderson     } while (0)
51059368bcSRichard Henderson #endif
52059368bcSRichard Henderson 
53059368bcSRichard Henderson /* XXX: use mmu_index to have proper DPL support */
54059368bcSRichard Henderson typedef struct StackAccess
55059368bcSRichard Henderson {
56059368bcSRichard Henderson     CPUX86State *env;
57059368bcSRichard Henderson     uintptr_t ra;
58059368bcSRichard Henderson     target_ulong ss_base;
59059368bcSRichard Henderson     target_ulong sp;
60059368bcSRichard Henderson     target_ulong sp_mask;
618053862aSPaolo Bonzini     int mmu_index;
62059368bcSRichard Henderson } StackAccess;
63059368bcSRichard Henderson 
pushw(StackAccess * sa,uint16_t val)64059368bcSRichard Henderson static void pushw(StackAccess *sa, uint16_t val)
65059368bcSRichard Henderson {
66059368bcSRichard Henderson     sa->sp -= 2;
678053862aSPaolo Bonzini     cpu_stw_mmuidx_ra(sa->env, sa->ss_base + (sa->sp & sa->sp_mask),
688053862aSPaolo Bonzini                       val, sa->mmu_index, sa->ra);
69059368bcSRichard Henderson }
70059368bcSRichard Henderson 
pushl(StackAccess * sa,uint32_t val)71059368bcSRichard Henderson static void pushl(StackAccess *sa, uint32_t val)
72059368bcSRichard Henderson {
73059368bcSRichard Henderson     sa->sp -= 4;
748053862aSPaolo Bonzini     cpu_stl_mmuidx_ra(sa->env, sa->ss_base + (sa->sp & sa->sp_mask),
758053862aSPaolo Bonzini                       val, sa->mmu_index, sa->ra);
76059368bcSRichard Henderson }
77059368bcSRichard Henderson 
popw(StackAccess * sa)78059368bcSRichard Henderson static uint16_t popw(StackAccess *sa)
79059368bcSRichard Henderson {
808053862aSPaolo Bonzini     uint16_t ret = cpu_lduw_mmuidx_ra(sa->env,
81059368bcSRichard Henderson                                       sa->ss_base + (sa->sp & sa->sp_mask),
828053862aSPaolo Bonzini                                       sa->mmu_index, sa->ra);
83059368bcSRichard Henderson     sa->sp += 2;
84059368bcSRichard Henderson     return ret;
85059368bcSRichard Henderson }
86059368bcSRichard Henderson 
popl(StackAccess * sa)87059368bcSRichard Henderson static uint32_t popl(StackAccess *sa)
88059368bcSRichard Henderson {
898053862aSPaolo Bonzini     uint32_t ret = cpu_ldl_mmuidx_ra(sa->env,
90059368bcSRichard Henderson                                      sa->ss_base + (sa->sp & sa->sp_mask),
918053862aSPaolo Bonzini                                      sa->mmu_index, sa->ra);
92059368bcSRichard Henderson     sa->sp += 4;
93059368bcSRichard Henderson     return ret;
94059368bcSRichard Henderson }
95059368bcSRichard Henderson 
get_pg_mode(CPUX86State * env)9650fcc7cbSGareth Webb int get_pg_mode(CPUX86State *env)
9750fcc7cbSGareth Webb {
988fa11a4dSAlexander Graf     int pg_mode = PG_MODE_PG;
9950fcc7cbSGareth Webb     if (!(env->cr[0] & CR0_PG_MASK)) {
10050fcc7cbSGareth Webb         return 0;
10150fcc7cbSGareth Webb     }
10250fcc7cbSGareth Webb     if (env->cr[0] & CR0_WP_MASK) {
10350fcc7cbSGareth Webb         pg_mode |= PG_MODE_WP;
10450fcc7cbSGareth Webb     }
10550fcc7cbSGareth Webb     if (env->cr[4] & CR4_PAE_MASK) {
10650fcc7cbSGareth Webb         pg_mode |= PG_MODE_PAE;
10750fcc7cbSGareth Webb         if (env->efer & MSR_EFER_NXE) {
10850fcc7cbSGareth Webb             pg_mode |= PG_MODE_NXE;
10950fcc7cbSGareth Webb         }
11050fcc7cbSGareth Webb     }
11150fcc7cbSGareth Webb     if (env->cr[4] & CR4_PSE_MASK) {
11250fcc7cbSGareth Webb         pg_mode |= PG_MODE_PSE;
11350fcc7cbSGareth Webb     }
11450fcc7cbSGareth Webb     if (env->cr[4] & CR4_SMEP_MASK) {
11550fcc7cbSGareth Webb         pg_mode |= PG_MODE_SMEP;
11650fcc7cbSGareth Webb     }
11750fcc7cbSGareth Webb     if (env->hflags & HF_LMA_MASK) {
11850fcc7cbSGareth Webb         pg_mode |= PG_MODE_LMA;
11950fcc7cbSGareth Webb         if (env->cr[4] & CR4_PKE_MASK) {
12050fcc7cbSGareth Webb             pg_mode |= PG_MODE_PKE;
12150fcc7cbSGareth Webb         }
12250fcc7cbSGareth Webb         if (env->cr[4] & CR4_PKS_MASK) {
12350fcc7cbSGareth Webb             pg_mode |= PG_MODE_PKS;
12450fcc7cbSGareth Webb         }
12550fcc7cbSGareth Webb         if (env->cr[4] & CR4_LA57_MASK) {
12650fcc7cbSGareth Webb             pg_mode |= PG_MODE_LA57;
12750fcc7cbSGareth Webb         }
12850fcc7cbSGareth Webb     }
12950fcc7cbSGareth Webb     return pg_mode;
13050fcc7cbSGareth Webb }
13150fcc7cbSGareth Webb 
x86_mmu_index_kernel_pl(CPUX86State * env,unsigned pl)132611c34a7SPhilippe Mathieu-Daudé static int x86_mmu_index_kernel_pl(CPUX86State *env, unsigned pl)
133611c34a7SPhilippe Mathieu-Daudé {
134611c34a7SPhilippe Mathieu-Daudé     int mmu_index_32 = (env->hflags & HF_LMA_MASK) ? 0 : 1;
135611c34a7SPhilippe Mathieu-Daudé     int mmu_index_base =
136611c34a7SPhilippe Mathieu-Daudé         !(env->hflags & HF_SMAP_MASK) ? MMU_KNOSMAP64_IDX :
137611c34a7SPhilippe Mathieu-Daudé         (pl < 3 && (env->eflags & AC_MASK)
138611c34a7SPhilippe Mathieu-Daudé          ? MMU_KNOSMAP64_IDX : MMU_KSMAP64_IDX);
139611c34a7SPhilippe Mathieu-Daudé 
140611c34a7SPhilippe Mathieu-Daudé     return mmu_index_base + mmu_index_32;
141611c34a7SPhilippe Mathieu-Daudé }
142611c34a7SPhilippe Mathieu-Daudé 
cpu_mmu_index_kernel(CPUX86State * env)143611c34a7SPhilippe Mathieu-Daudé int cpu_mmu_index_kernel(CPUX86State *env)
144611c34a7SPhilippe Mathieu-Daudé {
145611c34a7SPhilippe Mathieu-Daudé     return x86_mmu_index_kernel_pl(env, env->hflags & HF_CPL_MASK);
146611c34a7SPhilippe Mathieu-Daudé }
147611c34a7SPhilippe Mathieu-Daudé 
148eaa728eeSbellard /* return non zero if error */
load_segment_ra(CPUX86State * env,uint32_t * e1_ptr,uint32_t * e2_ptr,int selector,uintptr_t retaddr)149100ec099SPavel Dovgalyuk static inline int load_segment_ra(CPUX86State *env, uint32_t *e1_ptr,
150100ec099SPavel Dovgalyuk                                uint32_t *e2_ptr, int selector,
151100ec099SPavel Dovgalyuk                                uintptr_t retaddr)
152eaa728eeSbellard {
153eaa728eeSbellard     SegmentCache *dt;
154eaa728eeSbellard     int index;
155eaa728eeSbellard     target_ulong ptr;
156eaa728eeSbellard 
15720054ef0SBlue Swirl     if (selector & 0x4) {
158eaa728eeSbellard         dt = &env->ldt;
15920054ef0SBlue Swirl     } else {
160eaa728eeSbellard         dt = &env->gdt;
16120054ef0SBlue Swirl     }
162eaa728eeSbellard     index = selector & ~7;
16320054ef0SBlue Swirl     if ((index + 7) > dt->limit) {
164eaa728eeSbellard         return -1;
16520054ef0SBlue Swirl     }
166eaa728eeSbellard     ptr = dt->base + index;
167100ec099SPavel Dovgalyuk     *e1_ptr = cpu_ldl_kernel_ra(env, ptr, retaddr);
168100ec099SPavel Dovgalyuk     *e2_ptr = cpu_ldl_kernel_ra(env, ptr + 4, retaddr);
169eaa728eeSbellard     return 0;
170eaa728eeSbellard }
171eaa728eeSbellard 
load_segment(CPUX86State * env,uint32_t * e1_ptr,uint32_t * e2_ptr,int selector)172100ec099SPavel Dovgalyuk static inline int load_segment(CPUX86State *env, uint32_t *e1_ptr,
173100ec099SPavel Dovgalyuk                                uint32_t *e2_ptr, int selector)
174100ec099SPavel Dovgalyuk {
175100ec099SPavel Dovgalyuk     return load_segment_ra(env, e1_ptr, e2_ptr, selector, 0);
176100ec099SPavel Dovgalyuk }
177100ec099SPavel Dovgalyuk 
get_seg_limit(uint32_t e1,uint32_t e2)178eaa728eeSbellard static inline unsigned int get_seg_limit(uint32_t e1, uint32_t e2)
179eaa728eeSbellard {
180eaa728eeSbellard     unsigned int limit;
18120054ef0SBlue Swirl 
182eaa728eeSbellard     limit = (e1 & 0xffff) | (e2 & 0x000f0000);
18320054ef0SBlue Swirl     if (e2 & DESC_G_MASK) {
184eaa728eeSbellard         limit = (limit << 12) | 0xfff;
18520054ef0SBlue Swirl     }
186eaa728eeSbellard     return limit;
187eaa728eeSbellard }
188eaa728eeSbellard 
get_seg_base(uint32_t e1,uint32_t e2)189eaa728eeSbellard static inline uint32_t get_seg_base(uint32_t e1, uint32_t e2)
190eaa728eeSbellard {
19120054ef0SBlue Swirl     return (e1 >> 16) | ((e2 & 0xff) << 16) | (e2 & 0xff000000);
192eaa728eeSbellard }
193eaa728eeSbellard 
load_seg_cache_raw_dt(SegmentCache * sc,uint32_t e1,uint32_t e2)19420054ef0SBlue Swirl static inline void load_seg_cache_raw_dt(SegmentCache *sc, uint32_t e1,
19520054ef0SBlue Swirl                                          uint32_t e2)
196eaa728eeSbellard {
197eaa728eeSbellard     sc->base = get_seg_base(e1, e2);
198eaa728eeSbellard     sc->limit = get_seg_limit(e1, e2);
199eaa728eeSbellard     sc->flags = e2;
200eaa728eeSbellard }
201eaa728eeSbellard 
202eaa728eeSbellard /* init the segment cache in vm86 mode. */
load_seg_vm(CPUX86State * env,int seg,int selector)2032999a0b2SBlue Swirl static inline void load_seg_vm(CPUX86State *env, int seg, int selector)
204eaa728eeSbellard {
205eaa728eeSbellard     selector &= 0xffff;
206b98dbc90SPaolo Bonzini 
207b98dbc90SPaolo Bonzini     cpu_x86_load_seg_cache(env, seg, selector, (selector << 4), 0xffff,
208b98dbc90SPaolo Bonzini                            DESC_P_MASK | DESC_S_MASK | DESC_W_MASK |
209b98dbc90SPaolo Bonzini                            DESC_A_MASK | (3 << DESC_DPL_SHIFT));
210eaa728eeSbellard }
211eaa728eeSbellard 
get_ss_esp_from_tss(CPUX86State * env,uint32_t * ss_ptr,uint32_t * esp_ptr,int dpl,uintptr_t retaddr)2122999a0b2SBlue Swirl static inline void get_ss_esp_from_tss(CPUX86State *env, uint32_t *ss_ptr,
213100ec099SPavel Dovgalyuk                                        uint32_t *esp_ptr, int dpl,
214100ec099SPavel Dovgalyuk                                        uintptr_t retaddr)
215eaa728eeSbellard {
2166aa9e42fSRichard Henderson     X86CPU *cpu = env_archcpu(env);
217eaa728eeSbellard     int type, index, shift;
218eaa728eeSbellard 
219eaa728eeSbellard #if 0
220eaa728eeSbellard     {
221eaa728eeSbellard         int i;
222eaa728eeSbellard         printf("TR: base=%p limit=%x\n", env->tr.base, env->tr.limit);
223eaa728eeSbellard         for (i = 0; i < env->tr.limit; i++) {
224eaa728eeSbellard             printf("%02x ", env->tr.base[i]);
22520054ef0SBlue Swirl             if ((i & 7) == 7) {
22620054ef0SBlue Swirl                 printf("\n");
22720054ef0SBlue Swirl             }
228eaa728eeSbellard         }
229eaa728eeSbellard         printf("\n");
230eaa728eeSbellard     }
231eaa728eeSbellard #endif
232eaa728eeSbellard 
23320054ef0SBlue Swirl     if (!(env->tr.flags & DESC_P_MASK)) {
234a47dddd7SAndreas Färber         cpu_abort(CPU(cpu), "invalid tss");
23520054ef0SBlue Swirl     }
236eaa728eeSbellard     type = (env->tr.flags >> DESC_TYPE_SHIFT) & 0xf;
23720054ef0SBlue Swirl     if ((type & 7) != 1) {
238a47dddd7SAndreas Färber         cpu_abort(CPU(cpu), "invalid tss type");
23920054ef0SBlue Swirl     }
240eaa728eeSbellard     shift = type >> 3;
241eaa728eeSbellard     index = (dpl * 4 + 2) << shift;
24220054ef0SBlue Swirl     if (index + (4 << shift) - 1 > env->tr.limit) {
243100ec099SPavel Dovgalyuk         raise_exception_err_ra(env, EXCP0A_TSS, env->tr.selector & 0xfffc, retaddr);
24420054ef0SBlue Swirl     }
245eaa728eeSbellard     if (shift == 0) {
246100ec099SPavel Dovgalyuk         *esp_ptr = cpu_lduw_kernel_ra(env, env->tr.base + index, retaddr);
247100ec099SPavel Dovgalyuk         *ss_ptr = cpu_lduw_kernel_ra(env, env->tr.base + index + 2, retaddr);
248eaa728eeSbellard     } else {
249100ec099SPavel Dovgalyuk         *esp_ptr = cpu_ldl_kernel_ra(env, env->tr.base + index, retaddr);
250100ec099SPavel Dovgalyuk         *ss_ptr = cpu_lduw_kernel_ra(env, env->tr.base + index + 4, retaddr);
251eaa728eeSbellard     }
252eaa728eeSbellard }
253eaa728eeSbellard 
tss_load_seg(CPUX86State * env,X86Seg seg_reg,int selector,int cpl,uintptr_t retaddr)254c117e5b1SPhilippe Mathieu-Daudé static void tss_load_seg(CPUX86State *env, X86Seg seg_reg, int selector,
255c117e5b1SPhilippe Mathieu-Daudé                          int cpl, uintptr_t retaddr)
256eaa728eeSbellard {
257eaa728eeSbellard     uint32_t e1, e2;
258d3b54918SPaolo Bonzini     int rpl, dpl;
259eaa728eeSbellard 
260eaa728eeSbellard     if ((selector & 0xfffc) != 0) {
261100ec099SPavel Dovgalyuk         if (load_segment_ra(env, &e1, &e2, selector, retaddr) != 0) {
262100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0A_TSS, selector & 0xfffc, retaddr);
26320054ef0SBlue Swirl         }
26420054ef0SBlue Swirl         if (!(e2 & DESC_S_MASK)) {
265100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0A_TSS, selector & 0xfffc, retaddr);
26620054ef0SBlue Swirl         }
267eaa728eeSbellard         rpl = selector & 3;
268eaa728eeSbellard         dpl = (e2 >> DESC_DPL_SHIFT) & 3;
269eaa728eeSbellard         if (seg_reg == R_CS) {
27020054ef0SBlue Swirl             if (!(e2 & DESC_CS_MASK)) {
271100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0A_TSS, selector & 0xfffc, retaddr);
27220054ef0SBlue Swirl             }
27320054ef0SBlue Swirl             if (dpl != rpl) {
274100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0A_TSS, selector & 0xfffc, retaddr);
27520054ef0SBlue Swirl             }
276eaa728eeSbellard         } else if (seg_reg == R_SS) {
277eaa728eeSbellard             /* SS must be writable data */
27820054ef0SBlue Swirl             if ((e2 & DESC_CS_MASK) || !(e2 & DESC_W_MASK)) {
279100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0A_TSS, selector & 0xfffc, retaddr);
28020054ef0SBlue Swirl             }
28120054ef0SBlue Swirl             if (dpl != cpl || dpl != rpl) {
282100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0A_TSS, selector & 0xfffc, retaddr);
28320054ef0SBlue Swirl             }
284eaa728eeSbellard         } else {
285eaa728eeSbellard             /* not readable code */
28620054ef0SBlue Swirl             if ((e2 & DESC_CS_MASK) && !(e2 & DESC_R_MASK)) {
287100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0A_TSS, selector & 0xfffc, retaddr);
28820054ef0SBlue Swirl             }
289eaa728eeSbellard             /* if data or non conforming code, checks the rights */
290eaa728eeSbellard             if (((e2 >> DESC_TYPE_SHIFT) & 0xf) < 12) {
29120054ef0SBlue Swirl                 if (dpl < cpl || dpl < rpl) {
292100ec099SPavel Dovgalyuk                     raise_exception_err_ra(env, EXCP0A_TSS, selector & 0xfffc, retaddr);
293eaa728eeSbellard                 }
294eaa728eeSbellard             }
29520054ef0SBlue Swirl         }
29620054ef0SBlue Swirl         if (!(e2 & DESC_P_MASK)) {
297100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0B_NOSEG, selector & 0xfffc, retaddr);
29820054ef0SBlue Swirl         }
299eaa728eeSbellard         cpu_x86_load_seg_cache(env, seg_reg, selector,
300eaa728eeSbellard                                get_seg_base(e1, e2),
301eaa728eeSbellard                                get_seg_limit(e1, e2),
302eaa728eeSbellard                                e2);
303eaa728eeSbellard     } else {
30420054ef0SBlue Swirl         if (seg_reg == R_SS || seg_reg == R_CS) {
305100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0A_TSS, selector & 0xfffc, retaddr);
306eaa728eeSbellard         }
307eaa728eeSbellard     }
30820054ef0SBlue Swirl }
309eaa728eeSbellard 
tss_set_busy(CPUX86State * env,int tss_selector,bool value,uintptr_t retaddr)310a9089859SPaolo Bonzini static void tss_set_busy(CPUX86State *env, int tss_selector, bool value,
311a9089859SPaolo Bonzini                          uintptr_t retaddr)
312a9089859SPaolo Bonzini {
313c35b2fb1SPaolo Bonzini     target_ulong ptr = env->gdt.base + (tss_selector & ~7);
314a9089859SPaolo Bonzini     uint32_t e2 = cpu_ldl_kernel_ra(env, ptr + 4, retaddr);
315a9089859SPaolo Bonzini 
316a9089859SPaolo Bonzini     if (value) {
317a9089859SPaolo Bonzini         e2 |= DESC_TSS_BUSY_MASK;
318a9089859SPaolo Bonzini     } else {
319a9089859SPaolo Bonzini         e2 &= ~DESC_TSS_BUSY_MASK;
320a9089859SPaolo Bonzini     }
321a9089859SPaolo Bonzini 
322a9089859SPaolo Bonzini     cpu_stl_kernel_ra(env, ptr + 4, e2, retaddr);
323a9089859SPaolo Bonzini }
324a9089859SPaolo Bonzini 
325eaa728eeSbellard #define SWITCH_TSS_JMP  0
326eaa728eeSbellard #define SWITCH_TSS_IRET 1
327eaa728eeSbellard #define SWITCH_TSS_CALL 2
328eaa728eeSbellard 
switch_tss_ra(CPUX86State * env,int tss_selector,uint32_t e1,uint32_t e2,int source,uint32_t next_eip,bool has_error_code,uint32_t error_code,uintptr_t retaddr)329c7c33283SPaolo Bonzini static void switch_tss_ra(CPUX86State *env, int tss_selector,
330eaa728eeSbellard                           uint32_t e1, uint32_t e2, int source,
331c7c33283SPaolo Bonzini                           uint32_t next_eip, bool has_error_code,
332c7c33283SPaolo Bonzini                           uint32_t error_code, uintptr_t retaddr)
333eaa728eeSbellard {
3348b131065SPaolo Bonzini     int tss_limit, tss_limit_max, type, old_tss_limit_max, old_type, i;
335eaa728eeSbellard     target_ulong tss_base;
336eaa728eeSbellard     uint32_t new_regs[8], new_segs[6];
337eaa728eeSbellard     uint32_t new_eflags, new_eip, new_cr3, new_ldt, new_trap;
338eaa728eeSbellard     uint32_t old_eflags, eflags_mask;
339eaa728eeSbellard     SegmentCache *dt;
3408b131065SPaolo Bonzini     int mmu_index, index;
341eaa728eeSbellard     target_ulong ptr;
3428b131065SPaolo Bonzini     X86Access old, new;
343eaa728eeSbellard 
344eaa728eeSbellard     type = (e2 >> DESC_TYPE_SHIFT) & 0xf;
34520054ef0SBlue Swirl     LOG_PCALL("switch_tss: sel=0x%04x type=%d src=%d\n", tss_selector, type,
34620054ef0SBlue Swirl               source);
347eaa728eeSbellard 
348eaa728eeSbellard     /* if task gate, we read the TSS segment and we load it */
349eaa728eeSbellard     if (type == 5) {
35020054ef0SBlue Swirl         if (!(e2 & DESC_P_MASK)) {
351100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0B_NOSEG, tss_selector & 0xfffc, retaddr);
35220054ef0SBlue Swirl         }
353eaa728eeSbellard         tss_selector = e1 >> 16;
35420054ef0SBlue Swirl         if (tss_selector & 4) {
355100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0A_TSS, tss_selector & 0xfffc, retaddr);
35620054ef0SBlue Swirl         }
357100ec099SPavel Dovgalyuk         if (load_segment_ra(env, &e1, &e2, tss_selector, retaddr) != 0) {
358100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0D_GPF, tss_selector & 0xfffc, retaddr);
359eaa728eeSbellard         }
36020054ef0SBlue Swirl         if (e2 & DESC_S_MASK) {
361100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0D_GPF, tss_selector & 0xfffc, retaddr);
36220054ef0SBlue Swirl         }
36320054ef0SBlue Swirl         type = (e2 >> DESC_TYPE_SHIFT) & 0xf;
36420054ef0SBlue Swirl         if ((type & 7) != 1) {
365100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0D_GPF, tss_selector & 0xfffc, retaddr);
36620054ef0SBlue Swirl         }
36720054ef0SBlue Swirl     }
368eaa728eeSbellard 
36920054ef0SBlue Swirl     if (!(e2 & DESC_P_MASK)) {
370100ec099SPavel Dovgalyuk         raise_exception_err_ra(env, EXCP0B_NOSEG, tss_selector & 0xfffc, retaddr);
37120054ef0SBlue Swirl     }
372eaa728eeSbellard 
37320054ef0SBlue Swirl     if (type & 8) {
374eaa728eeSbellard         tss_limit_max = 103;
37520054ef0SBlue Swirl     } else {
376eaa728eeSbellard         tss_limit_max = 43;
37720054ef0SBlue Swirl     }
378eaa728eeSbellard     tss_limit = get_seg_limit(e1, e2);
379eaa728eeSbellard     tss_base = get_seg_base(e1, e2);
380eaa728eeSbellard     if ((tss_selector & 4) != 0 ||
38120054ef0SBlue Swirl         tss_limit < tss_limit_max) {
382100ec099SPavel Dovgalyuk         raise_exception_err_ra(env, EXCP0A_TSS, tss_selector & 0xfffc, retaddr);
38320054ef0SBlue Swirl     }
384eaa728eeSbellard     old_type = (env->tr.flags >> DESC_TYPE_SHIFT) & 0xf;
38520054ef0SBlue Swirl     if (old_type & 8) {
386eaa728eeSbellard         old_tss_limit_max = 103;
38720054ef0SBlue Swirl     } else {
388eaa728eeSbellard         old_tss_limit_max = 43;
38920054ef0SBlue Swirl     }
390eaa728eeSbellard 
39105d41bbcSPaolo Bonzini     /* new TSS must be busy iff the source is an IRET instruction  */
39205d41bbcSPaolo Bonzini     if (!!(e2 & DESC_TSS_BUSY_MASK) != (source == SWITCH_TSS_IRET)) {
39305d41bbcSPaolo Bonzini         raise_exception_err_ra(env, EXCP0A_TSS, tss_selector & 0xfffc, retaddr);
39405d41bbcSPaolo Bonzini     }
39505d41bbcSPaolo Bonzini 
3968b131065SPaolo Bonzini     /* X86Access avoids memory exceptions during the task switch */
3978b131065SPaolo Bonzini     mmu_index = cpu_mmu_index_kernel(env);
398ded1db48SRichard Henderson     access_prepare_mmu(&old, env, env->tr.base, old_tss_limit_max + 1,
3998b131065SPaolo Bonzini                        MMU_DATA_STORE, mmu_index, retaddr);
4008b131065SPaolo Bonzini 
4018b131065SPaolo Bonzini     if (source == SWITCH_TSS_CALL) {
4028b131065SPaolo Bonzini         /* Probe for future write of parent task */
4038b131065SPaolo Bonzini         probe_access(env, tss_base, 2, MMU_DATA_STORE,
4048b131065SPaolo Bonzini                      mmu_index, retaddr);
4058b131065SPaolo Bonzini     }
406ded1db48SRichard Henderson     /* While true tss_limit may be larger, we don't access the iopb here. */
407ded1db48SRichard Henderson     access_prepare_mmu(&new, env, tss_base, tss_limit_max + 1,
4088b131065SPaolo Bonzini                        MMU_DATA_LOAD, mmu_index, retaddr);
4098b131065SPaolo Bonzini 
4106a079f2eSPaolo Bonzini     /* save the current state in the old TSS */
4116a079f2eSPaolo Bonzini     old_eflags = cpu_compute_eflags(env);
4126a079f2eSPaolo Bonzini     if (old_type & 8) {
4136a079f2eSPaolo Bonzini         /* 32 bit */
4146a079f2eSPaolo Bonzini         access_stl(&old, env->tr.base + 0x20, next_eip);
4156a079f2eSPaolo Bonzini         access_stl(&old, env->tr.base + 0x24, old_eflags);
4166a079f2eSPaolo Bonzini         access_stl(&old, env->tr.base + (0x28 + 0 * 4), env->regs[R_EAX]);
4176a079f2eSPaolo Bonzini         access_stl(&old, env->tr.base + (0x28 + 1 * 4), env->regs[R_ECX]);
4186a079f2eSPaolo Bonzini         access_stl(&old, env->tr.base + (0x28 + 2 * 4), env->regs[R_EDX]);
4196a079f2eSPaolo Bonzini         access_stl(&old, env->tr.base + (0x28 + 3 * 4), env->regs[R_EBX]);
4206a079f2eSPaolo Bonzini         access_stl(&old, env->tr.base + (0x28 + 4 * 4), env->regs[R_ESP]);
4216a079f2eSPaolo Bonzini         access_stl(&old, env->tr.base + (0x28 + 5 * 4), env->regs[R_EBP]);
4226a079f2eSPaolo Bonzini         access_stl(&old, env->tr.base + (0x28 + 6 * 4), env->regs[R_ESI]);
4236a079f2eSPaolo Bonzini         access_stl(&old, env->tr.base + (0x28 + 7 * 4), env->regs[R_EDI]);
4246a079f2eSPaolo Bonzini         for (i = 0; i < 6; i++) {
4256a079f2eSPaolo Bonzini             access_stw(&old, env->tr.base + (0x48 + i * 4),
4266a079f2eSPaolo Bonzini                        env->segs[i].selector);
4276a079f2eSPaolo Bonzini         }
4286a079f2eSPaolo Bonzini     } else {
4296a079f2eSPaolo Bonzini         /* 16 bit */
4306a079f2eSPaolo Bonzini         access_stw(&old, env->tr.base + 0x0e, next_eip);
4316a079f2eSPaolo Bonzini         access_stw(&old, env->tr.base + 0x10, old_eflags);
4326a079f2eSPaolo Bonzini         access_stw(&old, env->tr.base + (0x12 + 0 * 2), env->regs[R_EAX]);
4336a079f2eSPaolo Bonzini         access_stw(&old, env->tr.base + (0x12 + 1 * 2), env->regs[R_ECX]);
4346a079f2eSPaolo Bonzini         access_stw(&old, env->tr.base + (0x12 + 2 * 2), env->regs[R_EDX]);
4356a079f2eSPaolo Bonzini         access_stw(&old, env->tr.base + (0x12 + 3 * 2), env->regs[R_EBX]);
4366a079f2eSPaolo Bonzini         access_stw(&old, env->tr.base + (0x12 + 4 * 2), env->regs[R_ESP]);
4376a079f2eSPaolo Bonzini         access_stw(&old, env->tr.base + (0x12 + 5 * 2), env->regs[R_EBP]);
4386a079f2eSPaolo Bonzini         access_stw(&old, env->tr.base + (0x12 + 6 * 2), env->regs[R_ESI]);
4396a079f2eSPaolo Bonzini         access_stw(&old, env->tr.base + (0x12 + 7 * 2), env->regs[R_EDI]);
4406a079f2eSPaolo Bonzini         for (i = 0; i < 4; i++) {
4416a079f2eSPaolo Bonzini             access_stw(&old, env->tr.base + (0x22 + i * 2),
4426a079f2eSPaolo Bonzini                        env->segs[i].selector);
4436a079f2eSPaolo Bonzini         }
4446a079f2eSPaolo Bonzini     }
4456a079f2eSPaolo Bonzini 
446eaa728eeSbellard     /* read all the registers from the new TSS */
447eaa728eeSbellard     if (type & 8) {
448eaa728eeSbellard         /* 32 bit */
4498b131065SPaolo Bonzini         new_cr3 = access_ldl(&new, tss_base + 0x1c);
4508b131065SPaolo Bonzini         new_eip = access_ldl(&new, tss_base + 0x20);
4518b131065SPaolo Bonzini         new_eflags = access_ldl(&new, tss_base + 0x24);
45220054ef0SBlue Swirl         for (i = 0; i < 8; i++) {
4538b131065SPaolo Bonzini             new_regs[i] = access_ldl(&new, tss_base + (0x28 + i * 4));
45420054ef0SBlue Swirl         }
45520054ef0SBlue Swirl         for (i = 0; i < 6; i++) {
4568b131065SPaolo Bonzini             new_segs[i] = access_ldw(&new, tss_base + (0x48 + i * 4));
45720054ef0SBlue Swirl         }
4588b131065SPaolo Bonzini         new_ldt = access_ldw(&new, tss_base + 0x60);
4598b131065SPaolo Bonzini         new_trap = access_ldl(&new, tss_base + 0x64);
460eaa728eeSbellard     } else {
461eaa728eeSbellard         /* 16 bit */
462eaa728eeSbellard         new_cr3 = 0;
4638b131065SPaolo Bonzini         new_eip = access_ldw(&new, tss_base + 0x0e);
4648b131065SPaolo Bonzini         new_eflags = access_ldw(&new, tss_base + 0x10);
46520054ef0SBlue Swirl         for (i = 0; i < 8; i++) {
4668b131065SPaolo Bonzini             new_regs[i] = access_ldw(&new, tss_base + (0x12 + i * 2));
46720054ef0SBlue Swirl         }
46820054ef0SBlue Swirl         for (i = 0; i < 4; i++) {
4698b131065SPaolo Bonzini             new_segs[i] = access_ldw(&new, tss_base + (0x22 + i * 2));
47020054ef0SBlue Swirl         }
4718b131065SPaolo Bonzini         new_ldt = access_ldw(&new, tss_base + 0x2a);
472eaa728eeSbellard         new_segs[R_FS] = 0;
473eaa728eeSbellard         new_segs[R_GS] = 0;
474eaa728eeSbellard         new_trap = 0;
475eaa728eeSbellard     }
476eaa728eeSbellard 
477eaa728eeSbellard     /* clear busy bit (it is restartable) */
478eaa728eeSbellard     if (source == SWITCH_TSS_JMP || source == SWITCH_TSS_IRET) {
479a9089859SPaolo Bonzini         tss_set_busy(env, env->tr.selector, 0, retaddr);
480eaa728eeSbellard     }
4816a079f2eSPaolo Bonzini 
48220054ef0SBlue Swirl     if (source == SWITCH_TSS_IRET) {
483eaa728eeSbellard         old_eflags &= ~NT_MASK;
4841b627f38SPaolo Bonzini         if (old_type & 8) {
4858b131065SPaolo Bonzini             access_stl(&old, env->tr.base + 0x24, old_eflags);
486eaa728eeSbellard         } else {
4878b131065SPaolo Bonzini             access_stw(&old, env->tr.base + 0x10, old_eflags);
488eaa728eeSbellard 	}
48920054ef0SBlue Swirl     }
490eaa728eeSbellard 
491eaa728eeSbellard     if (source == SWITCH_TSS_CALL) {
4928b131065SPaolo Bonzini         /*
4938b131065SPaolo Bonzini          * Thanks to the probe_access above, we know the first two
4948b131065SPaolo Bonzini          * bytes addressed by &new are writable too.
4958b131065SPaolo Bonzini          */
4968b131065SPaolo Bonzini         access_stw(&new, tss_base, env->tr.selector);
497eaa728eeSbellard         new_eflags |= NT_MASK;
498eaa728eeSbellard     }
499eaa728eeSbellard 
500eaa728eeSbellard     /* set busy bit */
501eaa728eeSbellard     if (source == SWITCH_TSS_JMP || source == SWITCH_TSS_CALL) {
502a9089859SPaolo Bonzini         tss_set_busy(env, tss_selector, 1, retaddr);
503eaa728eeSbellard     }
504eaa728eeSbellard 
505eaa728eeSbellard     /* set the new CPU state */
5066a079f2eSPaolo Bonzini 
5076a079f2eSPaolo Bonzini     /* now if an exception occurs, it will occur in the next task context */
5086a079f2eSPaolo Bonzini 
509eaa728eeSbellard     env->cr[0] |= CR0_TS_MASK;
510eaa728eeSbellard     env->hflags |= HF_TS_MASK;
511eaa728eeSbellard     env->tr.selector = tss_selector;
512eaa728eeSbellard     env->tr.base = tss_base;
513eaa728eeSbellard     env->tr.limit = tss_limit;
514eaa728eeSbellard     env->tr.flags = e2 & ~DESC_TSS_BUSY_MASK;
515eaa728eeSbellard 
516eaa728eeSbellard     if ((type & 8) && (env->cr[0] & CR0_PG_MASK)) {
517eaa728eeSbellard         cpu_x86_update_cr3(env, new_cr3);
518eaa728eeSbellard     }
519eaa728eeSbellard 
520eaa728eeSbellard     /* load all registers without an exception, then reload them with
521eaa728eeSbellard        possible exception */
522eaa728eeSbellard     env->eip = new_eip;
523eaa728eeSbellard     eflags_mask = TF_MASK | AC_MASK | ID_MASK |
524eaa728eeSbellard         IF_MASK | IOPL_MASK | VM_MASK | RF_MASK | NT_MASK;
525a5505f6bSPaolo Bonzini     if (type & 8) {
526997ff0d9SBlue Swirl         cpu_load_eflags(env, new_eflags, eflags_mask);
527a5505f6bSPaolo Bonzini         for (i = 0; i < 8; i++) {
528a5505f6bSPaolo Bonzini             env->regs[i] = new_regs[i];
529a5505f6bSPaolo Bonzini         }
530a5505f6bSPaolo Bonzini     } else {
531a5505f6bSPaolo Bonzini         cpu_load_eflags(env, new_eflags, eflags_mask & 0xffff);
532a5505f6bSPaolo Bonzini         for (i = 0; i < 8; i++) {
533a5505f6bSPaolo Bonzini             env->regs[i] = (env->regs[i] & 0xffff0000) | new_regs[i];
534a5505f6bSPaolo Bonzini         }
535a5505f6bSPaolo Bonzini     }
536eaa728eeSbellard     if (new_eflags & VM_MASK) {
53720054ef0SBlue Swirl         for (i = 0; i < 6; i++) {
5382999a0b2SBlue Swirl             load_seg_vm(env, i, new_segs[i]);
53920054ef0SBlue Swirl         }
540eaa728eeSbellard     } else {
541eaa728eeSbellard         /* first just selectors as the rest may trigger exceptions */
54220054ef0SBlue Swirl         for (i = 0; i < 6; i++) {
543eaa728eeSbellard             cpu_x86_load_seg_cache(env, i, new_segs[i], 0, 0, 0);
544eaa728eeSbellard         }
54520054ef0SBlue Swirl     }
546eaa728eeSbellard 
547eaa728eeSbellard     env->ldt.selector = new_ldt & ~4;
548eaa728eeSbellard     env->ldt.base = 0;
549eaa728eeSbellard     env->ldt.limit = 0;
550eaa728eeSbellard     env->ldt.flags = 0;
551eaa728eeSbellard 
552eaa728eeSbellard     /* load the LDT */
55320054ef0SBlue Swirl     if (new_ldt & 4) {
554100ec099SPavel Dovgalyuk         raise_exception_err_ra(env, EXCP0A_TSS, new_ldt & 0xfffc, retaddr);
55520054ef0SBlue Swirl     }
556eaa728eeSbellard 
557eaa728eeSbellard     if ((new_ldt & 0xfffc) != 0) {
558eaa728eeSbellard         dt = &env->gdt;
559eaa728eeSbellard         index = new_ldt & ~7;
56020054ef0SBlue Swirl         if ((index + 7) > dt->limit) {
561100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0A_TSS, new_ldt & 0xfffc, retaddr);
56220054ef0SBlue Swirl         }
563eaa728eeSbellard         ptr = dt->base + index;
564100ec099SPavel Dovgalyuk         e1 = cpu_ldl_kernel_ra(env, ptr, retaddr);
565100ec099SPavel Dovgalyuk         e2 = cpu_ldl_kernel_ra(env, ptr + 4, retaddr);
56620054ef0SBlue Swirl         if ((e2 & DESC_S_MASK) || ((e2 >> DESC_TYPE_SHIFT) & 0xf) != 2) {
567100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0A_TSS, new_ldt & 0xfffc, retaddr);
56820054ef0SBlue Swirl         }
56920054ef0SBlue Swirl         if (!(e2 & DESC_P_MASK)) {
570100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0A_TSS, new_ldt & 0xfffc, retaddr);
57120054ef0SBlue Swirl         }
572eaa728eeSbellard         load_seg_cache_raw_dt(&env->ldt, e1, e2);
573eaa728eeSbellard     }
574eaa728eeSbellard 
575eaa728eeSbellard     /* load the segments */
576eaa728eeSbellard     if (!(new_eflags & VM_MASK)) {
577d3b54918SPaolo Bonzini         int cpl = new_segs[R_CS] & 3;
578100ec099SPavel Dovgalyuk         tss_load_seg(env, R_CS, new_segs[R_CS], cpl, retaddr);
579100ec099SPavel Dovgalyuk         tss_load_seg(env, R_SS, new_segs[R_SS], cpl, retaddr);
580100ec099SPavel Dovgalyuk         tss_load_seg(env, R_ES, new_segs[R_ES], cpl, retaddr);
581100ec099SPavel Dovgalyuk         tss_load_seg(env, R_DS, new_segs[R_DS], cpl, retaddr);
582100ec099SPavel Dovgalyuk         tss_load_seg(env, R_FS, new_segs[R_FS], cpl, retaddr);
583100ec099SPavel Dovgalyuk         tss_load_seg(env, R_GS, new_segs[R_GS], cpl, retaddr);
584eaa728eeSbellard     }
585eaa728eeSbellard 
586a78d0eabSliguang     /* check that env->eip is in the CS segment limits */
587eaa728eeSbellard     if (new_eip > env->segs[R_CS].limit) {
588eaa728eeSbellard         /* XXX: different exception if CALL? */
589100ec099SPavel Dovgalyuk         raise_exception_err_ra(env, EXCP0D_GPF, 0, retaddr);
590eaa728eeSbellard     }
59101df040bSaliguori 
59201df040bSaliguori #ifndef CONFIG_USER_ONLY
59301df040bSaliguori     /* reset local breakpoints */
594428065ceSliguang     if (env->dr[7] & DR7_LOCAL_BP_MASK) {
59593d00d0fSRichard Henderson         cpu_x86_update_dr7(env, env->dr[7] & ~DR7_LOCAL_BP_MASK);
59601df040bSaliguori     }
59701df040bSaliguori #endif
598c7c33283SPaolo Bonzini 
599c7c33283SPaolo Bonzini     if (has_error_code) {
600c7c33283SPaolo Bonzini         int cpl = env->hflags & HF_CPL_MASK;
601c7c33283SPaolo Bonzini         StackAccess sa;
602c7c33283SPaolo Bonzini 
603c7c33283SPaolo Bonzini         /* push the error code */
604c7c33283SPaolo Bonzini         sa.env = env;
605c7c33283SPaolo Bonzini         sa.ra = retaddr;
606c7c33283SPaolo Bonzini         sa.mmu_index = x86_mmu_index_pl(env, cpl);
607c7c33283SPaolo Bonzini         sa.sp = env->regs[R_ESP];
608c7c33283SPaolo Bonzini         if (env->segs[R_SS].flags & DESC_B_MASK) {
609c7c33283SPaolo Bonzini             sa.sp_mask = 0xffffffff;
610c7c33283SPaolo Bonzini         } else {
611c7c33283SPaolo Bonzini             sa.sp_mask = 0xffff;
612c7c33283SPaolo Bonzini         }
613c7c33283SPaolo Bonzini         sa.ss_base = env->segs[R_SS].base;
614c7c33283SPaolo Bonzini         if (type & 8) {
615c7c33283SPaolo Bonzini             pushl(&sa, error_code);
616c7c33283SPaolo Bonzini         } else {
617c7c33283SPaolo Bonzini             pushw(&sa, error_code);
618c7c33283SPaolo Bonzini         }
619c7c33283SPaolo Bonzini         SET_ESP(sa.sp, sa.sp_mask);
620c7c33283SPaolo Bonzini     }
621*ad441b8bSPaolo Bonzini 
622*ad441b8bSPaolo Bonzini     if (new_trap) {
623*ad441b8bSPaolo Bonzini         env->dr[6] |= DR6_BT;
624*ad441b8bSPaolo Bonzini         raise_exception_ra(env, EXCP01_DB, retaddr);
625*ad441b8bSPaolo Bonzini     }
626eaa728eeSbellard }
627eaa728eeSbellard 
switch_tss(CPUX86State * env,int tss_selector,uint32_t e1,uint32_t e2,int source,uint32_t next_eip,bool has_error_code,int error_code)628c7c33283SPaolo Bonzini static void switch_tss(CPUX86State *env, int tss_selector,
629100ec099SPavel Dovgalyuk                        uint32_t e1, uint32_t e2, int source,
630c7c33283SPaolo Bonzini                        uint32_t next_eip, bool has_error_code,
631c7c33283SPaolo Bonzini                        int error_code)
632100ec099SPavel Dovgalyuk {
633c7c33283SPaolo Bonzini     switch_tss_ra(env, tss_selector, e1, e2, source, next_eip,
634c7c33283SPaolo Bonzini                   has_error_code, error_code, 0);
635100ec099SPavel Dovgalyuk }
636100ec099SPavel Dovgalyuk 
get_sp_mask(unsigned int e2)637eaa728eeSbellard static inline unsigned int get_sp_mask(unsigned int e2)
638eaa728eeSbellard {
6390aca0605SAndrew Oates #ifdef TARGET_X86_64
6400aca0605SAndrew Oates     if (e2 & DESC_L_MASK) {
6410aca0605SAndrew Oates         return 0;
6420aca0605SAndrew Oates     } else
6430aca0605SAndrew Oates #endif
64420054ef0SBlue Swirl     if (e2 & DESC_B_MASK) {
645eaa728eeSbellard         return 0xffffffff;
64620054ef0SBlue Swirl     } else {
647eaa728eeSbellard         return 0xffff;
648eaa728eeSbellard     }
64920054ef0SBlue Swirl }
650eaa728eeSbellard 
exception_is_fault(int intno)65169cb498cSPaolo Bonzini static int exception_is_fault(int intno)
65269cb498cSPaolo Bonzini {
65369cb498cSPaolo Bonzini     switch (intno) {
65469cb498cSPaolo Bonzini         /*
65569cb498cSPaolo Bonzini          * #DB can be both fault- and trap-like, but it never sets RF=1
65669cb498cSPaolo Bonzini          * in the RFLAGS value pushed on the stack.
65769cb498cSPaolo Bonzini          */
65869cb498cSPaolo Bonzini     case EXCP01_DB:
65969cb498cSPaolo Bonzini     case EXCP03_INT3:
66069cb498cSPaolo Bonzini     case EXCP04_INTO:
66169cb498cSPaolo Bonzini     case EXCP08_DBLE:
66269cb498cSPaolo Bonzini     case EXCP12_MCHK:
66369cb498cSPaolo Bonzini         return 0;
66469cb498cSPaolo Bonzini     }
66569cb498cSPaolo Bonzini     /* Everything else including reserved exception is a fault.  */
66669cb498cSPaolo Bonzini     return 1;
66769cb498cSPaolo Bonzini }
66869cb498cSPaolo Bonzini 
exception_has_error_code(int intno)66930493a03SClaudio Fontana int exception_has_error_code(int intno)
6702ed51f5bSaliguori {
6712ed51f5bSaliguori     switch (intno) {
6722ed51f5bSaliguori     case 8:
6732ed51f5bSaliguori     case 10:
6742ed51f5bSaliguori     case 11:
6752ed51f5bSaliguori     case 12:
6762ed51f5bSaliguori     case 13:
6772ed51f5bSaliguori     case 14:
6782ed51f5bSaliguori     case 17:
6792ed51f5bSaliguori         return 1;
6802ed51f5bSaliguori     }
6812ed51f5bSaliguori     return 0;
6822ed51f5bSaliguori }
6832ed51f5bSaliguori 
684eaa728eeSbellard /* protected mode interrupt */
do_interrupt_protected(CPUX86State * env,int intno,int is_int,int error_code,unsigned int next_eip,int is_hw)6852999a0b2SBlue Swirl static void do_interrupt_protected(CPUX86State *env, int intno, int is_int,
6862999a0b2SBlue Swirl                                    int error_code, unsigned int next_eip,
6872999a0b2SBlue Swirl                                    int is_hw)
688eaa728eeSbellard {
689eaa728eeSbellard     SegmentCache *dt;
690059368bcSRichard Henderson     target_ulong ptr;
691eaa728eeSbellard     int type, dpl, selector, ss_dpl, cpl;
692eaa728eeSbellard     int has_error_code, new_stack, shift;
693059368bcSRichard Henderson     uint32_t e1, e2, offset, ss = 0, ss_e1 = 0, ss_e2 = 0;
694059368bcSRichard Henderson     uint32_t old_eip, eflags;
69587446327SKevin O'Connor     int vm86 = env->eflags & VM_MASK;
696059368bcSRichard Henderson     StackAccess sa;
69769cb498cSPaolo Bonzini     bool set_rf;
698eaa728eeSbellard 
699eaa728eeSbellard     has_error_code = 0;
70020054ef0SBlue Swirl     if (!is_int && !is_hw) {
70120054ef0SBlue Swirl         has_error_code = exception_has_error_code(intno);
70220054ef0SBlue Swirl     }
70320054ef0SBlue Swirl     if (is_int) {
704eaa728eeSbellard         old_eip = next_eip;
70569cb498cSPaolo Bonzini         set_rf = false;
70620054ef0SBlue Swirl     } else {
707eaa728eeSbellard         old_eip = env->eip;
70869cb498cSPaolo Bonzini         set_rf = exception_is_fault(intno);
70920054ef0SBlue Swirl     }
710eaa728eeSbellard 
711eaa728eeSbellard     dt = &env->idt;
71220054ef0SBlue Swirl     if (intno * 8 + 7 > dt->limit) {
71377b2bc2cSBlue Swirl         raise_exception_err(env, EXCP0D_GPF, intno * 8 + 2);
71420054ef0SBlue Swirl     }
715eaa728eeSbellard     ptr = dt->base + intno * 8;
716329e607dSBlue Swirl     e1 = cpu_ldl_kernel(env, ptr);
717329e607dSBlue Swirl     e2 = cpu_ldl_kernel(env, ptr + 4);
718eaa728eeSbellard     /* check gate type */
719eaa728eeSbellard     type = (e2 >> DESC_TYPE_SHIFT) & 0x1f;
720eaa728eeSbellard     switch (type) {
721eaa728eeSbellard     case 5: /* task gate */
7223df1a3d0SPeter Maydell     case 6: /* 286 interrupt gate */
7233df1a3d0SPeter Maydell     case 7: /* 286 trap gate */
7243df1a3d0SPeter Maydell     case 14: /* 386 interrupt gate */
7253df1a3d0SPeter Maydell     case 15: /* 386 trap gate */
7263df1a3d0SPeter Maydell         break;
7273df1a3d0SPeter Maydell     default:
7283df1a3d0SPeter Maydell         raise_exception_err(env, EXCP0D_GPF, intno * 8 + 2);
7293df1a3d0SPeter Maydell         break;
7303df1a3d0SPeter Maydell     }
7313df1a3d0SPeter Maydell     dpl = (e2 >> DESC_DPL_SHIFT) & 3;
7323df1a3d0SPeter Maydell     cpl = env->hflags & HF_CPL_MASK;
7333df1a3d0SPeter Maydell     /* check privilege if software int */
7343df1a3d0SPeter Maydell     if (is_int && dpl < cpl) {
7353df1a3d0SPeter Maydell         raise_exception_err(env, EXCP0D_GPF, intno * 8 + 2);
7363df1a3d0SPeter Maydell     }
7373df1a3d0SPeter Maydell 
738059368bcSRichard Henderson     sa.env = env;
739059368bcSRichard Henderson     sa.ra = 0;
740059368bcSRichard Henderson 
7413df1a3d0SPeter Maydell     if (type == 5) {
7423df1a3d0SPeter Maydell         /* task gate */
743eaa728eeSbellard         /* must do that check here to return the correct error code */
74420054ef0SBlue Swirl         if (!(e2 & DESC_P_MASK)) {
74577b2bc2cSBlue Swirl             raise_exception_err(env, EXCP0B_NOSEG, intno * 8 + 2);
74620054ef0SBlue Swirl         }
747c7c33283SPaolo Bonzini         switch_tss(env, intno * 8, e1, e2, SWITCH_TSS_CALL, old_eip,
748c7c33283SPaolo Bonzini                    has_error_code, error_code);
749eaa728eeSbellard         return;
750eaa728eeSbellard     }
7513df1a3d0SPeter Maydell 
7523df1a3d0SPeter Maydell     /* Otherwise, trap or interrupt gate */
7533df1a3d0SPeter Maydell 
754eaa728eeSbellard     /* check valid bit */
75520054ef0SBlue Swirl     if (!(e2 & DESC_P_MASK)) {
75677b2bc2cSBlue Swirl         raise_exception_err(env, EXCP0B_NOSEG, intno * 8 + 2);
75720054ef0SBlue Swirl     }
758eaa728eeSbellard     selector = e1 >> 16;
759eaa728eeSbellard     offset = (e2 & 0xffff0000) | (e1 & 0x0000ffff);
76020054ef0SBlue Swirl     if ((selector & 0xfffc) == 0) {
76177b2bc2cSBlue Swirl         raise_exception_err(env, EXCP0D_GPF, 0);
76220054ef0SBlue Swirl     }
7632999a0b2SBlue Swirl     if (load_segment(env, &e1, &e2, selector) != 0) {
76477b2bc2cSBlue Swirl         raise_exception_err(env, EXCP0D_GPF, selector & 0xfffc);
76520054ef0SBlue Swirl     }
76620054ef0SBlue Swirl     if (!(e2 & DESC_S_MASK) || !(e2 & (DESC_CS_MASK))) {
76777b2bc2cSBlue Swirl         raise_exception_err(env, EXCP0D_GPF, selector & 0xfffc);
76820054ef0SBlue Swirl     }
769eaa728eeSbellard     dpl = (e2 >> DESC_DPL_SHIFT) & 3;
77020054ef0SBlue Swirl     if (dpl > cpl) {
77177b2bc2cSBlue Swirl         raise_exception_err(env, EXCP0D_GPF, selector & 0xfffc);
77220054ef0SBlue Swirl     }
77320054ef0SBlue Swirl     if (!(e2 & DESC_P_MASK)) {
77477b2bc2cSBlue Swirl         raise_exception_err(env, EXCP0B_NOSEG, selector & 0xfffc);
77520054ef0SBlue Swirl     }
7761110bfe6SPaolo Bonzini     if (e2 & DESC_C_MASK) {
7771110bfe6SPaolo Bonzini         dpl = cpl;
7781110bfe6SPaolo Bonzini     }
779e136648cSPaolo Bonzini     sa.mmu_index = x86_mmu_index_pl(env, dpl);
7801110bfe6SPaolo Bonzini     if (dpl < cpl) {
781eaa728eeSbellard         /* to inner privilege */
782059368bcSRichard Henderson         uint32_t esp;
783100ec099SPavel Dovgalyuk         get_ss_esp_from_tss(env, &ss, &esp, dpl, 0);
78420054ef0SBlue Swirl         if ((ss & 0xfffc) == 0) {
78577b2bc2cSBlue Swirl             raise_exception_err(env, EXCP0A_TSS, ss & 0xfffc);
78620054ef0SBlue Swirl         }
78720054ef0SBlue Swirl         if ((ss & 3) != dpl) {
78877b2bc2cSBlue Swirl             raise_exception_err(env, EXCP0A_TSS, ss & 0xfffc);
78920054ef0SBlue Swirl         }
7902999a0b2SBlue Swirl         if (load_segment(env, &ss_e1, &ss_e2, ss) != 0) {
79177b2bc2cSBlue Swirl             raise_exception_err(env, EXCP0A_TSS, ss & 0xfffc);
79220054ef0SBlue Swirl         }
793eaa728eeSbellard         ss_dpl = (ss_e2 >> DESC_DPL_SHIFT) & 3;
79420054ef0SBlue Swirl         if (ss_dpl != dpl) {
79577b2bc2cSBlue Swirl             raise_exception_err(env, EXCP0A_TSS, ss & 0xfffc);
79620054ef0SBlue Swirl         }
797eaa728eeSbellard         if (!(ss_e2 & DESC_S_MASK) ||
798eaa728eeSbellard             (ss_e2 & DESC_CS_MASK) ||
79920054ef0SBlue Swirl             !(ss_e2 & DESC_W_MASK)) {
80077b2bc2cSBlue Swirl             raise_exception_err(env, EXCP0A_TSS, ss & 0xfffc);
80120054ef0SBlue Swirl         }
80220054ef0SBlue Swirl         if (!(ss_e2 & DESC_P_MASK)) {
80377b2bc2cSBlue Swirl             raise_exception_err(env, EXCP0A_TSS, ss & 0xfffc);
80420054ef0SBlue Swirl         }
805eaa728eeSbellard         new_stack = 1;
806059368bcSRichard Henderson         sa.sp = esp;
807059368bcSRichard Henderson         sa.sp_mask = get_sp_mask(ss_e2);
808059368bcSRichard Henderson         sa.ss_base = get_seg_base(ss_e1, ss_e2);
8091110bfe6SPaolo Bonzini     } else  {
810eaa728eeSbellard         /* to same privilege */
81187446327SKevin O'Connor         if (vm86) {
81277b2bc2cSBlue Swirl             raise_exception_err(env, EXCP0D_GPF, selector & 0xfffc);
81320054ef0SBlue Swirl         }
814eaa728eeSbellard         new_stack = 0;
815059368bcSRichard Henderson         sa.sp = env->regs[R_ESP];
816059368bcSRichard Henderson         sa.sp_mask = get_sp_mask(env->segs[R_SS].flags);
817059368bcSRichard Henderson         sa.ss_base = env->segs[R_SS].base;
818eaa728eeSbellard     }
819eaa728eeSbellard 
820eaa728eeSbellard     shift = type >> 3;
821eaa728eeSbellard 
822eaa728eeSbellard #if 0
823eaa728eeSbellard     /* XXX: check that enough room is available */
824eaa728eeSbellard     push_size = 6 + (new_stack << 2) + (has_error_code << 1);
82587446327SKevin O'Connor     if (vm86) {
826eaa728eeSbellard         push_size += 8;
82720054ef0SBlue Swirl     }
828eaa728eeSbellard     push_size <<= shift;
829eaa728eeSbellard #endif
83069cb498cSPaolo Bonzini     eflags = cpu_compute_eflags(env);
83169cb498cSPaolo Bonzini     /*
83269cb498cSPaolo Bonzini      * AMD states that code breakpoint #DBs clear RF=0, Intel leaves it
83369cb498cSPaolo Bonzini      * as is.  AMD behavior could be implemented in check_hw_breakpoints().
83469cb498cSPaolo Bonzini      */
83569cb498cSPaolo Bonzini     if (set_rf) {
83669cb498cSPaolo Bonzini         eflags |= RF_MASK;
83769cb498cSPaolo Bonzini     }
83869cb498cSPaolo Bonzini 
839eaa728eeSbellard     if (shift == 1) {
840eaa728eeSbellard         if (new_stack) {
84187446327SKevin O'Connor             if (vm86) {
842059368bcSRichard Henderson                 pushl(&sa, env->segs[R_GS].selector);
843059368bcSRichard Henderson                 pushl(&sa, env->segs[R_FS].selector);
844059368bcSRichard Henderson                 pushl(&sa, env->segs[R_DS].selector);
845059368bcSRichard Henderson                 pushl(&sa, env->segs[R_ES].selector);
846eaa728eeSbellard             }
847059368bcSRichard Henderson             pushl(&sa, env->segs[R_SS].selector);
848059368bcSRichard Henderson             pushl(&sa, env->regs[R_ESP]);
849eaa728eeSbellard         }
850059368bcSRichard Henderson         pushl(&sa, eflags);
851059368bcSRichard Henderson         pushl(&sa, env->segs[R_CS].selector);
852059368bcSRichard Henderson         pushl(&sa, old_eip);
853eaa728eeSbellard         if (has_error_code) {
854059368bcSRichard Henderson             pushl(&sa, error_code);
855eaa728eeSbellard         }
856eaa728eeSbellard     } else {
857eaa728eeSbellard         if (new_stack) {
85887446327SKevin O'Connor             if (vm86) {
859059368bcSRichard Henderson                 pushw(&sa, env->segs[R_GS].selector);
860059368bcSRichard Henderson                 pushw(&sa, env->segs[R_FS].selector);
861059368bcSRichard Henderson                 pushw(&sa, env->segs[R_DS].selector);
862059368bcSRichard Henderson                 pushw(&sa, env->segs[R_ES].selector);
863eaa728eeSbellard             }
864059368bcSRichard Henderson             pushw(&sa, env->segs[R_SS].selector);
865059368bcSRichard Henderson             pushw(&sa, env->regs[R_ESP]);
866eaa728eeSbellard         }
867059368bcSRichard Henderson         pushw(&sa, eflags);
868059368bcSRichard Henderson         pushw(&sa, env->segs[R_CS].selector);
869059368bcSRichard Henderson         pushw(&sa, old_eip);
870eaa728eeSbellard         if (has_error_code) {
871059368bcSRichard Henderson             pushw(&sa, error_code);
872eaa728eeSbellard         }
873eaa728eeSbellard     }
874eaa728eeSbellard 
875fd460606SKevin O'Connor     /* interrupt gate clear IF mask */
876fd460606SKevin O'Connor     if ((type & 1) == 0) {
877fd460606SKevin O'Connor         env->eflags &= ~IF_MASK;
878fd460606SKevin O'Connor     }
879fd460606SKevin O'Connor     env->eflags &= ~(TF_MASK | VM_MASK | RF_MASK | NT_MASK);
880fd460606SKevin O'Connor 
881eaa728eeSbellard     if (new_stack) {
88287446327SKevin O'Connor         if (vm86) {
883eaa728eeSbellard             cpu_x86_load_seg_cache(env, R_ES, 0, 0, 0, 0);
884eaa728eeSbellard             cpu_x86_load_seg_cache(env, R_DS, 0, 0, 0, 0);
885eaa728eeSbellard             cpu_x86_load_seg_cache(env, R_FS, 0, 0, 0, 0);
886eaa728eeSbellard             cpu_x86_load_seg_cache(env, R_GS, 0, 0, 0, 0);
887eaa728eeSbellard         }
888eaa728eeSbellard         ss = (ss & ~3) | dpl;
889059368bcSRichard Henderson         cpu_x86_load_seg_cache(env, R_SS, ss, sa.ss_base,
890059368bcSRichard Henderson                                get_seg_limit(ss_e1, ss_e2), ss_e2);
891eaa728eeSbellard     }
892059368bcSRichard Henderson     SET_ESP(sa.sp, sa.sp_mask);
893eaa728eeSbellard 
894eaa728eeSbellard     selector = (selector & ~3) | dpl;
895eaa728eeSbellard     cpu_x86_load_seg_cache(env, R_CS, selector,
896eaa728eeSbellard                    get_seg_base(e1, e2),
897eaa728eeSbellard                    get_seg_limit(e1, e2),
898eaa728eeSbellard                    e2);
899eaa728eeSbellard     env->eip = offset;
900eaa728eeSbellard }
901eaa728eeSbellard 
902eaa728eeSbellard #ifdef TARGET_X86_64
903eaa728eeSbellard 
pushq(StackAccess * sa,uint64_t val)904059368bcSRichard Henderson static void pushq(StackAccess *sa, uint64_t val)
905059368bcSRichard Henderson {
906059368bcSRichard Henderson     sa->sp -= 8;
9078053862aSPaolo Bonzini     cpu_stq_mmuidx_ra(sa->env, sa->sp, val, sa->mmu_index, sa->ra);
908eaa728eeSbellard }
909eaa728eeSbellard 
popq(StackAccess * sa)910059368bcSRichard Henderson static uint64_t popq(StackAccess *sa)
911059368bcSRichard Henderson {
9128053862aSPaolo Bonzini     uint64_t ret = cpu_ldq_mmuidx_ra(sa->env, sa->sp, sa->mmu_index, sa->ra);
913059368bcSRichard Henderson     sa->sp += 8;
914059368bcSRichard Henderson     return ret;
915eaa728eeSbellard }
916eaa728eeSbellard 
get_rsp_from_tss(CPUX86State * env,int level)9172999a0b2SBlue Swirl static inline target_ulong get_rsp_from_tss(CPUX86State *env, int level)
918eaa728eeSbellard {
9196aa9e42fSRichard Henderson     X86CPU *cpu = env_archcpu(env);
92050fcc7cbSGareth Webb     int index, pg_mode;
92150fcc7cbSGareth Webb     target_ulong rsp;
92250fcc7cbSGareth Webb     int32_t sext;
923eaa728eeSbellard 
924eaa728eeSbellard #if 0
925eaa728eeSbellard     printf("TR: base=" TARGET_FMT_lx " limit=%x\n",
926eaa728eeSbellard            env->tr.base, env->tr.limit);
927eaa728eeSbellard #endif
928eaa728eeSbellard 
92920054ef0SBlue Swirl     if (!(env->tr.flags & DESC_P_MASK)) {
930a47dddd7SAndreas Färber         cpu_abort(CPU(cpu), "invalid tss");
93120054ef0SBlue Swirl     }
932eaa728eeSbellard     index = 8 * level + 4;
93320054ef0SBlue Swirl     if ((index + 7) > env->tr.limit) {
93477b2bc2cSBlue Swirl         raise_exception_err(env, EXCP0A_TSS, env->tr.selector & 0xfffc);
93520054ef0SBlue Swirl     }
93650fcc7cbSGareth Webb 
93750fcc7cbSGareth Webb     rsp = cpu_ldq_kernel(env, env->tr.base + index);
93850fcc7cbSGareth Webb 
93950fcc7cbSGareth Webb     /* test virtual address sign extension */
94050fcc7cbSGareth Webb     pg_mode = get_pg_mode(env);
94150fcc7cbSGareth Webb     sext = (int64_t)rsp >> (pg_mode & PG_MODE_LA57 ? 56 : 47);
94250fcc7cbSGareth Webb     if (sext != 0 && sext != -1) {
94350fcc7cbSGareth Webb         raise_exception_err(env, EXCP0C_STACK, 0);
94450fcc7cbSGareth Webb     }
94550fcc7cbSGareth Webb 
94650fcc7cbSGareth Webb     return rsp;
947eaa728eeSbellard }
948eaa728eeSbellard 
949eaa728eeSbellard /* 64 bit interrupt */
do_interrupt64(CPUX86State * env,int intno,int is_int,int error_code,target_ulong next_eip,int is_hw)9502999a0b2SBlue Swirl static void do_interrupt64(CPUX86State *env, int intno, int is_int,
9512999a0b2SBlue Swirl                            int error_code, target_ulong next_eip, int is_hw)
952eaa728eeSbellard {
953eaa728eeSbellard     SegmentCache *dt;
954eaa728eeSbellard     target_ulong ptr;
955eaa728eeSbellard     int type, dpl, selector, cpl, ist;
956eaa728eeSbellard     int has_error_code, new_stack;
957bde8adb8SPeter Maydell     uint32_t e1, e2, e3, eflags;
958059368bcSRichard Henderson     target_ulong old_eip, offset;
95969cb498cSPaolo Bonzini     bool set_rf;
960059368bcSRichard Henderson     StackAccess sa;
961eaa728eeSbellard 
962eaa728eeSbellard     has_error_code = 0;
96320054ef0SBlue Swirl     if (!is_int && !is_hw) {
96420054ef0SBlue Swirl         has_error_code = exception_has_error_code(intno);
96520054ef0SBlue Swirl     }
96620054ef0SBlue Swirl     if (is_int) {
967eaa728eeSbellard         old_eip = next_eip;
96869cb498cSPaolo Bonzini         set_rf = false;
96920054ef0SBlue Swirl     } else {
970eaa728eeSbellard         old_eip = env->eip;
97169cb498cSPaolo Bonzini         set_rf = exception_is_fault(intno);
97220054ef0SBlue Swirl     }
973eaa728eeSbellard 
974eaa728eeSbellard     dt = &env->idt;
97520054ef0SBlue Swirl     if (intno * 16 + 15 > dt->limit) {
976b585edcaSJoe Richey         raise_exception_err(env, EXCP0D_GPF, intno * 8 + 2);
97720054ef0SBlue Swirl     }
978eaa728eeSbellard     ptr = dt->base + intno * 16;
979329e607dSBlue Swirl     e1 = cpu_ldl_kernel(env, ptr);
980329e607dSBlue Swirl     e2 = cpu_ldl_kernel(env, ptr + 4);
981329e607dSBlue Swirl     e3 = cpu_ldl_kernel(env, ptr + 8);
982eaa728eeSbellard     /* check gate type */
983eaa728eeSbellard     type = (e2 >> DESC_TYPE_SHIFT) & 0x1f;
984eaa728eeSbellard     switch (type) {
985eaa728eeSbellard     case 14: /* 386 interrupt gate */
986eaa728eeSbellard     case 15: /* 386 trap gate */
987eaa728eeSbellard         break;
988eaa728eeSbellard     default:
989b585edcaSJoe Richey         raise_exception_err(env, EXCP0D_GPF, intno * 8 + 2);
990eaa728eeSbellard         break;
991eaa728eeSbellard     }
992eaa728eeSbellard     dpl = (e2 >> DESC_DPL_SHIFT) & 3;
993eaa728eeSbellard     cpl = env->hflags & HF_CPL_MASK;
9941235fc06Sths     /* check privilege if software int */
99520054ef0SBlue Swirl     if (is_int && dpl < cpl) {
996b585edcaSJoe Richey         raise_exception_err(env, EXCP0D_GPF, intno * 8 + 2);
99720054ef0SBlue Swirl     }
998eaa728eeSbellard     /* check valid bit */
99920054ef0SBlue Swirl     if (!(e2 & DESC_P_MASK)) {
1000b585edcaSJoe Richey         raise_exception_err(env, EXCP0B_NOSEG, intno * 8 + 2);
100120054ef0SBlue Swirl     }
1002eaa728eeSbellard     selector = e1 >> 16;
1003eaa728eeSbellard     offset = ((target_ulong)e3 << 32) | (e2 & 0xffff0000) | (e1 & 0x0000ffff);
1004eaa728eeSbellard     ist = e2 & 7;
100520054ef0SBlue Swirl     if ((selector & 0xfffc) == 0) {
100677b2bc2cSBlue Swirl         raise_exception_err(env, EXCP0D_GPF, 0);
100720054ef0SBlue Swirl     }
1008eaa728eeSbellard 
10092999a0b2SBlue Swirl     if (load_segment(env, &e1, &e2, selector) != 0) {
101077b2bc2cSBlue Swirl         raise_exception_err(env, EXCP0D_GPF, selector & 0xfffc);
101120054ef0SBlue Swirl     }
101220054ef0SBlue Swirl     if (!(e2 & DESC_S_MASK) || !(e2 & (DESC_CS_MASK))) {
101377b2bc2cSBlue Swirl         raise_exception_err(env, EXCP0D_GPF, selector & 0xfffc);
101420054ef0SBlue Swirl     }
1015eaa728eeSbellard     dpl = (e2 >> DESC_DPL_SHIFT) & 3;
101620054ef0SBlue Swirl     if (dpl > cpl) {
101777b2bc2cSBlue Swirl         raise_exception_err(env, EXCP0D_GPF, selector & 0xfffc);
101820054ef0SBlue Swirl     }
101920054ef0SBlue Swirl     if (!(e2 & DESC_P_MASK)) {
102077b2bc2cSBlue Swirl         raise_exception_err(env, EXCP0B_NOSEG, selector & 0xfffc);
102120054ef0SBlue Swirl     }
102220054ef0SBlue Swirl     if (!(e2 & DESC_L_MASK) || (e2 & DESC_B_MASK)) {
102377b2bc2cSBlue Swirl         raise_exception_err(env, EXCP0D_GPF, selector & 0xfffc);
102420054ef0SBlue Swirl     }
10251110bfe6SPaolo Bonzini     if (e2 & DESC_C_MASK) {
10261110bfe6SPaolo Bonzini         dpl = cpl;
10271110bfe6SPaolo Bonzini     }
1028059368bcSRichard Henderson 
1029059368bcSRichard Henderson     sa.env = env;
1030059368bcSRichard Henderson     sa.ra = 0;
1031e136648cSPaolo Bonzini     sa.mmu_index = x86_mmu_index_pl(env, dpl);
1032059368bcSRichard Henderson     sa.sp_mask = -1;
1033059368bcSRichard Henderson     sa.ss_base = 0;
10341110bfe6SPaolo Bonzini     if (dpl < cpl || ist != 0) {
1035eaa728eeSbellard         /* to inner privilege */
1036eaa728eeSbellard         new_stack = 1;
1037059368bcSRichard Henderson         sa.sp = get_rsp_from_tss(env, ist != 0 ? ist + 3 : dpl);
10381110bfe6SPaolo Bonzini     } else {
1039eaa728eeSbellard         /* to same privilege */
104020054ef0SBlue Swirl         if (env->eflags & VM_MASK) {
104177b2bc2cSBlue Swirl             raise_exception_err(env, EXCP0D_GPF, selector & 0xfffc);
104220054ef0SBlue Swirl         }
1043eaa728eeSbellard         new_stack = 0;
1044059368bcSRichard Henderson         sa.sp = env->regs[R_ESP];
1045e95e9b88SWu Xiang     }
1046059368bcSRichard Henderson     sa.sp &= ~0xfLL; /* align stack */
1047eaa728eeSbellard 
104869cb498cSPaolo Bonzini     /* See do_interrupt_protected.  */
104969cb498cSPaolo Bonzini     eflags = cpu_compute_eflags(env);
105069cb498cSPaolo Bonzini     if (set_rf) {
105169cb498cSPaolo Bonzini         eflags |= RF_MASK;
105269cb498cSPaolo Bonzini     }
105369cb498cSPaolo Bonzini 
1054059368bcSRichard Henderson     pushq(&sa, env->segs[R_SS].selector);
1055059368bcSRichard Henderson     pushq(&sa, env->regs[R_ESP]);
1056059368bcSRichard Henderson     pushq(&sa, eflags);
1057059368bcSRichard Henderson     pushq(&sa, env->segs[R_CS].selector);
1058059368bcSRichard Henderson     pushq(&sa, old_eip);
1059eaa728eeSbellard     if (has_error_code) {
1060059368bcSRichard Henderson         pushq(&sa, error_code);
1061eaa728eeSbellard     }
1062eaa728eeSbellard 
1063fd460606SKevin O'Connor     /* interrupt gate clear IF mask */
1064fd460606SKevin O'Connor     if ((type & 1) == 0) {
1065fd460606SKevin O'Connor         env->eflags &= ~IF_MASK;
1066fd460606SKevin O'Connor     }
1067fd460606SKevin O'Connor     env->eflags &= ~(TF_MASK | VM_MASK | RF_MASK | NT_MASK);
1068fd460606SKevin O'Connor 
1069eaa728eeSbellard     if (new_stack) {
1070bde8adb8SPeter Maydell         uint32_t ss = 0 | dpl; /* SS = NULL selector with RPL = new CPL */
1071e95e9b88SWu Xiang         cpu_x86_load_seg_cache(env, R_SS, ss, 0, 0, dpl << DESC_DPL_SHIFT);
1072eaa728eeSbellard     }
1073059368bcSRichard Henderson     env->regs[R_ESP] = sa.sp;
1074eaa728eeSbellard 
1075eaa728eeSbellard     selector = (selector & ~3) | dpl;
1076eaa728eeSbellard     cpu_x86_load_seg_cache(env, R_CS, selector,
1077eaa728eeSbellard                    get_seg_base(e1, e2),
1078eaa728eeSbellard                    get_seg_limit(e1, e2),
1079eaa728eeSbellard                    e2);
1080eaa728eeSbellard     env->eip = offset;
1081eaa728eeSbellard }
108263fd8ef0SPaolo Bonzini #endif /* TARGET_X86_64 */
1083eaa728eeSbellard 
helper_sysret(CPUX86State * env,int dflag)10842999a0b2SBlue Swirl void helper_sysret(CPUX86State *env, int dflag)
1085eaa728eeSbellard {
1086eaa728eeSbellard     int cpl, selector;
1087eaa728eeSbellard 
1088eaa728eeSbellard     if (!(env->efer & MSR_EFER_SCE)) {
1089100ec099SPavel Dovgalyuk         raise_exception_err_ra(env, EXCP06_ILLOP, 0, GETPC());
1090eaa728eeSbellard     }
1091eaa728eeSbellard     cpl = env->hflags & HF_CPL_MASK;
1092eaa728eeSbellard     if (!(env->cr[0] & CR0_PE_MASK) || cpl != 0) {
1093100ec099SPavel Dovgalyuk         raise_exception_err_ra(env, EXCP0D_GPF, 0, GETPC());
1094eaa728eeSbellard     }
1095eaa728eeSbellard     selector = (env->star >> 48) & 0xffff;
109663fd8ef0SPaolo Bonzini #ifdef TARGET_X86_64
1097eaa728eeSbellard     if (env->hflags & HF_LMA_MASK) {
1098fd460606SKevin O'Connor         cpu_load_eflags(env, (uint32_t)(env->regs[11]), TF_MASK | AC_MASK
1099fd460606SKevin O'Connor                         | ID_MASK | IF_MASK | IOPL_MASK | VM_MASK | RF_MASK |
1100fd460606SKevin O'Connor                         NT_MASK);
1101eaa728eeSbellard         if (dflag == 2) {
1102eaa728eeSbellard             cpu_x86_load_seg_cache(env, R_CS, (selector + 16) | 3,
1103eaa728eeSbellard                                    0, 0xffffffff,
1104eaa728eeSbellard                                    DESC_G_MASK | DESC_P_MASK |
1105eaa728eeSbellard                                    DESC_S_MASK | (3 << DESC_DPL_SHIFT) |
1106eaa728eeSbellard                                    DESC_CS_MASK | DESC_R_MASK | DESC_A_MASK |
1107eaa728eeSbellard                                    DESC_L_MASK);
1108a4165610Sliguang             env->eip = env->regs[R_ECX];
1109eaa728eeSbellard         } else {
1110eaa728eeSbellard             cpu_x86_load_seg_cache(env, R_CS, selector | 3,
1111eaa728eeSbellard                                    0, 0xffffffff,
1112eaa728eeSbellard                                    DESC_G_MASK | DESC_B_MASK | DESC_P_MASK |
1113eaa728eeSbellard                                    DESC_S_MASK | (3 << DESC_DPL_SHIFT) |
1114eaa728eeSbellard                                    DESC_CS_MASK | DESC_R_MASK | DESC_A_MASK);
1115a4165610Sliguang             env->eip = (uint32_t)env->regs[R_ECX];
1116eaa728eeSbellard         }
1117ac576229SBill Paul         cpu_x86_load_seg_cache(env, R_SS, (selector + 8) | 3,
1118eaa728eeSbellard                                0, 0xffffffff,
1119eaa728eeSbellard                                DESC_G_MASK | DESC_B_MASK | DESC_P_MASK |
1120eaa728eeSbellard                                DESC_S_MASK | (3 << DESC_DPL_SHIFT) |
1121eaa728eeSbellard                                DESC_W_MASK | DESC_A_MASK);
112263fd8ef0SPaolo Bonzini     } else
112363fd8ef0SPaolo Bonzini #endif
112463fd8ef0SPaolo Bonzini     {
1125fd460606SKevin O'Connor         env->eflags |= IF_MASK;
1126eaa728eeSbellard         cpu_x86_load_seg_cache(env, R_CS, selector | 3,
1127eaa728eeSbellard                                0, 0xffffffff,
1128eaa728eeSbellard                                DESC_G_MASK | DESC_B_MASK | DESC_P_MASK |
1129eaa728eeSbellard                                DESC_S_MASK | (3 << DESC_DPL_SHIFT) |
1130eaa728eeSbellard                                DESC_CS_MASK | DESC_R_MASK | DESC_A_MASK);
1131a4165610Sliguang         env->eip = (uint32_t)env->regs[R_ECX];
1132ac576229SBill Paul         cpu_x86_load_seg_cache(env, R_SS, (selector + 8) | 3,
1133eaa728eeSbellard                                0, 0xffffffff,
1134eaa728eeSbellard                                DESC_G_MASK | DESC_B_MASK | DESC_P_MASK |
1135eaa728eeSbellard                                DESC_S_MASK | (3 << DESC_DPL_SHIFT) |
1136eaa728eeSbellard                                DESC_W_MASK | DESC_A_MASK);
1137eaa728eeSbellard     }
1138eaa728eeSbellard }
1139eaa728eeSbellard 
1140eaa728eeSbellard /* real mode interrupt */
do_interrupt_real(CPUX86State * env,int intno,int is_int,int error_code,unsigned int next_eip)11412999a0b2SBlue Swirl static void do_interrupt_real(CPUX86State *env, int intno, int is_int,
11422999a0b2SBlue Swirl                               int error_code, unsigned int next_eip)
1143eaa728eeSbellard {
1144eaa728eeSbellard     SegmentCache *dt;
1145059368bcSRichard Henderson     target_ulong ptr;
1146eaa728eeSbellard     int selector;
1147059368bcSRichard Henderson     uint32_t offset;
1148eaa728eeSbellard     uint32_t old_cs, old_eip;
1149059368bcSRichard Henderson     StackAccess sa;
1150eaa728eeSbellard 
1151eaa728eeSbellard     /* real mode (simpler!) */
1152eaa728eeSbellard     dt = &env->idt;
115320054ef0SBlue Swirl     if (intno * 4 + 3 > dt->limit) {
115477b2bc2cSBlue Swirl         raise_exception_err(env, EXCP0D_GPF, intno * 8 + 2);
115520054ef0SBlue Swirl     }
1156eaa728eeSbellard     ptr = dt->base + intno * 4;
1157329e607dSBlue Swirl     offset = cpu_lduw_kernel(env, ptr);
1158329e607dSBlue Swirl     selector = cpu_lduw_kernel(env, ptr + 2);
1159059368bcSRichard Henderson 
1160059368bcSRichard Henderson     sa.env = env;
1161059368bcSRichard Henderson     sa.ra = 0;
1162059368bcSRichard Henderson     sa.sp = env->regs[R_ESP];
1163059368bcSRichard Henderson     sa.sp_mask = 0xffff;
1164059368bcSRichard Henderson     sa.ss_base = env->segs[R_SS].base;
1165e136648cSPaolo Bonzini     sa.mmu_index = x86_mmu_index_pl(env, 0);
1166059368bcSRichard Henderson 
116720054ef0SBlue Swirl     if (is_int) {
1168eaa728eeSbellard         old_eip = next_eip;
116920054ef0SBlue Swirl     } else {
1170eaa728eeSbellard         old_eip = env->eip;
117120054ef0SBlue Swirl     }
1172eaa728eeSbellard     old_cs = env->segs[R_CS].selector;
1173eaa728eeSbellard     /* XXX: use SS segment size? */
1174059368bcSRichard Henderson     pushw(&sa, cpu_compute_eflags(env));
1175059368bcSRichard Henderson     pushw(&sa, old_cs);
1176059368bcSRichard Henderson     pushw(&sa, old_eip);
1177eaa728eeSbellard 
1178eaa728eeSbellard     /* update processor state */
1179059368bcSRichard Henderson     SET_ESP(sa.sp, sa.sp_mask);
1180eaa728eeSbellard     env->eip = offset;
1181eaa728eeSbellard     env->segs[R_CS].selector = selector;
1182eaa728eeSbellard     env->segs[R_CS].base = (selector << 4);
1183eaa728eeSbellard     env->eflags &= ~(IF_MASK | TF_MASK | AC_MASK | RF_MASK);
1184eaa728eeSbellard }
1185eaa728eeSbellard 
1186eaa728eeSbellard /*
1187eaa728eeSbellard  * Begin execution of an interruption. is_int is TRUE if coming from
1188a78d0eabSliguang  * the int instruction. next_eip is the env->eip value AFTER the interrupt
1189eaa728eeSbellard  * instruction. It is only relevant if is_int is TRUE.
1190eaa728eeSbellard  */
do_interrupt_all(X86CPU * cpu,int intno,int is_int,int error_code,target_ulong next_eip,int is_hw)119130493a03SClaudio Fontana void do_interrupt_all(X86CPU *cpu, int intno, int is_int,
11922999a0b2SBlue Swirl                       int error_code, target_ulong next_eip, int is_hw)
1193eaa728eeSbellard {
1194ca4c810aSAndreas Färber     CPUX86State *env = &cpu->env;
1195ca4c810aSAndreas Färber 
11968fec2b8cSaliguori     if (qemu_loglevel_mask(CPU_LOG_INT)) {
1197eaa728eeSbellard         if ((env->cr[0] & CR0_PE_MASK)) {
1198eaa728eeSbellard             static int count;
119920054ef0SBlue Swirl 
120020054ef0SBlue Swirl             qemu_log("%6d: v=%02x e=%04x i=%d cpl=%d IP=%04x:" TARGET_FMT_lx
120120054ef0SBlue Swirl                      " pc=" TARGET_FMT_lx " SP=%04x:" TARGET_FMT_lx,
1202eaa728eeSbellard                      count, intno, error_code, is_int,
1203eaa728eeSbellard                      env->hflags & HF_CPL_MASK,
1204a78d0eabSliguang                      env->segs[R_CS].selector, env->eip,
1205a78d0eabSliguang                      (int)env->segs[R_CS].base + env->eip,
120608b3ded6Sliguang                      env->segs[R_SS].selector, env->regs[R_ESP]);
1207eaa728eeSbellard             if (intno == 0x0e) {
120893fcfe39Saliguori                 qemu_log(" CR2=" TARGET_FMT_lx, env->cr[2]);
1209eaa728eeSbellard             } else {
12104b34e3adSliguang                 qemu_log(" env->regs[R_EAX]=" TARGET_FMT_lx, env->regs[R_EAX]);
1211eaa728eeSbellard             }
121293fcfe39Saliguori             qemu_log("\n");
1213a0762859SAndreas Färber             log_cpu_state(CPU(cpu), CPU_DUMP_CCOP);
1214eaa728eeSbellard #if 0
1215eaa728eeSbellard             {
1216eaa728eeSbellard                 int i;
12179bd5494eSAdam Lackorzynski                 target_ulong ptr;
121820054ef0SBlue Swirl 
121993fcfe39Saliguori                 qemu_log("       code=");
1220eaa728eeSbellard                 ptr = env->segs[R_CS].base + env->eip;
1221eaa728eeSbellard                 for (i = 0; i < 16; i++) {
122293fcfe39Saliguori                     qemu_log(" %02x", ldub(ptr + i));
1223eaa728eeSbellard                 }
122493fcfe39Saliguori                 qemu_log("\n");
1225eaa728eeSbellard             }
1226eaa728eeSbellard #endif
1227eaa728eeSbellard             count++;
1228eaa728eeSbellard         }
1229eaa728eeSbellard     }
1230eaa728eeSbellard     if (env->cr[0] & CR0_PE_MASK) {
123100ea18d1Saliguori #if !defined(CONFIG_USER_ONLY)
1232f8dc4c64SPaolo Bonzini         if (env->hflags & HF_GUEST_MASK) {
12332999a0b2SBlue Swirl             handle_even_inj(env, intno, is_int, error_code, is_hw, 0);
123420054ef0SBlue Swirl         }
123500ea18d1Saliguori #endif
1236eb38c52cSblueswir1 #ifdef TARGET_X86_64
1237eaa728eeSbellard         if (env->hflags & HF_LMA_MASK) {
12382999a0b2SBlue Swirl             do_interrupt64(env, intno, is_int, error_code, next_eip, is_hw);
1239eaa728eeSbellard         } else
1240eaa728eeSbellard #endif
1241eaa728eeSbellard         {
12422999a0b2SBlue Swirl             do_interrupt_protected(env, intno, is_int, error_code, next_eip,
12432999a0b2SBlue Swirl                                    is_hw);
1244eaa728eeSbellard         }
1245eaa728eeSbellard     } else {
124600ea18d1Saliguori #if !defined(CONFIG_USER_ONLY)
1247f8dc4c64SPaolo Bonzini         if (env->hflags & HF_GUEST_MASK) {
12482999a0b2SBlue Swirl             handle_even_inj(env, intno, is_int, error_code, is_hw, 1);
124920054ef0SBlue Swirl         }
125000ea18d1Saliguori #endif
12512999a0b2SBlue Swirl         do_interrupt_real(env, intno, is_int, error_code, next_eip);
1252eaa728eeSbellard     }
12532ed51f5bSaliguori 
125400ea18d1Saliguori #if !defined(CONFIG_USER_ONLY)
1255f8dc4c64SPaolo Bonzini     if (env->hflags & HF_GUEST_MASK) {
1256fdfba1a2SEdgar E. Iglesias         CPUState *cs = CPU(cpu);
1257b216aa6cSPaolo Bonzini         uint32_t event_inj = x86_ldl_phys(cs, env->vm_vmcb +
125820054ef0SBlue Swirl                                       offsetof(struct vmcb,
125920054ef0SBlue Swirl                                                control.event_inj));
126020054ef0SBlue Swirl 
1261b216aa6cSPaolo Bonzini         x86_stl_phys(cs,
1262ab1da857SEdgar E. Iglesias                  env->vm_vmcb + offsetof(struct vmcb, control.event_inj),
126320054ef0SBlue Swirl                  event_inj & ~SVM_EVTINJ_VALID);
12642ed51f5bSaliguori     }
126500ea18d1Saliguori #endif
1266eaa728eeSbellard }
1267eaa728eeSbellard 
do_interrupt_x86_hardirq(CPUX86State * env,int intno,int is_hw)12682999a0b2SBlue Swirl void do_interrupt_x86_hardirq(CPUX86State *env, int intno, int is_hw)
1269e694d4e2SBlue Swirl {
12706aa9e42fSRichard Henderson     do_interrupt_all(env_archcpu(env), intno, 0, 0, 0, is_hw);
1271e694d4e2SBlue Swirl }
1272e694d4e2SBlue Swirl 
helper_lldt(CPUX86State * env,int selector)12732999a0b2SBlue Swirl void helper_lldt(CPUX86State *env, int selector)
1274eaa728eeSbellard {
1275eaa728eeSbellard     SegmentCache *dt;
1276eaa728eeSbellard     uint32_t e1, e2;
1277eaa728eeSbellard     int index, entry_limit;
1278eaa728eeSbellard     target_ulong ptr;
1279eaa728eeSbellard 
1280eaa728eeSbellard     selector &= 0xffff;
1281eaa728eeSbellard     if ((selector & 0xfffc) == 0) {
1282eaa728eeSbellard         /* XXX: NULL selector case: invalid LDT */
1283eaa728eeSbellard         env->ldt.base = 0;
1284eaa728eeSbellard         env->ldt.limit = 0;
1285eaa728eeSbellard     } else {
128620054ef0SBlue Swirl         if (selector & 0x4) {
1287100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC());
128820054ef0SBlue Swirl         }
1289eaa728eeSbellard         dt = &env->gdt;
1290eaa728eeSbellard         index = selector & ~7;
1291eaa728eeSbellard #ifdef TARGET_X86_64
129220054ef0SBlue Swirl         if (env->hflags & HF_LMA_MASK) {
1293eaa728eeSbellard             entry_limit = 15;
129420054ef0SBlue Swirl         } else
1295eaa728eeSbellard #endif
129620054ef0SBlue Swirl         {
1297eaa728eeSbellard             entry_limit = 7;
129820054ef0SBlue Swirl         }
129920054ef0SBlue Swirl         if ((index + entry_limit) > dt->limit) {
1300100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC());
130120054ef0SBlue Swirl         }
1302eaa728eeSbellard         ptr = dt->base + index;
1303100ec099SPavel Dovgalyuk         e1 = cpu_ldl_kernel_ra(env, ptr, GETPC());
1304100ec099SPavel Dovgalyuk         e2 = cpu_ldl_kernel_ra(env, ptr + 4, GETPC());
130520054ef0SBlue Swirl         if ((e2 & DESC_S_MASK) || ((e2 >> DESC_TYPE_SHIFT) & 0xf) != 2) {
1306100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC());
130720054ef0SBlue Swirl         }
130820054ef0SBlue Swirl         if (!(e2 & DESC_P_MASK)) {
1309100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0B_NOSEG, selector & 0xfffc, GETPC());
131020054ef0SBlue Swirl         }
1311eaa728eeSbellard #ifdef TARGET_X86_64
1312eaa728eeSbellard         if (env->hflags & HF_LMA_MASK) {
1313eaa728eeSbellard             uint32_t e3;
131420054ef0SBlue Swirl 
1315100ec099SPavel Dovgalyuk             e3 = cpu_ldl_kernel_ra(env, ptr + 8, GETPC());
1316eaa728eeSbellard             load_seg_cache_raw_dt(&env->ldt, e1, e2);
1317eaa728eeSbellard             env->ldt.base |= (target_ulong)e3 << 32;
1318eaa728eeSbellard         } else
1319eaa728eeSbellard #endif
1320eaa728eeSbellard         {
1321eaa728eeSbellard             load_seg_cache_raw_dt(&env->ldt, e1, e2);
1322eaa728eeSbellard         }
1323eaa728eeSbellard     }
1324eaa728eeSbellard     env->ldt.selector = selector;
1325eaa728eeSbellard }
1326eaa728eeSbellard 
helper_ltr(CPUX86State * env,int selector)13272999a0b2SBlue Swirl void helper_ltr(CPUX86State *env, int selector)
1328eaa728eeSbellard {
1329eaa728eeSbellard     SegmentCache *dt;
1330eaa728eeSbellard     uint32_t e1, e2;
1331eaa728eeSbellard     int index, type, entry_limit;
1332eaa728eeSbellard     target_ulong ptr;
1333eaa728eeSbellard 
1334eaa728eeSbellard     selector &= 0xffff;
1335eaa728eeSbellard     if ((selector & 0xfffc) == 0) {
1336eaa728eeSbellard         /* NULL selector case: invalid TR */
1337eaa728eeSbellard         env->tr.base = 0;
1338eaa728eeSbellard         env->tr.limit = 0;
1339eaa728eeSbellard         env->tr.flags = 0;
1340eaa728eeSbellard     } else {
134120054ef0SBlue Swirl         if (selector & 0x4) {
1342100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC());
134320054ef0SBlue Swirl         }
1344eaa728eeSbellard         dt = &env->gdt;
1345eaa728eeSbellard         index = selector & ~7;
1346eaa728eeSbellard #ifdef TARGET_X86_64
134720054ef0SBlue Swirl         if (env->hflags & HF_LMA_MASK) {
1348eaa728eeSbellard             entry_limit = 15;
134920054ef0SBlue Swirl         } else
1350eaa728eeSbellard #endif
135120054ef0SBlue Swirl         {
1352eaa728eeSbellard             entry_limit = 7;
135320054ef0SBlue Swirl         }
135420054ef0SBlue Swirl         if ((index + entry_limit) > dt->limit) {
1355100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC());
135620054ef0SBlue Swirl         }
1357eaa728eeSbellard         ptr = dt->base + index;
1358100ec099SPavel Dovgalyuk         e1 = cpu_ldl_kernel_ra(env, ptr, GETPC());
1359100ec099SPavel Dovgalyuk         e2 = cpu_ldl_kernel_ra(env, ptr + 4, GETPC());
1360eaa728eeSbellard         type = (e2 >> DESC_TYPE_SHIFT) & 0xf;
1361eaa728eeSbellard         if ((e2 & DESC_S_MASK) ||
136220054ef0SBlue Swirl             (type != 1 && type != 9)) {
1363100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC());
136420054ef0SBlue Swirl         }
136520054ef0SBlue Swirl         if (!(e2 & DESC_P_MASK)) {
1366100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0B_NOSEG, selector & 0xfffc, GETPC());
136720054ef0SBlue Swirl         }
1368eaa728eeSbellard #ifdef TARGET_X86_64
1369eaa728eeSbellard         if (env->hflags & HF_LMA_MASK) {
1370eaa728eeSbellard             uint32_t e3, e4;
137120054ef0SBlue Swirl 
1372100ec099SPavel Dovgalyuk             e3 = cpu_ldl_kernel_ra(env, ptr + 8, GETPC());
1373100ec099SPavel Dovgalyuk             e4 = cpu_ldl_kernel_ra(env, ptr + 12, GETPC());
137420054ef0SBlue Swirl             if ((e4 >> DESC_TYPE_SHIFT) & 0xf) {
1375100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC());
137620054ef0SBlue Swirl             }
1377eaa728eeSbellard             load_seg_cache_raw_dt(&env->tr, e1, e2);
1378eaa728eeSbellard             env->tr.base |= (target_ulong)e3 << 32;
1379eaa728eeSbellard         } else
1380eaa728eeSbellard #endif
1381eaa728eeSbellard         {
1382eaa728eeSbellard             load_seg_cache_raw_dt(&env->tr, e1, e2);
1383eaa728eeSbellard         }
1384eaa728eeSbellard         e2 |= DESC_TSS_BUSY_MASK;
1385100ec099SPavel Dovgalyuk         cpu_stl_kernel_ra(env, ptr + 4, e2, GETPC());
1386eaa728eeSbellard     }
1387eaa728eeSbellard     env->tr.selector = selector;
1388eaa728eeSbellard }
1389eaa728eeSbellard 
1390eaa728eeSbellard /* only works if protected mode and not VM86. seg_reg must be != R_CS */
helper_load_seg(CPUX86State * env,int seg_reg,int selector)13912999a0b2SBlue Swirl void helper_load_seg(CPUX86State *env, int seg_reg, int selector)
1392eaa728eeSbellard {
1393eaa728eeSbellard     uint32_t e1, e2;
1394eaa728eeSbellard     int cpl, dpl, rpl;
1395eaa728eeSbellard     SegmentCache *dt;
1396eaa728eeSbellard     int index;
1397eaa728eeSbellard     target_ulong ptr;
1398eaa728eeSbellard 
1399eaa728eeSbellard     selector &= 0xffff;
1400eaa728eeSbellard     cpl = env->hflags & HF_CPL_MASK;
1401eaa728eeSbellard     if ((selector & 0xfffc) == 0) {
1402eaa728eeSbellard         /* null selector case */
1403eaa728eeSbellard         if (seg_reg == R_SS
1404eaa728eeSbellard #ifdef TARGET_X86_64
1405eaa728eeSbellard             && (!(env->hflags & HF_CS64_MASK) || cpl == 3)
1406eaa728eeSbellard #endif
140720054ef0SBlue Swirl             ) {
1408100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0D_GPF, 0, GETPC());
140920054ef0SBlue Swirl         }
1410eaa728eeSbellard         cpu_x86_load_seg_cache(env, seg_reg, selector, 0, 0, 0);
1411eaa728eeSbellard     } else {
1412eaa728eeSbellard 
141320054ef0SBlue Swirl         if (selector & 0x4) {
1414eaa728eeSbellard             dt = &env->ldt;
141520054ef0SBlue Swirl         } else {
1416eaa728eeSbellard             dt = &env->gdt;
141720054ef0SBlue Swirl         }
1418eaa728eeSbellard         index = selector & ~7;
141920054ef0SBlue Swirl         if ((index + 7) > dt->limit) {
1420100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC());
142120054ef0SBlue Swirl         }
1422eaa728eeSbellard         ptr = dt->base + index;
1423100ec099SPavel Dovgalyuk         e1 = cpu_ldl_kernel_ra(env, ptr, GETPC());
1424100ec099SPavel Dovgalyuk         e2 = cpu_ldl_kernel_ra(env, ptr + 4, GETPC());
1425eaa728eeSbellard 
142620054ef0SBlue Swirl         if (!(e2 & DESC_S_MASK)) {
1427100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC());
142820054ef0SBlue Swirl         }
1429eaa728eeSbellard         rpl = selector & 3;
1430eaa728eeSbellard         dpl = (e2 >> DESC_DPL_SHIFT) & 3;
1431eaa728eeSbellard         if (seg_reg == R_SS) {
1432eaa728eeSbellard             /* must be writable segment */
143320054ef0SBlue Swirl             if ((e2 & DESC_CS_MASK) || !(e2 & DESC_W_MASK)) {
1434100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC());
143520054ef0SBlue Swirl             }
143620054ef0SBlue Swirl             if (rpl != cpl || dpl != cpl) {
1437100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC());
143820054ef0SBlue Swirl             }
1439eaa728eeSbellard         } else {
1440eaa728eeSbellard             /* must be readable segment */
144120054ef0SBlue Swirl             if ((e2 & (DESC_CS_MASK | DESC_R_MASK)) == DESC_CS_MASK) {
1442100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC());
144320054ef0SBlue Swirl             }
1444eaa728eeSbellard 
1445eaa728eeSbellard             if (!(e2 & DESC_CS_MASK) || !(e2 & DESC_C_MASK)) {
1446eaa728eeSbellard                 /* if not conforming code, test rights */
144720054ef0SBlue Swirl                 if (dpl < cpl || dpl < rpl) {
1448100ec099SPavel Dovgalyuk                     raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC());
1449eaa728eeSbellard                 }
1450eaa728eeSbellard             }
145120054ef0SBlue Swirl         }
1452eaa728eeSbellard 
1453eaa728eeSbellard         if (!(e2 & DESC_P_MASK)) {
145420054ef0SBlue Swirl             if (seg_reg == R_SS) {
1455100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0C_STACK, selector & 0xfffc, GETPC());
145620054ef0SBlue Swirl             } else {
1457100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0B_NOSEG, selector & 0xfffc, GETPC());
1458eaa728eeSbellard             }
145920054ef0SBlue Swirl         }
1460eaa728eeSbellard 
1461eaa728eeSbellard         /* set the access bit if not already set */
1462eaa728eeSbellard         if (!(e2 & DESC_A_MASK)) {
1463eaa728eeSbellard             e2 |= DESC_A_MASK;
1464100ec099SPavel Dovgalyuk             cpu_stl_kernel_ra(env, ptr + 4, e2, GETPC());
1465eaa728eeSbellard         }
1466eaa728eeSbellard 
1467eaa728eeSbellard         cpu_x86_load_seg_cache(env, seg_reg, selector,
1468eaa728eeSbellard                        get_seg_base(e1, e2),
1469eaa728eeSbellard                        get_seg_limit(e1, e2),
1470eaa728eeSbellard                        e2);
1471eaa728eeSbellard #if 0
147293fcfe39Saliguori         qemu_log("load_seg: sel=0x%04x base=0x%08lx limit=0x%08lx flags=%08x\n",
1473eaa728eeSbellard                 selector, (unsigned long)sc->base, sc->limit, sc->flags);
1474eaa728eeSbellard #endif
1475eaa728eeSbellard     }
1476eaa728eeSbellard }
1477eaa728eeSbellard 
1478eaa728eeSbellard /* protected mode jump */
helper_ljmp_protected(CPUX86State * env,int new_cs,target_ulong new_eip,target_ulong next_eip)14792999a0b2SBlue Swirl void helper_ljmp_protected(CPUX86State *env, int new_cs, target_ulong new_eip,
1480100ec099SPavel Dovgalyuk                            target_ulong next_eip)
1481eaa728eeSbellard {
1482eaa728eeSbellard     int gate_cs, type;
1483eaa728eeSbellard     uint32_t e1, e2, cpl, dpl, rpl, limit;
1484eaa728eeSbellard 
148520054ef0SBlue Swirl     if ((new_cs & 0xfffc) == 0) {
1486100ec099SPavel Dovgalyuk         raise_exception_err_ra(env, EXCP0D_GPF, 0, GETPC());
148720054ef0SBlue Swirl     }
1488100ec099SPavel Dovgalyuk     if (load_segment_ra(env, &e1, &e2, new_cs, GETPC()) != 0) {
1489100ec099SPavel Dovgalyuk         raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
149020054ef0SBlue Swirl     }
1491eaa728eeSbellard     cpl = env->hflags & HF_CPL_MASK;
1492eaa728eeSbellard     if (e2 & DESC_S_MASK) {
149320054ef0SBlue Swirl         if (!(e2 & DESC_CS_MASK)) {
1494100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
149520054ef0SBlue Swirl         }
1496eaa728eeSbellard         dpl = (e2 >> DESC_DPL_SHIFT) & 3;
1497eaa728eeSbellard         if (e2 & DESC_C_MASK) {
1498eaa728eeSbellard             /* conforming code segment */
149920054ef0SBlue Swirl             if (dpl > cpl) {
1500100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
150120054ef0SBlue Swirl             }
1502eaa728eeSbellard         } else {
1503eaa728eeSbellard             /* non conforming code segment */
1504eaa728eeSbellard             rpl = new_cs & 3;
150520054ef0SBlue Swirl             if (rpl > cpl) {
1506100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
1507eaa728eeSbellard             }
150820054ef0SBlue Swirl             if (dpl != cpl) {
1509100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
151020054ef0SBlue Swirl             }
151120054ef0SBlue Swirl         }
151220054ef0SBlue Swirl         if (!(e2 & DESC_P_MASK)) {
1513100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0B_NOSEG, new_cs & 0xfffc, GETPC());
151420054ef0SBlue Swirl         }
1515eaa728eeSbellard         limit = get_seg_limit(e1, e2);
1516eaa728eeSbellard         if (new_eip > limit &&
1517db7196dbSAndrew Oates             (!(env->hflags & HF_LMA_MASK) || !(e2 & DESC_L_MASK))) {
1518db7196dbSAndrew Oates             raise_exception_err_ra(env, EXCP0D_GPF, 0, GETPC());
151920054ef0SBlue Swirl         }
1520eaa728eeSbellard         cpu_x86_load_seg_cache(env, R_CS, (new_cs & 0xfffc) | cpl,
1521eaa728eeSbellard                        get_seg_base(e1, e2), limit, e2);
1522a78d0eabSliguang         env->eip = new_eip;
1523eaa728eeSbellard     } else {
1524eaa728eeSbellard         /* jump to call or task gate */
1525eaa728eeSbellard         dpl = (e2 >> DESC_DPL_SHIFT) & 3;
1526eaa728eeSbellard         rpl = new_cs & 3;
1527eaa728eeSbellard         cpl = env->hflags & HF_CPL_MASK;
1528eaa728eeSbellard         type = (e2 >> DESC_TYPE_SHIFT) & 0xf;
15290aca0605SAndrew Oates 
15300aca0605SAndrew Oates #ifdef TARGET_X86_64
15310aca0605SAndrew Oates         if (env->efer & MSR_EFER_LMA) {
15320aca0605SAndrew Oates             if (type != 12) {
15330aca0605SAndrew Oates                 raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
15340aca0605SAndrew Oates             }
15350aca0605SAndrew Oates         }
15360aca0605SAndrew Oates #endif
1537eaa728eeSbellard         switch (type) {
1538eaa728eeSbellard         case 1: /* 286 TSS */
1539eaa728eeSbellard         case 9: /* 386 TSS */
1540eaa728eeSbellard         case 5: /* task gate */
154120054ef0SBlue Swirl             if (dpl < cpl || dpl < rpl) {
1542100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
154320054ef0SBlue Swirl             }
1544c7c33283SPaolo Bonzini             switch_tss_ra(env, new_cs, e1, e2, SWITCH_TSS_JMP, next_eip,
1545c7c33283SPaolo Bonzini                           false, 0, GETPC());
1546eaa728eeSbellard             break;
1547eaa728eeSbellard         case 4: /* 286 call gate */
1548eaa728eeSbellard         case 12: /* 386 call gate */
154920054ef0SBlue Swirl             if ((dpl < cpl) || (dpl < rpl)) {
1550100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
155120054ef0SBlue Swirl             }
155220054ef0SBlue Swirl             if (!(e2 & DESC_P_MASK)) {
1553100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0B_NOSEG, new_cs & 0xfffc, GETPC());
155420054ef0SBlue Swirl             }
1555eaa728eeSbellard             gate_cs = e1 >> 16;
1556eaa728eeSbellard             new_eip = (e1 & 0xffff);
155720054ef0SBlue Swirl             if (type == 12) {
1558eaa728eeSbellard                 new_eip |= (e2 & 0xffff0000);
155920054ef0SBlue Swirl             }
15600aca0605SAndrew Oates 
15610aca0605SAndrew Oates #ifdef TARGET_X86_64
15620aca0605SAndrew Oates             if (env->efer & MSR_EFER_LMA) {
15630aca0605SAndrew Oates                 /* load the upper 8 bytes of the 64-bit call gate */
15640aca0605SAndrew Oates                 if (load_segment_ra(env, &e1, &e2, new_cs + 8, GETPC())) {
15650aca0605SAndrew Oates                     raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc,
15660aca0605SAndrew Oates                                            GETPC());
15670aca0605SAndrew Oates                 }
15680aca0605SAndrew Oates                 type = (e2 >> DESC_TYPE_SHIFT) & 0x1f;
15690aca0605SAndrew Oates                 if (type != 0) {
15700aca0605SAndrew Oates                     raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc,
15710aca0605SAndrew Oates                                            GETPC());
15720aca0605SAndrew Oates                 }
15730aca0605SAndrew Oates                 new_eip |= ((target_ulong)e1) << 32;
15740aca0605SAndrew Oates             }
15750aca0605SAndrew Oates #endif
15760aca0605SAndrew Oates 
1577100ec099SPavel Dovgalyuk             if (load_segment_ra(env, &e1, &e2, gate_cs, GETPC()) != 0) {
1578100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0D_GPF, gate_cs & 0xfffc, GETPC());
157920054ef0SBlue Swirl             }
1580eaa728eeSbellard             dpl = (e2 >> DESC_DPL_SHIFT) & 3;
1581eaa728eeSbellard             /* must be code segment */
1582eaa728eeSbellard             if (((e2 & (DESC_S_MASK | DESC_CS_MASK)) !=
158320054ef0SBlue Swirl                  (DESC_S_MASK | DESC_CS_MASK))) {
1584100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0D_GPF, gate_cs & 0xfffc, GETPC());
158520054ef0SBlue Swirl             }
1586eaa728eeSbellard             if (((e2 & DESC_C_MASK) && (dpl > cpl)) ||
158720054ef0SBlue Swirl                 (!(e2 & DESC_C_MASK) && (dpl != cpl))) {
1588100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0D_GPF, gate_cs & 0xfffc, GETPC());
158920054ef0SBlue Swirl             }
15900aca0605SAndrew Oates #ifdef TARGET_X86_64
15910aca0605SAndrew Oates             if (env->efer & MSR_EFER_LMA) {
15920aca0605SAndrew Oates                 if (!(e2 & DESC_L_MASK)) {
15930aca0605SAndrew Oates                     raise_exception_err_ra(env, EXCP0D_GPF, gate_cs & 0xfffc, GETPC());
15940aca0605SAndrew Oates                 }
15950aca0605SAndrew Oates                 if (e2 & DESC_B_MASK) {
15960aca0605SAndrew Oates                     raise_exception_err_ra(env, EXCP0D_GPF, gate_cs & 0xfffc, GETPC());
15970aca0605SAndrew Oates                 }
15980aca0605SAndrew Oates             }
15990aca0605SAndrew Oates #endif
160020054ef0SBlue Swirl             if (!(e2 & DESC_P_MASK)) {
1601100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0D_GPF, gate_cs & 0xfffc, GETPC());
160220054ef0SBlue Swirl             }
1603eaa728eeSbellard             limit = get_seg_limit(e1, e2);
16040aca0605SAndrew Oates             if (new_eip > limit &&
16050aca0605SAndrew Oates                 (!(env->hflags & HF_LMA_MASK) || !(e2 & DESC_L_MASK))) {
1606100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0D_GPF, 0, GETPC());
160720054ef0SBlue Swirl             }
1608eaa728eeSbellard             cpu_x86_load_seg_cache(env, R_CS, (gate_cs & 0xfffc) | cpl,
1609eaa728eeSbellard                                    get_seg_base(e1, e2), limit, e2);
1610a78d0eabSliguang             env->eip = new_eip;
1611eaa728eeSbellard             break;
1612eaa728eeSbellard         default:
1613100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
1614eaa728eeSbellard             break;
1615eaa728eeSbellard         }
1616eaa728eeSbellard     }
1617eaa728eeSbellard }
1618eaa728eeSbellard 
1619eaa728eeSbellard /* real mode call */
helper_lcall_real(CPUX86State * env,uint32_t new_cs,uint32_t new_eip,int shift,uint32_t next_eip)16208c03ab9fSRichard Henderson void helper_lcall_real(CPUX86State *env, uint32_t new_cs, uint32_t new_eip,
16218c03ab9fSRichard Henderson                        int shift, uint32_t next_eip)
1622eaa728eeSbellard {
1623059368bcSRichard Henderson     StackAccess sa;
1624eaa728eeSbellard 
1625059368bcSRichard Henderson     sa.env = env;
1626059368bcSRichard Henderson     sa.ra = GETPC();
1627059368bcSRichard Henderson     sa.sp = env->regs[R_ESP];
1628059368bcSRichard Henderson     sa.sp_mask = get_sp_mask(env->segs[R_SS].flags);
1629059368bcSRichard Henderson     sa.ss_base = env->segs[R_SS].base;
1630e136648cSPaolo Bonzini     sa.mmu_index = x86_mmu_index_pl(env, 0);
1631059368bcSRichard Henderson 
1632eaa728eeSbellard     if (shift) {
1633059368bcSRichard Henderson         pushl(&sa, env->segs[R_CS].selector);
1634059368bcSRichard Henderson         pushl(&sa, next_eip);
1635eaa728eeSbellard     } else {
1636059368bcSRichard Henderson         pushw(&sa, env->segs[R_CS].selector);
1637059368bcSRichard Henderson         pushw(&sa, next_eip);
1638eaa728eeSbellard     }
1639eaa728eeSbellard 
1640059368bcSRichard Henderson     SET_ESP(sa.sp, sa.sp_mask);
1641eaa728eeSbellard     env->eip = new_eip;
1642eaa728eeSbellard     env->segs[R_CS].selector = new_cs;
1643eaa728eeSbellard     env->segs[R_CS].base = (new_cs << 4);
1644eaa728eeSbellard }
1645eaa728eeSbellard 
1646eaa728eeSbellard /* protected mode call */
helper_lcall_protected(CPUX86State * env,int new_cs,target_ulong new_eip,int shift,target_ulong next_eip)16472999a0b2SBlue Swirl void helper_lcall_protected(CPUX86State *env, int new_cs, target_ulong new_eip,
1648100ec099SPavel Dovgalyuk                             int shift, target_ulong next_eip)
1649eaa728eeSbellard {
1650eaa728eeSbellard     int new_stack, i;
16510aca0605SAndrew Oates     uint32_t e1, e2, cpl, dpl, rpl, selector, param_count;
1652059368bcSRichard Henderson     uint32_t ss = 0, ss_e1 = 0, ss_e2 = 0, type, ss_dpl;
1653eaa728eeSbellard     uint32_t val, limit, old_sp_mask;
1654059368bcSRichard Henderson     target_ulong old_ssp, offset;
1655059368bcSRichard Henderson     StackAccess sa;
1656eaa728eeSbellard 
16570aca0605SAndrew Oates     LOG_PCALL("lcall %04x:" TARGET_FMT_lx " s=%d\n", new_cs, new_eip, shift);
16586aa9e42fSRichard Henderson     LOG_PCALL_STATE(env_cpu(env));
165920054ef0SBlue Swirl     if ((new_cs & 0xfffc) == 0) {
1660100ec099SPavel Dovgalyuk         raise_exception_err_ra(env, EXCP0D_GPF, 0, GETPC());
166120054ef0SBlue Swirl     }
1662100ec099SPavel Dovgalyuk     if (load_segment_ra(env, &e1, &e2, new_cs, GETPC()) != 0) {
1663100ec099SPavel Dovgalyuk         raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
166420054ef0SBlue Swirl     }
1665eaa728eeSbellard     cpl = env->hflags & HF_CPL_MASK;
1666d12d51d5Saliguori     LOG_PCALL("desc=%08x:%08x\n", e1, e2);
1667059368bcSRichard Henderson 
1668059368bcSRichard Henderson     sa.env = env;
1669059368bcSRichard Henderson     sa.ra = GETPC();
1670059368bcSRichard Henderson 
1671eaa728eeSbellard     if (e2 & DESC_S_MASK) {
1672e136648cSPaolo Bonzini         /* "normal" far call, no stack switch possible */
167320054ef0SBlue Swirl         if (!(e2 & DESC_CS_MASK)) {
1674100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
167520054ef0SBlue Swirl         }
1676eaa728eeSbellard         dpl = (e2 >> DESC_DPL_SHIFT) & 3;
1677eaa728eeSbellard         if (e2 & DESC_C_MASK) {
1678eaa728eeSbellard             /* conforming code segment */
167920054ef0SBlue Swirl             if (dpl > cpl) {
1680100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
168120054ef0SBlue Swirl             }
1682eaa728eeSbellard         } else {
1683eaa728eeSbellard             /* non conforming code segment */
1684eaa728eeSbellard             rpl = new_cs & 3;
168520054ef0SBlue Swirl             if (rpl > cpl) {
1686100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
1687eaa728eeSbellard             }
168820054ef0SBlue Swirl             if (dpl != cpl) {
1689100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
169020054ef0SBlue Swirl             }
169120054ef0SBlue Swirl         }
169220054ef0SBlue Swirl         if (!(e2 & DESC_P_MASK)) {
1693100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0B_NOSEG, new_cs & 0xfffc, GETPC());
169420054ef0SBlue Swirl         }
1695eaa728eeSbellard 
1696e136648cSPaolo Bonzini         sa.mmu_index = x86_mmu_index_pl(env, cpl);
1697eaa728eeSbellard #ifdef TARGET_X86_64
1698eaa728eeSbellard         /* XXX: check 16/32 bit cases in long mode */
1699eaa728eeSbellard         if (shift == 2) {
1700eaa728eeSbellard             /* 64 bit case */
1701059368bcSRichard Henderson             sa.sp = env->regs[R_ESP];
1702059368bcSRichard Henderson             sa.sp_mask = -1;
1703059368bcSRichard Henderson             sa.ss_base = 0;
1704059368bcSRichard Henderson             pushq(&sa, env->segs[R_CS].selector);
1705059368bcSRichard Henderson             pushq(&sa, next_eip);
1706eaa728eeSbellard             /* from this point, not restartable */
1707059368bcSRichard Henderson             env->regs[R_ESP] = sa.sp;
1708eaa728eeSbellard             cpu_x86_load_seg_cache(env, R_CS, (new_cs & 0xfffc) | cpl,
1709eaa728eeSbellard                                    get_seg_base(e1, e2),
1710eaa728eeSbellard                                    get_seg_limit(e1, e2), e2);
1711a78d0eabSliguang             env->eip = new_eip;
1712eaa728eeSbellard         } else
1713eaa728eeSbellard #endif
1714eaa728eeSbellard         {
1715059368bcSRichard Henderson             sa.sp = env->regs[R_ESP];
1716059368bcSRichard Henderson             sa.sp_mask = get_sp_mask(env->segs[R_SS].flags);
1717059368bcSRichard Henderson             sa.ss_base = env->segs[R_SS].base;
1718eaa728eeSbellard             if (shift) {
1719059368bcSRichard Henderson                 pushl(&sa, env->segs[R_CS].selector);
1720059368bcSRichard Henderson                 pushl(&sa, next_eip);
1721eaa728eeSbellard             } else {
1722059368bcSRichard Henderson                 pushw(&sa, env->segs[R_CS].selector);
1723059368bcSRichard Henderson                 pushw(&sa, next_eip);
1724eaa728eeSbellard             }
1725eaa728eeSbellard 
1726eaa728eeSbellard             limit = get_seg_limit(e1, e2);
172720054ef0SBlue Swirl             if (new_eip > limit) {
1728100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
172920054ef0SBlue Swirl             }
1730eaa728eeSbellard             /* from this point, not restartable */
1731059368bcSRichard Henderson             SET_ESP(sa.sp, sa.sp_mask);
1732eaa728eeSbellard             cpu_x86_load_seg_cache(env, R_CS, (new_cs & 0xfffc) | cpl,
1733eaa728eeSbellard                                    get_seg_base(e1, e2), limit, e2);
1734a78d0eabSliguang             env->eip = new_eip;
1735eaa728eeSbellard         }
1736eaa728eeSbellard     } else {
1737eaa728eeSbellard         /* check gate type */
1738eaa728eeSbellard         type = (e2 >> DESC_TYPE_SHIFT) & 0x1f;
1739eaa728eeSbellard         dpl = (e2 >> DESC_DPL_SHIFT) & 3;
1740eaa728eeSbellard         rpl = new_cs & 3;
17410aca0605SAndrew Oates 
17420aca0605SAndrew Oates #ifdef TARGET_X86_64
17430aca0605SAndrew Oates         if (env->efer & MSR_EFER_LMA) {
17440aca0605SAndrew Oates             if (type != 12) {
17450aca0605SAndrew Oates                 raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
17460aca0605SAndrew Oates             }
17470aca0605SAndrew Oates         }
17480aca0605SAndrew Oates #endif
17490aca0605SAndrew Oates 
1750eaa728eeSbellard         switch (type) {
1751eaa728eeSbellard         case 1: /* available 286 TSS */
1752eaa728eeSbellard         case 9: /* available 386 TSS */
1753eaa728eeSbellard         case 5: /* task gate */
175420054ef0SBlue Swirl             if (dpl < cpl || dpl < rpl) {
1755100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
175620054ef0SBlue Swirl             }
1757c7c33283SPaolo Bonzini             switch_tss_ra(env, new_cs, e1, e2, SWITCH_TSS_CALL, next_eip,
1758c7c33283SPaolo Bonzini                           false, 0, GETPC());
1759eaa728eeSbellard             return;
1760eaa728eeSbellard         case 4: /* 286 call gate */
1761eaa728eeSbellard         case 12: /* 386 call gate */
1762eaa728eeSbellard             break;
1763eaa728eeSbellard         default:
1764100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
1765eaa728eeSbellard             break;
1766eaa728eeSbellard         }
1767eaa728eeSbellard         shift = type >> 3;
1768eaa728eeSbellard 
176920054ef0SBlue Swirl         if (dpl < cpl || dpl < rpl) {
1770100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
177120054ef0SBlue Swirl         }
1772eaa728eeSbellard         /* check valid bit */
177320054ef0SBlue Swirl         if (!(e2 & DESC_P_MASK)) {
1774100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0B_NOSEG,  new_cs & 0xfffc, GETPC());
177520054ef0SBlue Swirl         }
1776eaa728eeSbellard         selector = e1 >> 16;
1777eaa728eeSbellard         param_count = e2 & 0x1f;
17780aca0605SAndrew Oates         offset = (e2 & 0xffff0000) | (e1 & 0x0000ffff);
17790aca0605SAndrew Oates #ifdef TARGET_X86_64
17800aca0605SAndrew Oates         if (env->efer & MSR_EFER_LMA) {
17810aca0605SAndrew Oates             /* load the upper 8 bytes of the 64-bit call gate */
17820aca0605SAndrew Oates             if (load_segment_ra(env, &e1, &e2, new_cs + 8, GETPC())) {
17830aca0605SAndrew Oates                 raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc,
17840aca0605SAndrew Oates                                        GETPC());
17850aca0605SAndrew Oates             }
17860aca0605SAndrew Oates             type = (e2 >> DESC_TYPE_SHIFT) & 0x1f;
17870aca0605SAndrew Oates             if (type != 0) {
17880aca0605SAndrew Oates                 raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc,
17890aca0605SAndrew Oates                                        GETPC());
17900aca0605SAndrew Oates             }
17910aca0605SAndrew Oates             offset |= ((target_ulong)e1) << 32;
17920aca0605SAndrew Oates         }
17930aca0605SAndrew Oates #endif
179420054ef0SBlue Swirl         if ((selector & 0xfffc) == 0) {
1795100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0D_GPF, 0, GETPC());
179620054ef0SBlue Swirl         }
1797eaa728eeSbellard 
1798100ec099SPavel Dovgalyuk         if (load_segment_ra(env, &e1, &e2, selector, GETPC()) != 0) {
1799100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC());
180020054ef0SBlue Swirl         }
180120054ef0SBlue Swirl         if (!(e2 & DESC_S_MASK) || !(e2 & (DESC_CS_MASK))) {
1802100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC());
180320054ef0SBlue Swirl         }
1804eaa728eeSbellard         dpl = (e2 >> DESC_DPL_SHIFT) & 3;
180520054ef0SBlue Swirl         if (dpl > cpl) {
1806100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC());
180720054ef0SBlue Swirl         }
18080aca0605SAndrew Oates #ifdef TARGET_X86_64
18090aca0605SAndrew Oates         if (env->efer & MSR_EFER_LMA) {
18100aca0605SAndrew Oates             if (!(e2 & DESC_L_MASK)) {
18110aca0605SAndrew Oates                 raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC());
18120aca0605SAndrew Oates             }
18130aca0605SAndrew Oates             if (e2 & DESC_B_MASK) {
18140aca0605SAndrew Oates                 raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC());
18150aca0605SAndrew Oates             }
18160aca0605SAndrew Oates             shift++;
18170aca0605SAndrew Oates         }
18180aca0605SAndrew Oates #endif
181920054ef0SBlue Swirl         if (!(e2 & DESC_P_MASK)) {
1820100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0B_NOSEG, selector & 0xfffc, GETPC());
182120054ef0SBlue Swirl         }
1822eaa728eeSbellard 
1823eaa728eeSbellard         if (!(e2 & DESC_C_MASK) && dpl < cpl) {
1824eaa728eeSbellard             /* to inner privilege */
1825e136648cSPaolo Bonzini             sa.mmu_index = x86_mmu_index_pl(env, dpl);
18260aca0605SAndrew Oates #ifdef TARGET_X86_64
18270aca0605SAndrew Oates             if (shift == 2) {
18280aca0605SAndrew Oates                 ss = dpl;  /* SS = NULL selector with RPL = new CPL */
18290aca0605SAndrew Oates                 new_stack = 1;
1830059368bcSRichard Henderson                 sa.sp = get_rsp_from_tss(env, dpl);
1831059368bcSRichard Henderson                 sa.sp_mask = -1;
1832059368bcSRichard Henderson                 sa.ss_base = 0;  /* SS base is always zero in IA-32e mode */
18330aca0605SAndrew Oates                 LOG_PCALL("new ss:rsp=%04x:%016llx env->regs[R_ESP]="
1834059368bcSRichard Henderson                           TARGET_FMT_lx "\n", ss, sa.sp, env->regs[R_ESP]);
18350aca0605SAndrew Oates             } else
18360aca0605SAndrew Oates #endif
18370aca0605SAndrew Oates             {
18380aca0605SAndrew Oates                 uint32_t sp32;
18390aca0605SAndrew Oates                 get_ss_esp_from_tss(env, &ss, &sp32, dpl, GETPC());
184090a2541bSliguang                 LOG_PCALL("new ss:esp=%04x:%08x param_count=%d env->regs[R_ESP]="
18410aca0605SAndrew Oates                           TARGET_FMT_lx "\n", ss, sp32, param_count,
184290a2541bSliguang                           env->regs[R_ESP]);
184320054ef0SBlue Swirl                 if ((ss & 0xfffc) == 0) {
1844100ec099SPavel Dovgalyuk                     raise_exception_err_ra(env, EXCP0A_TSS, ss & 0xfffc, GETPC());
184520054ef0SBlue Swirl                 }
184620054ef0SBlue Swirl                 if ((ss & 3) != dpl) {
1847100ec099SPavel Dovgalyuk                     raise_exception_err_ra(env, EXCP0A_TSS, ss & 0xfffc, GETPC());
184820054ef0SBlue Swirl                 }
1849100ec099SPavel Dovgalyuk                 if (load_segment_ra(env, &ss_e1, &ss_e2, ss, GETPC()) != 0) {
1850100ec099SPavel Dovgalyuk                     raise_exception_err_ra(env, EXCP0A_TSS, ss & 0xfffc, GETPC());
185120054ef0SBlue Swirl                 }
1852eaa728eeSbellard                 ss_dpl = (ss_e2 >> DESC_DPL_SHIFT) & 3;
185320054ef0SBlue Swirl                 if (ss_dpl != dpl) {
1854100ec099SPavel Dovgalyuk                     raise_exception_err_ra(env, EXCP0A_TSS, ss & 0xfffc, GETPC());
185520054ef0SBlue Swirl                 }
1856eaa728eeSbellard                 if (!(ss_e2 & DESC_S_MASK) ||
1857eaa728eeSbellard                     (ss_e2 & DESC_CS_MASK) ||
185820054ef0SBlue Swirl                     !(ss_e2 & DESC_W_MASK)) {
1859100ec099SPavel Dovgalyuk                     raise_exception_err_ra(env, EXCP0A_TSS, ss & 0xfffc, GETPC());
186020054ef0SBlue Swirl                 }
186120054ef0SBlue Swirl                 if (!(ss_e2 & DESC_P_MASK)) {
1862100ec099SPavel Dovgalyuk                     raise_exception_err_ra(env, EXCP0A_TSS, ss & 0xfffc, GETPC());
186320054ef0SBlue Swirl                 }
1864eaa728eeSbellard 
1865059368bcSRichard Henderson                 sa.sp = sp32;
1866059368bcSRichard Henderson                 sa.sp_mask = get_sp_mask(ss_e2);
1867059368bcSRichard Henderson                 sa.ss_base = get_seg_base(ss_e1, ss_e2);
18680aca0605SAndrew Oates             }
18690aca0605SAndrew Oates 
187020054ef0SBlue Swirl             /* push_size = ((param_count * 2) + 8) << shift; */
1871eaa728eeSbellard             old_sp_mask = get_sp_mask(env->segs[R_SS].flags);
1872eaa728eeSbellard             old_ssp = env->segs[R_SS].base;
1873059368bcSRichard Henderson 
18740aca0605SAndrew Oates #ifdef TARGET_X86_64
18750aca0605SAndrew Oates             if (shift == 2) {
18760aca0605SAndrew Oates                 /* XXX: verify if new stack address is canonical */
1877059368bcSRichard Henderson                 pushq(&sa, env->segs[R_SS].selector);
1878059368bcSRichard Henderson                 pushq(&sa, env->regs[R_ESP]);
18790aca0605SAndrew Oates                 /* parameters aren't supported for 64-bit call gates */
18800aca0605SAndrew Oates             } else
18810aca0605SAndrew Oates #endif
18820aca0605SAndrew Oates             if (shift == 1) {
1883059368bcSRichard Henderson                 pushl(&sa, env->segs[R_SS].selector);
1884059368bcSRichard Henderson                 pushl(&sa, env->regs[R_ESP]);
1885eaa728eeSbellard                 for (i = param_count - 1; i >= 0; i--) {
18860bd385e7SPaolo Bonzini                     val = cpu_ldl_data_ra(env,
18870bd385e7SPaolo Bonzini                                           old_ssp + ((env->regs[R_ESP] + i * 4) & old_sp_mask),
18880bd385e7SPaolo Bonzini                                           GETPC());
1889059368bcSRichard Henderson                     pushl(&sa, val);
1890eaa728eeSbellard                 }
1891eaa728eeSbellard             } else {
1892059368bcSRichard Henderson                 pushw(&sa, env->segs[R_SS].selector);
1893059368bcSRichard Henderson                 pushw(&sa, env->regs[R_ESP]);
1894eaa728eeSbellard                 for (i = param_count - 1; i >= 0; i--) {
18950bd385e7SPaolo Bonzini                     val = cpu_lduw_data_ra(env,
18960bd385e7SPaolo Bonzini                                            old_ssp + ((env->regs[R_ESP] + i * 2) & old_sp_mask),
18970bd385e7SPaolo Bonzini                                            GETPC());
1898059368bcSRichard Henderson                     pushw(&sa, val);
1899eaa728eeSbellard                 }
1900eaa728eeSbellard             }
1901eaa728eeSbellard             new_stack = 1;
1902eaa728eeSbellard         } else {
1903eaa728eeSbellard             /* to same privilege */
1904e136648cSPaolo Bonzini             sa.mmu_index = x86_mmu_index_pl(env, cpl);
1905059368bcSRichard Henderson             sa.sp = env->regs[R_ESP];
1906059368bcSRichard Henderson             sa.sp_mask = get_sp_mask(env->segs[R_SS].flags);
1907059368bcSRichard Henderson             sa.ss_base = env->segs[R_SS].base;
190820054ef0SBlue Swirl             /* push_size = (4 << shift); */
1909eaa728eeSbellard             new_stack = 0;
1910eaa728eeSbellard         }
1911eaa728eeSbellard 
19120aca0605SAndrew Oates #ifdef TARGET_X86_64
19130aca0605SAndrew Oates         if (shift == 2) {
1914059368bcSRichard Henderson             pushq(&sa, env->segs[R_CS].selector);
1915059368bcSRichard Henderson             pushq(&sa, next_eip);
19160aca0605SAndrew Oates         } else
19170aca0605SAndrew Oates #endif
19180aca0605SAndrew Oates         if (shift == 1) {
1919059368bcSRichard Henderson             pushl(&sa, env->segs[R_CS].selector);
1920059368bcSRichard Henderson             pushl(&sa, next_eip);
1921eaa728eeSbellard         } else {
1922059368bcSRichard Henderson             pushw(&sa, env->segs[R_CS].selector);
1923059368bcSRichard Henderson             pushw(&sa, next_eip);
1924eaa728eeSbellard         }
1925eaa728eeSbellard 
1926eaa728eeSbellard         /* from this point, not restartable */
1927eaa728eeSbellard 
1928eaa728eeSbellard         if (new_stack) {
19290aca0605SAndrew Oates #ifdef TARGET_X86_64
19300aca0605SAndrew Oates             if (shift == 2) {
19310aca0605SAndrew Oates                 cpu_x86_load_seg_cache(env, R_SS, ss, 0, 0, 0);
19320aca0605SAndrew Oates             } else
19330aca0605SAndrew Oates #endif
19340aca0605SAndrew Oates             {
1935eaa728eeSbellard                 ss = (ss & ~3) | dpl;
1936eaa728eeSbellard                 cpu_x86_load_seg_cache(env, R_SS, ss,
1937059368bcSRichard Henderson                                        sa.ss_base,
1938eaa728eeSbellard                                        get_seg_limit(ss_e1, ss_e2),
1939eaa728eeSbellard                                        ss_e2);
1940eaa728eeSbellard             }
19410aca0605SAndrew Oates         }
1942eaa728eeSbellard 
1943eaa728eeSbellard         selector = (selector & ~3) | dpl;
1944eaa728eeSbellard         cpu_x86_load_seg_cache(env, R_CS, selector,
1945eaa728eeSbellard                        get_seg_base(e1, e2),
1946eaa728eeSbellard                        get_seg_limit(e1, e2),
1947eaa728eeSbellard                        e2);
1948059368bcSRichard Henderson         SET_ESP(sa.sp, sa.sp_mask);
1949a78d0eabSliguang         env->eip = offset;
1950eaa728eeSbellard     }
1951eaa728eeSbellard }
1952eaa728eeSbellard 
1953eaa728eeSbellard /* real and vm86 mode iret */
helper_iret_real(CPUX86State * env,int shift)19542999a0b2SBlue Swirl void helper_iret_real(CPUX86State *env, int shift)
1955eaa728eeSbellard {
1956059368bcSRichard Henderson     uint32_t new_cs, new_eip, new_eflags;
1957eaa728eeSbellard     int eflags_mask;
1958059368bcSRichard Henderson     StackAccess sa;
1959eaa728eeSbellard 
1960059368bcSRichard Henderson     sa.env = env;
1961059368bcSRichard Henderson     sa.ra = GETPC();
19628053862aSPaolo Bonzini     sa.mmu_index = x86_mmu_index_pl(env, 0);
1963059368bcSRichard Henderson     sa.sp_mask = 0xffff; /* XXXX: use SS segment size? */
1964059368bcSRichard Henderson     sa.sp = env->regs[R_ESP];
1965059368bcSRichard Henderson     sa.ss_base = env->segs[R_SS].base;
1966059368bcSRichard Henderson 
1967eaa728eeSbellard     if (shift == 1) {
1968eaa728eeSbellard         /* 32 bits */
1969059368bcSRichard Henderson         new_eip = popl(&sa);
1970059368bcSRichard Henderson         new_cs = popl(&sa) & 0xffff;
1971059368bcSRichard Henderson         new_eflags = popl(&sa);
1972eaa728eeSbellard     } else {
1973eaa728eeSbellard         /* 16 bits */
1974059368bcSRichard Henderson         new_eip = popw(&sa);
1975059368bcSRichard Henderson         new_cs = popw(&sa);
1976059368bcSRichard Henderson         new_eflags = popw(&sa);
1977eaa728eeSbellard     }
1978059368bcSRichard Henderson     SET_ESP(sa.sp, sa.sp_mask);
1979bdadc0b5Smalc     env->segs[R_CS].selector = new_cs;
1980bdadc0b5Smalc     env->segs[R_CS].base = (new_cs << 4);
1981eaa728eeSbellard     env->eip = new_eip;
198220054ef0SBlue Swirl     if (env->eflags & VM_MASK) {
198320054ef0SBlue Swirl         eflags_mask = TF_MASK | AC_MASK | ID_MASK | IF_MASK | RF_MASK |
198420054ef0SBlue Swirl             NT_MASK;
198520054ef0SBlue Swirl     } else {
198620054ef0SBlue Swirl         eflags_mask = TF_MASK | AC_MASK | ID_MASK | IF_MASK | IOPL_MASK |
198720054ef0SBlue Swirl             RF_MASK | NT_MASK;
198820054ef0SBlue Swirl     }
198920054ef0SBlue Swirl     if (shift == 0) {
1990eaa728eeSbellard         eflags_mask &= 0xffff;
199120054ef0SBlue Swirl     }
1992997ff0d9SBlue Swirl     cpu_load_eflags(env, new_eflags, eflags_mask);
1993db620f46Sbellard     env->hflags2 &= ~HF2_NMI_MASK;
1994eaa728eeSbellard }
1995eaa728eeSbellard 
validate_seg(CPUX86State * env,X86Seg seg_reg,int cpl)1996c117e5b1SPhilippe Mathieu-Daudé static inline void validate_seg(CPUX86State *env, X86Seg seg_reg, int cpl)
1997eaa728eeSbellard {
1998eaa728eeSbellard     int dpl;
1999eaa728eeSbellard     uint32_t e2;
2000eaa728eeSbellard 
2001eaa728eeSbellard     /* XXX: on x86_64, we do not want to nullify FS and GS because
2002eaa728eeSbellard        they may still contain a valid base. I would be interested to
2003eaa728eeSbellard        know how a real x86_64 CPU behaves */
2004eaa728eeSbellard     if ((seg_reg == R_FS || seg_reg == R_GS) &&
200520054ef0SBlue Swirl         (env->segs[seg_reg].selector & 0xfffc) == 0) {
2006eaa728eeSbellard         return;
200720054ef0SBlue Swirl     }
2008eaa728eeSbellard 
2009eaa728eeSbellard     e2 = env->segs[seg_reg].flags;
2010eaa728eeSbellard     dpl = (e2 >> DESC_DPL_SHIFT) & 3;
2011eaa728eeSbellard     if (!(e2 & DESC_CS_MASK) || !(e2 & DESC_C_MASK)) {
2012eaa728eeSbellard         /* data or non conforming code segment */
2013eaa728eeSbellard         if (dpl < cpl) {
2014c2ba0515SBin Meng             cpu_x86_load_seg_cache(env, seg_reg, 0,
2015c2ba0515SBin Meng                                    env->segs[seg_reg].base,
2016c2ba0515SBin Meng                                    env->segs[seg_reg].limit,
2017c2ba0515SBin Meng                                    env->segs[seg_reg].flags & ~DESC_P_MASK);
2018eaa728eeSbellard         }
2019eaa728eeSbellard     }
2020eaa728eeSbellard }
2021eaa728eeSbellard 
2022eaa728eeSbellard /* protected mode iret */
helper_ret_protected(CPUX86State * env,int shift,int is_iret,int addend,uintptr_t retaddr)20232999a0b2SBlue Swirl static inline void helper_ret_protected(CPUX86State *env, int shift,
2024100ec099SPavel Dovgalyuk                                         int is_iret, int addend,
2025100ec099SPavel Dovgalyuk                                         uintptr_t retaddr)
2026eaa728eeSbellard {
2027eaa728eeSbellard     uint32_t new_cs, new_eflags, new_ss;
2028eaa728eeSbellard     uint32_t new_es, new_ds, new_fs, new_gs;
2029eaa728eeSbellard     uint32_t e1, e2, ss_e1, ss_e2;
2030eaa728eeSbellard     int cpl, dpl, rpl, eflags_mask, iopl;
2031059368bcSRichard Henderson     target_ulong new_eip, new_esp;
2032059368bcSRichard Henderson     StackAccess sa;
2033059368bcSRichard Henderson 
20348053862aSPaolo Bonzini     cpl = env->hflags & HF_CPL_MASK;
20358053862aSPaolo Bonzini 
2036059368bcSRichard Henderson     sa.env = env;
2037059368bcSRichard Henderson     sa.ra = retaddr;
20388053862aSPaolo Bonzini     sa.mmu_index = x86_mmu_index_pl(env, cpl);
2039eaa728eeSbellard 
2040eaa728eeSbellard #ifdef TARGET_X86_64
204120054ef0SBlue Swirl     if (shift == 2) {
2042059368bcSRichard Henderson         sa.sp_mask = -1;
204320054ef0SBlue Swirl     } else
2044eaa728eeSbellard #endif
204520054ef0SBlue Swirl     {
2046059368bcSRichard Henderson         sa.sp_mask = get_sp_mask(env->segs[R_SS].flags);
204720054ef0SBlue Swirl     }
2048059368bcSRichard Henderson     sa.sp = env->regs[R_ESP];
2049059368bcSRichard Henderson     sa.ss_base = env->segs[R_SS].base;
2050eaa728eeSbellard     new_eflags = 0; /* avoid warning */
2051eaa728eeSbellard #ifdef TARGET_X86_64
2052eaa728eeSbellard     if (shift == 2) {
2053059368bcSRichard Henderson         new_eip = popq(&sa);
2054059368bcSRichard Henderson         new_cs = popq(&sa) & 0xffff;
2055eaa728eeSbellard         if (is_iret) {
2056059368bcSRichard Henderson             new_eflags = popq(&sa);
2057eaa728eeSbellard         }
2058eaa728eeSbellard     } else
2059eaa728eeSbellard #endif
206020054ef0SBlue Swirl     {
2061eaa728eeSbellard         if (shift == 1) {
2062eaa728eeSbellard             /* 32 bits */
2063059368bcSRichard Henderson             new_eip = popl(&sa);
2064059368bcSRichard Henderson             new_cs = popl(&sa) & 0xffff;
2065eaa728eeSbellard             if (is_iret) {
2066059368bcSRichard Henderson                 new_eflags = popl(&sa);
206720054ef0SBlue Swirl                 if (new_eflags & VM_MASK) {
2068eaa728eeSbellard                     goto return_to_vm86;
2069eaa728eeSbellard                 }
207020054ef0SBlue Swirl             }
2071eaa728eeSbellard         } else {
2072eaa728eeSbellard             /* 16 bits */
2073059368bcSRichard Henderson             new_eip = popw(&sa);
2074059368bcSRichard Henderson             new_cs = popw(&sa);
207520054ef0SBlue Swirl             if (is_iret) {
2076059368bcSRichard Henderson                 new_eflags = popw(&sa);
2077eaa728eeSbellard             }
207820054ef0SBlue Swirl         }
207920054ef0SBlue Swirl     }
2080d12d51d5Saliguori     LOG_PCALL("lret new %04x:" TARGET_FMT_lx " s=%d addend=0x%x\n",
2081eaa728eeSbellard               new_cs, new_eip, shift, addend);
20826aa9e42fSRichard Henderson     LOG_PCALL_STATE(env_cpu(env));
208320054ef0SBlue Swirl     if ((new_cs & 0xfffc) == 0) {
2084100ec099SPavel Dovgalyuk         raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, retaddr);
2085eaa728eeSbellard     }
2086100ec099SPavel Dovgalyuk     if (load_segment_ra(env, &e1, &e2, new_cs, retaddr) != 0) {
2087100ec099SPavel Dovgalyuk         raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, retaddr);
208820054ef0SBlue Swirl     }
208920054ef0SBlue Swirl     if (!(e2 & DESC_S_MASK) ||
209020054ef0SBlue Swirl         !(e2 & DESC_CS_MASK)) {
2091100ec099SPavel Dovgalyuk         raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, retaddr);
209220054ef0SBlue Swirl     }
209320054ef0SBlue Swirl     rpl = new_cs & 3;
209420054ef0SBlue Swirl     if (rpl < cpl) {
2095100ec099SPavel Dovgalyuk         raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, retaddr);
209620054ef0SBlue Swirl     }
209720054ef0SBlue Swirl     dpl = (e2 >> DESC_DPL_SHIFT) & 3;
209820054ef0SBlue Swirl     if (e2 & DESC_C_MASK) {
209920054ef0SBlue Swirl         if (dpl > rpl) {
2100100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, retaddr);
210120054ef0SBlue Swirl         }
210220054ef0SBlue Swirl     } else {
210320054ef0SBlue Swirl         if (dpl != rpl) {
2104100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, retaddr);
210520054ef0SBlue Swirl         }
210620054ef0SBlue Swirl     }
210720054ef0SBlue Swirl     if (!(e2 & DESC_P_MASK)) {
2108100ec099SPavel Dovgalyuk         raise_exception_err_ra(env, EXCP0B_NOSEG, new_cs & 0xfffc, retaddr);
210920054ef0SBlue Swirl     }
2110eaa728eeSbellard 
2111059368bcSRichard Henderson     sa.sp += addend;
2112eaa728eeSbellard     if (rpl == cpl && (!(env->hflags & HF_CS64_MASK) ||
2113eaa728eeSbellard                        ((env->hflags & HF_CS64_MASK) && !is_iret))) {
21141235fc06Sths         /* return to same privilege level */
2115eaa728eeSbellard         cpu_x86_load_seg_cache(env, R_CS, new_cs,
2116eaa728eeSbellard                        get_seg_base(e1, e2),
2117eaa728eeSbellard                        get_seg_limit(e1, e2),
2118eaa728eeSbellard                        e2);
2119eaa728eeSbellard     } else {
2120eaa728eeSbellard         /* return to different privilege level */
2121eaa728eeSbellard #ifdef TARGET_X86_64
2122eaa728eeSbellard         if (shift == 2) {
2123059368bcSRichard Henderson             new_esp = popq(&sa);
2124059368bcSRichard Henderson             new_ss = popq(&sa) & 0xffff;
2125eaa728eeSbellard         } else
2126eaa728eeSbellard #endif
212720054ef0SBlue Swirl         {
2128eaa728eeSbellard             if (shift == 1) {
2129eaa728eeSbellard                 /* 32 bits */
2130059368bcSRichard Henderson                 new_esp = popl(&sa);
2131059368bcSRichard Henderson                 new_ss = popl(&sa) & 0xffff;
2132eaa728eeSbellard             } else {
2133eaa728eeSbellard                 /* 16 bits */
2134059368bcSRichard Henderson                 new_esp = popw(&sa);
2135059368bcSRichard Henderson                 new_ss = popw(&sa);
2136eaa728eeSbellard             }
213720054ef0SBlue Swirl         }
2138d12d51d5Saliguori         LOG_PCALL("new ss:esp=%04x:" TARGET_FMT_lx "\n",
2139eaa728eeSbellard                   new_ss, new_esp);
2140eaa728eeSbellard         if ((new_ss & 0xfffc) == 0) {
2141eaa728eeSbellard #ifdef TARGET_X86_64
2142eaa728eeSbellard             /* NULL ss is allowed in long mode if cpl != 3 */
2143eaa728eeSbellard             /* XXX: test CS64? */
2144eaa728eeSbellard             if ((env->hflags & HF_LMA_MASK) && rpl != 3) {
2145eaa728eeSbellard                 cpu_x86_load_seg_cache(env, R_SS, new_ss,
2146eaa728eeSbellard                                        0, 0xffffffff,
2147eaa728eeSbellard                                        DESC_G_MASK | DESC_B_MASK | DESC_P_MASK |
2148eaa728eeSbellard                                        DESC_S_MASK | (rpl << DESC_DPL_SHIFT) |
2149eaa728eeSbellard                                        DESC_W_MASK | DESC_A_MASK);
2150eaa728eeSbellard                 ss_e2 = DESC_B_MASK; /* XXX: should not be needed? */
2151eaa728eeSbellard             } else
2152eaa728eeSbellard #endif
2153eaa728eeSbellard             {
2154100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0D_GPF, 0, retaddr);
2155eaa728eeSbellard             }
2156eaa728eeSbellard         } else {
215720054ef0SBlue Swirl             if ((new_ss & 3) != rpl) {
2158100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0D_GPF, new_ss & 0xfffc, retaddr);
215920054ef0SBlue Swirl             }
2160100ec099SPavel Dovgalyuk             if (load_segment_ra(env, &ss_e1, &ss_e2, new_ss, retaddr) != 0) {
2161100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0D_GPF, new_ss & 0xfffc, retaddr);
216220054ef0SBlue Swirl             }
2163eaa728eeSbellard             if (!(ss_e2 & DESC_S_MASK) ||
2164eaa728eeSbellard                 (ss_e2 & DESC_CS_MASK) ||
216520054ef0SBlue Swirl                 !(ss_e2 & DESC_W_MASK)) {
2166100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0D_GPF, new_ss & 0xfffc, retaddr);
216720054ef0SBlue Swirl             }
2168eaa728eeSbellard             dpl = (ss_e2 >> DESC_DPL_SHIFT) & 3;
216920054ef0SBlue Swirl             if (dpl != rpl) {
2170100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0D_GPF, new_ss & 0xfffc, retaddr);
217120054ef0SBlue Swirl             }
217220054ef0SBlue Swirl             if (!(ss_e2 & DESC_P_MASK)) {
2173100ec099SPavel Dovgalyuk                 raise_exception_err_ra(env, EXCP0B_NOSEG, new_ss & 0xfffc, retaddr);
217420054ef0SBlue Swirl             }
2175eaa728eeSbellard             cpu_x86_load_seg_cache(env, R_SS, new_ss,
2176eaa728eeSbellard                                    get_seg_base(ss_e1, ss_e2),
2177eaa728eeSbellard                                    get_seg_limit(ss_e1, ss_e2),
2178eaa728eeSbellard                                    ss_e2);
2179eaa728eeSbellard         }
2180eaa728eeSbellard 
2181eaa728eeSbellard         cpu_x86_load_seg_cache(env, R_CS, new_cs,
2182eaa728eeSbellard                        get_seg_base(e1, e2),
2183eaa728eeSbellard                        get_seg_limit(e1, e2),
2184eaa728eeSbellard                        e2);
2185059368bcSRichard Henderson         sa.sp = new_esp;
2186eaa728eeSbellard #ifdef TARGET_X86_64
218720054ef0SBlue Swirl         if (env->hflags & HF_CS64_MASK) {
2188059368bcSRichard Henderson             sa.sp_mask = -1;
218920054ef0SBlue Swirl         } else
2190eaa728eeSbellard #endif
219120054ef0SBlue Swirl         {
2192059368bcSRichard Henderson             sa.sp_mask = get_sp_mask(ss_e2);
219320054ef0SBlue Swirl         }
2194eaa728eeSbellard 
2195eaa728eeSbellard         /* validate data segments */
21962999a0b2SBlue Swirl         validate_seg(env, R_ES, rpl);
21972999a0b2SBlue Swirl         validate_seg(env, R_DS, rpl);
21982999a0b2SBlue Swirl         validate_seg(env, R_FS, rpl);
21992999a0b2SBlue Swirl         validate_seg(env, R_GS, rpl);
2200eaa728eeSbellard 
2201059368bcSRichard Henderson         sa.sp += addend;
2202eaa728eeSbellard     }
2203059368bcSRichard Henderson     SET_ESP(sa.sp, sa.sp_mask);
2204eaa728eeSbellard     env->eip = new_eip;
2205eaa728eeSbellard     if (is_iret) {
2206eaa728eeSbellard         /* NOTE: 'cpl' is the _old_ CPL */
2207eaa728eeSbellard         eflags_mask = TF_MASK | AC_MASK | ID_MASK | RF_MASK | NT_MASK;
220820054ef0SBlue Swirl         if (cpl == 0) {
2209eaa728eeSbellard             eflags_mask |= IOPL_MASK;
221020054ef0SBlue Swirl         }
2211eaa728eeSbellard         iopl = (env->eflags >> IOPL_SHIFT) & 3;
221220054ef0SBlue Swirl         if (cpl <= iopl) {
2213eaa728eeSbellard             eflags_mask |= IF_MASK;
221420054ef0SBlue Swirl         }
221520054ef0SBlue Swirl         if (shift == 0) {
2216eaa728eeSbellard             eflags_mask &= 0xffff;
221720054ef0SBlue Swirl         }
2218997ff0d9SBlue Swirl         cpu_load_eflags(env, new_eflags, eflags_mask);
2219eaa728eeSbellard     }
2220eaa728eeSbellard     return;
2221eaa728eeSbellard 
2222eaa728eeSbellard  return_to_vm86:
2223059368bcSRichard Henderson     new_esp = popl(&sa);
2224059368bcSRichard Henderson     new_ss = popl(&sa);
2225059368bcSRichard Henderson     new_es = popl(&sa);
2226059368bcSRichard Henderson     new_ds = popl(&sa);
2227059368bcSRichard Henderson     new_fs = popl(&sa);
2228059368bcSRichard Henderson     new_gs = popl(&sa);
2229eaa728eeSbellard 
2230eaa728eeSbellard     /* modify processor state */
2231997ff0d9SBlue Swirl     cpu_load_eflags(env, new_eflags, TF_MASK | AC_MASK | ID_MASK |
2232997ff0d9SBlue Swirl                     IF_MASK | IOPL_MASK | VM_MASK | NT_MASK | VIF_MASK |
2233997ff0d9SBlue Swirl                     VIP_MASK);
22342999a0b2SBlue Swirl     load_seg_vm(env, R_CS, new_cs & 0xffff);
22352999a0b2SBlue Swirl     load_seg_vm(env, R_SS, new_ss & 0xffff);
22362999a0b2SBlue Swirl     load_seg_vm(env, R_ES, new_es & 0xffff);
22372999a0b2SBlue Swirl     load_seg_vm(env, R_DS, new_ds & 0xffff);
22382999a0b2SBlue Swirl     load_seg_vm(env, R_FS, new_fs & 0xffff);
22392999a0b2SBlue Swirl     load_seg_vm(env, R_GS, new_gs & 0xffff);
2240eaa728eeSbellard 
2241eaa728eeSbellard     env->eip = new_eip & 0xffff;
224208b3ded6Sliguang     env->regs[R_ESP] = new_esp;
2243eaa728eeSbellard }
2244eaa728eeSbellard 
helper_iret_protected(CPUX86State * env,int shift,int next_eip)22452999a0b2SBlue Swirl void helper_iret_protected(CPUX86State *env, int shift, int next_eip)
2246eaa728eeSbellard {
2247eaa728eeSbellard     int tss_selector, type;
2248eaa728eeSbellard     uint32_t e1, e2;
2249eaa728eeSbellard 
2250eaa728eeSbellard     /* specific case for TSS */
2251eaa728eeSbellard     if (env->eflags & NT_MASK) {
2252eaa728eeSbellard #ifdef TARGET_X86_64
225320054ef0SBlue Swirl         if (env->hflags & HF_LMA_MASK) {
2254100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0D_GPF, 0, GETPC());
225520054ef0SBlue Swirl         }
2256eaa728eeSbellard #endif
2257100ec099SPavel Dovgalyuk         tss_selector = cpu_lduw_kernel_ra(env, env->tr.base + 0, GETPC());
225820054ef0SBlue Swirl         if (tss_selector & 4) {
2259100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0A_TSS, tss_selector & 0xfffc, GETPC());
226020054ef0SBlue Swirl         }
2261100ec099SPavel Dovgalyuk         if (load_segment_ra(env, &e1, &e2, tss_selector, GETPC()) != 0) {
2262100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0A_TSS, tss_selector & 0xfffc, GETPC());
226320054ef0SBlue Swirl         }
2264eaa728eeSbellard         type = (e2 >> DESC_TYPE_SHIFT) & 0x17;
2265eaa728eeSbellard         /* NOTE: we check both segment and busy TSS */
226620054ef0SBlue Swirl         if (type != 3) {
2267100ec099SPavel Dovgalyuk             raise_exception_err_ra(env, EXCP0A_TSS, tss_selector & 0xfffc, GETPC());
226820054ef0SBlue Swirl         }
2269c7c33283SPaolo Bonzini         switch_tss_ra(env, tss_selector, e1, e2, SWITCH_TSS_IRET, next_eip,
2270c7c33283SPaolo Bonzini                       false, 0, GETPC());
2271eaa728eeSbellard     } else {
2272100ec099SPavel Dovgalyuk         helper_ret_protected(env, shift, 1, 0, GETPC());
2273eaa728eeSbellard     }
2274db620f46Sbellard     env->hflags2 &= ~HF2_NMI_MASK;
2275eaa728eeSbellard }
2276eaa728eeSbellard 
helper_lret_protected(CPUX86State * env,int shift,int addend)22772999a0b2SBlue Swirl void helper_lret_protected(CPUX86State *env, int shift, int addend)
2278eaa728eeSbellard {
2279100ec099SPavel Dovgalyuk     helper_ret_protected(env, shift, 0, addend, GETPC());
2280eaa728eeSbellard }
2281eaa728eeSbellard 
helper_sysenter(CPUX86State * env)22822999a0b2SBlue Swirl void helper_sysenter(CPUX86State *env)
2283eaa728eeSbellard {
2284eaa728eeSbellard     if (env->sysenter_cs == 0) {
2285100ec099SPavel Dovgalyuk         raise_exception_err_ra(env, EXCP0D_GPF, 0, GETPC());
2286eaa728eeSbellard     }
2287eaa728eeSbellard     env->eflags &= ~(VM_MASK | IF_MASK | RF_MASK);
22882436b61aSbalrog 
22892436b61aSbalrog #ifdef TARGET_X86_64
22902436b61aSbalrog     if (env->hflags & HF_LMA_MASK) {
22912436b61aSbalrog         cpu_x86_load_seg_cache(env, R_CS, env->sysenter_cs & 0xfffc,
22922436b61aSbalrog                                0, 0xffffffff,
22932436b61aSbalrog                                DESC_G_MASK | DESC_B_MASK | DESC_P_MASK |
22942436b61aSbalrog                                DESC_S_MASK |
229520054ef0SBlue Swirl                                DESC_CS_MASK | DESC_R_MASK | DESC_A_MASK |
229620054ef0SBlue Swirl                                DESC_L_MASK);
22972436b61aSbalrog     } else
22982436b61aSbalrog #endif
22992436b61aSbalrog     {
2300eaa728eeSbellard         cpu_x86_load_seg_cache(env, R_CS, env->sysenter_cs & 0xfffc,
2301eaa728eeSbellard                                0, 0xffffffff,
2302eaa728eeSbellard                                DESC_G_MASK | DESC_B_MASK | DESC_P_MASK |
2303eaa728eeSbellard                                DESC_S_MASK |
2304eaa728eeSbellard                                DESC_CS_MASK | DESC_R_MASK | DESC_A_MASK);
23052436b61aSbalrog     }
2306eaa728eeSbellard     cpu_x86_load_seg_cache(env, R_SS, (env->sysenter_cs + 8) & 0xfffc,
2307eaa728eeSbellard                            0, 0xffffffff,
2308eaa728eeSbellard                            DESC_G_MASK | DESC_B_MASK | DESC_P_MASK |
2309eaa728eeSbellard                            DESC_S_MASK |
2310eaa728eeSbellard                            DESC_W_MASK | DESC_A_MASK);
231108b3ded6Sliguang     env->regs[R_ESP] = env->sysenter_esp;
2312a78d0eabSliguang     env->eip = env->sysenter_eip;
2313eaa728eeSbellard }
2314eaa728eeSbellard 
helper_sysexit(CPUX86State * env,int dflag)23152999a0b2SBlue Swirl void helper_sysexit(CPUX86State *env, int dflag)
2316eaa728eeSbellard {
2317eaa728eeSbellard     int cpl;
2318eaa728eeSbellard 
2319eaa728eeSbellard     cpl = env->hflags & HF_CPL_MASK;
2320eaa728eeSbellard     if (env->sysenter_cs == 0 || cpl != 0) {
2321100ec099SPavel Dovgalyuk         raise_exception_err_ra(env, EXCP0D_GPF, 0, GETPC());
2322eaa728eeSbellard     }
23232436b61aSbalrog #ifdef TARGET_X86_64
23242436b61aSbalrog     if (dflag == 2) {
232520054ef0SBlue Swirl         cpu_x86_load_seg_cache(env, R_CS, ((env->sysenter_cs + 32) & 0xfffc) |
232620054ef0SBlue Swirl                                3, 0, 0xffffffff,
23272436b61aSbalrog                                DESC_G_MASK | DESC_B_MASK | DESC_P_MASK |
23282436b61aSbalrog                                DESC_S_MASK | (3 << DESC_DPL_SHIFT) |
232920054ef0SBlue Swirl                                DESC_CS_MASK | DESC_R_MASK | DESC_A_MASK |
233020054ef0SBlue Swirl                                DESC_L_MASK);
233120054ef0SBlue Swirl         cpu_x86_load_seg_cache(env, R_SS, ((env->sysenter_cs + 40) & 0xfffc) |
233220054ef0SBlue Swirl                                3, 0, 0xffffffff,
23332436b61aSbalrog                                DESC_G_MASK | DESC_B_MASK | DESC_P_MASK |
23342436b61aSbalrog                                DESC_S_MASK | (3 << DESC_DPL_SHIFT) |
23352436b61aSbalrog                                DESC_W_MASK | DESC_A_MASK);
23362436b61aSbalrog     } else
23372436b61aSbalrog #endif
23382436b61aSbalrog     {
233920054ef0SBlue Swirl         cpu_x86_load_seg_cache(env, R_CS, ((env->sysenter_cs + 16) & 0xfffc) |
234020054ef0SBlue Swirl                                3, 0, 0xffffffff,
2341eaa728eeSbellard                                DESC_G_MASK | DESC_B_MASK | DESC_P_MASK |
2342eaa728eeSbellard                                DESC_S_MASK | (3 << DESC_DPL_SHIFT) |
2343eaa728eeSbellard                                DESC_CS_MASK | DESC_R_MASK | DESC_A_MASK);
234420054ef0SBlue Swirl         cpu_x86_load_seg_cache(env, R_SS, ((env->sysenter_cs + 24) & 0xfffc) |
234520054ef0SBlue Swirl                                3, 0, 0xffffffff,
2346eaa728eeSbellard                                DESC_G_MASK | DESC_B_MASK | DESC_P_MASK |
2347eaa728eeSbellard                                DESC_S_MASK | (3 << DESC_DPL_SHIFT) |
2348eaa728eeSbellard                                DESC_W_MASK | DESC_A_MASK);
23492436b61aSbalrog     }
235008b3ded6Sliguang     env->regs[R_ESP] = env->regs[R_ECX];
2351a78d0eabSliguang     env->eip = env->regs[R_EDX];
2352eaa728eeSbellard }
2353eaa728eeSbellard 
helper_lsl(CPUX86State * env,target_ulong selector1)23542999a0b2SBlue Swirl target_ulong helper_lsl(CPUX86State *env, target_ulong selector1)
2355eaa728eeSbellard {
2356eaa728eeSbellard     unsigned int limit;
2357ae541c0eSPaolo Bonzini     uint32_t e1, e2, selector;
2358eaa728eeSbellard     int rpl, dpl, cpl, type;
2359eaa728eeSbellard 
2360eaa728eeSbellard     selector = selector1 & 0xffff;
2361ae541c0eSPaolo Bonzini     assert(CC_OP == CC_OP_EFLAGS);
236220054ef0SBlue Swirl     if ((selector & 0xfffc) == 0) {
2363dc1ded53Saliguori         goto fail;
236420054ef0SBlue Swirl     }
2365100ec099SPavel Dovgalyuk     if (load_segment_ra(env, &e1, &e2, selector, GETPC()) != 0) {
2366eaa728eeSbellard         goto fail;
236720054ef0SBlue Swirl     }
2368eaa728eeSbellard     rpl = selector & 3;
2369eaa728eeSbellard     dpl = (e2 >> DESC_DPL_SHIFT) & 3;
2370eaa728eeSbellard     cpl = env->hflags & HF_CPL_MASK;
2371eaa728eeSbellard     if (e2 & DESC_S_MASK) {
2372eaa728eeSbellard         if ((e2 & DESC_CS_MASK) && (e2 & DESC_C_MASK)) {
2373eaa728eeSbellard             /* conforming */
2374eaa728eeSbellard         } else {
237520054ef0SBlue Swirl             if (dpl < cpl || dpl < rpl) {
2376eaa728eeSbellard                 goto fail;
2377eaa728eeSbellard             }
237820054ef0SBlue Swirl         }
2379eaa728eeSbellard     } else {
2380eaa728eeSbellard         type = (e2 >> DESC_TYPE_SHIFT) & 0xf;
2381eaa728eeSbellard         switch (type) {
2382eaa728eeSbellard         case 1:
2383eaa728eeSbellard         case 2:
2384eaa728eeSbellard         case 3:
2385eaa728eeSbellard         case 9:
2386eaa728eeSbellard         case 11:
2387eaa728eeSbellard             break;
2388eaa728eeSbellard         default:
2389eaa728eeSbellard             goto fail;
2390eaa728eeSbellard         }
2391eaa728eeSbellard         if (dpl < cpl || dpl < rpl) {
2392eaa728eeSbellard         fail:
2393ae541c0eSPaolo Bonzini             CC_SRC &= ~CC_Z;
2394eaa728eeSbellard             return 0;
2395eaa728eeSbellard         }
2396eaa728eeSbellard     }
2397eaa728eeSbellard     limit = get_seg_limit(e1, e2);
2398ae541c0eSPaolo Bonzini     CC_SRC |= CC_Z;
2399eaa728eeSbellard     return limit;
2400eaa728eeSbellard }
2401eaa728eeSbellard 
helper_lar(CPUX86State * env,target_ulong selector1)24022999a0b2SBlue Swirl target_ulong helper_lar(CPUX86State *env, target_ulong selector1)
2403eaa728eeSbellard {
2404ae541c0eSPaolo Bonzini     uint32_t e1, e2, selector;
2405eaa728eeSbellard     int rpl, dpl, cpl, type;
2406eaa728eeSbellard 
2407eaa728eeSbellard     selector = selector1 & 0xffff;
2408ae541c0eSPaolo Bonzini     assert(CC_OP == CC_OP_EFLAGS);
240920054ef0SBlue Swirl     if ((selector & 0xfffc) == 0) {
2410eaa728eeSbellard         goto fail;
241120054ef0SBlue Swirl     }
2412100ec099SPavel Dovgalyuk     if (load_segment_ra(env, &e1, &e2, selector, GETPC()) != 0) {
2413eaa728eeSbellard         goto fail;
241420054ef0SBlue Swirl     }
2415eaa728eeSbellard     rpl = selector & 3;
2416eaa728eeSbellard     dpl = (e2 >> DESC_DPL_SHIFT) & 3;
2417eaa728eeSbellard     cpl = env->hflags & HF_CPL_MASK;
2418eaa728eeSbellard     if (e2 & DESC_S_MASK) {
2419eaa728eeSbellard         if ((e2 & DESC_CS_MASK) && (e2 & DESC_C_MASK)) {
2420eaa728eeSbellard             /* conforming */
2421eaa728eeSbellard         } else {
242220054ef0SBlue Swirl             if (dpl < cpl || dpl < rpl) {
2423eaa728eeSbellard                 goto fail;
2424eaa728eeSbellard             }
242520054ef0SBlue Swirl         }
2426eaa728eeSbellard     } else {
2427eaa728eeSbellard         type = (e2 >> DESC_TYPE_SHIFT) & 0xf;
2428eaa728eeSbellard         switch (type) {
2429eaa728eeSbellard         case 1:
2430eaa728eeSbellard         case 2:
2431eaa728eeSbellard         case 3:
2432eaa728eeSbellard         case 4:
2433eaa728eeSbellard         case 5:
2434eaa728eeSbellard         case 9:
2435eaa728eeSbellard         case 11:
2436eaa728eeSbellard         case 12:
2437eaa728eeSbellard             break;
2438eaa728eeSbellard         default:
2439eaa728eeSbellard             goto fail;
2440eaa728eeSbellard         }
2441eaa728eeSbellard         if (dpl < cpl || dpl < rpl) {
2442eaa728eeSbellard         fail:
2443ae541c0eSPaolo Bonzini             CC_SRC &= ~CC_Z;
2444eaa728eeSbellard             return 0;
2445eaa728eeSbellard         }
2446eaa728eeSbellard     }
2447ae541c0eSPaolo Bonzini     CC_SRC |= CC_Z;
2448eaa728eeSbellard     return e2 & 0x00f0ff00;
2449eaa728eeSbellard }
2450eaa728eeSbellard 
helper_verr(CPUX86State * env,target_ulong selector1)24512999a0b2SBlue Swirl void helper_verr(CPUX86State *env, target_ulong selector1)
2452eaa728eeSbellard {
2453eaa728eeSbellard     uint32_t e1, e2, eflags, selector;
2454eaa728eeSbellard     int rpl, dpl, cpl;
2455eaa728eeSbellard 
2456eaa728eeSbellard     selector = selector1 & 0xffff;
2457abdcc5c8SPaolo Bonzini     eflags = cpu_cc_compute_all(env) | CC_Z;
245820054ef0SBlue Swirl     if ((selector & 0xfffc) == 0) {
2459eaa728eeSbellard         goto fail;
246020054ef0SBlue Swirl     }
2461100ec099SPavel Dovgalyuk     if (load_segment_ra(env, &e1, &e2, selector, GETPC()) != 0) {
2462eaa728eeSbellard         goto fail;
246320054ef0SBlue Swirl     }
246420054ef0SBlue Swirl     if (!(e2 & DESC_S_MASK)) {
2465eaa728eeSbellard         goto fail;
246620054ef0SBlue Swirl     }
2467eaa728eeSbellard     rpl = selector & 3;
2468eaa728eeSbellard     dpl = (e2 >> DESC_DPL_SHIFT) & 3;
2469eaa728eeSbellard     cpl = env->hflags & HF_CPL_MASK;
2470eaa728eeSbellard     if (e2 & DESC_CS_MASK) {
247120054ef0SBlue Swirl         if (!(e2 & DESC_R_MASK)) {
2472eaa728eeSbellard             goto fail;
247320054ef0SBlue Swirl         }
2474eaa728eeSbellard         if (!(e2 & DESC_C_MASK)) {
247520054ef0SBlue Swirl             if (dpl < cpl || dpl < rpl) {
2476eaa728eeSbellard                 goto fail;
2477eaa728eeSbellard             }
247820054ef0SBlue Swirl         }
2479eaa728eeSbellard     } else {
2480eaa728eeSbellard         if (dpl < cpl || dpl < rpl) {
2481eaa728eeSbellard         fail:
2482abdcc5c8SPaolo Bonzini             eflags &= ~CC_Z;
2483eaa728eeSbellard         }
2484eaa728eeSbellard     }
2485abdcc5c8SPaolo Bonzini     CC_SRC = eflags;
2486abdcc5c8SPaolo Bonzini     CC_OP = CC_OP_EFLAGS;
2487eaa728eeSbellard }
2488eaa728eeSbellard 
helper_verw(CPUX86State * env,target_ulong selector1)24892999a0b2SBlue Swirl void helper_verw(CPUX86State *env, target_ulong selector1)
2490eaa728eeSbellard {
2491eaa728eeSbellard     uint32_t e1, e2, eflags, selector;
2492eaa728eeSbellard     int rpl, dpl, cpl;
2493eaa728eeSbellard 
2494eaa728eeSbellard     selector = selector1 & 0xffff;
2495abdcc5c8SPaolo Bonzini     eflags = cpu_cc_compute_all(env) | CC_Z;
249620054ef0SBlue Swirl     if ((selector & 0xfffc) == 0) {
2497eaa728eeSbellard         goto fail;
249820054ef0SBlue Swirl     }
2499100ec099SPavel Dovgalyuk     if (load_segment_ra(env, &e1, &e2, selector, GETPC()) != 0) {
2500eaa728eeSbellard         goto fail;
250120054ef0SBlue Swirl     }
250220054ef0SBlue Swirl     if (!(e2 & DESC_S_MASK)) {
2503eaa728eeSbellard         goto fail;
250420054ef0SBlue Swirl     }
2505eaa728eeSbellard     rpl = selector & 3;
2506eaa728eeSbellard     dpl = (e2 >> DESC_DPL_SHIFT) & 3;
2507eaa728eeSbellard     cpl = env->hflags & HF_CPL_MASK;
2508eaa728eeSbellard     if (e2 & DESC_CS_MASK) {
2509eaa728eeSbellard         goto fail;
2510eaa728eeSbellard     } else {
251120054ef0SBlue Swirl         if (dpl < cpl || dpl < rpl) {
2512eaa728eeSbellard             goto fail;
251320054ef0SBlue Swirl         }
2514eaa728eeSbellard         if (!(e2 & DESC_W_MASK)) {
2515eaa728eeSbellard         fail:
2516abdcc5c8SPaolo Bonzini             eflags &= ~CC_Z;
2517eaa728eeSbellard         }
2518eaa728eeSbellard     }
2519abdcc5c8SPaolo Bonzini     CC_SRC = eflags;
2520abdcc5c8SPaolo Bonzini     CC_OP = CC_OP_EFLAGS;
2521eaa728eeSbellard }
2522