xref: /openbmc/qemu/target/i386/tcg/seg_helper.c (revision f7ff24a6e9259726db08e36cdc28645c0a3b1a70)
11b248f14SClaudio Fontana /*
21b248f14SClaudio Fontana  *  x86 segmentation related helpers:
31b248f14SClaudio Fontana  *  TSS, interrupts, system calls, jumps and call/task gates, descriptors
41b248f14SClaudio Fontana  *
51b248f14SClaudio Fontana  *  Copyright (c) 2003 Fabrice Bellard
61b248f14SClaudio Fontana  *
71b248f14SClaudio Fontana  * This library is free software; you can redistribute it and/or
81b248f14SClaudio Fontana  * modify it under the terms of the GNU Lesser General Public
91b248f14SClaudio Fontana  * License as published by the Free Software Foundation; either
101b248f14SClaudio Fontana  * version 2.1 of the License, or (at your option) any later version.
111b248f14SClaudio Fontana  *
121b248f14SClaudio Fontana  * This library is distributed in the hope that it will be useful,
131b248f14SClaudio Fontana  * but WITHOUT ANY WARRANTY; without even the implied warranty of
141b248f14SClaudio Fontana  * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
151b248f14SClaudio Fontana  * Lesser General Public License for more details.
161b248f14SClaudio Fontana  *
171b248f14SClaudio Fontana  * You should have received a copy of the GNU Lesser General Public
181b248f14SClaudio Fontana  * License along with this library; if not, see <http://www.gnu.org/licenses/>.
191b248f14SClaudio Fontana  */
201b248f14SClaudio Fontana 
211b248f14SClaudio Fontana #include "qemu/osdep.h"
221b248f14SClaudio Fontana #include "cpu.h"
231b248f14SClaudio Fontana #include "qemu/log.h"
241b248f14SClaudio Fontana #include "exec/helper-proto.h"
251b248f14SClaudio Fontana #include "exec/exec-all.h"
261b248f14SClaudio Fontana #include "exec/cpu_ldst.h"
271b248f14SClaudio Fontana #include "exec/log.h"
28ed69e831SClaudio Fontana #include "helper-tcg.h"
2930493a03SClaudio Fontana #include "seg_helper.h"
308b131065SPaolo Bonzini #include "access.h"
311b248f14SClaudio Fontana 
32059368bcSRichard Henderson #ifdef TARGET_X86_64
33059368bcSRichard Henderson #define SET_ESP(val, sp_mask)                                   \
34059368bcSRichard Henderson     do {                                                        \
35059368bcSRichard Henderson         if ((sp_mask) == 0xffff) {                              \
36059368bcSRichard Henderson             env->regs[R_ESP] = (env->regs[R_ESP] & ~0xffff) |   \
37059368bcSRichard Henderson                 ((val) & 0xffff);                               \
38059368bcSRichard Henderson         } else if ((sp_mask) == 0xffffffffLL) {                 \
39059368bcSRichard Henderson             env->regs[R_ESP] = (uint32_t)(val);                 \
40059368bcSRichard Henderson         } else {                                                \
41059368bcSRichard Henderson             env->regs[R_ESP] = (val);                           \
42059368bcSRichard Henderson         }                                                       \
43059368bcSRichard Henderson     } while (0)
44059368bcSRichard Henderson #else
45059368bcSRichard Henderson #define SET_ESP(val, sp_mask)                                   \
46059368bcSRichard Henderson     do {                                                        \
47059368bcSRichard Henderson         env->regs[R_ESP] = (env->regs[R_ESP] & ~(sp_mask)) |    \
48059368bcSRichard Henderson             ((val) & (sp_mask));                                \
49059368bcSRichard Henderson     } while (0)
50059368bcSRichard Henderson #endif
51059368bcSRichard Henderson 
52059368bcSRichard Henderson /* XXX: use mmu_index to have proper DPL support */
53059368bcSRichard Henderson typedef struct StackAccess
54059368bcSRichard Henderson {
55059368bcSRichard Henderson     CPUX86State *env;
56059368bcSRichard Henderson     uintptr_t ra;
57059368bcSRichard Henderson     target_ulong ss_base;
58059368bcSRichard Henderson     target_ulong sp;
59059368bcSRichard Henderson     target_ulong sp_mask;
608053862aSPaolo Bonzini     int mmu_index;
61059368bcSRichard Henderson } StackAccess;
62059368bcSRichard Henderson 
pushw(StackAccess * sa,uint16_t val)63059368bcSRichard Henderson static void pushw(StackAccess *sa, uint16_t val)
64059368bcSRichard Henderson {
65059368bcSRichard Henderson     sa->sp -= 2;
668053862aSPaolo Bonzini     cpu_stw_mmuidx_ra(sa->env, sa->ss_base + (sa->sp & sa->sp_mask),
678053862aSPaolo Bonzini                       val, sa->mmu_index, sa->ra);
68059368bcSRichard Henderson }
69059368bcSRichard Henderson 
pushl(StackAccess * sa,uint32_t val)70059368bcSRichard Henderson static void pushl(StackAccess *sa, uint32_t val)
71059368bcSRichard Henderson {
72059368bcSRichard Henderson     sa->sp -= 4;
738053862aSPaolo Bonzini     cpu_stl_mmuidx_ra(sa->env, sa->ss_base + (sa->sp & sa->sp_mask),
748053862aSPaolo Bonzini                       val, sa->mmu_index, sa->ra);
75059368bcSRichard Henderson }
76059368bcSRichard Henderson 
popw(StackAccess * sa)77059368bcSRichard Henderson static uint16_t popw(StackAccess *sa)
78059368bcSRichard Henderson {
798053862aSPaolo Bonzini     uint16_t ret = cpu_lduw_mmuidx_ra(sa->env,
80059368bcSRichard Henderson                                       sa->ss_base + (sa->sp & sa->sp_mask),
818053862aSPaolo Bonzini                                       sa->mmu_index, sa->ra);
82059368bcSRichard Henderson     sa->sp += 2;
83059368bcSRichard Henderson     return ret;
84059368bcSRichard Henderson }
85059368bcSRichard Henderson 
popl(StackAccess * sa)86059368bcSRichard Henderson static uint32_t popl(StackAccess *sa)
87059368bcSRichard Henderson {
888053862aSPaolo Bonzini     uint32_t ret = cpu_ldl_mmuidx_ra(sa->env,
89059368bcSRichard Henderson                                      sa->ss_base + (sa->sp & sa->sp_mask),
908053862aSPaolo Bonzini                                      sa->mmu_index, sa->ra);
91059368bcSRichard Henderson     sa->sp += 4;
92059368bcSRichard Henderson     return ret;
93059368bcSRichard Henderson }
94059368bcSRichard Henderson 
get_pg_mode(CPUX86State * env)9550fcc7cbSGareth Webb int get_pg_mode(CPUX86State *env)
9650fcc7cbSGareth Webb {
97*f7ff24a6SAlexander Graf     int pg_mode = PG_MODE_PG;
9850fcc7cbSGareth Webb     if (!(env->cr[0] & CR0_PG_MASK)) {
9950fcc7cbSGareth Webb         return 0;
10050fcc7cbSGareth Webb     }
10150fcc7cbSGareth Webb     if (env->cr[0] & CR0_WP_MASK) {
10250fcc7cbSGareth Webb         pg_mode |= PG_MODE_WP;
10350fcc7cbSGareth Webb     }
10450fcc7cbSGareth Webb     if (env->cr[4] & CR4_PAE_MASK) {
10550fcc7cbSGareth Webb         pg_mode |= PG_MODE_PAE;
10650fcc7cbSGareth Webb         if (env->efer & MSR_EFER_NXE) {
10750fcc7cbSGareth Webb             pg_mode |= PG_MODE_NXE;
10850fcc7cbSGareth Webb         }
10950fcc7cbSGareth Webb     }
11050fcc7cbSGareth Webb     if (env->cr[4] & CR4_PSE_MASK) {
11150fcc7cbSGareth Webb         pg_mode |= PG_MODE_PSE;
11250fcc7cbSGareth Webb     }
11350fcc7cbSGareth Webb     if (env->cr[4] & CR4_SMEP_MASK) {
11450fcc7cbSGareth Webb         pg_mode |= PG_MODE_SMEP;
11550fcc7cbSGareth Webb     }
11650fcc7cbSGareth Webb     if (env->hflags & HF_LMA_MASK) {
11750fcc7cbSGareth Webb         pg_mode |= PG_MODE_LMA;
11850fcc7cbSGareth Webb         if (env->cr[4] & CR4_PKE_MASK) {
11950fcc7cbSGareth Webb             pg_mode |= PG_MODE_PKE;
12050fcc7cbSGareth Webb         }
12150fcc7cbSGareth Webb         if (env->cr[4] & CR4_PKS_MASK) {
12250fcc7cbSGareth Webb             pg_mode |= PG_MODE_PKS;
12350fcc7cbSGareth Webb         }
12450fcc7cbSGareth Webb         if (env->cr[4] & CR4_LA57_MASK) {
12550fcc7cbSGareth Webb             pg_mode |= PG_MODE_LA57;
12650fcc7cbSGareth Webb         }
12750fcc7cbSGareth Webb     }
12850fcc7cbSGareth Webb     return pg_mode;
12950fcc7cbSGareth Webb }
13050fcc7cbSGareth Webb 
1311b248f14SClaudio Fontana /* return non zero if error */
load_segment_ra(CPUX86State * env,uint32_t * e1_ptr,uint32_t * e2_ptr,int selector,uintptr_t retaddr)1321b248f14SClaudio Fontana static inline int load_segment_ra(CPUX86State *env, uint32_t *e1_ptr,
1331b248f14SClaudio Fontana                                uint32_t *e2_ptr, int selector,
1341b248f14SClaudio Fontana                                uintptr_t retaddr)
1351b248f14SClaudio Fontana {
1361b248f14SClaudio Fontana     SegmentCache *dt;
1371b248f14SClaudio Fontana     int index;
1381b248f14SClaudio Fontana     target_ulong ptr;
1391b248f14SClaudio Fontana 
1401b248f14SClaudio Fontana     if (selector & 0x4) {
1411b248f14SClaudio Fontana         dt = &env->ldt;
1421b248f14SClaudio Fontana     } else {
1431b248f14SClaudio Fontana         dt = &env->gdt;
1441b248f14SClaudio Fontana     }
1451b248f14SClaudio Fontana     index = selector & ~7;
1461b248f14SClaudio Fontana     if ((index + 7) > dt->limit) {
1471b248f14SClaudio Fontana         return -1;
1481b248f14SClaudio Fontana     }
1491b248f14SClaudio Fontana     ptr = dt->base + index;
1501b248f14SClaudio Fontana     *e1_ptr = cpu_ldl_kernel_ra(env, ptr, retaddr);
1511b248f14SClaudio Fontana     *e2_ptr = cpu_ldl_kernel_ra(env, ptr + 4, retaddr);
1521b248f14SClaudio Fontana     return 0;
1531b248f14SClaudio Fontana }
1541b248f14SClaudio Fontana 
load_segment(CPUX86State * env,uint32_t * e1_ptr,uint32_t * e2_ptr,int selector)1551b248f14SClaudio Fontana static inline int load_segment(CPUX86State *env, uint32_t *e1_ptr,
1561b248f14SClaudio Fontana                                uint32_t *e2_ptr, int selector)
1571b248f14SClaudio Fontana {
1581b248f14SClaudio Fontana     return load_segment_ra(env, e1_ptr, e2_ptr, selector, 0);
1591b248f14SClaudio Fontana }
1601b248f14SClaudio Fontana 
get_seg_limit(uint32_t e1,uint32_t e2)1611b248f14SClaudio Fontana static inline unsigned int get_seg_limit(uint32_t e1, uint32_t e2)
1621b248f14SClaudio Fontana {
1631b248f14SClaudio Fontana     unsigned int limit;
1641b248f14SClaudio Fontana 
1651b248f14SClaudio Fontana     limit = (e1 & 0xffff) | (e2 & 0x000f0000);
1661b248f14SClaudio Fontana     if (e2 & DESC_G_MASK) {
1671b248f14SClaudio Fontana         limit = (limit << 12) | 0xfff;
1681b248f14SClaudio Fontana     }
1691b248f14SClaudio Fontana     return limit;
1701b248f14SClaudio Fontana }
1711b248f14SClaudio Fontana 
get_seg_base(uint32_t e1,uint32_t e2)1721b248f14SClaudio Fontana static inline uint32_t get_seg_base(uint32_t e1, uint32_t e2)
1731b248f14SClaudio Fontana {
1741b248f14SClaudio Fontana     return (e1 >> 16) | ((e2 & 0xff) << 16) | (e2 & 0xff000000);
1751b248f14SClaudio Fontana }
1761b248f14SClaudio Fontana 
load_seg_cache_raw_dt(SegmentCache * sc,uint32_t e1,uint32_t e2)1771b248f14SClaudio Fontana static inline void load_seg_cache_raw_dt(SegmentCache *sc, uint32_t e1,
1781b248f14SClaudio Fontana                                          uint32_t e2)
1791b248f14SClaudio Fontana {
1801b248f14SClaudio Fontana     sc->base = get_seg_base(e1, e2);
1811b248f14SClaudio Fontana     sc->limit = get_seg_limit(e1, e2);
1821b248f14SClaudio Fontana     sc->flags = e2;
1831b248f14SClaudio Fontana }
1841b248f14SClaudio Fontana 
1851b248f14SClaudio Fontana /* init the segment cache in vm86 mode. */
load_seg_vm(CPUX86State * env,int seg,int selector)1861b248f14SClaudio Fontana static inline void load_seg_vm(CPUX86State *env, int seg, int selector)
1871b248f14SClaudio Fontana {
1881b248f14SClaudio Fontana     selector &= 0xffff;
1891b248f14SClaudio Fontana 
1901b248f14SClaudio Fontana     cpu_x86_load_seg_cache(env, seg, selector, (selector << 4), 0xffff,
1911b248f14SClaudio Fontana                            DESC_P_MASK | DESC_S_MASK | DESC_W_MASK |
1921b248f14SClaudio Fontana                            DESC_A_MASK | (3 << DESC_DPL_SHIFT));
1931b248f14SClaudio Fontana }
1941b248f14SClaudio Fontana 
get_ss_esp_from_tss(CPUX86State * env,uint32_t * ss_ptr,uint32_t * esp_ptr,int dpl,uintptr_t retaddr)1951b248f14SClaudio Fontana static inline void get_ss_esp_from_tss(CPUX86State *env, uint32_t *ss_ptr,
1961b248f14SClaudio Fontana                                        uint32_t *esp_ptr, int dpl,
1971b248f14SClaudio Fontana                                        uintptr_t retaddr)
1981b248f14SClaudio Fontana {
1991b248f14SClaudio Fontana     X86CPU *cpu = env_archcpu(env);
2001b248f14SClaudio Fontana     int type, index, shift;
2011b248f14SClaudio Fontana 
2021b248f14SClaudio Fontana #if 0
2031b248f14SClaudio Fontana     {
2041b248f14SClaudio Fontana         int i;
2051b248f14SClaudio Fontana         printf("TR: base=%p limit=%x\n", env->tr.base, env->tr.limit);
2061b248f14SClaudio Fontana         for (i = 0; i < env->tr.limit; i++) {
2071b248f14SClaudio Fontana             printf("%02x ", env->tr.base[i]);
2081b248f14SClaudio Fontana             if ((i & 7) == 7) {
2091b248f14SClaudio Fontana                 printf("\n");
2101b248f14SClaudio Fontana             }
2111b248f14SClaudio Fontana         }
2121b248f14SClaudio Fontana         printf("\n");
2131b248f14SClaudio Fontana     }
2141b248f14SClaudio Fontana #endif
2151b248f14SClaudio Fontana 
2161b248f14SClaudio Fontana     if (!(env->tr.flags & DESC_P_MASK)) {
2171b248f14SClaudio Fontana         cpu_abort(CPU(cpu), "invalid tss");
2181b248f14SClaudio Fontana     }
2191b248f14SClaudio Fontana     type = (env->tr.flags >> DESC_TYPE_SHIFT) & 0xf;
2201b248f14SClaudio Fontana     if ((type & 7) != 1) {
2211b248f14SClaudio Fontana         cpu_abort(CPU(cpu), "invalid tss type");
2221b248f14SClaudio Fontana     }
2231b248f14SClaudio Fontana     shift = type >> 3;
2241b248f14SClaudio Fontana     index = (dpl * 4 + 2) << shift;
2251b248f14SClaudio Fontana     if (index + (4 << shift) - 1 > env->tr.limit) {
2261b248f14SClaudio Fontana         raise_exception_err_ra(env, EXCP0A_TSS, env->tr.selector & 0xfffc, retaddr);
2271b248f14SClaudio Fontana     }
2281b248f14SClaudio Fontana     if (shift == 0) {
2291b248f14SClaudio Fontana         *esp_ptr = cpu_lduw_kernel_ra(env, env->tr.base + index, retaddr);
2301b248f14SClaudio Fontana         *ss_ptr = cpu_lduw_kernel_ra(env, env->tr.base + index + 2, retaddr);
2311b248f14SClaudio Fontana     } else {
2321b248f14SClaudio Fontana         *esp_ptr = cpu_ldl_kernel_ra(env, env->tr.base + index, retaddr);
2331b248f14SClaudio Fontana         *ss_ptr = cpu_lduw_kernel_ra(env, env->tr.base + index + 4, retaddr);
2341b248f14SClaudio Fontana     }
2351b248f14SClaudio Fontana }
2361b248f14SClaudio Fontana 
tss_load_seg(CPUX86State * env,X86Seg seg_reg,int selector,int cpl,uintptr_t retaddr)237c117e5b1SPhilippe Mathieu-Daudé static void tss_load_seg(CPUX86State *env, X86Seg seg_reg, int selector,
238c117e5b1SPhilippe Mathieu-Daudé                          int cpl, uintptr_t retaddr)
2391b248f14SClaudio Fontana {
2401b248f14SClaudio Fontana     uint32_t e1, e2;
2411b248f14SClaudio Fontana     int rpl, dpl;
2421b248f14SClaudio Fontana 
2431b248f14SClaudio Fontana     if ((selector & 0xfffc) != 0) {
2441b248f14SClaudio Fontana         if (load_segment_ra(env, &e1, &e2, selector, retaddr) != 0) {
2451b248f14SClaudio Fontana             raise_exception_err_ra(env, EXCP0A_TSS, selector & 0xfffc, retaddr);
2461b248f14SClaudio Fontana         }
2471b248f14SClaudio Fontana         if (!(e2 & DESC_S_MASK)) {
2481b248f14SClaudio Fontana             raise_exception_err_ra(env, EXCP0A_TSS, selector & 0xfffc, retaddr);
2491b248f14SClaudio Fontana         }
2501b248f14SClaudio Fontana         rpl = selector & 3;
2511b248f14SClaudio Fontana         dpl = (e2 >> DESC_DPL_SHIFT) & 3;
2521b248f14SClaudio Fontana         if (seg_reg == R_CS) {
2531b248f14SClaudio Fontana             if (!(e2 & DESC_CS_MASK)) {
2541b248f14SClaudio Fontana                 raise_exception_err_ra(env, EXCP0A_TSS, selector & 0xfffc, retaddr);
2551b248f14SClaudio Fontana             }
2561b248f14SClaudio Fontana             if (dpl != rpl) {
2571b248f14SClaudio Fontana                 raise_exception_err_ra(env, EXCP0A_TSS, selector & 0xfffc, retaddr);
2581b248f14SClaudio Fontana             }
2591b248f14SClaudio Fontana         } else if (seg_reg == R_SS) {
2601b248f14SClaudio Fontana             /* SS must be writable data */
2611b248f14SClaudio Fontana             if ((e2 & DESC_CS_MASK) || !(e2 & DESC_W_MASK)) {
2621b248f14SClaudio Fontana                 raise_exception_err_ra(env, EXCP0A_TSS, selector & 0xfffc, retaddr);
2631b248f14SClaudio Fontana             }
2641b248f14SClaudio Fontana             if (dpl != cpl || dpl != rpl) {
2651b248f14SClaudio Fontana                 raise_exception_err_ra(env, EXCP0A_TSS, selector & 0xfffc, retaddr);
2661b248f14SClaudio Fontana             }
2671b248f14SClaudio Fontana         } else {
2681b248f14SClaudio Fontana             /* not readable code */
2691b248f14SClaudio Fontana             if ((e2 & DESC_CS_MASK) && !(e2 & DESC_R_MASK)) {
2701b248f14SClaudio Fontana                 raise_exception_err_ra(env, EXCP0A_TSS, selector & 0xfffc, retaddr);
2711b248f14SClaudio Fontana             }
2721b248f14SClaudio Fontana             /* if data or non conforming code, checks the rights */
2731b248f14SClaudio Fontana             if (((e2 >> DESC_TYPE_SHIFT) & 0xf) < 12) {
2741b248f14SClaudio Fontana                 if (dpl < cpl || dpl < rpl) {
2751b248f14SClaudio Fontana                     raise_exception_err_ra(env, EXCP0A_TSS, selector & 0xfffc, retaddr);
2761b248f14SClaudio Fontana                 }
2771b248f14SClaudio Fontana             }
2781b248f14SClaudio Fontana         }
2791b248f14SClaudio Fontana         if (!(e2 & DESC_P_MASK)) {
2801b248f14SClaudio Fontana             raise_exception_err_ra(env, EXCP0B_NOSEG, selector & 0xfffc, retaddr);
2811b248f14SClaudio Fontana         }
2821b248f14SClaudio Fontana         cpu_x86_load_seg_cache(env, seg_reg, selector,
2831b248f14SClaudio Fontana                                get_seg_base(e1, e2),
2841b248f14SClaudio Fontana                                get_seg_limit(e1, e2),
2851b248f14SClaudio Fontana                                e2);
2861b248f14SClaudio Fontana     } else {
2871b248f14SClaudio Fontana         if (seg_reg == R_SS || seg_reg == R_CS) {
2881b248f14SClaudio Fontana             raise_exception_err_ra(env, EXCP0A_TSS, selector & 0xfffc, retaddr);
2891b248f14SClaudio Fontana         }
2901b248f14SClaudio Fontana     }
2911b248f14SClaudio Fontana }
2921b248f14SClaudio Fontana 
tss_set_busy(CPUX86State * env,int tss_selector,bool value,uintptr_t retaddr)293a9089859SPaolo Bonzini static void tss_set_busy(CPUX86State *env, int tss_selector, bool value,
294a9089859SPaolo Bonzini                          uintptr_t retaddr)
295a9089859SPaolo Bonzini {
296c35b2fb1SPaolo Bonzini     target_ulong ptr = env->gdt.base + (tss_selector & ~7);
297a9089859SPaolo Bonzini     uint32_t e2 = cpu_ldl_kernel_ra(env, ptr + 4, retaddr);
298a9089859SPaolo Bonzini 
299a9089859SPaolo Bonzini     if (value) {
300a9089859SPaolo Bonzini         e2 |= DESC_TSS_BUSY_MASK;
301a9089859SPaolo Bonzini     } else {
302a9089859SPaolo Bonzini         e2 &= ~DESC_TSS_BUSY_MASK;
303a9089859SPaolo Bonzini     }
304a9089859SPaolo Bonzini 
305a9089859SPaolo Bonzini     cpu_stl_kernel_ra(env, ptr + 4, e2, retaddr);
306a9089859SPaolo Bonzini }
307a9089859SPaolo Bonzini 
3081b248f14SClaudio Fontana #define SWITCH_TSS_JMP  0
3091b248f14SClaudio Fontana #define SWITCH_TSS_IRET 1
3101b248f14SClaudio Fontana #define SWITCH_TSS_CALL 2
3111b248f14SClaudio Fontana 
31249958057SPaolo Bonzini /* return 0 if switching to a 16-bit selector */
switch_tss_ra(CPUX86State * env,int tss_selector,uint32_t e1,uint32_t e2,int source,uint32_t next_eip,uintptr_t retaddr)31349958057SPaolo Bonzini static int switch_tss_ra(CPUX86State *env, int tss_selector,
3141b248f14SClaudio Fontana                          uint32_t e1, uint32_t e2, int source,
3151b248f14SClaudio Fontana                          uint32_t next_eip, uintptr_t retaddr)
3161b248f14SClaudio Fontana {
3178b131065SPaolo Bonzini     int tss_limit, tss_limit_max, type, old_tss_limit_max, old_type, i;
3181b248f14SClaudio Fontana     target_ulong tss_base;
3191b248f14SClaudio Fontana     uint32_t new_regs[8], new_segs[6];
3201b248f14SClaudio Fontana     uint32_t new_eflags, new_eip, new_cr3, new_ldt, new_trap;
3211b248f14SClaudio Fontana     uint32_t old_eflags, eflags_mask;
3221b248f14SClaudio Fontana     SegmentCache *dt;
3238b131065SPaolo Bonzini     int mmu_index, index;
3241b248f14SClaudio Fontana     target_ulong ptr;
3258b131065SPaolo Bonzini     X86Access old, new;
3261b248f14SClaudio Fontana 
3271b248f14SClaudio Fontana     type = (e2 >> DESC_TYPE_SHIFT) & 0xf;
3281b248f14SClaudio Fontana     LOG_PCALL("switch_tss: sel=0x%04x type=%d src=%d\n", tss_selector, type,
3291b248f14SClaudio Fontana               source);
3301b248f14SClaudio Fontana 
3311b248f14SClaudio Fontana     /* if task gate, we read the TSS segment and we load it */
3321b248f14SClaudio Fontana     if (type == 5) {
3331b248f14SClaudio Fontana         if (!(e2 & DESC_P_MASK)) {
3341b248f14SClaudio Fontana             raise_exception_err_ra(env, EXCP0B_NOSEG, tss_selector & 0xfffc, retaddr);
3351b248f14SClaudio Fontana         }
3361b248f14SClaudio Fontana         tss_selector = e1 >> 16;
3371b248f14SClaudio Fontana         if (tss_selector & 4) {
3381b248f14SClaudio Fontana             raise_exception_err_ra(env, EXCP0A_TSS, tss_selector & 0xfffc, retaddr);
3391b248f14SClaudio Fontana         }
3401b248f14SClaudio Fontana         if (load_segment_ra(env, &e1, &e2, tss_selector, retaddr) != 0) {
3411b248f14SClaudio Fontana             raise_exception_err_ra(env, EXCP0D_GPF, tss_selector & 0xfffc, retaddr);
3421b248f14SClaudio Fontana         }
3431b248f14SClaudio Fontana         if (e2 & DESC_S_MASK) {
3441b248f14SClaudio Fontana             raise_exception_err_ra(env, EXCP0D_GPF, tss_selector & 0xfffc, retaddr);
3451b248f14SClaudio Fontana         }
3461b248f14SClaudio Fontana         type = (e2 >> DESC_TYPE_SHIFT) & 0xf;
3471b248f14SClaudio Fontana         if ((type & 7) != 1) {
3481b248f14SClaudio Fontana             raise_exception_err_ra(env, EXCP0D_GPF, tss_selector & 0xfffc, retaddr);
3491b248f14SClaudio Fontana         }
3501b248f14SClaudio Fontana     }
3511b248f14SClaudio Fontana 
3521b248f14SClaudio Fontana     if (!(e2 & DESC_P_MASK)) {
3531b248f14SClaudio Fontana         raise_exception_err_ra(env, EXCP0B_NOSEG, tss_selector & 0xfffc, retaddr);
3541b248f14SClaudio Fontana     }
3551b248f14SClaudio Fontana 
3561b248f14SClaudio Fontana     if (type & 8) {
3571b248f14SClaudio Fontana         tss_limit_max = 103;
3581b248f14SClaudio Fontana     } else {
3591b248f14SClaudio Fontana         tss_limit_max = 43;
3601b248f14SClaudio Fontana     }
3611b248f14SClaudio Fontana     tss_limit = get_seg_limit(e1, e2);
3621b248f14SClaudio Fontana     tss_base = get_seg_base(e1, e2);
3631b248f14SClaudio Fontana     if ((tss_selector & 4) != 0 ||
3641b248f14SClaudio Fontana         tss_limit < tss_limit_max) {
3651b248f14SClaudio Fontana         raise_exception_err_ra(env, EXCP0A_TSS, tss_selector & 0xfffc, retaddr);
3661b248f14SClaudio Fontana     }
3671b248f14SClaudio Fontana     old_type = (env->tr.flags >> DESC_TYPE_SHIFT) & 0xf;
3681b248f14SClaudio Fontana     if (old_type & 8) {
3691b248f14SClaudio Fontana         old_tss_limit_max = 103;
3701b248f14SClaudio Fontana     } else {
3711b248f14SClaudio Fontana         old_tss_limit_max = 43;
3721b248f14SClaudio Fontana     }
3731b248f14SClaudio Fontana 
37405d41bbcSPaolo Bonzini     /* new TSS must be busy iff the source is an IRET instruction  */
37505d41bbcSPaolo Bonzini     if (!!(e2 & DESC_TSS_BUSY_MASK) != (source == SWITCH_TSS_IRET)) {
37605d41bbcSPaolo Bonzini         raise_exception_err_ra(env, EXCP0A_TSS, tss_selector & 0xfffc, retaddr);
37705d41bbcSPaolo Bonzini     }
37805d41bbcSPaolo Bonzini 
3798b131065SPaolo Bonzini     /* X86Access avoids memory exceptions during the task switch */
3808b131065SPaolo Bonzini     mmu_index = cpu_mmu_index_kernel(env);
381ded1db48SRichard Henderson     access_prepare_mmu(&old, env, env->tr.base, old_tss_limit_max + 1,
3828b131065SPaolo Bonzini                        MMU_DATA_STORE, mmu_index, retaddr);
3838b131065SPaolo Bonzini 
3848b131065SPaolo Bonzini     if (source == SWITCH_TSS_CALL) {
3858b131065SPaolo Bonzini         /* Probe for future write of parent task */
3868b131065SPaolo Bonzini         probe_access(env, tss_base, 2, MMU_DATA_STORE,
3878b131065SPaolo Bonzini                      mmu_index, retaddr);
3888b131065SPaolo Bonzini     }
389ded1db48SRichard Henderson     /* While true tss_limit may be larger, we don't access the iopb here. */
390ded1db48SRichard Henderson     access_prepare_mmu(&new, env, tss_base, tss_limit_max + 1,
3918b131065SPaolo Bonzini                        MMU_DATA_LOAD, mmu_index, retaddr);
3928b131065SPaolo Bonzini 
3936a079f2eSPaolo Bonzini     /* save the current state in the old TSS */
3946a079f2eSPaolo Bonzini     old_eflags = cpu_compute_eflags(env);
3956a079f2eSPaolo Bonzini     if (old_type & 8) {
3966a079f2eSPaolo Bonzini         /* 32 bit */
3976a079f2eSPaolo Bonzini         access_stl(&old, env->tr.base + 0x20, next_eip);
3986a079f2eSPaolo Bonzini         access_stl(&old, env->tr.base + 0x24, old_eflags);
3996a079f2eSPaolo Bonzini         access_stl(&old, env->tr.base + (0x28 + 0 * 4), env->regs[R_EAX]);
4006a079f2eSPaolo Bonzini         access_stl(&old, env->tr.base + (0x28 + 1 * 4), env->regs[R_ECX]);
4016a079f2eSPaolo Bonzini         access_stl(&old, env->tr.base + (0x28 + 2 * 4), env->regs[R_EDX]);
4026a079f2eSPaolo Bonzini         access_stl(&old, env->tr.base + (0x28 + 3 * 4), env->regs[R_EBX]);
4036a079f2eSPaolo Bonzini         access_stl(&old, env->tr.base + (0x28 + 4 * 4), env->regs[R_ESP]);
4046a079f2eSPaolo Bonzini         access_stl(&old, env->tr.base + (0x28 + 5 * 4), env->regs[R_EBP]);
4056a079f2eSPaolo Bonzini         access_stl(&old, env->tr.base + (0x28 + 6 * 4), env->regs[R_ESI]);
4066a079f2eSPaolo Bonzini         access_stl(&old, env->tr.base + (0x28 + 7 * 4), env->regs[R_EDI]);
4076a079f2eSPaolo Bonzini         for (i = 0; i < 6; i++) {
4086a079f2eSPaolo Bonzini             access_stw(&old, env->tr.base + (0x48 + i * 4),
4096a079f2eSPaolo Bonzini                        env->segs[i].selector);
4106a079f2eSPaolo Bonzini         }
4116a079f2eSPaolo Bonzini     } else {
4126a079f2eSPaolo Bonzini         /* 16 bit */
4136a079f2eSPaolo Bonzini         access_stw(&old, env->tr.base + 0x0e, next_eip);
4146a079f2eSPaolo Bonzini         access_stw(&old, env->tr.base + 0x10, old_eflags);
4156a079f2eSPaolo Bonzini         access_stw(&old, env->tr.base + (0x12 + 0 * 2), env->regs[R_EAX]);
4166a079f2eSPaolo Bonzini         access_stw(&old, env->tr.base + (0x12 + 1 * 2), env->regs[R_ECX]);
4176a079f2eSPaolo Bonzini         access_stw(&old, env->tr.base + (0x12 + 2 * 2), env->regs[R_EDX]);
4186a079f2eSPaolo Bonzini         access_stw(&old, env->tr.base + (0x12 + 3 * 2), env->regs[R_EBX]);
4196a079f2eSPaolo Bonzini         access_stw(&old, env->tr.base + (0x12 + 4 * 2), env->regs[R_ESP]);
4206a079f2eSPaolo Bonzini         access_stw(&old, env->tr.base + (0x12 + 5 * 2), env->regs[R_EBP]);
4216a079f2eSPaolo Bonzini         access_stw(&old, env->tr.base + (0x12 + 6 * 2), env->regs[R_ESI]);
4226a079f2eSPaolo Bonzini         access_stw(&old, env->tr.base + (0x12 + 7 * 2), env->regs[R_EDI]);
4236a079f2eSPaolo Bonzini         for (i = 0; i < 4; i++) {
4246a079f2eSPaolo Bonzini             access_stw(&old, env->tr.base + (0x22 + i * 2),
4256a079f2eSPaolo Bonzini                        env->segs[i].selector);
4266a079f2eSPaolo Bonzini         }
4276a079f2eSPaolo Bonzini     }
4286a079f2eSPaolo Bonzini 
4291b248f14SClaudio Fontana     /* read all the registers from the new TSS */
4301b248f14SClaudio Fontana     if (type & 8) {
4311b248f14SClaudio Fontana         /* 32 bit */
4328b131065SPaolo Bonzini         new_cr3 = access_ldl(&new, tss_base + 0x1c);
4338b131065SPaolo Bonzini         new_eip = access_ldl(&new, tss_base + 0x20);
4348b131065SPaolo Bonzini         new_eflags = access_ldl(&new, tss_base + 0x24);
4351b248f14SClaudio Fontana         for (i = 0; i < 8; i++) {
4368b131065SPaolo Bonzini             new_regs[i] = access_ldl(&new, tss_base + (0x28 + i * 4));
4371b248f14SClaudio Fontana         }
4381b248f14SClaudio Fontana         for (i = 0; i < 6; i++) {
4398b131065SPaolo Bonzini             new_segs[i] = access_ldw(&new, tss_base + (0x48 + i * 4));
4401b248f14SClaudio Fontana         }
4418b131065SPaolo Bonzini         new_ldt = access_ldw(&new, tss_base + 0x60);
4428b131065SPaolo Bonzini         new_trap = access_ldl(&new, tss_base + 0x64);
4431b248f14SClaudio Fontana     } else {
4441b248f14SClaudio Fontana         /* 16 bit */
4451b248f14SClaudio Fontana         new_cr3 = 0;
4468b131065SPaolo Bonzini         new_eip = access_ldw(&new, tss_base + 0x0e);
4478b131065SPaolo Bonzini         new_eflags = access_ldw(&new, tss_base + 0x10);
4481b248f14SClaudio Fontana         for (i = 0; i < 8; i++) {
4498b131065SPaolo Bonzini             new_regs[i] = access_ldw(&new, tss_base + (0x12 + i * 2));
4501b248f14SClaudio Fontana         }
4511b248f14SClaudio Fontana         for (i = 0; i < 4; i++) {
4528b131065SPaolo Bonzini             new_segs[i] = access_ldw(&new, tss_base + (0x22 + i * 2));
4531b248f14SClaudio Fontana         }
4548b131065SPaolo Bonzini         new_ldt = access_ldw(&new, tss_base + 0x2a);
4551b248f14SClaudio Fontana         new_segs[R_FS] = 0;
4561b248f14SClaudio Fontana         new_segs[R_GS] = 0;
4571b248f14SClaudio Fontana         new_trap = 0;
4581b248f14SClaudio Fontana     }
4591b248f14SClaudio Fontana     /* XXX: avoid a compiler warning, see
4601b248f14SClaudio Fontana      http://support.amd.com/us/Processor_TechDocs/24593.pdf
4611b248f14SClaudio Fontana      chapters 12.2.5 and 13.2.4 on how to implement TSS Trap bit */
4621b248f14SClaudio Fontana     (void)new_trap;
4631b248f14SClaudio Fontana 
4641b248f14SClaudio Fontana     /* clear busy bit (it is restartable) */
4651b248f14SClaudio Fontana     if (source == SWITCH_TSS_JMP || source == SWITCH_TSS_IRET) {
466a9089859SPaolo Bonzini         tss_set_busy(env, env->tr.selector, 0, retaddr);
4671b248f14SClaudio Fontana     }
4686a079f2eSPaolo Bonzini 
4691b248f14SClaudio Fontana     if (source == SWITCH_TSS_IRET) {
4701b248f14SClaudio Fontana         old_eflags &= ~NT_MASK;
4711b627f38SPaolo Bonzini         if (old_type & 8) {
4728b131065SPaolo Bonzini             access_stl(&old, env->tr.base + 0x24, old_eflags);
4731b248f14SClaudio Fontana         } else {
4748b131065SPaolo Bonzini             access_stw(&old, env->tr.base + 0x10, old_eflags);
4751b248f14SClaudio Fontana 	}
4761b248f14SClaudio Fontana     }
4771b248f14SClaudio Fontana 
4781b248f14SClaudio Fontana     if (source == SWITCH_TSS_CALL) {
4798b131065SPaolo Bonzini         /*
4808b131065SPaolo Bonzini          * Thanks to the probe_access above, we know the first two
4818b131065SPaolo Bonzini          * bytes addressed by &new are writable too.
4828b131065SPaolo Bonzini          */
4838b131065SPaolo Bonzini         access_stw(&new, tss_base, env->tr.selector);
4841b248f14SClaudio Fontana         new_eflags |= NT_MASK;
4851b248f14SClaudio Fontana     }
4861b248f14SClaudio Fontana 
4871b248f14SClaudio Fontana     /* set busy bit */
4881b248f14SClaudio Fontana     if (source == SWITCH_TSS_JMP || source == SWITCH_TSS_CALL) {
489a9089859SPaolo Bonzini         tss_set_busy(env, tss_selector, 1, retaddr);
4901b248f14SClaudio Fontana     }
4911b248f14SClaudio Fontana 
4921b248f14SClaudio Fontana     /* set the new CPU state */
4936a079f2eSPaolo Bonzini 
4946a079f2eSPaolo Bonzini     /* now if an exception occurs, it will occur in the next task context */
4956a079f2eSPaolo Bonzini 
4961b248f14SClaudio Fontana     env->cr[0] |= CR0_TS_MASK;
4971b248f14SClaudio Fontana     env->hflags |= HF_TS_MASK;
4981b248f14SClaudio Fontana     env->tr.selector = tss_selector;
4991b248f14SClaudio Fontana     env->tr.base = tss_base;
5001b248f14SClaudio Fontana     env->tr.limit = tss_limit;
5011b248f14SClaudio Fontana     env->tr.flags = e2 & ~DESC_TSS_BUSY_MASK;
5021b248f14SClaudio Fontana 
5031b248f14SClaudio Fontana     if ((type & 8) && (env->cr[0] & CR0_PG_MASK)) {
5041b248f14SClaudio Fontana         cpu_x86_update_cr3(env, new_cr3);
5051b248f14SClaudio Fontana     }
5061b248f14SClaudio Fontana 
5071b248f14SClaudio Fontana     /* load all registers without an exception, then reload them with
5081b248f14SClaudio Fontana        possible exception */
5091b248f14SClaudio Fontana     env->eip = new_eip;
5101b248f14SClaudio Fontana     eflags_mask = TF_MASK | AC_MASK | ID_MASK |
5111b248f14SClaudio Fontana         IF_MASK | IOPL_MASK | VM_MASK | RF_MASK | NT_MASK;
512a5505f6bSPaolo Bonzini     if (type & 8) {
5131b248f14SClaudio Fontana         cpu_load_eflags(env, new_eflags, eflags_mask);
514a5505f6bSPaolo Bonzini         for (i = 0; i < 8; i++) {
515a5505f6bSPaolo Bonzini             env->regs[i] = new_regs[i];
516a5505f6bSPaolo Bonzini         }
517a5505f6bSPaolo Bonzini     } else {
518a5505f6bSPaolo Bonzini         cpu_load_eflags(env, new_eflags, eflags_mask & 0xffff);
519a5505f6bSPaolo Bonzini         for (i = 0; i < 8; i++) {
520a5505f6bSPaolo Bonzini             env->regs[i] = (env->regs[i] & 0xffff0000) | new_regs[i];
521a5505f6bSPaolo Bonzini         }
522a5505f6bSPaolo Bonzini     }
5231b248f14SClaudio Fontana     if (new_eflags & VM_MASK) {
5241b248f14SClaudio Fontana         for (i = 0; i < 6; i++) {
5251b248f14SClaudio Fontana             load_seg_vm(env, i, new_segs[i]);
5261b248f14SClaudio Fontana         }
5271b248f14SClaudio Fontana     } else {
5281b248f14SClaudio Fontana         /* first just selectors as the rest may trigger exceptions */
5291b248f14SClaudio Fontana         for (i = 0; i < 6; i++) {
5301b248f14SClaudio Fontana             cpu_x86_load_seg_cache(env, i, new_segs[i], 0, 0, 0);
5311b248f14SClaudio Fontana         }
5321b248f14SClaudio Fontana     }
5331b248f14SClaudio Fontana 
5341b248f14SClaudio Fontana     env->ldt.selector = new_ldt & ~4;
5351b248f14SClaudio Fontana     env->ldt.base = 0;
5361b248f14SClaudio Fontana     env->ldt.limit = 0;
5371b248f14SClaudio Fontana     env->ldt.flags = 0;
5381b248f14SClaudio Fontana 
5391b248f14SClaudio Fontana     /* load the LDT */
5401b248f14SClaudio Fontana     if (new_ldt & 4) {
5411b248f14SClaudio Fontana         raise_exception_err_ra(env, EXCP0A_TSS, new_ldt & 0xfffc, retaddr);
5421b248f14SClaudio Fontana     }
5431b248f14SClaudio Fontana 
5441b248f14SClaudio Fontana     if ((new_ldt & 0xfffc) != 0) {
5451b248f14SClaudio Fontana         dt = &env->gdt;
5461b248f14SClaudio Fontana         index = new_ldt & ~7;
5471b248f14SClaudio Fontana         if ((index + 7) > dt->limit) {
5481b248f14SClaudio Fontana             raise_exception_err_ra(env, EXCP0A_TSS, new_ldt & 0xfffc, retaddr);
5491b248f14SClaudio Fontana         }
5501b248f14SClaudio Fontana         ptr = dt->base + index;
5511b248f14SClaudio Fontana         e1 = cpu_ldl_kernel_ra(env, ptr, retaddr);
5521b248f14SClaudio Fontana         e2 = cpu_ldl_kernel_ra(env, ptr + 4, retaddr);
5531b248f14SClaudio Fontana         if ((e2 & DESC_S_MASK) || ((e2 >> DESC_TYPE_SHIFT) & 0xf) != 2) {
5541b248f14SClaudio Fontana             raise_exception_err_ra(env, EXCP0A_TSS, new_ldt & 0xfffc, retaddr);
5551b248f14SClaudio Fontana         }
5561b248f14SClaudio Fontana         if (!(e2 & DESC_P_MASK)) {
5571b248f14SClaudio Fontana             raise_exception_err_ra(env, EXCP0A_TSS, new_ldt & 0xfffc, retaddr);
5581b248f14SClaudio Fontana         }
5591b248f14SClaudio Fontana         load_seg_cache_raw_dt(&env->ldt, e1, e2);
5601b248f14SClaudio Fontana     }
5611b248f14SClaudio Fontana 
5621b248f14SClaudio Fontana     /* load the segments */
5631b248f14SClaudio Fontana     if (!(new_eflags & VM_MASK)) {
5641b248f14SClaudio Fontana         int cpl = new_segs[R_CS] & 3;
5651b248f14SClaudio Fontana         tss_load_seg(env, R_CS, new_segs[R_CS], cpl, retaddr);
5661b248f14SClaudio Fontana         tss_load_seg(env, R_SS, new_segs[R_SS], cpl, retaddr);
5671b248f14SClaudio Fontana         tss_load_seg(env, R_ES, new_segs[R_ES], cpl, retaddr);
5681b248f14SClaudio Fontana         tss_load_seg(env, R_DS, new_segs[R_DS], cpl, retaddr);
5691b248f14SClaudio Fontana         tss_load_seg(env, R_FS, new_segs[R_FS], cpl, retaddr);
5701b248f14SClaudio Fontana         tss_load_seg(env, R_GS, new_segs[R_GS], cpl, retaddr);
5711b248f14SClaudio Fontana     }
5721b248f14SClaudio Fontana 
5731b248f14SClaudio Fontana     /* check that env->eip is in the CS segment limits */
5741b248f14SClaudio Fontana     if (new_eip > env->segs[R_CS].limit) {
5751b248f14SClaudio Fontana         /* XXX: different exception if CALL? */
5761b248f14SClaudio Fontana         raise_exception_err_ra(env, EXCP0D_GPF, 0, retaddr);
5771b248f14SClaudio Fontana     }
5781b248f14SClaudio Fontana 
5791b248f14SClaudio Fontana #ifndef CONFIG_USER_ONLY
5801b248f14SClaudio Fontana     /* reset local breakpoints */
5811b248f14SClaudio Fontana     if (env->dr[7] & DR7_LOCAL_BP_MASK) {
5821b248f14SClaudio Fontana         cpu_x86_update_dr7(env, env->dr[7] & ~DR7_LOCAL_BP_MASK);
5831b248f14SClaudio Fontana     }
5841b248f14SClaudio Fontana #endif
58549958057SPaolo Bonzini     return type >> 3;
5861b248f14SClaudio Fontana }
5871b248f14SClaudio Fontana 
switch_tss(CPUX86State * env,int tss_selector,uint32_t e1,uint32_t e2,int source,uint32_t next_eip)58849958057SPaolo Bonzini static int switch_tss(CPUX86State *env, int tss_selector,
5891b248f14SClaudio Fontana                       uint32_t e1, uint32_t e2, int source,
5901b248f14SClaudio Fontana                       uint32_t next_eip)
5911b248f14SClaudio Fontana {
59249958057SPaolo Bonzini     return switch_tss_ra(env, tss_selector, e1, e2, source, next_eip, 0);
5931b248f14SClaudio Fontana }
5941b248f14SClaudio Fontana 
get_sp_mask(unsigned int e2)5951b248f14SClaudio Fontana static inline unsigned int get_sp_mask(unsigned int e2)
5961b248f14SClaudio Fontana {
5971b248f14SClaudio Fontana #ifdef TARGET_X86_64
5981b248f14SClaudio Fontana     if (e2 & DESC_L_MASK) {
5991b248f14SClaudio Fontana         return 0;
6001b248f14SClaudio Fontana     } else
6011b248f14SClaudio Fontana #endif
6021b248f14SClaudio Fontana     if (e2 & DESC_B_MASK) {
6031b248f14SClaudio Fontana         return 0xffffffff;
6041b248f14SClaudio Fontana     } else {
6051b248f14SClaudio Fontana         return 0xffff;
6061b248f14SClaudio Fontana     }
6071b248f14SClaudio Fontana }
6081b248f14SClaudio Fontana 
exception_is_fault(int intno)60969cb498cSPaolo Bonzini static int exception_is_fault(int intno)
61069cb498cSPaolo Bonzini {
61169cb498cSPaolo Bonzini     switch (intno) {
61269cb498cSPaolo Bonzini         /*
61369cb498cSPaolo Bonzini          * #DB can be both fault- and trap-like, but it never sets RF=1
61469cb498cSPaolo Bonzini          * in the RFLAGS value pushed on the stack.
61569cb498cSPaolo Bonzini          */
61669cb498cSPaolo Bonzini     case EXCP01_DB:
61769cb498cSPaolo Bonzini     case EXCP03_INT3:
61869cb498cSPaolo Bonzini     case EXCP04_INTO:
61969cb498cSPaolo Bonzini     case EXCP08_DBLE:
62069cb498cSPaolo Bonzini     case EXCP12_MCHK:
62169cb498cSPaolo Bonzini         return 0;
62269cb498cSPaolo Bonzini     }
62369cb498cSPaolo Bonzini     /* Everything else including reserved exception is a fault.  */
62469cb498cSPaolo Bonzini     return 1;
62569cb498cSPaolo Bonzini }
62669cb498cSPaolo Bonzini 
exception_has_error_code(int intno)62730493a03SClaudio Fontana int exception_has_error_code(int intno)
6281b248f14SClaudio Fontana {
6291b248f14SClaudio Fontana     switch (intno) {
6301b248f14SClaudio Fontana     case 8:
6311b248f14SClaudio Fontana     case 10:
6321b248f14SClaudio Fontana     case 11:
6331b248f14SClaudio Fontana     case 12:
6341b248f14SClaudio Fontana     case 13:
6351b248f14SClaudio Fontana     case 14:
6361b248f14SClaudio Fontana     case 17:
6371b248f14SClaudio Fontana         return 1;
6381b248f14SClaudio Fontana     }
6391b248f14SClaudio Fontana     return 0;
6401b248f14SClaudio Fontana }
6411b248f14SClaudio Fontana 
6421b248f14SClaudio Fontana /* protected mode interrupt */
do_interrupt_protected(CPUX86State * env,int intno,int is_int,int error_code,unsigned int next_eip,int is_hw)6431b248f14SClaudio Fontana static void do_interrupt_protected(CPUX86State *env, int intno, int is_int,
6441b248f14SClaudio Fontana                                    int error_code, unsigned int next_eip,
6451b248f14SClaudio Fontana                                    int is_hw)
6461b248f14SClaudio Fontana {
6471b248f14SClaudio Fontana     SegmentCache *dt;
648059368bcSRichard Henderson     target_ulong ptr;
6491b248f14SClaudio Fontana     int type, dpl, selector, ss_dpl, cpl;
6501b248f14SClaudio Fontana     int has_error_code, new_stack, shift;
651059368bcSRichard Henderson     uint32_t e1, e2, offset, ss = 0, ss_e1 = 0, ss_e2 = 0;
652059368bcSRichard Henderson     uint32_t old_eip, eflags;
6531b248f14SClaudio Fontana     int vm86 = env->eflags & VM_MASK;
654059368bcSRichard Henderson     StackAccess sa;
65569cb498cSPaolo Bonzini     bool set_rf;
6561b248f14SClaudio Fontana 
6571b248f14SClaudio Fontana     has_error_code = 0;
6581b248f14SClaudio Fontana     if (!is_int && !is_hw) {
6591b248f14SClaudio Fontana         has_error_code = exception_has_error_code(intno);
6601b248f14SClaudio Fontana     }
6611b248f14SClaudio Fontana     if (is_int) {
6621b248f14SClaudio Fontana         old_eip = next_eip;
66369cb498cSPaolo Bonzini         set_rf = false;
6641b248f14SClaudio Fontana     } else {
6651b248f14SClaudio Fontana         old_eip = env->eip;
66669cb498cSPaolo Bonzini         set_rf = exception_is_fault(intno);
6671b248f14SClaudio Fontana     }
6681b248f14SClaudio Fontana 
6691b248f14SClaudio Fontana     dt = &env->idt;
6701b248f14SClaudio Fontana     if (intno * 8 + 7 > dt->limit) {
6711b248f14SClaudio Fontana         raise_exception_err(env, EXCP0D_GPF, intno * 8 + 2);
6721b248f14SClaudio Fontana     }
6731b248f14SClaudio Fontana     ptr = dt->base + intno * 8;
6741b248f14SClaudio Fontana     e1 = cpu_ldl_kernel(env, ptr);
6751b248f14SClaudio Fontana     e2 = cpu_ldl_kernel(env, ptr + 4);
6761b248f14SClaudio Fontana     /* check gate type */
6771b248f14SClaudio Fontana     type = (e2 >> DESC_TYPE_SHIFT) & 0x1f;
6781b248f14SClaudio Fontana     switch (type) {
6791b248f14SClaudio Fontana     case 5: /* task gate */
6803df1a3d0SPeter Maydell     case 6: /* 286 interrupt gate */
6813df1a3d0SPeter Maydell     case 7: /* 286 trap gate */
6823df1a3d0SPeter Maydell     case 14: /* 386 interrupt gate */
6833df1a3d0SPeter Maydell     case 15: /* 386 trap gate */
6843df1a3d0SPeter Maydell         break;
6853df1a3d0SPeter Maydell     default:
6863df1a3d0SPeter Maydell         raise_exception_err(env, EXCP0D_GPF, intno * 8 + 2);
6873df1a3d0SPeter Maydell         break;
6883df1a3d0SPeter Maydell     }
6893df1a3d0SPeter Maydell     dpl = (e2 >> DESC_DPL_SHIFT) & 3;
6903df1a3d0SPeter Maydell     cpl = env->hflags & HF_CPL_MASK;
6913df1a3d0SPeter Maydell     /* check privilege if software int */
6923df1a3d0SPeter Maydell     if (is_int && dpl < cpl) {
6933df1a3d0SPeter Maydell         raise_exception_err(env, EXCP0D_GPF, intno * 8 + 2);
6943df1a3d0SPeter Maydell     }
6953df1a3d0SPeter Maydell 
696059368bcSRichard Henderson     sa.env = env;
697059368bcSRichard Henderson     sa.ra = 0;
698059368bcSRichard Henderson 
6993df1a3d0SPeter Maydell     if (type == 5) {
7003df1a3d0SPeter Maydell         /* task gate */
7011b248f14SClaudio Fontana         /* must do that check here to return the correct error code */
7021b248f14SClaudio Fontana         if (!(e2 & DESC_P_MASK)) {
7031b248f14SClaudio Fontana             raise_exception_err(env, EXCP0B_NOSEG, intno * 8 + 2);
7041b248f14SClaudio Fontana         }
70549958057SPaolo Bonzini         shift = switch_tss(env, intno * 8, e1, e2, SWITCH_TSS_CALL, old_eip);
7061b248f14SClaudio Fontana         if (has_error_code) {
7076ad00eb0SPaolo Bonzini             /* push the error code on the destination stack */
7086ad00eb0SPaolo Bonzini             cpl = env->hflags & HF_CPL_MASK;
7096ad00eb0SPaolo Bonzini             sa.mmu_index = x86_mmu_index_pl(env, cpl);
7101b248f14SClaudio Fontana             if (env->segs[R_SS].flags & DESC_B_MASK) {
711059368bcSRichard Henderson                 sa.sp_mask = 0xffffffff;
7121b248f14SClaudio Fontana             } else {
713059368bcSRichard Henderson                 sa.sp_mask = 0xffff;
7141b248f14SClaudio Fontana             }
715059368bcSRichard Henderson             sa.sp = env->regs[R_ESP];
716059368bcSRichard Henderson             sa.ss_base = env->segs[R_SS].base;
7171b248f14SClaudio Fontana             if (shift) {
718059368bcSRichard Henderson                 pushl(&sa, error_code);
7191b248f14SClaudio Fontana             } else {
720059368bcSRichard Henderson                 pushw(&sa, error_code);
7211b248f14SClaudio Fontana             }
722059368bcSRichard Henderson             SET_ESP(sa.sp, sa.sp_mask);
7231b248f14SClaudio Fontana         }
7241b248f14SClaudio Fontana         return;
7251b248f14SClaudio Fontana     }
7263df1a3d0SPeter Maydell 
7273df1a3d0SPeter Maydell     /* Otherwise, trap or interrupt gate */
7283df1a3d0SPeter Maydell 
7291b248f14SClaudio Fontana     /* check valid bit */
7301b248f14SClaudio Fontana     if (!(e2 & DESC_P_MASK)) {
7311b248f14SClaudio Fontana         raise_exception_err(env, EXCP0B_NOSEG, intno * 8 + 2);
7321b248f14SClaudio Fontana     }
7331b248f14SClaudio Fontana     selector = e1 >> 16;
7341b248f14SClaudio Fontana     offset = (e2 & 0xffff0000) | (e1 & 0x0000ffff);
7351b248f14SClaudio Fontana     if ((selector & 0xfffc) == 0) {
7361b248f14SClaudio Fontana         raise_exception_err(env, EXCP0D_GPF, 0);
7371b248f14SClaudio Fontana     }
7381b248f14SClaudio Fontana     if (load_segment(env, &e1, &e2, selector) != 0) {
7391b248f14SClaudio Fontana         raise_exception_err(env, EXCP0D_GPF, selector & 0xfffc);
7401b248f14SClaudio Fontana     }
7411b248f14SClaudio Fontana     if (!(e2 & DESC_S_MASK) || !(e2 & (DESC_CS_MASK))) {
7421b248f14SClaudio Fontana         raise_exception_err(env, EXCP0D_GPF, selector & 0xfffc);
7431b248f14SClaudio Fontana     }
7441b248f14SClaudio Fontana     dpl = (e2 >> DESC_DPL_SHIFT) & 3;
7451b248f14SClaudio Fontana     if (dpl > cpl) {
7461b248f14SClaudio Fontana         raise_exception_err(env, EXCP0D_GPF, selector & 0xfffc);
7471b248f14SClaudio Fontana     }
7481b248f14SClaudio Fontana     if (!(e2 & DESC_P_MASK)) {
7491b248f14SClaudio Fontana         raise_exception_err(env, EXCP0B_NOSEG, selector & 0xfffc);
7501b248f14SClaudio Fontana     }
7511b248f14SClaudio Fontana     if (e2 & DESC_C_MASK) {
7521b248f14SClaudio Fontana         dpl = cpl;
7531b248f14SClaudio Fontana     }
7546ad00eb0SPaolo Bonzini     sa.mmu_index = x86_mmu_index_pl(env, dpl);
7551b248f14SClaudio Fontana     if (dpl < cpl) {
7561b248f14SClaudio Fontana         /* to inner privilege */
757059368bcSRichard Henderson         uint32_t esp;
7581b248f14SClaudio Fontana         get_ss_esp_from_tss(env, &ss, &esp, dpl, 0);
7591b248f14SClaudio Fontana         if ((ss & 0xfffc) == 0) {
7601b248f14SClaudio Fontana             raise_exception_err(env, EXCP0A_TSS, ss & 0xfffc);
7611b248f14SClaudio Fontana         }
7621b248f14SClaudio Fontana         if ((ss & 3) != dpl) {
7631b248f14SClaudio Fontana             raise_exception_err(env, EXCP0A_TSS, ss & 0xfffc);
7641b248f14SClaudio Fontana         }
7651b248f14SClaudio Fontana         if (load_segment(env, &ss_e1, &ss_e2, ss) != 0) {
7661b248f14SClaudio Fontana             raise_exception_err(env, EXCP0A_TSS, ss & 0xfffc);
7671b248f14SClaudio Fontana         }
7681b248f14SClaudio Fontana         ss_dpl = (ss_e2 >> DESC_DPL_SHIFT) & 3;
7691b248f14SClaudio Fontana         if (ss_dpl != dpl) {
7701b248f14SClaudio Fontana             raise_exception_err(env, EXCP0A_TSS, ss & 0xfffc);
7711b248f14SClaudio Fontana         }
7721b248f14SClaudio Fontana         if (!(ss_e2 & DESC_S_MASK) ||
7731b248f14SClaudio Fontana             (ss_e2 & DESC_CS_MASK) ||
7741b248f14SClaudio Fontana             !(ss_e2 & DESC_W_MASK)) {
7751b248f14SClaudio Fontana             raise_exception_err(env, EXCP0A_TSS, ss & 0xfffc);
7761b248f14SClaudio Fontana         }
7771b248f14SClaudio Fontana         if (!(ss_e2 & DESC_P_MASK)) {
7781b248f14SClaudio Fontana             raise_exception_err(env, EXCP0A_TSS, ss & 0xfffc);
7791b248f14SClaudio Fontana         }
7801b248f14SClaudio Fontana         new_stack = 1;
781059368bcSRichard Henderson         sa.sp = esp;
782059368bcSRichard Henderson         sa.sp_mask = get_sp_mask(ss_e2);
783059368bcSRichard Henderson         sa.ss_base = get_seg_base(ss_e1, ss_e2);
7841b248f14SClaudio Fontana     } else  {
7851b248f14SClaudio Fontana         /* to same privilege */
7861b248f14SClaudio Fontana         if (vm86) {
7871b248f14SClaudio Fontana             raise_exception_err(env, EXCP0D_GPF, selector & 0xfffc);
7881b248f14SClaudio Fontana         }
7891b248f14SClaudio Fontana         new_stack = 0;
790059368bcSRichard Henderson         sa.sp = env->regs[R_ESP];
791059368bcSRichard Henderson         sa.sp_mask = get_sp_mask(env->segs[R_SS].flags);
792059368bcSRichard Henderson         sa.ss_base = env->segs[R_SS].base;
7931b248f14SClaudio Fontana     }
7941b248f14SClaudio Fontana 
7951b248f14SClaudio Fontana     shift = type >> 3;
7961b248f14SClaudio Fontana 
7971b248f14SClaudio Fontana #if 0
7981b248f14SClaudio Fontana     /* XXX: check that enough room is available */
7991b248f14SClaudio Fontana     push_size = 6 + (new_stack << 2) + (has_error_code << 1);
8001b248f14SClaudio Fontana     if (vm86) {
8011b248f14SClaudio Fontana         push_size += 8;
8021b248f14SClaudio Fontana     }
8031b248f14SClaudio Fontana     push_size <<= shift;
8041b248f14SClaudio Fontana #endif
80569cb498cSPaolo Bonzini     eflags = cpu_compute_eflags(env);
80669cb498cSPaolo Bonzini     /*
80769cb498cSPaolo Bonzini      * AMD states that code breakpoint #DBs clear RF=0, Intel leaves it
80869cb498cSPaolo Bonzini      * as is.  AMD behavior could be implemented in check_hw_breakpoints().
80969cb498cSPaolo Bonzini      */
81069cb498cSPaolo Bonzini     if (set_rf) {
81169cb498cSPaolo Bonzini         eflags |= RF_MASK;
81269cb498cSPaolo Bonzini     }
81369cb498cSPaolo Bonzini 
8141b248f14SClaudio Fontana     if (shift == 1) {
8151b248f14SClaudio Fontana         if (new_stack) {
8161b248f14SClaudio Fontana             if (vm86) {
817059368bcSRichard Henderson                 pushl(&sa, env->segs[R_GS].selector);
818059368bcSRichard Henderson                 pushl(&sa, env->segs[R_FS].selector);
819059368bcSRichard Henderson                 pushl(&sa, env->segs[R_DS].selector);
820059368bcSRichard Henderson                 pushl(&sa, env->segs[R_ES].selector);
8211b248f14SClaudio Fontana             }
822059368bcSRichard Henderson             pushl(&sa, env->segs[R_SS].selector);
823059368bcSRichard Henderson             pushl(&sa, env->regs[R_ESP]);
8241b248f14SClaudio Fontana         }
825059368bcSRichard Henderson         pushl(&sa, eflags);
826059368bcSRichard Henderson         pushl(&sa, env->segs[R_CS].selector);
827059368bcSRichard Henderson         pushl(&sa, old_eip);
8281b248f14SClaudio Fontana         if (has_error_code) {
829059368bcSRichard Henderson             pushl(&sa, error_code);
8301b248f14SClaudio Fontana         }
8311b248f14SClaudio Fontana     } else {
8321b248f14SClaudio Fontana         if (new_stack) {
8331b248f14SClaudio Fontana             if (vm86) {
834059368bcSRichard Henderson                 pushw(&sa, env->segs[R_GS].selector);
835059368bcSRichard Henderson                 pushw(&sa, env->segs[R_FS].selector);
836059368bcSRichard Henderson                 pushw(&sa, env->segs[R_DS].selector);
837059368bcSRichard Henderson                 pushw(&sa, env->segs[R_ES].selector);
8381b248f14SClaudio Fontana             }
839059368bcSRichard Henderson             pushw(&sa, env->segs[R_SS].selector);
840059368bcSRichard Henderson             pushw(&sa, env->regs[R_ESP]);
8411b248f14SClaudio Fontana         }
842059368bcSRichard Henderson         pushw(&sa, eflags);
843059368bcSRichard Henderson         pushw(&sa, env->segs[R_CS].selector);
844059368bcSRichard Henderson         pushw(&sa, old_eip);
8451b248f14SClaudio Fontana         if (has_error_code) {
846059368bcSRichard Henderson             pushw(&sa, error_code);
8471b248f14SClaudio Fontana         }
8481b248f14SClaudio Fontana     }
8491b248f14SClaudio Fontana 
8501b248f14SClaudio Fontana     /* interrupt gate clear IF mask */
8511b248f14SClaudio Fontana     if ((type & 1) == 0) {
8521b248f14SClaudio Fontana         env->eflags &= ~IF_MASK;
8531b248f14SClaudio Fontana     }
8541b248f14SClaudio Fontana     env->eflags &= ~(TF_MASK | VM_MASK | RF_MASK | NT_MASK);
8551b248f14SClaudio Fontana 
8561b248f14SClaudio Fontana     if (new_stack) {
8571b248f14SClaudio Fontana         if (vm86) {
8581b248f14SClaudio Fontana             cpu_x86_load_seg_cache(env, R_ES, 0, 0, 0, 0);
8591b248f14SClaudio Fontana             cpu_x86_load_seg_cache(env, R_DS, 0, 0, 0, 0);
8601b248f14SClaudio Fontana             cpu_x86_load_seg_cache(env, R_FS, 0, 0, 0, 0);
8611b248f14SClaudio Fontana             cpu_x86_load_seg_cache(env, R_GS, 0, 0, 0, 0);
8621b248f14SClaudio Fontana         }
8631b248f14SClaudio Fontana         ss = (ss & ~3) | dpl;
864059368bcSRichard Henderson         cpu_x86_load_seg_cache(env, R_SS, ss, sa.ss_base,
865059368bcSRichard Henderson                                get_seg_limit(ss_e1, ss_e2), ss_e2);
8661b248f14SClaudio Fontana     }
867059368bcSRichard Henderson     SET_ESP(sa.sp, sa.sp_mask);
8681b248f14SClaudio Fontana 
8691b248f14SClaudio Fontana     selector = (selector & ~3) | dpl;
8701b248f14SClaudio Fontana     cpu_x86_load_seg_cache(env, R_CS, selector,
8711b248f14SClaudio Fontana                    get_seg_base(e1, e2),
8721b248f14SClaudio Fontana                    get_seg_limit(e1, e2),
8731b248f14SClaudio Fontana                    e2);
8741b248f14SClaudio Fontana     env->eip = offset;
8751b248f14SClaudio Fontana }
8761b248f14SClaudio Fontana 
8771b248f14SClaudio Fontana #ifdef TARGET_X86_64
8781b248f14SClaudio Fontana 
pushq(StackAccess * sa,uint64_t val)879059368bcSRichard Henderson static void pushq(StackAccess *sa, uint64_t val)
880059368bcSRichard Henderson {
881059368bcSRichard Henderson     sa->sp -= 8;
8828053862aSPaolo Bonzini     cpu_stq_mmuidx_ra(sa->env, sa->sp, val, sa->mmu_index, sa->ra);
8831b248f14SClaudio Fontana }
8841b248f14SClaudio Fontana 
popq(StackAccess * sa)885059368bcSRichard Henderson static uint64_t popq(StackAccess *sa)
886059368bcSRichard Henderson {
8878053862aSPaolo Bonzini     uint64_t ret = cpu_ldq_mmuidx_ra(sa->env, sa->sp, sa->mmu_index, sa->ra);
888059368bcSRichard Henderson     sa->sp += 8;
889059368bcSRichard Henderson     return ret;
8901b248f14SClaudio Fontana }
8911b248f14SClaudio Fontana 
get_rsp_from_tss(CPUX86State * env,int level)8921b248f14SClaudio Fontana static inline target_ulong get_rsp_from_tss(CPUX86State *env, int level)
8931b248f14SClaudio Fontana {
8941b248f14SClaudio Fontana     X86CPU *cpu = env_archcpu(env);
89550fcc7cbSGareth Webb     int index, pg_mode;
89650fcc7cbSGareth Webb     target_ulong rsp;
89750fcc7cbSGareth Webb     int32_t sext;
8981b248f14SClaudio Fontana 
8991b248f14SClaudio Fontana #if 0
9001b248f14SClaudio Fontana     printf("TR: base=" TARGET_FMT_lx " limit=%x\n",
9011b248f14SClaudio Fontana            env->tr.base, env->tr.limit);
9021b248f14SClaudio Fontana #endif
9031b248f14SClaudio Fontana 
9041b248f14SClaudio Fontana     if (!(env->tr.flags & DESC_P_MASK)) {
9051b248f14SClaudio Fontana         cpu_abort(CPU(cpu), "invalid tss");
9061b248f14SClaudio Fontana     }
9071b248f14SClaudio Fontana     index = 8 * level + 4;
9081b248f14SClaudio Fontana     if ((index + 7) > env->tr.limit) {
9091b248f14SClaudio Fontana         raise_exception_err(env, EXCP0A_TSS, env->tr.selector & 0xfffc);
9101b248f14SClaudio Fontana     }
91150fcc7cbSGareth Webb 
91250fcc7cbSGareth Webb     rsp = cpu_ldq_kernel(env, env->tr.base + index);
91350fcc7cbSGareth Webb 
91450fcc7cbSGareth Webb     /* test virtual address sign extension */
91550fcc7cbSGareth Webb     pg_mode = get_pg_mode(env);
91650fcc7cbSGareth Webb     sext = (int64_t)rsp >> (pg_mode & PG_MODE_LA57 ? 56 : 47);
91750fcc7cbSGareth Webb     if (sext != 0 && sext != -1) {
91850fcc7cbSGareth Webb         raise_exception_err(env, EXCP0C_STACK, 0);
91950fcc7cbSGareth Webb     }
92050fcc7cbSGareth Webb 
92150fcc7cbSGareth Webb     return rsp;
9221b248f14SClaudio Fontana }
9231b248f14SClaudio Fontana 
9241b248f14SClaudio Fontana /* 64 bit interrupt */
do_interrupt64(CPUX86State * env,int intno,int is_int,int error_code,target_ulong next_eip,int is_hw)9251b248f14SClaudio Fontana static void do_interrupt64(CPUX86State *env, int intno, int is_int,
9261b248f14SClaudio Fontana                            int error_code, target_ulong next_eip, int is_hw)
9271b248f14SClaudio Fontana {
9281b248f14SClaudio Fontana     SegmentCache *dt;
9291b248f14SClaudio Fontana     target_ulong ptr;
9301b248f14SClaudio Fontana     int type, dpl, selector, cpl, ist;
9311b248f14SClaudio Fontana     int has_error_code, new_stack;
932bde8adb8SPeter Maydell     uint32_t e1, e2, e3, eflags;
933059368bcSRichard Henderson     target_ulong old_eip, offset;
93469cb498cSPaolo Bonzini     bool set_rf;
935059368bcSRichard Henderson     StackAccess sa;
9361b248f14SClaudio Fontana 
9371b248f14SClaudio Fontana     has_error_code = 0;
9381b248f14SClaudio Fontana     if (!is_int && !is_hw) {
9391b248f14SClaudio Fontana         has_error_code = exception_has_error_code(intno);
9401b248f14SClaudio Fontana     }
9411b248f14SClaudio Fontana     if (is_int) {
9421b248f14SClaudio Fontana         old_eip = next_eip;
94369cb498cSPaolo Bonzini         set_rf = false;
9441b248f14SClaudio Fontana     } else {
9451b248f14SClaudio Fontana         old_eip = env->eip;
94669cb498cSPaolo Bonzini         set_rf = exception_is_fault(intno);
9471b248f14SClaudio Fontana     }
9481b248f14SClaudio Fontana 
9491b248f14SClaudio Fontana     dt = &env->idt;
9501b248f14SClaudio Fontana     if (intno * 16 + 15 > dt->limit) {
951b585edcaSJoe Richey         raise_exception_err(env, EXCP0D_GPF, intno * 8 + 2);
9521b248f14SClaudio Fontana     }
9531b248f14SClaudio Fontana     ptr = dt->base + intno * 16;
9541b248f14SClaudio Fontana     e1 = cpu_ldl_kernel(env, ptr);
9551b248f14SClaudio Fontana     e2 = cpu_ldl_kernel(env, ptr + 4);
9561b248f14SClaudio Fontana     e3 = cpu_ldl_kernel(env, ptr + 8);
9571b248f14SClaudio Fontana     /* check gate type */
9581b248f14SClaudio Fontana     type = (e2 >> DESC_TYPE_SHIFT) & 0x1f;
9591b248f14SClaudio Fontana     switch (type) {
9601b248f14SClaudio Fontana     case 14: /* 386 interrupt gate */
9611b248f14SClaudio Fontana     case 15: /* 386 trap gate */
9621b248f14SClaudio Fontana         break;
9631b248f14SClaudio Fontana     default:
964b585edcaSJoe Richey         raise_exception_err(env, EXCP0D_GPF, intno * 8 + 2);
9651b248f14SClaudio Fontana         break;
9661b248f14SClaudio Fontana     }
9671b248f14SClaudio Fontana     dpl = (e2 >> DESC_DPL_SHIFT) & 3;
9681b248f14SClaudio Fontana     cpl = env->hflags & HF_CPL_MASK;
9691b248f14SClaudio Fontana     /* check privilege if software int */
9701b248f14SClaudio Fontana     if (is_int && dpl < cpl) {
971b585edcaSJoe Richey         raise_exception_err(env, EXCP0D_GPF, intno * 8 + 2);
9721b248f14SClaudio Fontana     }
9731b248f14SClaudio Fontana     /* check valid bit */
9741b248f14SClaudio Fontana     if (!(e2 & DESC_P_MASK)) {
975b585edcaSJoe Richey         raise_exception_err(env, EXCP0B_NOSEG, intno * 8 + 2);
9761b248f14SClaudio Fontana     }
9771b248f14SClaudio Fontana     selector = e1 >> 16;
9781b248f14SClaudio Fontana     offset = ((target_ulong)e3 << 32) | (e2 & 0xffff0000) | (e1 & 0x0000ffff);
9791b248f14SClaudio Fontana     ist = e2 & 7;
9801b248f14SClaudio Fontana     if ((selector & 0xfffc) == 0) {
9811b248f14SClaudio Fontana         raise_exception_err(env, EXCP0D_GPF, 0);
9821b248f14SClaudio Fontana     }
9831b248f14SClaudio Fontana 
9841b248f14SClaudio Fontana     if (load_segment(env, &e1, &e2, selector) != 0) {
9851b248f14SClaudio Fontana         raise_exception_err(env, EXCP0D_GPF, selector & 0xfffc);
9861b248f14SClaudio Fontana     }
9871b248f14SClaudio Fontana     if (!(e2 & DESC_S_MASK) || !(e2 & (DESC_CS_MASK))) {
9881b248f14SClaudio Fontana         raise_exception_err(env, EXCP0D_GPF, selector & 0xfffc);
9891b248f14SClaudio Fontana     }
9901b248f14SClaudio Fontana     dpl = (e2 >> DESC_DPL_SHIFT) & 3;
9911b248f14SClaudio Fontana     if (dpl > cpl) {
9921b248f14SClaudio Fontana         raise_exception_err(env, EXCP0D_GPF, selector & 0xfffc);
9931b248f14SClaudio Fontana     }
9941b248f14SClaudio Fontana     if (!(e2 & DESC_P_MASK)) {
9951b248f14SClaudio Fontana         raise_exception_err(env, EXCP0B_NOSEG, selector & 0xfffc);
9961b248f14SClaudio Fontana     }
9971b248f14SClaudio Fontana     if (!(e2 & DESC_L_MASK) || (e2 & DESC_B_MASK)) {
9981b248f14SClaudio Fontana         raise_exception_err(env, EXCP0D_GPF, selector & 0xfffc);
9991b248f14SClaudio Fontana     }
10001b248f14SClaudio Fontana     if (e2 & DESC_C_MASK) {
10011b248f14SClaudio Fontana         dpl = cpl;
10021b248f14SClaudio Fontana     }
1003059368bcSRichard Henderson 
1004059368bcSRichard Henderson     sa.env = env;
1005059368bcSRichard Henderson     sa.ra = 0;
10066ad00eb0SPaolo Bonzini     sa.mmu_index = x86_mmu_index_pl(env, dpl);
1007059368bcSRichard Henderson     sa.sp_mask = -1;
1008059368bcSRichard Henderson     sa.ss_base = 0;
10091b248f14SClaudio Fontana     if (dpl < cpl || ist != 0) {
10101b248f14SClaudio Fontana         /* to inner privilege */
10111b248f14SClaudio Fontana         new_stack = 1;
1012059368bcSRichard Henderson         sa.sp = get_rsp_from_tss(env, ist != 0 ? ist + 3 : dpl);
10131b248f14SClaudio Fontana     } else {
10141b248f14SClaudio Fontana         /* to same privilege */
10151b248f14SClaudio Fontana         if (env->eflags & VM_MASK) {
10161b248f14SClaudio Fontana             raise_exception_err(env, EXCP0D_GPF, selector & 0xfffc);
10171b248f14SClaudio Fontana         }
10181b248f14SClaudio Fontana         new_stack = 0;
1019059368bcSRichard Henderson         sa.sp = env->regs[R_ESP];
10201b248f14SClaudio Fontana     }
1021059368bcSRichard Henderson     sa.sp &= ~0xfLL; /* align stack */
10221b248f14SClaudio Fontana 
102369cb498cSPaolo Bonzini     /* See do_interrupt_protected.  */
102469cb498cSPaolo Bonzini     eflags = cpu_compute_eflags(env);
102569cb498cSPaolo Bonzini     if (set_rf) {
102669cb498cSPaolo Bonzini         eflags |= RF_MASK;
102769cb498cSPaolo Bonzini     }
102869cb498cSPaolo Bonzini 
1029059368bcSRichard Henderson     pushq(&sa, env->segs[R_SS].selector);
1030059368bcSRichard Henderson     pushq(&sa, env->regs[R_ESP]);
1031059368bcSRichard Henderson     pushq(&sa, eflags);
1032059368bcSRichard Henderson     pushq(&sa, env->segs[R_CS].selector);
1033059368bcSRichard Henderson     pushq(&sa, old_eip);
10341b248f14SClaudio Fontana     if (has_error_code) {
1035059368bcSRichard Henderson         pushq(&sa, error_code);
10361b248f14SClaudio Fontana     }
10371b248f14SClaudio Fontana 
10381b248f14SClaudio Fontana     /* interrupt gate clear IF mask */
10391b248f14SClaudio Fontana     if ((type & 1) == 0) {
10401b248f14SClaudio Fontana         env->eflags &= ~IF_MASK;
10411b248f14SClaudio Fontana     }
10421b248f14SClaudio Fontana     env->eflags &= ~(TF_MASK | VM_MASK | RF_MASK | NT_MASK);
10431b248f14SClaudio Fontana 
10441b248f14SClaudio Fontana     if (new_stack) {
1045bde8adb8SPeter Maydell         uint32_t ss = 0 | dpl; /* SS = NULL selector with RPL = new CPL */
10461b248f14SClaudio Fontana         cpu_x86_load_seg_cache(env, R_SS, ss, 0, 0, dpl << DESC_DPL_SHIFT);
10471b248f14SClaudio Fontana     }
1048059368bcSRichard Henderson     env->regs[R_ESP] = sa.sp;
10491b248f14SClaudio Fontana 
10501b248f14SClaudio Fontana     selector = (selector & ~3) | dpl;
10511b248f14SClaudio Fontana     cpu_x86_load_seg_cache(env, R_CS, selector,
10521b248f14SClaudio Fontana                    get_seg_base(e1, e2),
10531b248f14SClaudio Fontana                    get_seg_limit(e1, e2),
10541b248f14SClaudio Fontana                    e2);
10551b248f14SClaudio Fontana     env->eip = offset;
10561b248f14SClaudio Fontana }
105763fd8ef0SPaolo Bonzini #endif /* TARGET_X86_64 */
10581b248f14SClaudio Fontana 
helper_sysret(CPUX86State * env,int dflag)10591b248f14SClaudio Fontana void helper_sysret(CPUX86State *env, int dflag)
10601b248f14SClaudio Fontana {
10611b248f14SClaudio Fontana     int cpl, selector;
10621b248f14SClaudio Fontana 
10631b248f14SClaudio Fontana     if (!(env->efer & MSR_EFER_SCE)) {
10641b248f14SClaudio Fontana         raise_exception_err_ra(env, EXCP06_ILLOP, 0, GETPC());
10651b248f14SClaudio Fontana     }
10661b248f14SClaudio Fontana     cpl = env->hflags & HF_CPL_MASK;
10671b248f14SClaudio Fontana     if (!(env->cr[0] & CR0_PE_MASK) || cpl != 0) {
10681b248f14SClaudio Fontana         raise_exception_err_ra(env, EXCP0D_GPF, 0, GETPC());
10691b248f14SClaudio Fontana     }
10701b248f14SClaudio Fontana     selector = (env->star >> 48) & 0xffff;
107163fd8ef0SPaolo Bonzini #ifdef TARGET_X86_64
10721b248f14SClaudio Fontana     if (env->hflags & HF_LMA_MASK) {
10731b248f14SClaudio Fontana         cpu_load_eflags(env, (uint32_t)(env->regs[11]), TF_MASK | AC_MASK
10741b248f14SClaudio Fontana                         | ID_MASK | IF_MASK | IOPL_MASK | VM_MASK | RF_MASK |
10751b248f14SClaudio Fontana                         NT_MASK);
10761b248f14SClaudio Fontana         if (dflag == 2) {
10771b248f14SClaudio Fontana             cpu_x86_load_seg_cache(env, R_CS, (selector + 16) | 3,
10781b248f14SClaudio Fontana                                    0, 0xffffffff,
10791b248f14SClaudio Fontana                                    DESC_G_MASK | DESC_P_MASK |
10801b248f14SClaudio Fontana                                    DESC_S_MASK | (3 << DESC_DPL_SHIFT) |
10811b248f14SClaudio Fontana                                    DESC_CS_MASK | DESC_R_MASK | DESC_A_MASK |
10821b248f14SClaudio Fontana                                    DESC_L_MASK);
10831b248f14SClaudio Fontana             env->eip = env->regs[R_ECX];
10841b248f14SClaudio Fontana         } else {
10851b248f14SClaudio Fontana             cpu_x86_load_seg_cache(env, R_CS, selector | 3,
10861b248f14SClaudio Fontana                                    0, 0xffffffff,
10871b248f14SClaudio Fontana                                    DESC_G_MASK | DESC_B_MASK | DESC_P_MASK |
10881b248f14SClaudio Fontana                                    DESC_S_MASK | (3 << DESC_DPL_SHIFT) |
10891b248f14SClaudio Fontana                                    DESC_CS_MASK | DESC_R_MASK | DESC_A_MASK);
10901b248f14SClaudio Fontana             env->eip = (uint32_t)env->regs[R_ECX];
10911b248f14SClaudio Fontana         }
10921b248f14SClaudio Fontana         cpu_x86_load_seg_cache(env, R_SS, (selector + 8) | 3,
10931b248f14SClaudio Fontana                                0, 0xffffffff,
10941b248f14SClaudio Fontana                                DESC_G_MASK | DESC_B_MASK | DESC_P_MASK |
10951b248f14SClaudio Fontana                                DESC_S_MASK | (3 << DESC_DPL_SHIFT) |
10961b248f14SClaudio Fontana                                DESC_W_MASK | DESC_A_MASK);
109763fd8ef0SPaolo Bonzini     } else
109863fd8ef0SPaolo Bonzini #endif
109963fd8ef0SPaolo Bonzini     {
11001b248f14SClaudio Fontana         env->eflags |= IF_MASK;
11011b248f14SClaudio Fontana         cpu_x86_load_seg_cache(env, R_CS, selector | 3,
11021b248f14SClaudio Fontana                                0, 0xffffffff,
11031b248f14SClaudio Fontana                                DESC_G_MASK | DESC_B_MASK | DESC_P_MASK |
11041b248f14SClaudio Fontana                                DESC_S_MASK | (3 << DESC_DPL_SHIFT) |
11051b248f14SClaudio Fontana                                DESC_CS_MASK | DESC_R_MASK | DESC_A_MASK);
11061b248f14SClaudio Fontana         env->eip = (uint32_t)env->regs[R_ECX];
11071b248f14SClaudio Fontana         cpu_x86_load_seg_cache(env, R_SS, (selector + 8) | 3,
11081b248f14SClaudio Fontana                                0, 0xffffffff,
11091b248f14SClaudio Fontana                                DESC_G_MASK | DESC_B_MASK | DESC_P_MASK |
11101b248f14SClaudio Fontana                                DESC_S_MASK | (3 << DESC_DPL_SHIFT) |
11111b248f14SClaudio Fontana                                DESC_W_MASK | DESC_A_MASK);
11121b248f14SClaudio Fontana     }
11131b248f14SClaudio Fontana }
11141b248f14SClaudio Fontana 
11151b248f14SClaudio Fontana /* real mode interrupt */
do_interrupt_real(CPUX86State * env,int intno,int is_int,int error_code,unsigned int next_eip)11161b248f14SClaudio Fontana static void do_interrupt_real(CPUX86State *env, int intno, int is_int,
11171b248f14SClaudio Fontana                               int error_code, unsigned int next_eip)
11181b248f14SClaudio Fontana {
11191b248f14SClaudio Fontana     SegmentCache *dt;
1120059368bcSRichard Henderson     target_ulong ptr;
11211b248f14SClaudio Fontana     int selector;
1122059368bcSRichard Henderson     uint32_t offset;
11231b248f14SClaudio Fontana     uint32_t old_cs, old_eip;
1124059368bcSRichard Henderson     StackAccess sa;
11251b248f14SClaudio Fontana 
11261b248f14SClaudio Fontana     /* real mode (simpler!) */
11271b248f14SClaudio Fontana     dt = &env->idt;
11281b248f14SClaudio Fontana     if (intno * 4 + 3 > dt->limit) {
11291b248f14SClaudio Fontana         raise_exception_err(env, EXCP0D_GPF, intno * 8 + 2);
11301b248f14SClaudio Fontana     }
11311b248f14SClaudio Fontana     ptr = dt->base + intno * 4;
11321b248f14SClaudio Fontana     offset = cpu_lduw_kernel(env, ptr);
11331b248f14SClaudio Fontana     selector = cpu_lduw_kernel(env, ptr + 2);
1134059368bcSRichard Henderson 
1135059368bcSRichard Henderson     sa.env = env;
1136059368bcSRichard Henderson     sa.ra = 0;
1137059368bcSRichard Henderson     sa.sp = env->regs[R_ESP];
1138059368bcSRichard Henderson     sa.sp_mask = 0xffff;
1139059368bcSRichard Henderson     sa.ss_base = env->segs[R_SS].base;
11406ad00eb0SPaolo Bonzini     sa.mmu_index = x86_mmu_index_pl(env, 0);
1141059368bcSRichard Henderson 
11421b248f14SClaudio Fontana     if (is_int) {
11431b248f14SClaudio Fontana         old_eip = next_eip;
11441b248f14SClaudio Fontana     } else {
11451b248f14SClaudio Fontana         old_eip = env->eip;
11461b248f14SClaudio Fontana     }
11471b248f14SClaudio Fontana     old_cs = env->segs[R_CS].selector;
11481b248f14SClaudio Fontana     /* XXX: use SS segment size? */
1149059368bcSRichard Henderson     pushw(&sa, cpu_compute_eflags(env));
1150059368bcSRichard Henderson     pushw(&sa, old_cs);
1151059368bcSRichard Henderson     pushw(&sa, old_eip);
11521b248f14SClaudio Fontana 
11531b248f14SClaudio Fontana     /* update processor state */
1154059368bcSRichard Henderson     SET_ESP(sa.sp, sa.sp_mask);
11551b248f14SClaudio Fontana     env->eip = offset;
11561b248f14SClaudio Fontana     env->segs[R_CS].selector = selector;
11571b248f14SClaudio Fontana     env->segs[R_CS].base = (selector << 4);
11581b248f14SClaudio Fontana     env->eflags &= ~(IF_MASK | TF_MASK | AC_MASK | RF_MASK);
11591b248f14SClaudio Fontana }
11601b248f14SClaudio Fontana 
11611b248f14SClaudio Fontana /*
11621b248f14SClaudio Fontana  * Begin execution of an interruption. is_int is TRUE if coming from
11631b248f14SClaudio Fontana  * the int instruction. next_eip is the env->eip value AFTER the interrupt
11641b248f14SClaudio Fontana  * instruction. It is only relevant if is_int is TRUE.
11651b248f14SClaudio Fontana  */
do_interrupt_all(X86CPU * cpu,int intno,int is_int,int error_code,target_ulong next_eip,int is_hw)116630493a03SClaudio Fontana void do_interrupt_all(X86CPU *cpu, int intno, int is_int,
11671b248f14SClaudio Fontana                       int error_code, target_ulong next_eip, int is_hw)
11681b248f14SClaudio Fontana {
11691b248f14SClaudio Fontana     CPUX86State *env = &cpu->env;
11701b248f14SClaudio Fontana 
11711b248f14SClaudio Fontana     if (qemu_loglevel_mask(CPU_LOG_INT)) {
11721b248f14SClaudio Fontana         if ((env->cr[0] & CR0_PE_MASK)) {
11731b248f14SClaudio Fontana             static int count;
11741b248f14SClaudio Fontana 
11751b248f14SClaudio Fontana             qemu_log("%6d: v=%02x e=%04x i=%d cpl=%d IP=%04x:" TARGET_FMT_lx
11761b248f14SClaudio Fontana                      " pc=" TARGET_FMT_lx " SP=%04x:" TARGET_FMT_lx,
11771b248f14SClaudio Fontana                      count, intno, error_code, is_int,
11781b248f14SClaudio Fontana                      env->hflags & HF_CPL_MASK,
11791b248f14SClaudio Fontana                      env->segs[R_CS].selector, env->eip,
11801b248f14SClaudio Fontana                      (int)env->segs[R_CS].base + env->eip,
11811b248f14SClaudio Fontana                      env->segs[R_SS].selector, env->regs[R_ESP]);
11821b248f14SClaudio Fontana             if (intno == 0x0e) {
11831b248f14SClaudio Fontana                 qemu_log(" CR2=" TARGET_FMT_lx, env->cr[2]);
11841b248f14SClaudio Fontana             } else {
11851b248f14SClaudio Fontana                 qemu_log(" env->regs[R_EAX]=" TARGET_FMT_lx, env->regs[R_EAX]);
11861b248f14SClaudio Fontana             }
11871b248f14SClaudio Fontana             qemu_log("\n");
11881b248f14SClaudio Fontana             log_cpu_state(CPU(cpu), CPU_DUMP_CCOP);
11891b248f14SClaudio Fontana #if 0
11901b248f14SClaudio Fontana             {
11911b248f14SClaudio Fontana                 int i;
11921b248f14SClaudio Fontana                 target_ulong ptr;
11931b248f14SClaudio Fontana 
11941b248f14SClaudio Fontana                 qemu_log("       code=");
11951b248f14SClaudio Fontana                 ptr = env->segs[R_CS].base + env->eip;
11961b248f14SClaudio Fontana                 for (i = 0; i < 16; i++) {
11971b248f14SClaudio Fontana                     qemu_log(" %02x", ldub(ptr + i));
11981b248f14SClaudio Fontana                 }
11991b248f14SClaudio Fontana                 qemu_log("\n");
12001b248f14SClaudio Fontana             }
12011b248f14SClaudio Fontana #endif
12021b248f14SClaudio Fontana             count++;
12031b248f14SClaudio Fontana         }
12041b248f14SClaudio Fontana     }
12051b248f14SClaudio Fontana     if (env->cr[0] & CR0_PE_MASK) {
12061b248f14SClaudio Fontana #if !defined(CONFIG_USER_ONLY)
12071b248f14SClaudio Fontana         if (env->hflags & HF_GUEST_MASK) {
12081b248f14SClaudio Fontana             handle_even_inj(env, intno, is_int, error_code, is_hw, 0);
12091b248f14SClaudio Fontana         }
12101b248f14SClaudio Fontana #endif
12111b248f14SClaudio Fontana #ifdef TARGET_X86_64
12121b248f14SClaudio Fontana         if (env->hflags & HF_LMA_MASK) {
12131b248f14SClaudio Fontana             do_interrupt64(env, intno, is_int, error_code, next_eip, is_hw);
12141b248f14SClaudio Fontana         } else
12151b248f14SClaudio Fontana #endif
12161b248f14SClaudio Fontana         {
12171b248f14SClaudio Fontana             do_interrupt_protected(env, intno, is_int, error_code, next_eip,
12181b248f14SClaudio Fontana                                    is_hw);
12191b248f14SClaudio Fontana         }
12201b248f14SClaudio Fontana     } else {
12211b248f14SClaudio Fontana #if !defined(CONFIG_USER_ONLY)
12221b248f14SClaudio Fontana         if (env->hflags & HF_GUEST_MASK) {
12231b248f14SClaudio Fontana             handle_even_inj(env, intno, is_int, error_code, is_hw, 1);
12241b248f14SClaudio Fontana         }
12251b248f14SClaudio Fontana #endif
12261b248f14SClaudio Fontana         do_interrupt_real(env, intno, is_int, error_code, next_eip);
12271b248f14SClaudio Fontana     }
12281b248f14SClaudio Fontana 
12291b248f14SClaudio Fontana #if !defined(CONFIG_USER_ONLY)
12301b248f14SClaudio Fontana     if (env->hflags & HF_GUEST_MASK) {
12311b248f14SClaudio Fontana         CPUState *cs = CPU(cpu);
12321b248f14SClaudio Fontana         uint32_t event_inj = x86_ldl_phys(cs, env->vm_vmcb +
12331b248f14SClaudio Fontana                                       offsetof(struct vmcb,
12341b248f14SClaudio Fontana                                                control.event_inj));
12351b248f14SClaudio Fontana 
12361b248f14SClaudio Fontana         x86_stl_phys(cs,
12371b248f14SClaudio Fontana                  env->vm_vmcb + offsetof(struct vmcb, control.event_inj),
12381b248f14SClaudio Fontana                  event_inj & ~SVM_EVTINJ_VALID);
12391b248f14SClaudio Fontana     }
12401b248f14SClaudio Fontana #endif
12411b248f14SClaudio Fontana }
12421b248f14SClaudio Fontana 
do_interrupt_x86_hardirq(CPUX86State * env,int intno,int is_hw)12431b248f14SClaudio Fontana void do_interrupt_x86_hardirq(CPUX86State *env, int intno, int is_hw)
12441b248f14SClaudio Fontana {
12451b248f14SClaudio Fontana     do_interrupt_all(env_archcpu(env), intno, 0, 0, 0, is_hw);
12461b248f14SClaudio Fontana }
12471b248f14SClaudio Fontana 
helper_lldt(CPUX86State * env,int selector)12481b248f14SClaudio Fontana void helper_lldt(CPUX86State *env, int selector)
12491b248f14SClaudio Fontana {
12501b248f14SClaudio Fontana     SegmentCache *dt;
12511b248f14SClaudio Fontana     uint32_t e1, e2;
12521b248f14SClaudio Fontana     int index, entry_limit;
12531b248f14SClaudio Fontana     target_ulong ptr;
12541b248f14SClaudio Fontana 
12551b248f14SClaudio Fontana     selector &= 0xffff;
12561b248f14SClaudio Fontana     if ((selector & 0xfffc) == 0) {
12571b248f14SClaudio Fontana         /* XXX: NULL selector case: invalid LDT */
12581b248f14SClaudio Fontana         env->ldt.base = 0;
12591b248f14SClaudio Fontana         env->ldt.limit = 0;
12601b248f14SClaudio Fontana     } else {
12611b248f14SClaudio Fontana         if (selector & 0x4) {
12621b248f14SClaudio Fontana             raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC());
12631b248f14SClaudio Fontana         }
12641b248f14SClaudio Fontana         dt = &env->gdt;
12651b248f14SClaudio Fontana         index = selector & ~7;
12661b248f14SClaudio Fontana #ifdef TARGET_X86_64
12671b248f14SClaudio Fontana         if (env->hflags & HF_LMA_MASK) {
12681b248f14SClaudio Fontana             entry_limit = 15;
12691b248f14SClaudio Fontana         } else
12701b248f14SClaudio Fontana #endif
12711b248f14SClaudio Fontana         {
12721b248f14SClaudio Fontana             entry_limit = 7;
12731b248f14SClaudio Fontana         }
12741b248f14SClaudio Fontana         if ((index + entry_limit) > dt->limit) {
12751b248f14SClaudio Fontana             raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC());
12761b248f14SClaudio Fontana         }
12771b248f14SClaudio Fontana         ptr = dt->base + index;
12781b248f14SClaudio Fontana         e1 = cpu_ldl_kernel_ra(env, ptr, GETPC());
12791b248f14SClaudio Fontana         e2 = cpu_ldl_kernel_ra(env, ptr + 4, GETPC());
12801b248f14SClaudio Fontana         if ((e2 & DESC_S_MASK) || ((e2 >> DESC_TYPE_SHIFT) & 0xf) != 2) {
12811b248f14SClaudio Fontana             raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC());
12821b248f14SClaudio Fontana         }
12831b248f14SClaudio Fontana         if (!(e2 & DESC_P_MASK)) {
12841b248f14SClaudio Fontana             raise_exception_err_ra(env, EXCP0B_NOSEG, selector & 0xfffc, GETPC());
12851b248f14SClaudio Fontana         }
12861b248f14SClaudio Fontana #ifdef TARGET_X86_64
12871b248f14SClaudio Fontana         if (env->hflags & HF_LMA_MASK) {
12881b248f14SClaudio Fontana             uint32_t e3;
12891b248f14SClaudio Fontana 
12901b248f14SClaudio Fontana             e3 = cpu_ldl_kernel_ra(env, ptr + 8, GETPC());
12911b248f14SClaudio Fontana             load_seg_cache_raw_dt(&env->ldt, e1, e2);
12921b248f14SClaudio Fontana             env->ldt.base |= (target_ulong)e3 << 32;
12931b248f14SClaudio Fontana         } else
12941b248f14SClaudio Fontana #endif
12951b248f14SClaudio Fontana         {
12961b248f14SClaudio Fontana             load_seg_cache_raw_dt(&env->ldt, e1, e2);
12971b248f14SClaudio Fontana         }
12981b248f14SClaudio Fontana     }
12991b248f14SClaudio Fontana     env->ldt.selector = selector;
13001b248f14SClaudio Fontana }
13011b248f14SClaudio Fontana 
helper_ltr(CPUX86State * env,int selector)13021b248f14SClaudio Fontana void helper_ltr(CPUX86State *env, int selector)
13031b248f14SClaudio Fontana {
13041b248f14SClaudio Fontana     SegmentCache *dt;
13051b248f14SClaudio Fontana     uint32_t e1, e2;
13061b248f14SClaudio Fontana     int index, type, entry_limit;
13071b248f14SClaudio Fontana     target_ulong ptr;
13081b248f14SClaudio Fontana 
13091b248f14SClaudio Fontana     selector &= 0xffff;
13101b248f14SClaudio Fontana     if ((selector & 0xfffc) == 0) {
13111b248f14SClaudio Fontana         /* NULL selector case: invalid TR */
13121b248f14SClaudio Fontana         env->tr.base = 0;
13131b248f14SClaudio Fontana         env->tr.limit = 0;
13141b248f14SClaudio Fontana         env->tr.flags = 0;
13151b248f14SClaudio Fontana     } else {
13161b248f14SClaudio Fontana         if (selector & 0x4) {
13171b248f14SClaudio Fontana             raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC());
13181b248f14SClaudio Fontana         }
13191b248f14SClaudio Fontana         dt = &env->gdt;
13201b248f14SClaudio Fontana         index = selector & ~7;
13211b248f14SClaudio Fontana #ifdef TARGET_X86_64
13221b248f14SClaudio Fontana         if (env->hflags & HF_LMA_MASK) {
13231b248f14SClaudio Fontana             entry_limit = 15;
13241b248f14SClaudio Fontana         } else
13251b248f14SClaudio Fontana #endif
13261b248f14SClaudio Fontana         {
13271b248f14SClaudio Fontana             entry_limit = 7;
13281b248f14SClaudio Fontana         }
13291b248f14SClaudio Fontana         if ((index + entry_limit) > dt->limit) {
13301b248f14SClaudio Fontana             raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC());
13311b248f14SClaudio Fontana         }
13321b248f14SClaudio Fontana         ptr = dt->base + index;
13331b248f14SClaudio Fontana         e1 = cpu_ldl_kernel_ra(env, ptr, GETPC());
13341b248f14SClaudio Fontana         e2 = cpu_ldl_kernel_ra(env, ptr + 4, GETPC());
13351b248f14SClaudio Fontana         type = (e2 >> DESC_TYPE_SHIFT) & 0xf;
13361b248f14SClaudio Fontana         if ((e2 & DESC_S_MASK) ||
13371b248f14SClaudio Fontana             (type != 1 && type != 9)) {
13381b248f14SClaudio Fontana             raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC());
13391b248f14SClaudio Fontana         }
13401b248f14SClaudio Fontana         if (!(e2 & DESC_P_MASK)) {
13411b248f14SClaudio Fontana             raise_exception_err_ra(env, EXCP0B_NOSEG, selector & 0xfffc, GETPC());
13421b248f14SClaudio Fontana         }
13431b248f14SClaudio Fontana #ifdef TARGET_X86_64
13441b248f14SClaudio Fontana         if (env->hflags & HF_LMA_MASK) {
13451b248f14SClaudio Fontana             uint32_t e3, e4;
13461b248f14SClaudio Fontana 
13471b248f14SClaudio Fontana             e3 = cpu_ldl_kernel_ra(env, ptr + 8, GETPC());
13481b248f14SClaudio Fontana             e4 = cpu_ldl_kernel_ra(env, ptr + 12, GETPC());
13491b248f14SClaudio Fontana             if ((e4 >> DESC_TYPE_SHIFT) & 0xf) {
13501b248f14SClaudio Fontana                 raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC());
13511b248f14SClaudio Fontana             }
13521b248f14SClaudio Fontana             load_seg_cache_raw_dt(&env->tr, e1, e2);
13531b248f14SClaudio Fontana             env->tr.base |= (target_ulong)e3 << 32;
13541b248f14SClaudio Fontana         } else
13551b248f14SClaudio Fontana #endif
13561b248f14SClaudio Fontana         {
13571b248f14SClaudio Fontana             load_seg_cache_raw_dt(&env->tr, e1, e2);
13581b248f14SClaudio Fontana         }
13591b248f14SClaudio Fontana         e2 |= DESC_TSS_BUSY_MASK;
13601b248f14SClaudio Fontana         cpu_stl_kernel_ra(env, ptr + 4, e2, GETPC());
13611b248f14SClaudio Fontana     }
13621b248f14SClaudio Fontana     env->tr.selector = selector;
13631b248f14SClaudio Fontana }
13641b248f14SClaudio Fontana 
13651b248f14SClaudio Fontana /* only works if protected mode and not VM86. seg_reg must be != R_CS */
helper_load_seg(CPUX86State * env,int seg_reg,int selector)13661b248f14SClaudio Fontana void helper_load_seg(CPUX86State *env, int seg_reg, int selector)
13671b248f14SClaudio Fontana {
13681b248f14SClaudio Fontana     uint32_t e1, e2;
13691b248f14SClaudio Fontana     int cpl, dpl, rpl;
13701b248f14SClaudio Fontana     SegmentCache *dt;
13711b248f14SClaudio Fontana     int index;
13721b248f14SClaudio Fontana     target_ulong ptr;
13731b248f14SClaudio Fontana 
13741b248f14SClaudio Fontana     selector &= 0xffff;
13751b248f14SClaudio Fontana     cpl = env->hflags & HF_CPL_MASK;
13761b248f14SClaudio Fontana     if ((selector & 0xfffc) == 0) {
13771b248f14SClaudio Fontana         /* null selector case */
13781b248f14SClaudio Fontana         if (seg_reg == R_SS
13791b248f14SClaudio Fontana #ifdef TARGET_X86_64
13801b248f14SClaudio Fontana             && (!(env->hflags & HF_CS64_MASK) || cpl == 3)
13811b248f14SClaudio Fontana #endif
13821b248f14SClaudio Fontana             ) {
13831b248f14SClaudio Fontana             raise_exception_err_ra(env, EXCP0D_GPF, 0, GETPC());
13841b248f14SClaudio Fontana         }
13851b248f14SClaudio Fontana         cpu_x86_load_seg_cache(env, seg_reg, selector, 0, 0, 0);
13861b248f14SClaudio Fontana     } else {
13871b248f14SClaudio Fontana 
13881b248f14SClaudio Fontana         if (selector & 0x4) {
13891b248f14SClaudio Fontana             dt = &env->ldt;
13901b248f14SClaudio Fontana         } else {
13911b248f14SClaudio Fontana             dt = &env->gdt;
13921b248f14SClaudio Fontana         }
13931b248f14SClaudio Fontana         index = selector & ~7;
13941b248f14SClaudio Fontana         if ((index + 7) > dt->limit) {
13951b248f14SClaudio Fontana             raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC());
13961b248f14SClaudio Fontana         }
13971b248f14SClaudio Fontana         ptr = dt->base + index;
13981b248f14SClaudio Fontana         e1 = cpu_ldl_kernel_ra(env, ptr, GETPC());
13991b248f14SClaudio Fontana         e2 = cpu_ldl_kernel_ra(env, ptr + 4, GETPC());
14001b248f14SClaudio Fontana 
14011b248f14SClaudio Fontana         if (!(e2 & DESC_S_MASK)) {
14021b248f14SClaudio Fontana             raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC());
14031b248f14SClaudio Fontana         }
14041b248f14SClaudio Fontana         rpl = selector & 3;
14051b248f14SClaudio Fontana         dpl = (e2 >> DESC_DPL_SHIFT) & 3;
14061b248f14SClaudio Fontana         if (seg_reg == R_SS) {
14071b248f14SClaudio Fontana             /* must be writable segment */
14081b248f14SClaudio Fontana             if ((e2 & DESC_CS_MASK) || !(e2 & DESC_W_MASK)) {
14091b248f14SClaudio Fontana                 raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC());
14101b248f14SClaudio Fontana             }
14111b248f14SClaudio Fontana             if (rpl != cpl || dpl != cpl) {
14121b248f14SClaudio Fontana                 raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC());
14131b248f14SClaudio Fontana             }
14141b248f14SClaudio Fontana         } else {
14151b248f14SClaudio Fontana             /* must be readable segment */
14161b248f14SClaudio Fontana             if ((e2 & (DESC_CS_MASK | DESC_R_MASK)) == DESC_CS_MASK) {
14171b248f14SClaudio Fontana                 raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC());
14181b248f14SClaudio Fontana             }
14191b248f14SClaudio Fontana 
14201b248f14SClaudio Fontana             if (!(e2 & DESC_CS_MASK) || !(e2 & DESC_C_MASK)) {
14211b248f14SClaudio Fontana                 /* if not conforming code, test rights */
14221b248f14SClaudio Fontana                 if (dpl < cpl || dpl < rpl) {
14231b248f14SClaudio Fontana                     raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC());
14241b248f14SClaudio Fontana                 }
14251b248f14SClaudio Fontana             }
14261b248f14SClaudio Fontana         }
14271b248f14SClaudio Fontana 
14281b248f14SClaudio Fontana         if (!(e2 & DESC_P_MASK)) {
14291b248f14SClaudio Fontana             if (seg_reg == R_SS) {
14301b248f14SClaudio Fontana                 raise_exception_err_ra(env, EXCP0C_STACK, selector & 0xfffc, GETPC());
14311b248f14SClaudio Fontana             } else {
14321b248f14SClaudio Fontana                 raise_exception_err_ra(env, EXCP0B_NOSEG, selector & 0xfffc, GETPC());
14331b248f14SClaudio Fontana             }
14341b248f14SClaudio Fontana         }
14351b248f14SClaudio Fontana 
14361b248f14SClaudio Fontana         /* set the access bit if not already set */
14371b248f14SClaudio Fontana         if (!(e2 & DESC_A_MASK)) {
14381b248f14SClaudio Fontana             e2 |= DESC_A_MASK;
14391b248f14SClaudio Fontana             cpu_stl_kernel_ra(env, ptr + 4, e2, GETPC());
14401b248f14SClaudio Fontana         }
14411b248f14SClaudio Fontana 
14421b248f14SClaudio Fontana         cpu_x86_load_seg_cache(env, seg_reg, selector,
14431b248f14SClaudio Fontana                        get_seg_base(e1, e2),
14441b248f14SClaudio Fontana                        get_seg_limit(e1, e2),
14451b248f14SClaudio Fontana                        e2);
14461b248f14SClaudio Fontana #if 0
14471b248f14SClaudio Fontana         qemu_log("load_seg: sel=0x%04x base=0x%08lx limit=0x%08lx flags=%08x\n",
14481b248f14SClaudio Fontana                 selector, (unsigned long)sc->base, sc->limit, sc->flags);
14491b248f14SClaudio Fontana #endif
14501b248f14SClaudio Fontana     }
14511b248f14SClaudio Fontana }
14521b248f14SClaudio Fontana 
14531b248f14SClaudio Fontana /* protected mode jump */
helper_ljmp_protected(CPUX86State * env,int new_cs,target_ulong new_eip,target_ulong next_eip)14541b248f14SClaudio Fontana void helper_ljmp_protected(CPUX86State *env, int new_cs, target_ulong new_eip,
14551b248f14SClaudio Fontana                            target_ulong next_eip)
14561b248f14SClaudio Fontana {
14571b248f14SClaudio Fontana     int gate_cs, type;
14581b248f14SClaudio Fontana     uint32_t e1, e2, cpl, dpl, rpl, limit;
14591b248f14SClaudio Fontana 
14601b248f14SClaudio Fontana     if ((new_cs & 0xfffc) == 0) {
14611b248f14SClaudio Fontana         raise_exception_err_ra(env, EXCP0D_GPF, 0, GETPC());
14621b248f14SClaudio Fontana     }
14631b248f14SClaudio Fontana     if (load_segment_ra(env, &e1, &e2, new_cs, GETPC()) != 0) {
14641b248f14SClaudio Fontana         raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
14651b248f14SClaudio Fontana     }
14661b248f14SClaudio Fontana     cpl = env->hflags & HF_CPL_MASK;
14671b248f14SClaudio Fontana     if (e2 & DESC_S_MASK) {
14681b248f14SClaudio Fontana         if (!(e2 & DESC_CS_MASK)) {
14691b248f14SClaudio Fontana             raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
14701b248f14SClaudio Fontana         }
14711b248f14SClaudio Fontana         dpl = (e2 >> DESC_DPL_SHIFT) & 3;
14721b248f14SClaudio Fontana         if (e2 & DESC_C_MASK) {
14731b248f14SClaudio Fontana             /* conforming code segment */
14741b248f14SClaudio Fontana             if (dpl > cpl) {
14751b248f14SClaudio Fontana                 raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
14761b248f14SClaudio Fontana             }
14771b248f14SClaudio Fontana         } else {
14781b248f14SClaudio Fontana             /* non conforming code segment */
14791b248f14SClaudio Fontana             rpl = new_cs & 3;
14801b248f14SClaudio Fontana             if (rpl > cpl) {
14811b248f14SClaudio Fontana                 raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
14821b248f14SClaudio Fontana             }
14831b248f14SClaudio Fontana             if (dpl != cpl) {
14841b248f14SClaudio Fontana                 raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
14851b248f14SClaudio Fontana             }
14861b248f14SClaudio Fontana         }
14871b248f14SClaudio Fontana         if (!(e2 & DESC_P_MASK)) {
14881b248f14SClaudio Fontana             raise_exception_err_ra(env, EXCP0B_NOSEG, new_cs & 0xfffc, GETPC());
14891b248f14SClaudio Fontana         }
14901b248f14SClaudio Fontana         limit = get_seg_limit(e1, e2);
14911b248f14SClaudio Fontana         if (new_eip > limit &&
14921b248f14SClaudio Fontana             (!(env->hflags & HF_LMA_MASK) || !(e2 & DESC_L_MASK))) {
14931b248f14SClaudio Fontana             raise_exception_err_ra(env, EXCP0D_GPF, 0, GETPC());
14941b248f14SClaudio Fontana         }
14951b248f14SClaudio Fontana         cpu_x86_load_seg_cache(env, R_CS, (new_cs & 0xfffc) | cpl,
14961b248f14SClaudio Fontana                        get_seg_base(e1, e2), limit, e2);
14971b248f14SClaudio Fontana         env->eip = new_eip;
14981b248f14SClaudio Fontana     } else {
14991b248f14SClaudio Fontana         /* jump to call or task gate */
15001b248f14SClaudio Fontana         dpl = (e2 >> DESC_DPL_SHIFT) & 3;
15011b248f14SClaudio Fontana         rpl = new_cs & 3;
15021b248f14SClaudio Fontana         cpl = env->hflags & HF_CPL_MASK;
15031b248f14SClaudio Fontana         type = (e2 >> DESC_TYPE_SHIFT) & 0xf;
15041b248f14SClaudio Fontana 
15051b248f14SClaudio Fontana #ifdef TARGET_X86_64
15061b248f14SClaudio Fontana         if (env->efer & MSR_EFER_LMA) {
15071b248f14SClaudio Fontana             if (type != 12) {
15081b248f14SClaudio Fontana                 raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
15091b248f14SClaudio Fontana             }
15101b248f14SClaudio Fontana         }
15111b248f14SClaudio Fontana #endif
15121b248f14SClaudio Fontana         switch (type) {
15131b248f14SClaudio Fontana         case 1: /* 286 TSS */
15141b248f14SClaudio Fontana         case 9: /* 386 TSS */
15151b248f14SClaudio Fontana         case 5: /* task gate */
15161b248f14SClaudio Fontana             if (dpl < cpl || dpl < rpl) {
15171b248f14SClaudio Fontana                 raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
15181b248f14SClaudio Fontana             }
15191b248f14SClaudio Fontana             switch_tss_ra(env, new_cs, e1, e2, SWITCH_TSS_JMP, next_eip, GETPC());
15201b248f14SClaudio Fontana             break;
15211b248f14SClaudio Fontana         case 4: /* 286 call gate */
15221b248f14SClaudio Fontana         case 12: /* 386 call gate */
15231b248f14SClaudio Fontana             if ((dpl < cpl) || (dpl < rpl)) {
15241b248f14SClaudio Fontana                 raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
15251b248f14SClaudio Fontana             }
15261b248f14SClaudio Fontana             if (!(e2 & DESC_P_MASK)) {
15271b248f14SClaudio Fontana                 raise_exception_err_ra(env, EXCP0B_NOSEG, new_cs & 0xfffc, GETPC());
15281b248f14SClaudio Fontana             }
15291b248f14SClaudio Fontana             gate_cs = e1 >> 16;
15301b248f14SClaudio Fontana             new_eip = (e1 & 0xffff);
15311b248f14SClaudio Fontana             if (type == 12) {
15321b248f14SClaudio Fontana                 new_eip |= (e2 & 0xffff0000);
15331b248f14SClaudio Fontana             }
15341b248f14SClaudio Fontana 
15351b248f14SClaudio Fontana #ifdef TARGET_X86_64
15361b248f14SClaudio Fontana             if (env->efer & MSR_EFER_LMA) {
15371b248f14SClaudio Fontana                 /* load the upper 8 bytes of the 64-bit call gate */
15381b248f14SClaudio Fontana                 if (load_segment_ra(env, &e1, &e2, new_cs + 8, GETPC())) {
15391b248f14SClaudio Fontana                     raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc,
15401b248f14SClaudio Fontana                                            GETPC());
15411b248f14SClaudio Fontana                 }
15421b248f14SClaudio Fontana                 type = (e2 >> DESC_TYPE_SHIFT) & 0x1f;
15431b248f14SClaudio Fontana                 if (type != 0) {
15441b248f14SClaudio Fontana                     raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc,
15451b248f14SClaudio Fontana                                            GETPC());
15461b248f14SClaudio Fontana                 }
15471b248f14SClaudio Fontana                 new_eip |= ((target_ulong)e1) << 32;
15481b248f14SClaudio Fontana             }
15491b248f14SClaudio Fontana #endif
15501b248f14SClaudio Fontana 
15511b248f14SClaudio Fontana             if (load_segment_ra(env, &e1, &e2, gate_cs, GETPC()) != 0) {
15521b248f14SClaudio Fontana                 raise_exception_err_ra(env, EXCP0D_GPF, gate_cs & 0xfffc, GETPC());
15531b248f14SClaudio Fontana             }
15541b248f14SClaudio Fontana             dpl = (e2 >> DESC_DPL_SHIFT) & 3;
15551b248f14SClaudio Fontana             /* must be code segment */
15561b248f14SClaudio Fontana             if (((e2 & (DESC_S_MASK | DESC_CS_MASK)) !=
15571b248f14SClaudio Fontana                  (DESC_S_MASK | DESC_CS_MASK))) {
15581b248f14SClaudio Fontana                 raise_exception_err_ra(env, EXCP0D_GPF, gate_cs & 0xfffc, GETPC());
15591b248f14SClaudio Fontana             }
15601b248f14SClaudio Fontana             if (((e2 & DESC_C_MASK) && (dpl > cpl)) ||
15611b248f14SClaudio Fontana                 (!(e2 & DESC_C_MASK) && (dpl != cpl))) {
15621b248f14SClaudio Fontana                 raise_exception_err_ra(env, EXCP0D_GPF, gate_cs & 0xfffc, GETPC());
15631b248f14SClaudio Fontana             }
15641b248f14SClaudio Fontana #ifdef TARGET_X86_64
15651b248f14SClaudio Fontana             if (env->efer & MSR_EFER_LMA) {
15661b248f14SClaudio Fontana                 if (!(e2 & DESC_L_MASK)) {
15671b248f14SClaudio Fontana                     raise_exception_err_ra(env, EXCP0D_GPF, gate_cs & 0xfffc, GETPC());
15681b248f14SClaudio Fontana                 }
15691b248f14SClaudio Fontana                 if (e2 & DESC_B_MASK) {
15701b248f14SClaudio Fontana                     raise_exception_err_ra(env, EXCP0D_GPF, gate_cs & 0xfffc, GETPC());
15711b248f14SClaudio Fontana                 }
15721b248f14SClaudio Fontana             }
15731b248f14SClaudio Fontana #endif
15741b248f14SClaudio Fontana             if (!(e2 & DESC_P_MASK)) {
15751b248f14SClaudio Fontana                 raise_exception_err_ra(env, EXCP0D_GPF, gate_cs & 0xfffc, GETPC());
15761b248f14SClaudio Fontana             }
15771b248f14SClaudio Fontana             limit = get_seg_limit(e1, e2);
15781b248f14SClaudio Fontana             if (new_eip > limit &&
15791b248f14SClaudio Fontana                 (!(env->hflags & HF_LMA_MASK) || !(e2 & DESC_L_MASK))) {
15801b248f14SClaudio Fontana                 raise_exception_err_ra(env, EXCP0D_GPF, 0, GETPC());
15811b248f14SClaudio Fontana             }
15821b248f14SClaudio Fontana             cpu_x86_load_seg_cache(env, R_CS, (gate_cs & 0xfffc) | cpl,
15831b248f14SClaudio Fontana                                    get_seg_base(e1, e2), limit, e2);
15841b248f14SClaudio Fontana             env->eip = new_eip;
15851b248f14SClaudio Fontana             break;
15861b248f14SClaudio Fontana         default:
15871b248f14SClaudio Fontana             raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
15881b248f14SClaudio Fontana             break;
15891b248f14SClaudio Fontana         }
15901b248f14SClaudio Fontana     }
15911b248f14SClaudio Fontana }
15921b248f14SClaudio Fontana 
15931b248f14SClaudio Fontana /* real mode call */
helper_lcall_real(CPUX86State * env,uint32_t new_cs,uint32_t new_eip,int shift,uint32_t next_eip)15948c03ab9fSRichard Henderson void helper_lcall_real(CPUX86State *env, uint32_t new_cs, uint32_t new_eip,
15958c03ab9fSRichard Henderson                        int shift, uint32_t next_eip)
15961b248f14SClaudio Fontana {
1597059368bcSRichard Henderson     StackAccess sa;
15981b248f14SClaudio Fontana 
1599059368bcSRichard Henderson     sa.env = env;
1600059368bcSRichard Henderson     sa.ra = GETPC();
1601059368bcSRichard Henderson     sa.sp = env->regs[R_ESP];
1602059368bcSRichard Henderson     sa.sp_mask = get_sp_mask(env->segs[R_SS].flags);
1603059368bcSRichard Henderson     sa.ss_base = env->segs[R_SS].base;
16046ad00eb0SPaolo Bonzini     sa.mmu_index = x86_mmu_index_pl(env, 0);
1605059368bcSRichard Henderson 
16061b248f14SClaudio Fontana     if (shift) {
1607059368bcSRichard Henderson         pushl(&sa, env->segs[R_CS].selector);
1608059368bcSRichard Henderson         pushl(&sa, next_eip);
16091b248f14SClaudio Fontana     } else {
1610059368bcSRichard Henderson         pushw(&sa, env->segs[R_CS].selector);
1611059368bcSRichard Henderson         pushw(&sa, next_eip);
16121b248f14SClaudio Fontana     }
16131b248f14SClaudio Fontana 
1614059368bcSRichard Henderson     SET_ESP(sa.sp, sa.sp_mask);
16151b248f14SClaudio Fontana     env->eip = new_eip;
16161b248f14SClaudio Fontana     env->segs[R_CS].selector = new_cs;
16171b248f14SClaudio Fontana     env->segs[R_CS].base = (new_cs << 4);
16181b248f14SClaudio Fontana }
16191b248f14SClaudio Fontana 
16201b248f14SClaudio Fontana /* protected mode call */
helper_lcall_protected(CPUX86State * env,int new_cs,target_ulong new_eip,int shift,target_ulong next_eip)16211b248f14SClaudio Fontana void helper_lcall_protected(CPUX86State *env, int new_cs, target_ulong new_eip,
16221b248f14SClaudio Fontana                             int shift, target_ulong next_eip)
16231b248f14SClaudio Fontana {
16241b248f14SClaudio Fontana     int new_stack, i;
16251b248f14SClaudio Fontana     uint32_t e1, e2, cpl, dpl, rpl, selector, param_count;
1626059368bcSRichard Henderson     uint32_t ss = 0, ss_e1 = 0, ss_e2 = 0, type, ss_dpl;
16271b248f14SClaudio Fontana     uint32_t val, limit, old_sp_mask;
1628059368bcSRichard Henderson     target_ulong old_ssp, offset;
1629059368bcSRichard Henderson     StackAccess sa;
16301b248f14SClaudio Fontana 
16311b248f14SClaudio Fontana     LOG_PCALL("lcall %04x:" TARGET_FMT_lx " s=%d\n", new_cs, new_eip, shift);
16321b248f14SClaudio Fontana     LOG_PCALL_STATE(env_cpu(env));
16331b248f14SClaudio Fontana     if ((new_cs & 0xfffc) == 0) {
16341b248f14SClaudio Fontana         raise_exception_err_ra(env, EXCP0D_GPF, 0, GETPC());
16351b248f14SClaudio Fontana     }
16361b248f14SClaudio Fontana     if (load_segment_ra(env, &e1, &e2, new_cs, GETPC()) != 0) {
16371b248f14SClaudio Fontana         raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
16381b248f14SClaudio Fontana     }
16391b248f14SClaudio Fontana     cpl = env->hflags & HF_CPL_MASK;
16401b248f14SClaudio Fontana     LOG_PCALL("desc=%08x:%08x\n", e1, e2);
1641059368bcSRichard Henderson 
1642059368bcSRichard Henderson     sa.env = env;
1643059368bcSRichard Henderson     sa.ra = GETPC();
1644059368bcSRichard Henderson 
16451b248f14SClaudio Fontana     if (e2 & DESC_S_MASK) {
16466ad00eb0SPaolo Bonzini         /* "normal" far call, no stack switch possible */
16471b248f14SClaudio Fontana         if (!(e2 & DESC_CS_MASK)) {
16481b248f14SClaudio Fontana             raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
16491b248f14SClaudio Fontana         }
16501b248f14SClaudio Fontana         dpl = (e2 >> DESC_DPL_SHIFT) & 3;
16511b248f14SClaudio Fontana         if (e2 & DESC_C_MASK) {
16521b248f14SClaudio Fontana             /* conforming code segment */
16531b248f14SClaudio Fontana             if (dpl > cpl) {
16541b248f14SClaudio Fontana                 raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
16551b248f14SClaudio Fontana             }
16561b248f14SClaudio Fontana         } else {
16571b248f14SClaudio Fontana             /* non conforming code segment */
16581b248f14SClaudio Fontana             rpl = new_cs & 3;
16591b248f14SClaudio Fontana             if (rpl > cpl) {
16601b248f14SClaudio Fontana                 raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
16611b248f14SClaudio Fontana             }
16621b248f14SClaudio Fontana             if (dpl != cpl) {
16631b248f14SClaudio Fontana                 raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
16641b248f14SClaudio Fontana             }
16651b248f14SClaudio Fontana         }
16661b248f14SClaudio Fontana         if (!(e2 & DESC_P_MASK)) {
16671b248f14SClaudio Fontana             raise_exception_err_ra(env, EXCP0B_NOSEG, new_cs & 0xfffc, GETPC());
16681b248f14SClaudio Fontana         }
16691b248f14SClaudio Fontana 
16706ad00eb0SPaolo Bonzini         sa.mmu_index = x86_mmu_index_pl(env, cpl);
16711b248f14SClaudio Fontana #ifdef TARGET_X86_64
16721b248f14SClaudio Fontana         /* XXX: check 16/32 bit cases in long mode */
16731b248f14SClaudio Fontana         if (shift == 2) {
16741b248f14SClaudio Fontana             /* 64 bit case */
1675059368bcSRichard Henderson             sa.sp = env->regs[R_ESP];
1676059368bcSRichard Henderson             sa.sp_mask = -1;
1677059368bcSRichard Henderson             sa.ss_base = 0;
1678059368bcSRichard Henderson             pushq(&sa, env->segs[R_CS].selector);
1679059368bcSRichard Henderson             pushq(&sa, next_eip);
16801b248f14SClaudio Fontana             /* from this point, not restartable */
1681059368bcSRichard Henderson             env->regs[R_ESP] = sa.sp;
16821b248f14SClaudio Fontana             cpu_x86_load_seg_cache(env, R_CS, (new_cs & 0xfffc) | cpl,
16831b248f14SClaudio Fontana                                    get_seg_base(e1, e2),
16841b248f14SClaudio Fontana                                    get_seg_limit(e1, e2), e2);
16851b248f14SClaudio Fontana             env->eip = new_eip;
16861b248f14SClaudio Fontana         } else
16871b248f14SClaudio Fontana #endif
16881b248f14SClaudio Fontana         {
1689059368bcSRichard Henderson             sa.sp = env->regs[R_ESP];
1690059368bcSRichard Henderson             sa.sp_mask = get_sp_mask(env->segs[R_SS].flags);
1691059368bcSRichard Henderson             sa.ss_base = env->segs[R_SS].base;
16921b248f14SClaudio Fontana             if (shift) {
1693059368bcSRichard Henderson                 pushl(&sa, env->segs[R_CS].selector);
1694059368bcSRichard Henderson                 pushl(&sa, next_eip);
16951b248f14SClaudio Fontana             } else {
1696059368bcSRichard Henderson                 pushw(&sa, env->segs[R_CS].selector);
1697059368bcSRichard Henderson                 pushw(&sa, next_eip);
16981b248f14SClaudio Fontana             }
16991b248f14SClaudio Fontana 
17001b248f14SClaudio Fontana             limit = get_seg_limit(e1, e2);
17011b248f14SClaudio Fontana             if (new_eip > limit) {
17021b248f14SClaudio Fontana                 raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
17031b248f14SClaudio Fontana             }
17041b248f14SClaudio Fontana             /* from this point, not restartable */
1705059368bcSRichard Henderson             SET_ESP(sa.sp, sa.sp_mask);
17061b248f14SClaudio Fontana             cpu_x86_load_seg_cache(env, R_CS, (new_cs & 0xfffc) | cpl,
17071b248f14SClaudio Fontana                                    get_seg_base(e1, e2), limit, e2);
17081b248f14SClaudio Fontana             env->eip = new_eip;
17091b248f14SClaudio Fontana         }
17101b248f14SClaudio Fontana     } else {
17111b248f14SClaudio Fontana         /* check gate type */
17121b248f14SClaudio Fontana         type = (e2 >> DESC_TYPE_SHIFT) & 0x1f;
17131b248f14SClaudio Fontana         dpl = (e2 >> DESC_DPL_SHIFT) & 3;
17141b248f14SClaudio Fontana         rpl = new_cs & 3;
17151b248f14SClaudio Fontana 
17161b248f14SClaudio Fontana #ifdef TARGET_X86_64
17171b248f14SClaudio Fontana         if (env->efer & MSR_EFER_LMA) {
17181b248f14SClaudio Fontana             if (type != 12) {
17191b248f14SClaudio Fontana                 raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
17201b248f14SClaudio Fontana             }
17211b248f14SClaudio Fontana         }
17221b248f14SClaudio Fontana #endif
17231b248f14SClaudio Fontana 
17241b248f14SClaudio Fontana         switch (type) {
17251b248f14SClaudio Fontana         case 1: /* available 286 TSS */
17261b248f14SClaudio Fontana         case 9: /* available 386 TSS */
17271b248f14SClaudio Fontana         case 5: /* task gate */
17281b248f14SClaudio Fontana             if (dpl < cpl || dpl < rpl) {
17291b248f14SClaudio Fontana                 raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
17301b248f14SClaudio Fontana             }
17311b248f14SClaudio Fontana             switch_tss_ra(env, new_cs, e1, e2, SWITCH_TSS_CALL, next_eip, GETPC());
17321b248f14SClaudio Fontana             return;
17331b248f14SClaudio Fontana         case 4: /* 286 call gate */
17341b248f14SClaudio Fontana         case 12: /* 386 call gate */
17351b248f14SClaudio Fontana             break;
17361b248f14SClaudio Fontana         default:
17371b248f14SClaudio Fontana             raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
17381b248f14SClaudio Fontana             break;
17391b248f14SClaudio Fontana         }
17401b248f14SClaudio Fontana         shift = type >> 3;
17411b248f14SClaudio Fontana 
17421b248f14SClaudio Fontana         if (dpl < cpl || dpl < rpl) {
17431b248f14SClaudio Fontana             raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC());
17441b248f14SClaudio Fontana         }
17451b248f14SClaudio Fontana         /* check valid bit */
17461b248f14SClaudio Fontana         if (!(e2 & DESC_P_MASK)) {
17471b248f14SClaudio Fontana             raise_exception_err_ra(env, EXCP0B_NOSEG,  new_cs & 0xfffc, GETPC());
17481b248f14SClaudio Fontana         }
17491b248f14SClaudio Fontana         selector = e1 >> 16;
17501b248f14SClaudio Fontana         param_count = e2 & 0x1f;
17511b248f14SClaudio Fontana         offset = (e2 & 0xffff0000) | (e1 & 0x0000ffff);
17521b248f14SClaudio Fontana #ifdef TARGET_X86_64
17531b248f14SClaudio Fontana         if (env->efer & MSR_EFER_LMA) {
17541b248f14SClaudio Fontana             /* load the upper 8 bytes of the 64-bit call gate */
17551b248f14SClaudio Fontana             if (load_segment_ra(env, &e1, &e2, new_cs + 8, GETPC())) {
17561b248f14SClaudio Fontana                 raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc,
17571b248f14SClaudio Fontana                                        GETPC());
17581b248f14SClaudio Fontana             }
17591b248f14SClaudio Fontana             type = (e2 >> DESC_TYPE_SHIFT) & 0x1f;
17601b248f14SClaudio Fontana             if (type != 0) {
17611b248f14SClaudio Fontana                 raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc,
17621b248f14SClaudio Fontana                                        GETPC());
17631b248f14SClaudio Fontana             }
17641b248f14SClaudio Fontana             offset |= ((target_ulong)e1) << 32;
17651b248f14SClaudio Fontana         }
17661b248f14SClaudio Fontana #endif
17671b248f14SClaudio Fontana         if ((selector & 0xfffc) == 0) {
17681b248f14SClaudio Fontana             raise_exception_err_ra(env, EXCP0D_GPF, 0, GETPC());
17691b248f14SClaudio Fontana         }
17701b248f14SClaudio Fontana 
17711b248f14SClaudio Fontana         if (load_segment_ra(env, &e1, &e2, selector, GETPC()) != 0) {
17721b248f14SClaudio Fontana             raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC());
17731b248f14SClaudio Fontana         }
17741b248f14SClaudio Fontana         if (!(e2 & DESC_S_MASK) || !(e2 & (DESC_CS_MASK))) {
17751b248f14SClaudio Fontana             raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC());
17761b248f14SClaudio Fontana         }
17771b248f14SClaudio Fontana         dpl = (e2 >> DESC_DPL_SHIFT) & 3;
17781b248f14SClaudio Fontana         if (dpl > cpl) {
17791b248f14SClaudio Fontana             raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC());
17801b248f14SClaudio Fontana         }
17811b248f14SClaudio Fontana #ifdef TARGET_X86_64
17821b248f14SClaudio Fontana         if (env->efer & MSR_EFER_LMA) {
17831b248f14SClaudio Fontana             if (!(e2 & DESC_L_MASK)) {
17841b248f14SClaudio Fontana                 raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC());
17851b248f14SClaudio Fontana             }
17861b248f14SClaudio Fontana             if (e2 & DESC_B_MASK) {
17871b248f14SClaudio Fontana                 raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC());
17881b248f14SClaudio Fontana             }
17891b248f14SClaudio Fontana             shift++;
17901b248f14SClaudio Fontana         }
17911b248f14SClaudio Fontana #endif
17921b248f14SClaudio Fontana         if (!(e2 & DESC_P_MASK)) {
17931b248f14SClaudio Fontana             raise_exception_err_ra(env, EXCP0B_NOSEG, selector & 0xfffc, GETPC());
17941b248f14SClaudio Fontana         }
17951b248f14SClaudio Fontana 
17961b248f14SClaudio Fontana         if (!(e2 & DESC_C_MASK) && dpl < cpl) {
17971b248f14SClaudio Fontana             /* to inner privilege */
17986ad00eb0SPaolo Bonzini             sa.mmu_index = x86_mmu_index_pl(env, dpl);
17991b248f14SClaudio Fontana #ifdef TARGET_X86_64
18001b248f14SClaudio Fontana             if (shift == 2) {
18011b248f14SClaudio Fontana                 ss = dpl;  /* SS = NULL selector with RPL = new CPL */
18021b248f14SClaudio Fontana                 new_stack = 1;
1803059368bcSRichard Henderson                 sa.sp = get_rsp_from_tss(env, dpl);
1804059368bcSRichard Henderson                 sa.sp_mask = -1;
1805059368bcSRichard Henderson                 sa.ss_base = 0;  /* SS base is always zero in IA-32e mode */
18061b248f14SClaudio Fontana                 LOG_PCALL("new ss:rsp=%04x:%016llx env->regs[R_ESP]="
1807059368bcSRichard Henderson                           TARGET_FMT_lx "\n", ss, sa.sp, env->regs[R_ESP]);
18081b248f14SClaudio Fontana             } else
18091b248f14SClaudio Fontana #endif
18101b248f14SClaudio Fontana             {
18111b248f14SClaudio Fontana                 uint32_t sp32;
18121b248f14SClaudio Fontana                 get_ss_esp_from_tss(env, &ss, &sp32, dpl, GETPC());
18131b248f14SClaudio Fontana                 LOG_PCALL("new ss:esp=%04x:%08x param_count=%d env->regs[R_ESP]="
18141b248f14SClaudio Fontana                           TARGET_FMT_lx "\n", ss, sp32, param_count,
18151b248f14SClaudio Fontana                           env->regs[R_ESP]);
18161b248f14SClaudio Fontana                 if ((ss & 0xfffc) == 0) {
18171b248f14SClaudio Fontana                     raise_exception_err_ra(env, EXCP0A_TSS, ss & 0xfffc, GETPC());
18181b248f14SClaudio Fontana                 }
18191b248f14SClaudio Fontana                 if ((ss & 3) != dpl) {
18201b248f14SClaudio Fontana                     raise_exception_err_ra(env, EXCP0A_TSS, ss & 0xfffc, GETPC());
18211b248f14SClaudio Fontana                 }
18221b248f14SClaudio Fontana                 if (load_segment_ra(env, &ss_e1, &ss_e2, ss, GETPC()) != 0) {
18231b248f14SClaudio Fontana                     raise_exception_err_ra(env, EXCP0A_TSS, ss & 0xfffc, GETPC());
18241b248f14SClaudio Fontana                 }
18251b248f14SClaudio Fontana                 ss_dpl = (ss_e2 >> DESC_DPL_SHIFT) & 3;
18261b248f14SClaudio Fontana                 if (ss_dpl != dpl) {
18271b248f14SClaudio Fontana                     raise_exception_err_ra(env, EXCP0A_TSS, ss & 0xfffc, GETPC());
18281b248f14SClaudio Fontana                 }
18291b248f14SClaudio Fontana                 if (!(ss_e2 & DESC_S_MASK) ||
18301b248f14SClaudio Fontana                     (ss_e2 & DESC_CS_MASK) ||
18311b248f14SClaudio Fontana                     !(ss_e2 & DESC_W_MASK)) {
18321b248f14SClaudio Fontana                     raise_exception_err_ra(env, EXCP0A_TSS, ss & 0xfffc, GETPC());
18331b248f14SClaudio Fontana                 }
18341b248f14SClaudio Fontana                 if (!(ss_e2 & DESC_P_MASK)) {
18351b248f14SClaudio Fontana                     raise_exception_err_ra(env, EXCP0A_TSS, ss & 0xfffc, GETPC());
18361b248f14SClaudio Fontana                 }
18371b248f14SClaudio Fontana 
1838059368bcSRichard Henderson                 sa.sp = sp32;
1839059368bcSRichard Henderson                 sa.sp_mask = get_sp_mask(ss_e2);
1840059368bcSRichard Henderson                 sa.ss_base = get_seg_base(ss_e1, ss_e2);
18411b248f14SClaudio Fontana             }
18421b248f14SClaudio Fontana 
18431b248f14SClaudio Fontana             /* push_size = ((param_count * 2) + 8) << shift; */
18441b248f14SClaudio Fontana             old_sp_mask = get_sp_mask(env->segs[R_SS].flags);
18451b248f14SClaudio Fontana             old_ssp = env->segs[R_SS].base;
1846059368bcSRichard Henderson 
18471b248f14SClaudio Fontana #ifdef TARGET_X86_64
18481b248f14SClaudio Fontana             if (shift == 2) {
18491b248f14SClaudio Fontana                 /* XXX: verify if new stack address is canonical */
1850059368bcSRichard Henderson                 pushq(&sa, env->segs[R_SS].selector);
1851059368bcSRichard Henderson                 pushq(&sa, env->regs[R_ESP]);
18521b248f14SClaudio Fontana                 /* parameters aren't supported for 64-bit call gates */
18531b248f14SClaudio Fontana             } else
18541b248f14SClaudio Fontana #endif
18551b248f14SClaudio Fontana             if (shift == 1) {
1856059368bcSRichard Henderson                 pushl(&sa, env->segs[R_SS].selector);
1857059368bcSRichard Henderson                 pushl(&sa, env->regs[R_ESP]);
18581b248f14SClaudio Fontana                 for (i = param_count - 1; i >= 0; i--) {
18590bd385e7SPaolo Bonzini                     val = cpu_ldl_data_ra(env,
18600bd385e7SPaolo Bonzini                                           old_ssp + ((env->regs[R_ESP] + i * 4) & old_sp_mask),
18610bd385e7SPaolo Bonzini                                           GETPC());
1862059368bcSRichard Henderson                     pushl(&sa, val);
18631b248f14SClaudio Fontana                 }
18641b248f14SClaudio Fontana             } else {
1865059368bcSRichard Henderson                 pushw(&sa, env->segs[R_SS].selector);
1866059368bcSRichard Henderson                 pushw(&sa, env->regs[R_ESP]);
18671b248f14SClaudio Fontana                 for (i = param_count - 1; i >= 0; i--) {
18680bd385e7SPaolo Bonzini                     val = cpu_lduw_data_ra(env,
18690bd385e7SPaolo Bonzini                                            old_ssp + ((env->regs[R_ESP] + i * 2) & old_sp_mask),
18700bd385e7SPaolo Bonzini                                            GETPC());
1871059368bcSRichard Henderson                     pushw(&sa, val);
18721b248f14SClaudio Fontana                 }
18731b248f14SClaudio Fontana             }
18741b248f14SClaudio Fontana             new_stack = 1;
18751b248f14SClaudio Fontana         } else {
18761b248f14SClaudio Fontana             /* to same privilege */
18776ad00eb0SPaolo Bonzini             sa.mmu_index = x86_mmu_index_pl(env, cpl);
1878059368bcSRichard Henderson             sa.sp = env->regs[R_ESP];
1879059368bcSRichard Henderson             sa.sp_mask = get_sp_mask(env->segs[R_SS].flags);
1880059368bcSRichard Henderson             sa.ss_base = env->segs[R_SS].base;
18811b248f14SClaudio Fontana             /* push_size = (4 << shift); */
18821b248f14SClaudio Fontana             new_stack = 0;
18831b248f14SClaudio Fontana         }
18841b248f14SClaudio Fontana 
18851b248f14SClaudio Fontana #ifdef TARGET_X86_64
18861b248f14SClaudio Fontana         if (shift == 2) {
1887059368bcSRichard Henderson             pushq(&sa, env->segs[R_CS].selector);
1888059368bcSRichard Henderson             pushq(&sa, next_eip);
18891b248f14SClaudio Fontana         } else
18901b248f14SClaudio Fontana #endif
18911b248f14SClaudio Fontana         if (shift == 1) {
1892059368bcSRichard Henderson             pushl(&sa, env->segs[R_CS].selector);
1893059368bcSRichard Henderson             pushl(&sa, next_eip);
18941b248f14SClaudio Fontana         } else {
1895059368bcSRichard Henderson             pushw(&sa, env->segs[R_CS].selector);
1896059368bcSRichard Henderson             pushw(&sa, next_eip);
18971b248f14SClaudio Fontana         }
18981b248f14SClaudio Fontana 
18991b248f14SClaudio Fontana         /* from this point, not restartable */
19001b248f14SClaudio Fontana 
19011b248f14SClaudio Fontana         if (new_stack) {
19021b248f14SClaudio Fontana #ifdef TARGET_X86_64
19031b248f14SClaudio Fontana             if (shift == 2) {
19041b248f14SClaudio Fontana                 cpu_x86_load_seg_cache(env, R_SS, ss, 0, 0, 0);
19051b248f14SClaudio Fontana             } else
19061b248f14SClaudio Fontana #endif
19071b248f14SClaudio Fontana             {
19081b248f14SClaudio Fontana                 ss = (ss & ~3) | dpl;
19091b248f14SClaudio Fontana                 cpu_x86_load_seg_cache(env, R_SS, ss,
1910059368bcSRichard Henderson                                        sa.ss_base,
19111b248f14SClaudio Fontana                                        get_seg_limit(ss_e1, ss_e2),
19121b248f14SClaudio Fontana                                        ss_e2);
19131b248f14SClaudio Fontana             }
19141b248f14SClaudio Fontana         }
19151b248f14SClaudio Fontana 
19161b248f14SClaudio Fontana         selector = (selector & ~3) | dpl;
19171b248f14SClaudio Fontana         cpu_x86_load_seg_cache(env, R_CS, selector,
19181b248f14SClaudio Fontana                        get_seg_base(e1, e2),
19191b248f14SClaudio Fontana                        get_seg_limit(e1, e2),
19201b248f14SClaudio Fontana                        e2);
1921059368bcSRichard Henderson         SET_ESP(sa.sp, sa.sp_mask);
19221b248f14SClaudio Fontana         env->eip = offset;
19231b248f14SClaudio Fontana     }
19241b248f14SClaudio Fontana }
19251b248f14SClaudio Fontana 
19261b248f14SClaudio Fontana /* real and vm86 mode iret */
helper_iret_real(CPUX86State * env,int shift)19271b248f14SClaudio Fontana void helper_iret_real(CPUX86State *env, int shift)
19281b248f14SClaudio Fontana {
1929059368bcSRichard Henderson     uint32_t new_cs, new_eip, new_eflags;
19301b248f14SClaudio Fontana     int eflags_mask;
1931059368bcSRichard Henderson     StackAccess sa;
19321b248f14SClaudio Fontana 
1933059368bcSRichard Henderson     sa.env = env;
1934059368bcSRichard Henderson     sa.ra = GETPC();
19358053862aSPaolo Bonzini     sa.mmu_index = x86_mmu_index_pl(env, 0);
1936059368bcSRichard Henderson     sa.sp_mask = 0xffff; /* XXXX: use SS segment size? */
1937059368bcSRichard Henderson     sa.sp = env->regs[R_ESP];
1938059368bcSRichard Henderson     sa.ss_base = env->segs[R_SS].base;
1939059368bcSRichard Henderson 
19401b248f14SClaudio Fontana     if (shift == 1) {
19411b248f14SClaudio Fontana         /* 32 bits */
1942059368bcSRichard Henderson         new_eip = popl(&sa);
1943059368bcSRichard Henderson         new_cs = popl(&sa) & 0xffff;
1944059368bcSRichard Henderson         new_eflags = popl(&sa);
19451b248f14SClaudio Fontana     } else {
19461b248f14SClaudio Fontana         /* 16 bits */
1947059368bcSRichard Henderson         new_eip = popw(&sa);
1948059368bcSRichard Henderson         new_cs = popw(&sa);
1949059368bcSRichard Henderson         new_eflags = popw(&sa);
19501b248f14SClaudio Fontana     }
1951059368bcSRichard Henderson     SET_ESP(sa.sp, sa.sp_mask);
19521b248f14SClaudio Fontana     env->segs[R_CS].selector = new_cs;
19531b248f14SClaudio Fontana     env->segs[R_CS].base = (new_cs << 4);
19541b248f14SClaudio Fontana     env->eip = new_eip;
19551b248f14SClaudio Fontana     if (env->eflags & VM_MASK) {
19561b248f14SClaudio Fontana         eflags_mask = TF_MASK | AC_MASK | ID_MASK | IF_MASK | RF_MASK |
19571b248f14SClaudio Fontana             NT_MASK;
19581b248f14SClaudio Fontana     } else {
19591b248f14SClaudio Fontana         eflags_mask = TF_MASK | AC_MASK | ID_MASK | IF_MASK | IOPL_MASK |
19601b248f14SClaudio Fontana             RF_MASK | NT_MASK;
19611b248f14SClaudio Fontana     }
19621b248f14SClaudio Fontana     if (shift == 0) {
19631b248f14SClaudio Fontana         eflags_mask &= 0xffff;
19641b248f14SClaudio Fontana     }
19651b248f14SClaudio Fontana     cpu_load_eflags(env, new_eflags, eflags_mask);
19661b248f14SClaudio Fontana     env->hflags2 &= ~HF2_NMI_MASK;
19671b248f14SClaudio Fontana }
19681b248f14SClaudio Fontana 
validate_seg(CPUX86State * env,X86Seg seg_reg,int cpl)1969c117e5b1SPhilippe Mathieu-Daudé static inline void validate_seg(CPUX86State *env, X86Seg seg_reg, int cpl)
19701b248f14SClaudio Fontana {
19711b248f14SClaudio Fontana     int dpl;
19721b248f14SClaudio Fontana     uint32_t e2;
19731b248f14SClaudio Fontana 
19741b248f14SClaudio Fontana     /* XXX: on x86_64, we do not want to nullify FS and GS because
19751b248f14SClaudio Fontana        they may still contain a valid base. I would be interested to
19761b248f14SClaudio Fontana        know how a real x86_64 CPU behaves */
19771b248f14SClaudio Fontana     if ((seg_reg == R_FS || seg_reg == R_GS) &&
19781b248f14SClaudio Fontana         (env->segs[seg_reg].selector & 0xfffc) == 0) {
19791b248f14SClaudio Fontana         return;
19801b248f14SClaudio Fontana     }
19811b248f14SClaudio Fontana 
19821b248f14SClaudio Fontana     e2 = env->segs[seg_reg].flags;
19831b248f14SClaudio Fontana     dpl = (e2 >> DESC_DPL_SHIFT) & 3;
19841b248f14SClaudio Fontana     if (!(e2 & DESC_CS_MASK) || !(e2 & DESC_C_MASK)) {
19851b248f14SClaudio Fontana         /* data or non conforming code segment */
19861b248f14SClaudio Fontana         if (dpl < cpl) {
19871b248f14SClaudio Fontana             cpu_x86_load_seg_cache(env, seg_reg, 0,
19881b248f14SClaudio Fontana                                    env->segs[seg_reg].base,
19891b248f14SClaudio Fontana                                    env->segs[seg_reg].limit,
19901b248f14SClaudio Fontana                                    env->segs[seg_reg].flags & ~DESC_P_MASK);
19911b248f14SClaudio Fontana         }
19921b248f14SClaudio Fontana     }
19931b248f14SClaudio Fontana }
19941b248f14SClaudio Fontana 
19951b248f14SClaudio Fontana /* protected mode iret */
helper_ret_protected(CPUX86State * env,int shift,int is_iret,int addend,uintptr_t retaddr)19961b248f14SClaudio Fontana static inline void helper_ret_protected(CPUX86State *env, int shift,
19971b248f14SClaudio Fontana                                         int is_iret, int addend,
19981b248f14SClaudio Fontana                                         uintptr_t retaddr)
19991b248f14SClaudio Fontana {
20001b248f14SClaudio Fontana     uint32_t new_cs, new_eflags, new_ss;
20011b248f14SClaudio Fontana     uint32_t new_es, new_ds, new_fs, new_gs;
20021b248f14SClaudio Fontana     uint32_t e1, e2, ss_e1, ss_e2;
20031b248f14SClaudio Fontana     int cpl, dpl, rpl, eflags_mask, iopl;
2004059368bcSRichard Henderson     target_ulong new_eip, new_esp;
2005059368bcSRichard Henderson     StackAccess sa;
2006059368bcSRichard Henderson 
20078053862aSPaolo Bonzini     cpl = env->hflags & HF_CPL_MASK;
20088053862aSPaolo Bonzini 
2009059368bcSRichard Henderson     sa.env = env;
2010059368bcSRichard Henderson     sa.ra = retaddr;
20118053862aSPaolo Bonzini     sa.mmu_index = x86_mmu_index_pl(env, cpl);
20121b248f14SClaudio Fontana 
20131b248f14SClaudio Fontana #ifdef TARGET_X86_64
20141b248f14SClaudio Fontana     if (shift == 2) {
2015059368bcSRichard Henderson         sa.sp_mask = -1;
20161b248f14SClaudio Fontana     } else
20171b248f14SClaudio Fontana #endif
20181b248f14SClaudio Fontana     {
2019059368bcSRichard Henderson         sa.sp_mask = get_sp_mask(env->segs[R_SS].flags);
20201b248f14SClaudio Fontana     }
2021059368bcSRichard Henderson     sa.sp = env->regs[R_ESP];
2022059368bcSRichard Henderson     sa.ss_base = env->segs[R_SS].base;
20231b248f14SClaudio Fontana     new_eflags = 0; /* avoid warning */
20241b248f14SClaudio Fontana #ifdef TARGET_X86_64
20251b248f14SClaudio Fontana     if (shift == 2) {
2026059368bcSRichard Henderson         new_eip = popq(&sa);
2027059368bcSRichard Henderson         new_cs = popq(&sa) & 0xffff;
20281b248f14SClaudio Fontana         if (is_iret) {
2029059368bcSRichard Henderson             new_eflags = popq(&sa);
20301b248f14SClaudio Fontana         }
20311b248f14SClaudio Fontana     } else
20321b248f14SClaudio Fontana #endif
20331b248f14SClaudio Fontana     {
20341b248f14SClaudio Fontana         if (shift == 1) {
20351b248f14SClaudio Fontana             /* 32 bits */
2036059368bcSRichard Henderson             new_eip = popl(&sa);
2037059368bcSRichard Henderson             new_cs = popl(&sa) & 0xffff;
20381b248f14SClaudio Fontana             if (is_iret) {
2039059368bcSRichard Henderson                 new_eflags = popl(&sa);
20401b248f14SClaudio Fontana                 if (new_eflags & VM_MASK) {
20411b248f14SClaudio Fontana                     goto return_to_vm86;
20421b248f14SClaudio Fontana                 }
20431b248f14SClaudio Fontana             }
20441b248f14SClaudio Fontana         } else {
20451b248f14SClaudio Fontana             /* 16 bits */
2046059368bcSRichard Henderson             new_eip = popw(&sa);
2047059368bcSRichard Henderson             new_cs = popw(&sa);
20481b248f14SClaudio Fontana             if (is_iret) {
2049059368bcSRichard Henderson                 new_eflags = popw(&sa);
20501b248f14SClaudio Fontana             }
20511b248f14SClaudio Fontana         }
20521b248f14SClaudio Fontana     }
20531b248f14SClaudio Fontana     LOG_PCALL("lret new %04x:" TARGET_FMT_lx " s=%d addend=0x%x\n",
20541b248f14SClaudio Fontana               new_cs, new_eip, shift, addend);
20551b248f14SClaudio Fontana     LOG_PCALL_STATE(env_cpu(env));
20561b248f14SClaudio Fontana     if ((new_cs & 0xfffc) == 0) {
20571b248f14SClaudio Fontana         raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, retaddr);
20581b248f14SClaudio Fontana     }
20591b248f14SClaudio Fontana     if (load_segment_ra(env, &e1, &e2, new_cs, retaddr) != 0) {
20601b248f14SClaudio Fontana         raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, retaddr);
20611b248f14SClaudio Fontana     }
20621b248f14SClaudio Fontana     if (!(e2 & DESC_S_MASK) ||
20631b248f14SClaudio Fontana         !(e2 & DESC_CS_MASK)) {
20641b248f14SClaudio Fontana         raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, retaddr);
20651b248f14SClaudio Fontana     }
20661b248f14SClaudio Fontana     rpl = new_cs & 3;
20671b248f14SClaudio Fontana     if (rpl < cpl) {
20681b248f14SClaudio Fontana         raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, retaddr);
20691b248f14SClaudio Fontana     }
20701b248f14SClaudio Fontana     dpl = (e2 >> DESC_DPL_SHIFT) & 3;
20711b248f14SClaudio Fontana     if (e2 & DESC_C_MASK) {
20721b248f14SClaudio Fontana         if (dpl > rpl) {
20731b248f14SClaudio Fontana             raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, retaddr);
20741b248f14SClaudio Fontana         }
20751b248f14SClaudio Fontana     } else {
20761b248f14SClaudio Fontana         if (dpl != rpl) {
20771b248f14SClaudio Fontana             raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, retaddr);
20781b248f14SClaudio Fontana         }
20791b248f14SClaudio Fontana     }
20801b248f14SClaudio Fontana     if (!(e2 & DESC_P_MASK)) {
20811b248f14SClaudio Fontana         raise_exception_err_ra(env, EXCP0B_NOSEG, new_cs & 0xfffc, retaddr);
20821b248f14SClaudio Fontana     }
20831b248f14SClaudio Fontana 
2084059368bcSRichard Henderson     sa.sp += addend;
20851b248f14SClaudio Fontana     if (rpl == cpl && (!(env->hflags & HF_CS64_MASK) ||
20861b248f14SClaudio Fontana                        ((env->hflags & HF_CS64_MASK) && !is_iret))) {
20871b248f14SClaudio Fontana         /* return to same privilege level */
20881b248f14SClaudio Fontana         cpu_x86_load_seg_cache(env, R_CS, new_cs,
20891b248f14SClaudio Fontana                        get_seg_base(e1, e2),
20901b248f14SClaudio Fontana                        get_seg_limit(e1, e2),
20911b248f14SClaudio Fontana                        e2);
20921b248f14SClaudio Fontana     } else {
20931b248f14SClaudio Fontana         /* return to different privilege level */
20941b248f14SClaudio Fontana #ifdef TARGET_X86_64
20951b248f14SClaudio Fontana         if (shift == 2) {
2096059368bcSRichard Henderson             new_esp = popq(&sa);
2097059368bcSRichard Henderson             new_ss = popq(&sa) & 0xffff;
20981b248f14SClaudio Fontana         } else
20991b248f14SClaudio Fontana #endif
21001b248f14SClaudio Fontana         {
21011b248f14SClaudio Fontana             if (shift == 1) {
21021b248f14SClaudio Fontana                 /* 32 bits */
2103059368bcSRichard Henderson                 new_esp = popl(&sa);
2104059368bcSRichard Henderson                 new_ss = popl(&sa) & 0xffff;
21051b248f14SClaudio Fontana             } else {
21061b248f14SClaudio Fontana                 /* 16 bits */
2107059368bcSRichard Henderson                 new_esp = popw(&sa);
2108059368bcSRichard Henderson                 new_ss = popw(&sa);
21091b248f14SClaudio Fontana             }
21101b248f14SClaudio Fontana         }
21111b248f14SClaudio Fontana         LOG_PCALL("new ss:esp=%04x:" TARGET_FMT_lx "\n",
21121b248f14SClaudio Fontana                   new_ss, new_esp);
21131b248f14SClaudio Fontana         if ((new_ss & 0xfffc) == 0) {
21141b248f14SClaudio Fontana #ifdef TARGET_X86_64
21151b248f14SClaudio Fontana             /* NULL ss is allowed in long mode if cpl != 3 */
21161b248f14SClaudio Fontana             /* XXX: test CS64? */
21171b248f14SClaudio Fontana             if ((env->hflags & HF_LMA_MASK) && rpl != 3) {
21181b248f14SClaudio Fontana                 cpu_x86_load_seg_cache(env, R_SS, new_ss,
21191b248f14SClaudio Fontana                                        0, 0xffffffff,
21201b248f14SClaudio Fontana                                        DESC_G_MASK | DESC_B_MASK | DESC_P_MASK |
21211b248f14SClaudio Fontana                                        DESC_S_MASK | (rpl << DESC_DPL_SHIFT) |
21221b248f14SClaudio Fontana                                        DESC_W_MASK | DESC_A_MASK);
21231b248f14SClaudio Fontana                 ss_e2 = DESC_B_MASK; /* XXX: should not be needed? */
21241b248f14SClaudio Fontana             } else
21251b248f14SClaudio Fontana #endif
21261b248f14SClaudio Fontana             {
21271b248f14SClaudio Fontana                 raise_exception_err_ra(env, EXCP0D_GPF, 0, retaddr);
21281b248f14SClaudio Fontana             }
21291b248f14SClaudio Fontana         } else {
21301b248f14SClaudio Fontana             if ((new_ss & 3) != rpl) {
21311b248f14SClaudio Fontana                 raise_exception_err_ra(env, EXCP0D_GPF, new_ss & 0xfffc, retaddr);
21321b248f14SClaudio Fontana             }
21331b248f14SClaudio Fontana             if (load_segment_ra(env, &ss_e1, &ss_e2, new_ss, retaddr) != 0) {
21341b248f14SClaudio Fontana                 raise_exception_err_ra(env, EXCP0D_GPF, new_ss & 0xfffc, retaddr);
21351b248f14SClaudio Fontana             }
21361b248f14SClaudio Fontana             if (!(ss_e2 & DESC_S_MASK) ||
21371b248f14SClaudio Fontana                 (ss_e2 & DESC_CS_MASK) ||
21381b248f14SClaudio Fontana                 !(ss_e2 & DESC_W_MASK)) {
21391b248f14SClaudio Fontana                 raise_exception_err_ra(env, EXCP0D_GPF, new_ss & 0xfffc, retaddr);
21401b248f14SClaudio Fontana             }
21411b248f14SClaudio Fontana             dpl = (ss_e2 >> DESC_DPL_SHIFT) & 3;
21421b248f14SClaudio Fontana             if (dpl != rpl) {
21431b248f14SClaudio Fontana                 raise_exception_err_ra(env, EXCP0D_GPF, new_ss & 0xfffc, retaddr);
21441b248f14SClaudio Fontana             }
21451b248f14SClaudio Fontana             if (!(ss_e2 & DESC_P_MASK)) {
21461b248f14SClaudio Fontana                 raise_exception_err_ra(env, EXCP0B_NOSEG, new_ss & 0xfffc, retaddr);
21471b248f14SClaudio Fontana             }
21481b248f14SClaudio Fontana             cpu_x86_load_seg_cache(env, R_SS, new_ss,
21491b248f14SClaudio Fontana                                    get_seg_base(ss_e1, ss_e2),
21501b248f14SClaudio Fontana                                    get_seg_limit(ss_e1, ss_e2),
21511b248f14SClaudio Fontana                                    ss_e2);
21521b248f14SClaudio Fontana         }
21531b248f14SClaudio Fontana 
21541b248f14SClaudio Fontana         cpu_x86_load_seg_cache(env, R_CS, new_cs,
21551b248f14SClaudio Fontana                        get_seg_base(e1, e2),
21561b248f14SClaudio Fontana                        get_seg_limit(e1, e2),
21571b248f14SClaudio Fontana                        e2);
2158059368bcSRichard Henderson         sa.sp = new_esp;
21591b248f14SClaudio Fontana #ifdef TARGET_X86_64
21601b248f14SClaudio Fontana         if (env->hflags & HF_CS64_MASK) {
2161059368bcSRichard Henderson             sa.sp_mask = -1;
21621b248f14SClaudio Fontana         } else
21631b248f14SClaudio Fontana #endif
21641b248f14SClaudio Fontana         {
2165059368bcSRichard Henderson             sa.sp_mask = get_sp_mask(ss_e2);
21661b248f14SClaudio Fontana         }
21671b248f14SClaudio Fontana 
21681b248f14SClaudio Fontana         /* validate data segments */
21691b248f14SClaudio Fontana         validate_seg(env, R_ES, rpl);
21701b248f14SClaudio Fontana         validate_seg(env, R_DS, rpl);
21711b248f14SClaudio Fontana         validate_seg(env, R_FS, rpl);
21721b248f14SClaudio Fontana         validate_seg(env, R_GS, rpl);
21731b248f14SClaudio Fontana 
2174059368bcSRichard Henderson         sa.sp += addend;
21751b248f14SClaudio Fontana     }
2176059368bcSRichard Henderson     SET_ESP(sa.sp, sa.sp_mask);
21771b248f14SClaudio Fontana     env->eip = new_eip;
21781b248f14SClaudio Fontana     if (is_iret) {
21791b248f14SClaudio Fontana         /* NOTE: 'cpl' is the _old_ CPL */
21801b248f14SClaudio Fontana         eflags_mask = TF_MASK | AC_MASK | ID_MASK | RF_MASK | NT_MASK;
21811b248f14SClaudio Fontana         if (cpl == 0) {
21821b248f14SClaudio Fontana             eflags_mask |= IOPL_MASK;
21831b248f14SClaudio Fontana         }
21841b248f14SClaudio Fontana         iopl = (env->eflags >> IOPL_SHIFT) & 3;
21851b248f14SClaudio Fontana         if (cpl <= iopl) {
21861b248f14SClaudio Fontana             eflags_mask |= IF_MASK;
21871b248f14SClaudio Fontana         }
21881b248f14SClaudio Fontana         if (shift == 0) {
21891b248f14SClaudio Fontana             eflags_mask &= 0xffff;
21901b248f14SClaudio Fontana         }
21911b248f14SClaudio Fontana         cpu_load_eflags(env, new_eflags, eflags_mask);
21921b248f14SClaudio Fontana     }
21931b248f14SClaudio Fontana     return;
21941b248f14SClaudio Fontana 
21951b248f14SClaudio Fontana  return_to_vm86:
2196059368bcSRichard Henderson     new_esp = popl(&sa);
2197059368bcSRichard Henderson     new_ss = popl(&sa);
2198059368bcSRichard Henderson     new_es = popl(&sa);
2199059368bcSRichard Henderson     new_ds = popl(&sa);
2200059368bcSRichard Henderson     new_fs = popl(&sa);
2201059368bcSRichard Henderson     new_gs = popl(&sa);
22021b248f14SClaudio Fontana 
22031b248f14SClaudio Fontana     /* modify processor state */
22041b248f14SClaudio Fontana     cpu_load_eflags(env, new_eflags, TF_MASK | AC_MASK | ID_MASK |
22051b248f14SClaudio Fontana                     IF_MASK | IOPL_MASK | VM_MASK | NT_MASK | VIF_MASK |
22061b248f14SClaudio Fontana                     VIP_MASK);
22071b248f14SClaudio Fontana     load_seg_vm(env, R_CS, new_cs & 0xffff);
22081b248f14SClaudio Fontana     load_seg_vm(env, R_SS, new_ss & 0xffff);
22091b248f14SClaudio Fontana     load_seg_vm(env, R_ES, new_es & 0xffff);
22101b248f14SClaudio Fontana     load_seg_vm(env, R_DS, new_ds & 0xffff);
22111b248f14SClaudio Fontana     load_seg_vm(env, R_FS, new_fs & 0xffff);
22121b248f14SClaudio Fontana     load_seg_vm(env, R_GS, new_gs & 0xffff);
22131b248f14SClaudio Fontana 
22141b248f14SClaudio Fontana     env->eip = new_eip & 0xffff;
22151b248f14SClaudio Fontana     env->regs[R_ESP] = new_esp;
22161b248f14SClaudio Fontana }
22171b248f14SClaudio Fontana 
helper_iret_protected(CPUX86State * env,int shift,int next_eip)22181b248f14SClaudio Fontana void helper_iret_protected(CPUX86State *env, int shift, int next_eip)
22191b248f14SClaudio Fontana {
22201b248f14SClaudio Fontana     int tss_selector, type;
22211b248f14SClaudio Fontana     uint32_t e1, e2;
22221b248f14SClaudio Fontana 
22231b248f14SClaudio Fontana     /* specific case for TSS */
22241b248f14SClaudio Fontana     if (env->eflags & NT_MASK) {
22251b248f14SClaudio Fontana #ifdef TARGET_X86_64
22261b248f14SClaudio Fontana         if (env->hflags & HF_LMA_MASK) {
22271b248f14SClaudio Fontana             raise_exception_err_ra(env, EXCP0D_GPF, 0, GETPC());
22281b248f14SClaudio Fontana         }
22291b248f14SClaudio Fontana #endif
22301b248f14SClaudio Fontana         tss_selector = cpu_lduw_kernel_ra(env, env->tr.base + 0, GETPC());
22311b248f14SClaudio Fontana         if (tss_selector & 4) {
22321b248f14SClaudio Fontana             raise_exception_err_ra(env, EXCP0A_TSS, tss_selector & 0xfffc, GETPC());
22331b248f14SClaudio Fontana         }
22341b248f14SClaudio Fontana         if (load_segment_ra(env, &e1, &e2, tss_selector, GETPC()) != 0) {
22351b248f14SClaudio Fontana             raise_exception_err_ra(env, EXCP0A_TSS, tss_selector & 0xfffc, GETPC());
22361b248f14SClaudio Fontana         }
22371b248f14SClaudio Fontana         type = (e2 >> DESC_TYPE_SHIFT) & 0x17;
22381b248f14SClaudio Fontana         /* NOTE: we check both segment and busy TSS */
22391b248f14SClaudio Fontana         if (type != 3) {
22401b248f14SClaudio Fontana             raise_exception_err_ra(env, EXCP0A_TSS, tss_selector & 0xfffc, GETPC());
22411b248f14SClaudio Fontana         }
22421b248f14SClaudio Fontana         switch_tss_ra(env, tss_selector, e1, e2, SWITCH_TSS_IRET, next_eip, GETPC());
22431b248f14SClaudio Fontana     } else {
22441b248f14SClaudio Fontana         helper_ret_protected(env, shift, 1, 0, GETPC());
22451b248f14SClaudio Fontana     }
22461b248f14SClaudio Fontana     env->hflags2 &= ~HF2_NMI_MASK;
22471b248f14SClaudio Fontana }
22481b248f14SClaudio Fontana 
helper_lret_protected(CPUX86State * env,int shift,int addend)22491b248f14SClaudio Fontana void helper_lret_protected(CPUX86State *env, int shift, int addend)
22501b248f14SClaudio Fontana {
22511b248f14SClaudio Fontana     helper_ret_protected(env, shift, 0, addend, GETPC());
22521b248f14SClaudio Fontana }
22531b248f14SClaudio Fontana 
helper_sysenter(CPUX86State * env)22541b248f14SClaudio Fontana void helper_sysenter(CPUX86State *env)
22551b248f14SClaudio Fontana {
22561b248f14SClaudio Fontana     if (env->sysenter_cs == 0) {
22571b248f14SClaudio Fontana         raise_exception_err_ra(env, EXCP0D_GPF, 0, GETPC());
22581b248f14SClaudio Fontana     }
22591b248f14SClaudio Fontana     env->eflags &= ~(VM_MASK | IF_MASK | RF_MASK);
22601b248f14SClaudio Fontana 
22611b248f14SClaudio Fontana #ifdef TARGET_X86_64
22621b248f14SClaudio Fontana     if (env->hflags & HF_LMA_MASK) {
22631b248f14SClaudio Fontana         cpu_x86_load_seg_cache(env, R_CS, env->sysenter_cs & 0xfffc,
22641b248f14SClaudio Fontana                                0, 0xffffffff,
22651b248f14SClaudio Fontana                                DESC_G_MASK | DESC_B_MASK | DESC_P_MASK |
22661b248f14SClaudio Fontana                                DESC_S_MASK |
22671b248f14SClaudio Fontana                                DESC_CS_MASK | DESC_R_MASK | DESC_A_MASK |
22681b248f14SClaudio Fontana                                DESC_L_MASK);
22691b248f14SClaudio Fontana     } else
22701b248f14SClaudio Fontana #endif
22711b248f14SClaudio Fontana     {
22721b248f14SClaudio Fontana         cpu_x86_load_seg_cache(env, R_CS, env->sysenter_cs & 0xfffc,
22731b248f14SClaudio Fontana                                0, 0xffffffff,
22741b248f14SClaudio Fontana                                DESC_G_MASK | DESC_B_MASK | DESC_P_MASK |
22751b248f14SClaudio Fontana                                DESC_S_MASK |
22761b248f14SClaudio Fontana                                DESC_CS_MASK | DESC_R_MASK | DESC_A_MASK);
22771b248f14SClaudio Fontana     }
22781b248f14SClaudio Fontana     cpu_x86_load_seg_cache(env, R_SS, (env->sysenter_cs + 8) & 0xfffc,
22791b248f14SClaudio Fontana                            0, 0xffffffff,
22801b248f14SClaudio Fontana                            DESC_G_MASK | DESC_B_MASK | DESC_P_MASK |
22811b248f14SClaudio Fontana                            DESC_S_MASK |
22821b248f14SClaudio Fontana                            DESC_W_MASK | DESC_A_MASK);
22831b248f14SClaudio Fontana     env->regs[R_ESP] = env->sysenter_esp;
22841b248f14SClaudio Fontana     env->eip = env->sysenter_eip;
22851b248f14SClaudio Fontana }
22861b248f14SClaudio Fontana 
helper_sysexit(CPUX86State * env,int dflag)22871b248f14SClaudio Fontana void helper_sysexit(CPUX86State *env, int dflag)
22881b248f14SClaudio Fontana {
22891b248f14SClaudio Fontana     int cpl;
22901b248f14SClaudio Fontana 
22911b248f14SClaudio Fontana     cpl = env->hflags & HF_CPL_MASK;
22921b248f14SClaudio Fontana     if (env->sysenter_cs == 0 || cpl != 0) {
22931b248f14SClaudio Fontana         raise_exception_err_ra(env, EXCP0D_GPF, 0, GETPC());
22941b248f14SClaudio Fontana     }
22951b248f14SClaudio Fontana #ifdef TARGET_X86_64
22961b248f14SClaudio Fontana     if (dflag == 2) {
22971b248f14SClaudio Fontana         cpu_x86_load_seg_cache(env, R_CS, ((env->sysenter_cs + 32) & 0xfffc) |
22981b248f14SClaudio Fontana                                3, 0, 0xffffffff,
22991b248f14SClaudio Fontana                                DESC_G_MASK | DESC_B_MASK | DESC_P_MASK |
23001b248f14SClaudio Fontana                                DESC_S_MASK | (3 << DESC_DPL_SHIFT) |
23011b248f14SClaudio Fontana                                DESC_CS_MASK | DESC_R_MASK | DESC_A_MASK |
23021b248f14SClaudio Fontana                                DESC_L_MASK);
23031b248f14SClaudio Fontana         cpu_x86_load_seg_cache(env, R_SS, ((env->sysenter_cs + 40) & 0xfffc) |
23041b248f14SClaudio Fontana                                3, 0, 0xffffffff,
23051b248f14SClaudio Fontana                                DESC_G_MASK | DESC_B_MASK | DESC_P_MASK |
23061b248f14SClaudio Fontana                                DESC_S_MASK | (3 << DESC_DPL_SHIFT) |
23071b248f14SClaudio Fontana                                DESC_W_MASK | DESC_A_MASK);
23081b248f14SClaudio Fontana     } else
23091b248f14SClaudio Fontana #endif
23101b248f14SClaudio Fontana     {
23111b248f14SClaudio Fontana         cpu_x86_load_seg_cache(env, R_CS, ((env->sysenter_cs + 16) & 0xfffc) |
23121b248f14SClaudio Fontana                                3, 0, 0xffffffff,
23131b248f14SClaudio Fontana                                DESC_G_MASK | DESC_B_MASK | DESC_P_MASK |
23141b248f14SClaudio Fontana                                DESC_S_MASK | (3 << DESC_DPL_SHIFT) |
23151b248f14SClaudio Fontana                                DESC_CS_MASK | DESC_R_MASK | DESC_A_MASK);
23161b248f14SClaudio Fontana         cpu_x86_load_seg_cache(env, R_SS, ((env->sysenter_cs + 24) & 0xfffc) |
23171b248f14SClaudio Fontana                                3, 0, 0xffffffff,
23181b248f14SClaudio Fontana                                DESC_G_MASK | DESC_B_MASK | DESC_P_MASK |
23191b248f14SClaudio Fontana                                DESC_S_MASK | (3 << DESC_DPL_SHIFT) |
23201b248f14SClaudio Fontana                                DESC_W_MASK | DESC_A_MASK);
23211b248f14SClaudio Fontana     }
23221b248f14SClaudio Fontana     env->regs[R_ESP] = env->regs[R_ECX];
23231b248f14SClaudio Fontana     env->eip = env->regs[R_EDX];
23241b248f14SClaudio Fontana }
23251b248f14SClaudio Fontana 
helper_lsl(CPUX86State * env,target_ulong selector1)23261b248f14SClaudio Fontana target_ulong helper_lsl(CPUX86State *env, target_ulong selector1)
23271b248f14SClaudio Fontana {
23281b248f14SClaudio Fontana     unsigned int limit;
2329ae541c0eSPaolo Bonzini     uint32_t e1, e2, selector;
23301b248f14SClaudio Fontana     int rpl, dpl, cpl, type;
23311b248f14SClaudio Fontana 
23321b248f14SClaudio Fontana     selector = selector1 & 0xffff;
2333ae541c0eSPaolo Bonzini     assert(CC_OP == CC_OP_EFLAGS);
23341b248f14SClaudio Fontana     if ((selector & 0xfffc) == 0) {
23351b248f14SClaudio Fontana         goto fail;
23361b248f14SClaudio Fontana     }
23371b248f14SClaudio Fontana     if (load_segment_ra(env, &e1, &e2, selector, GETPC()) != 0) {
23381b248f14SClaudio Fontana         goto fail;
23391b248f14SClaudio Fontana     }
23401b248f14SClaudio Fontana     rpl = selector & 3;
23411b248f14SClaudio Fontana     dpl = (e2 >> DESC_DPL_SHIFT) & 3;
23421b248f14SClaudio Fontana     cpl = env->hflags & HF_CPL_MASK;
23431b248f14SClaudio Fontana     if (e2 & DESC_S_MASK) {
23441b248f14SClaudio Fontana         if ((e2 & DESC_CS_MASK) && (e2 & DESC_C_MASK)) {
23451b248f14SClaudio Fontana             /* conforming */
23461b248f14SClaudio Fontana         } else {
23471b248f14SClaudio Fontana             if (dpl < cpl || dpl < rpl) {
23481b248f14SClaudio Fontana                 goto fail;
23491b248f14SClaudio Fontana             }
23501b248f14SClaudio Fontana         }
23511b248f14SClaudio Fontana     } else {
23521b248f14SClaudio Fontana         type = (e2 >> DESC_TYPE_SHIFT) & 0xf;
23531b248f14SClaudio Fontana         switch (type) {
23541b248f14SClaudio Fontana         case 1:
23551b248f14SClaudio Fontana         case 2:
23561b248f14SClaudio Fontana         case 3:
23571b248f14SClaudio Fontana         case 9:
23581b248f14SClaudio Fontana         case 11:
23591b248f14SClaudio Fontana             break;
23601b248f14SClaudio Fontana         default:
23611b248f14SClaudio Fontana             goto fail;
23621b248f14SClaudio Fontana         }
23631b248f14SClaudio Fontana         if (dpl < cpl || dpl < rpl) {
23641b248f14SClaudio Fontana         fail:
2365ae541c0eSPaolo Bonzini             CC_SRC &= ~CC_Z;
23661b248f14SClaudio Fontana             return 0;
23671b248f14SClaudio Fontana         }
23681b248f14SClaudio Fontana     }
23691b248f14SClaudio Fontana     limit = get_seg_limit(e1, e2);
2370ae541c0eSPaolo Bonzini     CC_SRC |= CC_Z;
23711b248f14SClaudio Fontana     return limit;
23721b248f14SClaudio Fontana }
23731b248f14SClaudio Fontana 
helper_lar(CPUX86State * env,target_ulong selector1)23741b248f14SClaudio Fontana target_ulong helper_lar(CPUX86State *env, target_ulong selector1)
23751b248f14SClaudio Fontana {
2376ae541c0eSPaolo Bonzini     uint32_t e1, e2, selector;
23771b248f14SClaudio Fontana     int rpl, dpl, cpl, type;
23781b248f14SClaudio Fontana 
23791b248f14SClaudio Fontana     selector = selector1 & 0xffff;
2380ae541c0eSPaolo Bonzini     assert(CC_OP == CC_OP_EFLAGS);
23811b248f14SClaudio Fontana     if ((selector & 0xfffc) == 0) {
23821b248f14SClaudio Fontana         goto fail;
23831b248f14SClaudio Fontana     }
23841b248f14SClaudio Fontana     if (load_segment_ra(env, &e1, &e2, selector, GETPC()) != 0) {
23851b248f14SClaudio Fontana         goto fail;
23861b248f14SClaudio Fontana     }
23871b248f14SClaudio Fontana     rpl = selector & 3;
23881b248f14SClaudio Fontana     dpl = (e2 >> DESC_DPL_SHIFT) & 3;
23891b248f14SClaudio Fontana     cpl = env->hflags & HF_CPL_MASK;
23901b248f14SClaudio Fontana     if (e2 & DESC_S_MASK) {
23911b248f14SClaudio Fontana         if ((e2 & DESC_CS_MASK) && (e2 & DESC_C_MASK)) {
23921b248f14SClaudio Fontana             /* conforming */
23931b248f14SClaudio Fontana         } else {
23941b248f14SClaudio Fontana             if (dpl < cpl || dpl < rpl) {
23951b248f14SClaudio Fontana                 goto fail;
23961b248f14SClaudio Fontana             }
23971b248f14SClaudio Fontana         }
23981b248f14SClaudio Fontana     } else {
23991b248f14SClaudio Fontana         type = (e2 >> DESC_TYPE_SHIFT) & 0xf;
24001b248f14SClaudio Fontana         switch (type) {
24011b248f14SClaudio Fontana         case 1:
24021b248f14SClaudio Fontana         case 2:
24031b248f14SClaudio Fontana         case 3:
24041b248f14SClaudio Fontana         case 4:
24051b248f14SClaudio Fontana         case 5:
24061b248f14SClaudio Fontana         case 9:
24071b248f14SClaudio Fontana         case 11:
24081b248f14SClaudio Fontana         case 12:
24091b248f14SClaudio Fontana             break;
24101b248f14SClaudio Fontana         default:
24111b248f14SClaudio Fontana             goto fail;
24121b248f14SClaudio Fontana         }
24131b248f14SClaudio Fontana         if (dpl < cpl || dpl < rpl) {
24141b248f14SClaudio Fontana         fail:
2415ae541c0eSPaolo Bonzini             CC_SRC &= ~CC_Z;
24161b248f14SClaudio Fontana             return 0;
24171b248f14SClaudio Fontana         }
24181b248f14SClaudio Fontana     }
2419ae541c0eSPaolo Bonzini     CC_SRC |= CC_Z;
24201b248f14SClaudio Fontana     return e2 & 0x00f0ff00;
24211b248f14SClaudio Fontana }
24221b248f14SClaudio Fontana 
helper_verr(CPUX86State * env,target_ulong selector1)24231b248f14SClaudio Fontana void helper_verr(CPUX86State *env, target_ulong selector1)
24241b248f14SClaudio Fontana {
24251b248f14SClaudio Fontana     uint32_t e1, e2, eflags, selector;
24261b248f14SClaudio Fontana     int rpl, dpl, cpl;
24271b248f14SClaudio Fontana 
24281b248f14SClaudio Fontana     selector = selector1 & 0xffff;
2429abdcc5c8SPaolo Bonzini     eflags = cpu_cc_compute_all(env) | CC_Z;
24301b248f14SClaudio Fontana     if ((selector & 0xfffc) == 0) {
24311b248f14SClaudio Fontana         goto fail;
24321b248f14SClaudio Fontana     }
24331b248f14SClaudio Fontana     if (load_segment_ra(env, &e1, &e2, selector, GETPC()) != 0) {
24341b248f14SClaudio Fontana         goto fail;
24351b248f14SClaudio Fontana     }
24361b248f14SClaudio Fontana     if (!(e2 & DESC_S_MASK)) {
24371b248f14SClaudio Fontana         goto fail;
24381b248f14SClaudio Fontana     }
24391b248f14SClaudio Fontana     rpl = selector & 3;
24401b248f14SClaudio Fontana     dpl = (e2 >> DESC_DPL_SHIFT) & 3;
24411b248f14SClaudio Fontana     cpl = env->hflags & HF_CPL_MASK;
24421b248f14SClaudio Fontana     if (e2 & DESC_CS_MASK) {
24431b248f14SClaudio Fontana         if (!(e2 & DESC_R_MASK)) {
24441b248f14SClaudio Fontana             goto fail;
24451b248f14SClaudio Fontana         }
24461b248f14SClaudio Fontana         if (!(e2 & DESC_C_MASK)) {
24471b248f14SClaudio Fontana             if (dpl < cpl || dpl < rpl) {
24481b248f14SClaudio Fontana                 goto fail;
24491b248f14SClaudio Fontana             }
24501b248f14SClaudio Fontana         }
24511b248f14SClaudio Fontana     } else {
24521b248f14SClaudio Fontana         if (dpl < cpl || dpl < rpl) {
24531b248f14SClaudio Fontana         fail:
2454abdcc5c8SPaolo Bonzini             eflags &= ~CC_Z;
24551b248f14SClaudio Fontana         }
24561b248f14SClaudio Fontana     }
2457abdcc5c8SPaolo Bonzini     CC_SRC = eflags;
2458abdcc5c8SPaolo Bonzini     CC_OP = CC_OP_EFLAGS;
24591b248f14SClaudio Fontana }
24601b248f14SClaudio Fontana 
helper_verw(CPUX86State * env,target_ulong selector1)24611b248f14SClaudio Fontana void helper_verw(CPUX86State *env, target_ulong selector1)
24621b248f14SClaudio Fontana {
24631b248f14SClaudio Fontana     uint32_t e1, e2, eflags, selector;
24641b248f14SClaudio Fontana     int rpl, dpl, cpl;
24651b248f14SClaudio Fontana 
24661b248f14SClaudio Fontana     selector = selector1 & 0xffff;
2467abdcc5c8SPaolo Bonzini     eflags = cpu_cc_compute_all(env) | CC_Z;
24681b248f14SClaudio Fontana     if ((selector & 0xfffc) == 0) {
24691b248f14SClaudio Fontana         goto fail;
24701b248f14SClaudio Fontana     }
24711b248f14SClaudio Fontana     if (load_segment_ra(env, &e1, &e2, selector, GETPC()) != 0) {
24721b248f14SClaudio Fontana         goto fail;
24731b248f14SClaudio Fontana     }
24741b248f14SClaudio Fontana     if (!(e2 & DESC_S_MASK)) {
24751b248f14SClaudio Fontana         goto fail;
24761b248f14SClaudio Fontana     }
24771b248f14SClaudio Fontana     rpl = selector & 3;
24781b248f14SClaudio Fontana     dpl = (e2 >> DESC_DPL_SHIFT) & 3;
24791b248f14SClaudio Fontana     cpl = env->hflags & HF_CPL_MASK;
24801b248f14SClaudio Fontana     if (e2 & DESC_CS_MASK) {
24811b248f14SClaudio Fontana         goto fail;
24821b248f14SClaudio Fontana     } else {
24831b248f14SClaudio Fontana         if (dpl < cpl || dpl < rpl) {
24841b248f14SClaudio Fontana             goto fail;
24851b248f14SClaudio Fontana         }
24861b248f14SClaudio Fontana         if (!(e2 & DESC_W_MASK)) {
24871b248f14SClaudio Fontana         fail:
2488abdcc5c8SPaolo Bonzini             eflags &= ~CC_Z;
24891b248f14SClaudio Fontana         }
24901b248f14SClaudio Fontana     }
2491abdcc5c8SPaolo Bonzini     CC_SRC = eflags;
2492abdcc5c8SPaolo Bonzini     CC_OP = CC_OP_EFLAGS;
24931b248f14SClaudio Fontana }
2494