1eaa728eeSbellard /* 210774999SBlue Swirl * x86 segmentation related helpers: 310774999SBlue Swirl * TSS, interrupts, system calls, jumps and call/task gates, descriptors 4eaa728eeSbellard * 5eaa728eeSbellard * Copyright (c) 2003 Fabrice Bellard 6eaa728eeSbellard * 7eaa728eeSbellard * This library is free software; you can redistribute it and/or 8eaa728eeSbellard * modify it under the terms of the GNU Lesser General Public 9eaa728eeSbellard * License as published by the Free Software Foundation; either 10d9ff33adSChetan Pant * version 2.1 of the License, or (at your option) any later version. 11eaa728eeSbellard * 12eaa728eeSbellard * This library is distributed in the hope that it will be useful, 13eaa728eeSbellard * but WITHOUT ANY WARRANTY; without even the implied warranty of 14eaa728eeSbellard * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU 15eaa728eeSbellard * Lesser General Public License for more details. 16eaa728eeSbellard * 17eaa728eeSbellard * You should have received a copy of the GNU Lesser General Public 188167ee88SBlue Swirl * License along with this library; if not, see <http://www.gnu.org/licenses/>. 19eaa728eeSbellard */ 2083dae095SPaolo Bonzini 21b6a0aa05SPeter Maydell #include "qemu/osdep.h" 223e457172SBlue Swirl #include "cpu.h" 231de7afc9SPaolo Bonzini #include "qemu/log.h" 242ef6175aSRichard Henderson #include "exec/helper-proto.h" 2563c91552SPaolo Bonzini #include "exec/exec-all.h" 26f08b6170SPaolo Bonzini #include "exec/cpu_ldst.h" 27508127e2SPaolo Bonzini #include "exec/log.h" 28ed69e831SClaudio Fontana #include "helper-tcg.h" 2930493a03SClaudio Fontana #include "seg_helper.h" 308a201bd4SPaolo Bonzini 31*50fcc7cbSGareth Webb int get_pg_mode(CPUX86State *env) 32*50fcc7cbSGareth Webb { 33*50fcc7cbSGareth Webb int pg_mode = 0; 34*50fcc7cbSGareth Webb if (!(env->cr[0] & CR0_PG_MASK)) { 35*50fcc7cbSGareth Webb return 0; 36*50fcc7cbSGareth Webb } 37*50fcc7cbSGareth Webb if (env->cr[0] & CR0_WP_MASK) { 38*50fcc7cbSGareth Webb pg_mode |= PG_MODE_WP; 39*50fcc7cbSGareth Webb } 40*50fcc7cbSGareth Webb if (env->cr[4] & CR4_PAE_MASK) { 41*50fcc7cbSGareth Webb pg_mode |= PG_MODE_PAE; 42*50fcc7cbSGareth Webb if (env->efer & MSR_EFER_NXE) { 43*50fcc7cbSGareth Webb pg_mode |= PG_MODE_NXE; 44*50fcc7cbSGareth Webb } 45*50fcc7cbSGareth Webb } 46*50fcc7cbSGareth Webb if (env->cr[4] & CR4_PSE_MASK) { 47*50fcc7cbSGareth Webb pg_mode |= PG_MODE_PSE; 48*50fcc7cbSGareth Webb } 49*50fcc7cbSGareth Webb if (env->cr[4] & CR4_SMEP_MASK) { 50*50fcc7cbSGareth Webb pg_mode |= PG_MODE_SMEP; 51*50fcc7cbSGareth Webb } 52*50fcc7cbSGareth Webb if (env->hflags & HF_LMA_MASK) { 53*50fcc7cbSGareth Webb pg_mode |= PG_MODE_LMA; 54*50fcc7cbSGareth Webb if (env->cr[4] & CR4_PKE_MASK) { 55*50fcc7cbSGareth Webb pg_mode |= PG_MODE_PKE; 56*50fcc7cbSGareth Webb } 57*50fcc7cbSGareth Webb if (env->cr[4] & CR4_PKS_MASK) { 58*50fcc7cbSGareth Webb pg_mode |= PG_MODE_PKS; 59*50fcc7cbSGareth Webb } 60*50fcc7cbSGareth Webb if (env->cr[4] & CR4_LA57_MASK) { 61*50fcc7cbSGareth Webb pg_mode |= PG_MODE_LA57; 62*50fcc7cbSGareth Webb } 63*50fcc7cbSGareth Webb } 64*50fcc7cbSGareth Webb return pg_mode; 65*50fcc7cbSGareth Webb } 66*50fcc7cbSGareth Webb 67eaa728eeSbellard /* return non zero if error */ 68100ec099SPavel Dovgalyuk static inline int load_segment_ra(CPUX86State *env, uint32_t *e1_ptr, 69100ec099SPavel Dovgalyuk uint32_t *e2_ptr, int selector, 70100ec099SPavel Dovgalyuk uintptr_t retaddr) 71eaa728eeSbellard { 72eaa728eeSbellard SegmentCache *dt; 73eaa728eeSbellard int index; 74eaa728eeSbellard target_ulong ptr; 75eaa728eeSbellard 7620054ef0SBlue Swirl if (selector & 0x4) { 77eaa728eeSbellard dt = &env->ldt; 7820054ef0SBlue Swirl } else { 79eaa728eeSbellard dt = &env->gdt; 8020054ef0SBlue Swirl } 81eaa728eeSbellard index = selector & ~7; 8220054ef0SBlue Swirl if ((index + 7) > dt->limit) { 83eaa728eeSbellard return -1; 8420054ef0SBlue Swirl } 85eaa728eeSbellard ptr = dt->base + index; 86100ec099SPavel Dovgalyuk *e1_ptr = cpu_ldl_kernel_ra(env, ptr, retaddr); 87100ec099SPavel Dovgalyuk *e2_ptr = cpu_ldl_kernel_ra(env, ptr + 4, retaddr); 88eaa728eeSbellard return 0; 89eaa728eeSbellard } 90eaa728eeSbellard 91100ec099SPavel Dovgalyuk static inline int load_segment(CPUX86State *env, uint32_t *e1_ptr, 92100ec099SPavel Dovgalyuk uint32_t *e2_ptr, int selector) 93100ec099SPavel Dovgalyuk { 94100ec099SPavel Dovgalyuk return load_segment_ra(env, e1_ptr, e2_ptr, selector, 0); 95100ec099SPavel Dovgalyuk } 96100ec099SPavel Dovgalyuk 97eaa728eeSbellard static inline unsigned int get_seg_limit(uint32_t e1, uint32_t e2) 98eaa728eeSbellard { 99eaa728eeSbellard unsigned int limit; 10020054ef0SBlue Swirl 101eaa728eeSbellard limit = (e1 & 0xffff) | (e2 & 0x000f0000); 10220054ef0SBlue Swirl if (e2 & DESC_G_MASK) { 103eaa728eeSbellard limit = (limit << 12) | 0xfff; 10420054ef0SBlue Swirl } 105eaa728eeSbellard return limit; 106eaa728eeSbellard } 107eaa728eeSbellard 108eaa728eeSbellard static inline uint32_t get_seg_base(uint32_t e1, uint32_t e2) 109eaa728eeSbellard { 11020054ef0SBlue Swirl return (e1 >> 16) | ((e2 & 0xff) << 16) | (e2 & 0xff000000); 111eaa728eeSbellard } 112eaa728eeSbellard 11320054ef0SBlue Swirl static inline void load_seg_cache_raw_dt(SegmentCache *sc, uint32_t e1, 11420054ef0SBlue Swirl uint32_t e2) 115eaa728eeSbellard { 116eaa728eeSbellard sc->base = get_seg_base(e1, e2); 117eaa728eeSbellard sc->limit = get_seg_limit(e1, e2); 118eaa728eeSbellard sc->flags = e2; 119eaa728eeSbellard } 120eaa728eeSbellard 121eaa728eeSbellard /* init the segment cache in vm86 mode. */ 1222999a0b2SBlue Swirl static inline void load_seg_vm(CPUX86State *env, int seg, int selector) 123eaa728eeSbellard { 124eaa728eeSbellard selector &= 0xffff; 125b98dbc90SPaolo Bonzini 126b98dbc90SPaolo Bonzini cpu_x86_load_seg_cache(env, seg, selector, (selector << 4), 0xffff, 127b98dbc90SPaolo Bonzini DESC_P_MASK | DESC_S_MASK | DESC_W_MASK | 128b98dbc90SPaolo Bonzini DESC_A_MASK | (3 << DESC_DPL_SHIFT)); 129eaa728eeSbellard } 130eaa728eeSbellard 1312999a0b2SBlue Swirl static inline void get_ss_esp_from_tss(CPUX86State *env, uint32_t *ss_ptr, 132100ec099SPavel Dovgalyuk uint32_t *esp_ptr, int dpl, 133100ec099SPavel Dovgalyuk uintptr_t retaddr) 134eaa728eeSbellard { 1356aa9e42fSRichard Henderson X86CPU *cpu = env_archcpu(env); 136eaa728eeSbellard int type, index, shift; 137eaa728eeSbellard 138eaa728eeSbellard #if 0 139eaa728eeSbellard { 140eaa728eeSbellard int i; 141eaa728eeSbellard printf("TR: base=%p limit=%x\n", env->tr.base, env->tr.limit); 142eaa728eeSbellard for (i = 0; i < env->tr.limit; i++) { 143eaa728eeSbellard printf("%02x ", env->tr.base[i]); 14420054ef0SBlue Swirl if ((i & 7) == 7) { 14520054ef0SBlue Swirl printf("\n"); 14620054ef0SBlue Swirl } 147eaa728eeSbellard } 148eaa728eeSbellard printf("\n"); 149eaa728eeSbellard } 150eaa728eeSbellard #endif 151eaa728eeSbellard 15220054ef0SBlue Swirl if (!(env->tr.flags & DESC_P_MASK)) { 153a47dddd7SAndreas Färber cpu_abort(CPU(cpu), "invalid tss"); 15420054ef0SBlue Swirl } 155eaa728eeSbellard type = (env->tr.flags >> DESC_TYPE_SHIFT) & 0xf; 15620054ef0SBlue Swirl if ((type & 7) != 1) { 157a47dddd7SAndreas Färber cpu_abort(CPU(cpu), "invalid tss type"); 15820054ef0SBlue Swirl } 159eaa728eeSbellard shift = type >> 3; 160eaa728eeSbellard index = (dpl * 4 + 2) << shift; 16120054ef0SBlue Swirl if (index + (4 << shift) - 1 > env->tr.limit) { 162100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0A_TSS, env->tr.selector & 0xfffc, retaddr); 16320054ef0SBlue Swirl } 164eaa728eeSbellard if (shift == 0) { 165100ec099SPavel Dovgalyuk *esp_ptr = cpu_lduw_kernel_ra(env, env->tr.base + index, retaddr); 166100ec099SPavel Dovgalyuk *ss_ptr = cpu_lduw_kernel_ra(env, env->tr.base + index + 2, retaddr); 167eaa728eeSbellard } else { 168100ec099SPavel Dovgalyuk *esp_ptr = cpu_ldl_kernel_ra(env, env->tr.base + index, retaddr); 169100ec099SPavel Dovgalyuk *ss_ptr = cpu_lduw_kernel_ra(env, env->tr.base + index + 4, retaddr); 170eaa728eeSbellard } 171eaa728eeSbellard } 172eaa728eeSbellard 173c117e5b1SPhilippe Mathieu-Daudé static void tss_load_seg(CPUX86State *env, X86Seg seg_reg, int selector, 174c117e5b1SPhilippe Mathieu-Daudé int cpl, uintptr_t retaddr) 175eaa728eeSbellard { 176eaa728eeSbellard uint32_t e1, e2; 177d3b54918SPaolo Bonzini int rpl, dpl; 178eaa728eeSbellard 179eaa728eeSbellard if ((selector & 0xfffc) != 0) { 180100ec099SPavel Dovgalyuk if (load_segment_ra(env, &e1, &e2, selector, retaddr) != 0) { 181100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0A_TSS, selector & 0xfffc, retaddr); 18220054ef0SBlue Swirl } 18320054ef0SBlue Swirl if (!(e2 & DESC_S_MASK)) { 184100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0A_TSS, selector & 0xfffc, retaddr); 18520054ef0SBlue Swirl } 186eaa728eeSbellard rpl = selector & 3; 187eaa728eeSbellard dpl = (e2 >> DESC_DPL_SHIFT) & 3; 188eaa728eeSbellard if (seg_reg == R_CS) { 18920054ef0SBlue Swirl if (!(e2 & DESC_CS_MASK)) { 190100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0A_TSS, selector & 0xfffc, retaddr); 19120054ef0SBlue Swirl } 19220054ef0SBlue Swirl if (dpl != rpl) { 193100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0A_TSS, selector & 0xfffc, retaddr); 19420054ef0SBlue Swirl } 195eaa728eeSbellard } else if (seg_reg == R_SS) { 196eaa728eeSbellard /* SS must be writable data */ 19720054ef0SBlue Swirl if ((e2 & DESC_CS_MASK) || !(e2 & DESC_W_MASK)) { 198100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0A_TSS, selector & 0xfffc, retaddr); 19920054ef0SBlue Swirl } 20020054ef0SBlue Swirl if (dpl != cpl || dpl != rpl) { 201100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0A_TSS, selector & 0xfffc, retaddr); 20220054ef0SBlue Swirl } 203eaa728eeSbellard } else { 204eaa728eeSbellard /* not readable code */ 20520054ef0SBlue Swirl if ((e2 & DESC_CS_MASK) && !(e2 & DESC_R_MASK)) { 206100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0A_TSS, selector & 0xfffc, retaddr); 20720054ef0SBlue Swirl } 208eaa728eeSbellard /* if data or non conforming code, checks the rights */ 209eaa728eeSbellard if (((e2 >> DESC_TYPE_SHIFT) & 0xf) < 12) { 21020054ef0SBlue Swirl if (dpl < cpl || dpl < rpl) { 211100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0A_TSS, selector & 0xfffc, retaddr); 212eaa728eeSbellard } 213eaa728eeSbellard } 21420054ef0SBlue Swirl } 21520054ef0SBlue Swirl if (!(e2 & DESC_P_MASK)) { 216100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0B_NOSEG, selector & 0xfffc, retaddr); 21720054ef0SBlue Swirl } 218eaa728eeSbellard cpu_x86_load_seg_cache(env, seg_reg, selector, 219eaa728eeSbellard get_seg_base(e1, e2), 220eaa728eeSbellard get_seg_limit(e1, e2), 221eaa728eeSbellard e2); 222eaa728eeSbellard } else { 22320054ef0SBlue Swirl if (seg_reg == R_SS || seg_reg == R_CS) { 224100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0A_TSS, selector & 0xfffc, retaddr); 225eaa728eeSbellard } 226eaa728eeSbellard } 22720054ef0SBlue Swirl } 228eaa728eeSbellard 229eaa728eeSbellard #define SWITCH_TSS_JMP 0 230eaa728eeSbellard #define SWITCH_TSS_IRET 1 231eaa728eeSbellard #define SWITCH_TSS_CALL 2 232eaa728eeSbellard 233eaa728eeSbellard /* XXX: restore CPU state in registers (PowerPC case) */ 234100ec099SPavel Dovgalyuk static void switch_tss_ra(CPUX86State *env, int tss_selector, 235eaa728eeSbellard uint32_t e1, uint32_t e2, int source, 236100ec099SPavel Dovgalyuk uint32_t next_eip, uintptr_t retaddr) 237eaa728eeSbellard { 238eaa728eeSbellard int tss_limit, tss_limit_max, type, old_tss_limit_max, old_type, v1, v2, i; 239eaa728eeSbellard target_ulong tss_base; 240eaa728eeSbellard uint32_t new_regs[8], new_segs[6]; 241eaa728eeSbellard uint32_t new_eflags, new_eip, new_cr3, new_ldt, new_trap; 242eaa728eeSbellard uint32_t old_eflags, eflags_mask; 243eaa728eeSbellard SegmentCache *dt; 244eaa728eeSbellard int index; 245eaa728eeSbellard target_ulong ptr; 246eaa728eeSbellard 247eaa728eeSbellard type = (e2 >> DESC_TYPE_SHIFT) & 0xf; 24820054ef0SBlue Swirl LOG_PCALL("switch_tss: sel=0x%04x type=%d src=%d\n", tss_selector, type, 24920054ef0SBlue Swirl source); 250eaa728eeSbellard 251eaa728eeSbellard /* if task gate, we read the TSS segment and we load it */ 252eaa728eeSbellard if (type == 5) { 25320054ef0SBlue Swirl if (!(e2 & DESC_P_MASK)) { 254100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0B_NOSEG, tss_selector & 0xfffc, retaddr); 25520054ef0SBlue Swirl } 256eaa728eeSbellard tss_selector = e1 >> 16; 25720054ef0SBlue Swirl if (tss_selector & 4) { 258100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0A_TSS, tss_selector & 0xfffc, retaddr); 25920054ef0SBlue Swirl } 260100ec099SPavel Dovgalyuk if (load_segment_ra(env, &e1, &e2, tss_selector, retaddr) != 0) { 261100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0D_GPF, tss_selector & 0xfffc, retaddr); 262eaa728eeSbellard } 26320054ef0SBlue Swirl if (e2 & DESC_S_MASK) { 264100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0D_GPF, tss_selector & 0xfffc, retaddr); 26520054ef0SBlue Swirl } 26620054ef0SBlue Swirl type = (e2 >> DESC_TYPE_SHIFT) & 0xf; 26720054ef0SBlue Swirl if ((type & 7) != 1) { 268100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0D_GPF, tss_selector & 0xfffc, retaddr); 26920054ef0SBlue Swirl } 27020054ef0SBlue Swirl } 271eaa728eeSbellard 27220054ef0SBlue Swirl if (!(e2 & DESC_P_MASK)) { 273100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0B_NOSEG, tss_selector & 0xfffc, retaddr); 27420054ef0SBlue Swirl } 275eaa728eeSbellard 27620054ef0SBlue Swirl if (type & 8) { 277eaa728eeSbellard tss_limit_max = 103; 27820054ef0SBlue Swirl } else { 279eaa728eeSbellard tss_limit_max = 43; 28020054ef0SBlue Swirl } 281eaa728eeSbellard tss_limit = get_seg_limit(e1, e2); 282eaa728eeSbellard tss_base = get_seg_base(e1, e2); 283eaa728eeSbellard if ((tss_selector & 4) != 0 || 28420054ef0SBlue Swirl tss_limit < tss_limit_max) { 285100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0A_TSS, tss_selector & 0xfffc, retaddr); 28620054ef0SBlue Swirl } 287eaa728eeSbellard old_type = (env->tr.flags >> DESC_TYPE_SHIFT) & 0xf; 28820054ef0SBlue Swirl if (old_type & 8) { 289eaa728eeSbellard old_tss_limit_max = 103; 29020054ef0SBlue Swirl } else { 291eaa728eeSbellard old_tss_limit_max = 43; 29220054ef0SBlue Swirl } 293eaa728eeSbellard 294eaa728eeSbellard /* read all the registers from the new TSS */ 295eaa728eeSbellard if (type & 8) { 296eaa728eeSbellard /* 32 bit */ 297100ec099SPavel Dovgalyuk new_cr3 = cpu_ldl_kernel_ra(env, tss_base + 0x1c, retaddr); 298100ec099SPavel Dovgalyuk new_eip = cpu_ldl_kernel_ra(env, tss_base + 0x20, retaddr); 299100ec099SPavel Dovgalyuk new_eflags = cpu_ldl_kernel_ra(env, tss_base + 0x24, retaddr); 30020054ef0SBlue Swirl for (i = 0; i < 8; i++) { 301100ec099SPavel Dovgalyuk new_regs[i] = cpu_ldl_kernel_ra(env, tss_base + (0x28 + i * 4), 302100ec099SPavel Dovgalyuk retaddr); 30320054ef0SBlue Swirl } 30420054ef0SBlue Swirl for (i = 0; i < 6; i++) { 305100ec099SPavel Dovgalyuk new_segs[i] = cpu_lduw_kernel_ra(env, tss_base + (0x48 + i * 4), 306100ec099SPavel Dovgalyuk retaddr); 30720054ef0SBlue Swirl } 308100ec099SPavel Dovgalyuk new_ldt = cpu_lduw_kernel_ra(env, tss_base + 0x60, retaddr); 309100ec099SPavel Dovgalyuk new_trap = cpu_ldl_kernel_ra(env, tss_base + 0x64, retaddr); 310eaa728eeSbellard } else { 311eaa728eeSbellard /* 16 bit */ 312eaa728eeSbellard new_cr3 = 0; 313100ec099SPavel Dovgalyuk new_eip = cpu_lduw_kernel_ra(env, tss_base + 0x0e, retaddr); 314100ec099SPavel Dovgalyuk new_eflags = cpu_lduw_kernel_ra(env, tss_base + 0x10, retaddr); 31520054ef0SBlue Swirl for (i = 0; i < 8; i++) { 316a5505f6bSPaolo Bonzini new_regs[i] = cpu_lduw_kernel_ra(env, tss_base + (0x12 + i * 2), retaddr); 31720054ef0SBlue Swirl } 31820054ef0SBlue Swirl for (i = 0; i < 4; i++) { 31928f6aa11SPaolo Bonzini new_segs[i] = cpu_lduw_kernel_ra(env, tss_base + (0x22 + i * 2), 320100ec099SPavel Dovgalyuk retaddr); 32120054ef0SBlue Swirl } 322100ec099SPavel Dovgalyuk new_ldt = cpu_lduw_kernel_ra(env, tss_base + 0x2a, retaddr); 323eaa728eeSbellard new_segs[R_FS] = 0; 324eaa728eeSbellard new_segs[R_GS] = 0; 325eaa728eeSbellard new_trap = 0; 326eaa728eeSbellard } 3274581cbcdSBlue Swirl /* XXX: avoid a compiler warning, see 3284581cbcdSBlue Swirl http://support.amd.com/us/Processor_TechDocs/24593.pdf 3294581cbcdSBlue Swirl chapters 12.2.5 and 13.2.4 on how to implement TSS Trap bit */ 3304581cbcdSBlue Swirl (void)new_trap; 331eaa728eeSbellard 332eaa728eeSbellard /* NOTE: we must avoid memory exceptions during the task switch, 333eaa728eeSbellard so we make dummy accesses before */ 334eaa728eeSbellard /* XXX: it can still fail in some cases, so a bigger hack is 335eaa728eeSbellard necessary to valid the TLB after having done the accesses */ 336eaa728eeSbellard 337100ec099SPavel Dovgalyuk v1 = cpu_ldub_kernel_ra(env, env->tr.base, retaddr); 338100ec099SPavel Dovgalyuk v2 = cpu_ldub_kernel_ra(env, env->tr.base + old_tss_limit_max, retaddr); 339100ec099SPavel Dovgalyuk cpu_stb_kernel_ra(env, env->tr.base, v1, retaddr); 340100ec099SPavel Dovgalyuk cpu_stb_kernel_ra(env, env->tr.base + old_tss_limit_max, v2, retaddr); 341eaa728eeSbellard 342eaa728eeSbellard /* clear busy bit (it is restartable) */ 343eaa728eeSbellard if (source == SWITCH_TSS_JMP || source == SWITCH_TSS_IRET) { 344eaa728eeSbellard target_ulong ptr; 345eaa728eeSbellard uint32_t e2; 34620054ef0SBlue Swirl 347eaa728eeSbellard ptr = env->gdt.base + (env->tr.selector & ~7); 348100ec099SPavel Dovgalyuk e2 = cpu_ldl_kernel_ra(env, ptr + 4, retaddr); 349eaa728eeSbellard e2 &= ~DESC_TSS_BUSY_MASK; 350100ec099SPavel Dovgalyuk cpu_stl_kernel_ra(env, ptr + 4, e2, retaddr); 351eaa728eeSbellard } 352997ff0d9SBlue Swirl old_eflags = cpu_compute_eflags(env); 35320054ef0SBlue Swirl if (source == SWITCH_TSS_IRET) { 354eaa728eeSbellard old_eflags &= ~NT_MASK; 35520054ef0SBlue Swirl } 356eaa728eeSbellard 357eaa728eeSbellard /* save the current state in the old TSS */ 3581b627f38SPaolo Bonzini if (old_type & 8) { 359eaa728eeSbellard /* 32 bit */ 360100ec099SPavel Dovgalyuk cpu_stl_kernel_ra(env, env->tr.base + 0x20, next_eip, retaddr); 361100ec099SPavel Dovgalyuk cpu_stl_kernel_ra(env, env->tr.base + 0x24, old_eflags, retaddr); 362100ec099SPavel Dovgalyuk cpu_stl_kernel_ra(env, env->tr.base + (0x28 + 0 * 4), env->regs[R_EAX], retaddr); 363100ec099SPavel Dovgalyuk cpu_stl_kernel_ra(env, env->tr.base + (0x28 + 1 * 4), env->regs[R_ECX], retaddr); 364100ec099SPavel Dovgalyuk cpu_stl_kernel_ra(env, env->tr.base + (0x28 + 2 * 4), env->regs[R_EDX], retaddr); 365100ec099SPavel Dovgalyuk cpu_stl_kernel_ra(env, env->tr.base + (0x28 + 3 * 4), env->regs[R_EBX], retaddr); 366100ec099SPavel Dovgalyuk cpu_stl_kernel_ra(env, env->tr.base + (0x28 + 4 * 4), env->regs[R_ESP], retaddr); 367100ec099SPavel Dovgalyuk cpu_stl_kernel_ra(env, env->tr.base + (0x28 + 5 * 4), env->regs[R_EBP], retaddr); 368100ec099SPavel Dovgalyuk cpu_stl_kernel_ra(env, env->tr.base + (0x28 + 6 * 4), env->regs[R_ESI], retaddr); 369100ec099SPavel Dovgalyuk cpu_stl_kernel_ra(env, env->tr.base + (0x28 + 7 * 4), env->regs[R_EDI], retaddr); 37020054ef0SBlue Swirl for (i = 0; i < 6; i++) { 371100ec099SPavel Dovgalyuk cpu_stw_kernel_ra(env, env->tr.base + (0x48 + i * 4), 372100ec099SPavel Dovgalyuk env->segs[i].selector, retaddr); 37320054ef0SBlue Swirl } 374eaa728eeSbellard } else { 375eaa728eeSbellard /* 16 bit */ 376100ec099SPavel Dovgalyuk cpu_stw_kernel_ra(env, env->tr.base + 0x0e, next_eip, retaddr); 377100ec099SPavel Dovgalyuk cpu_stw_kernel_ra(env, env->tr.base + 0x10, old_eflags, retaddr); 378100ec099SPavel Dovgalyuk cpu_stw_kernel_ra(env, env->tr.base + (0x12 + 0 * 2), env->regs[R_EAX], retaddr); 379100ec099SPavel Dovgalyuk cpu_stw_kernel_ra(env, env->tr.base + (0x12 + 1 * 2), env->regs[R_ECX], retaddr); 380100ec099SPavel Dovgalyuk cpu_stw_kernel_ra(env, env->tr.base + (0x12 + 2 * 2), env->regs[R_EDX], retaddr); 381100ec099SPavel Dovgalyuk cpu_stw_kernel_ra(env, env->tr.base + (0x12 + 3 * 2), env->regs[R_EBX], retaddr); 382100ec099SPavel Dovgalyuk cpu_stw_kernel_ra(env, env->tr.base + (0x12 + 4 * 2), env->regs[R_ESP], retaddr); 383100ec099SPavel Dovgalyuk cpu_stw_kernel_ra(env, env->tr.base + (0x12 + 5 * 2), env->regs[R_EBP], retaddr); 384100ec099SPavel Dovgalyuk cpu_stw_kernel_ra(env, env->tr.base + (0x12 + 6 * 2), env->regs[R_ESI], retaddr); 385100ec099SPavel Dovgalyuk cpu_stw_kernel_ra(env, env->tr.base + (0x12 + 7 * 2), env->regs[R_EDI], retaddr); 38620054ef0SBlue Swirl for (i = 0; i < 4; i++) { 38728f6aa11SPaolo Bonzini cpu_stw_kernel_ra(env, env->tr.base + (0x22 + i * 2), 388100ec099SPavel Dovgalyuk env->segs[i].selector, retaddr); 389eaa728eeSbellard } 39020054ef0SBlue Swirl } 391eaa728eeSbellard 392eaa728eeSbellard /* now if an exception occurs, it will occurs in the next task 393eaa728eeSbellard context */ 394eaa728eeSbellard 395eaa728eeSbellard if (source == SWITCH_TSS_CALL) { 396100ec099SPavel Dovgalyuk cpu_stw_kernel_ra(env, tss_base, env->tr.selector, retaddr); 397eaa728eeSbellard new_eflags |= NT_MASK; 398eaa728eeSbellard } 399eaa728eeSbellard 400eaa728eeSbellard /* set busy bit */ 401eaa728eeSbellard if (source == SWITCH_TSS_JMP || source == SWITCH_TSS_CALL) { 402eaa728eeSbellard target_ulong ptr; 403eaa728eeSbellard uint32_t e2; 40420054ef0SBlue Swirl 405eaa728eeSbellard ptr = env->gdt.base + (tss_selector & ~7); 406100ec099SPavel Dovgalyuk e2 = cpu_ldl_kernel_ra(env, ptr + 4, retaddr); 407eaa728eeSbellard e2 |= DESC_TSS_BUSY_MASK; 408100ec099SPavel Dovgalyuk cpu_stl_kernel_ra(env, ptr + 4, e2, retaddr); 409eaa728eeSbellard } 410eaa728eeSbellard 411eaa728eeSbellard /* set the new CPU state */ 412eaa728eeSbellard /* from this point, any exception which occurs can give problems */ 413eaa728eeSbellard env->cr[0] |= CR0_TS_MASK; 414eaa728eeSbellard env->hflags |= HF_TS_MASK; 415eaa728eeSbellard env->tr.selector = tss_selector; 416eaa728eeSbellard env->tr.base = tss_base; 417eaa728eeSbellard env->tr.limit = tss_limit; 418eaa728eeSbellard env->tr.flags = e2 & ~DESC_TSS_BUSY_MASK; 419eaa728eeSbellard 420eaa728eeSbellard if ((type & 8) && (env->cr[0] & CR0_PG_MASK)) { 421eaa728eeSbellard cpu_x86_update_cr3(env, new_cr3); 422eaa728eeSbellard } 423eaa728eeSbellard 424eaa728eeSbellard /* load all registers without an exception, then reload them with 425eaa728eeSbellard possible exception */ 426eaa728eeSbellard env->eip = new_eip; 427eaa728eeSbellard eflags_mask = TF_MASK | AC_MASK | ID_MASK | 428eaa728eeSbellard IF_MASK | IOPL_MASK | VM_MASK | RF_MASK | NT_MASK; 429a5505f6bSPaolo Bonzini if (type & 8) { 430997ff0d9SBlue Swirl cpu_load_eflags(env, new_eflags, eflags_mask); 431a5505f6bSPaolo Bonzini for (i = 0; i < 8; i++) { 432a5505f6bSPaolo Bonzini env->regs[i] = new_regs[i]; 433a5505f6bSPaolo Bonzini } 434a5505f6bSPaolo Bonzini } else { 435a5505f6bSPaolo Bonzini cpu_load_eflags(env, new_eflags, eflags_mask & 0xffff); 436a5505f6bSPaolo Bonzini for (i = 0; i < 8; i++) { 437a5505f6bSPaolo Bonzini env->regs[i] = (env->regs[i] & 0xffff0000) | new_regs[i]; 438a5505f6bSPaolo Bonzini } 439a5505f6bSPaolo Bonzini } 440eaa728eeSbellard if (new_eflags & VM_MASK) { 44120054ef0SBlue Swirl for (i = 0; i < 6; i++) { 4422999a0b2SBlue Swirl load_seg_vm(env, i, new_segs[i]); 44320054ef0SBlue Swirl } 444eaa728eeSbellard } else { 445eaa728eeSbellard /* first just selectors as the rest may trigger exceptions */ 44620054ef0SBlue Swirl for (i = 0; i < 6; i++) { 447eaa728eeSbellard cpu_x86_load_seg_cache(env, i, new_segs[i], 0, 0, 0); 448eaa728eeSbellard } 44920054ef0SBlue Swirl } 450eaa728eeSbellard 451eaa728eeSbellard env->ldt.selector = new_ldt & ~4; 452eaa728eeSbellard env->ldt.base = 0; 453eaa728eeSbellard env->ldt.limit = 0; 454eaa728eeSbellard env->ldt.flags = 0; 455eaa728eeSbellard 456eaa728eeSbellard /* load the LDT */ 45720054ef0SBlue Swirl if (new_ldt & 4) { 458100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0A_TSS, new_ldt & 0xfffc, retaddr); 45920054ef0SBlue Swirl } 460eaa728eeSbellard 461eaa728eeSbellard if ((new_ldt & 0xfffc) != 0) { 462eaa728eeSbellard dt = &env->gdt; 463eaa728eeSbellard index = new_ldt & ~7; 46420054ef0SBlue Swirl if ((index + 7) > dt->limit) { 465100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0A_TSS, new_ldt & 0xfffc, retaddr); 46620054ef0SBlue Swirl } 467eaa728eeSbellard ptr = dt->base + index; 468100ec099SPavel Dovgalyuk e1 = cpu_ldl_kernel_ra(env, ptr, retaddr); 469100ec099SPavel Dovgalyuk e2 = cpu_ldl_kernel_ra(env, ptr + 4, retaddr); 47020054ef0SBlue Swirl if ((e2 & DESC_S_MASK) || ((e2 >> DESC_TYPE_SHIFT) & 0xf) != 2) { 471100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0A_TSS, new_ldt & 0xfffc, retaddr); 47220054ef0SBlue Swirl } 47320054ef0SBlue Swirl if (!(e2 & DESC_P_MASK)) { 474100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0A_TSS, new_ldt & 0xfffc, retaddr); 47520054ef0SBlue Swirl } 476eaa728eeSbellard load_seg_cache_raw_dt(&env->ldt, e1, e2); 477eaa728eeSbellard } 478eaa728eeSbellard 479eaa728eeSbellard /* load the segments */ 480eaa728eeSbellard if (!(new_eflags & VM_MASK)) { 481d3b54918SPaolo Bonzini int cpl = new_segs[R_CS] & 3; 482100ec099SPavel Dovgalyuk tss_load_seg(env, R_CS, new_segs[R_CS], cpl, retaddr); 483100ec099SPavel Dovgalyuk tss_load_seg(env, R_SS, new_segs[R_SS], cpl, retaddr); 484100ec099SPavel Dovgalyuk tss_load_seg(env, R_ES, new_segs[R_ES], cpl, retaddr); 485100ec099SPavel Dovgalyuk tss_load_seg(env, R_DS, new_segs[R_DS], cpl, retaddr); 486100ec099SPavel Dovgalyuk tss_load_seg(env, R_FS, new_segs[R_FS], cpl, retaddr); 487100ec099SPavel Dovgalyuk tss_load_seg(env, R_GS, new_segs[R_GS], cpl, retaddr); 488eaa728eeSbellard } 489eaa728eeSbellard 490a78d0eabSliguang /* check that env->eip is in the CS segment limits */ 491eaa728eeSbellard if (new_eip > env->segs[R_CS].limit) { 492eaa728eeSbellard /* XXX: different exception if CALL? */ 493100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0D_GPF, 0, retaddr); 494eaa728eeSbellard } 49501df040bSaliguori 49601df040bSaliguori #ifndef CONFIG_USER_ONLY 49701df040bSaliguori /* reset local breakpoints */ 498428065ceSliguang if (env->dr[7] & DR7_LOCAL_BP_MASK) { 49993d00d0fSRichard Henderson cpu_x86_update_dr7(env, env->dr[7] & ~DR7_LOCAL_BP_MASK); 50001df040bSaliguori } 50101df040bSaliguori #endif 502eaa728eeSbellard } 503eaa728eeSbellard 504100ec099SPavel Dovgalyuk static void switch_tss(CPUX86State *env, int tss_selector, 505100ec099SPavel Dovgalyuk uint32_t e1, uint32_t e2, int source, 506100ec099SPavel Dovgalyuk uint32_t next_eip) 507100ec099SPavel Dovgalyuk { 508100ec099SPavel Dovgalyuk switch_tss_ra(env, tss_selector, e1, e2, source, next_eip, 0); 509100ec099SPavel Dovgalyuk } 510100ec099SPavel Dovgalyuk 511eaa728eeSbellard static inline unsigned int get_sp_mask(unsigned int e2) 512eaa728eeSbellard { 5130aca0605SAndrew Oates #ifdef TARGET_X86_64 5140aca0605SAndrew Oates if (e2 & DESC_L_MASK) { 5150aca0605SAndrew Oates return 0; 5160aca0605SAndrew Oates } else 5170aca0605SAndrew Oates #endif 51820054ef0SBlue Swirl if (e2 & DESC_B_MASK) { 519eaa728eeSbellard return 0xffffffff; 52020054ef0SBlue Swirl } else { 521eaa728eeSbellard return 0xffff; 522eaa728eeSbellard } 52320054ef0SBlue Swirl } 524eaa728eeSbellard 52530493a03SClaudio Fontana int exception_has_error_code(int intno) 5262ed51f5bSaliguori { 5272ed51f5bSaliguori switch (intno) { 5282ed51f5bSaliguori case 8: 5292ed51f5bSaliguori case 10: 5302ed51f5bSaliguori case 11: 5312ed51f5bSaliguori case 12: 5322ed51f5bSaliguori case 13: 5332ed51f5bSaliguori case 14: 5342ed51f5bSaliguori case 17: 5352ed51f5bSaliguori return 1; 5362ed51f5bSaliguori } 5372ed51f5bSaliguori return 0; 5382ed51f5bSaliguori } 5392ed51f5bSaliguori 540eaa728eeSbellard #ifdef TARGET_X86_64 541eaa728eeSbellard #define SET_ESP(val, sp_mask) \ 542eaa728eeSbellard do { \ 54320054ef0SBlue Swirl if ((sp_mask) == 0xffff) { \ 54408b3ded6Sliguang env->regs[R_ESP] = (env->regs[R_ESP] & ~0xffff) | \ 54508b3ded6Sliguang ((val) & 0xffff); \ 54620054ef0SBlue Swirl } else if ((sp_mask) == 0xffffffffLL) { \ 54708b3ded6Sliguang env->regs[R_ESP] = (uint32_t)(val); \ 54820054ef0SBlue Swirl } else { \ 54908b3ded6Sliguang env->regs[R_ESP] = (val); \ 55020054ef0SBlue Swirl } \ 551eaa728eeSbellard } while (0) 552eaa728eeSbellard #else 55320054ef0SBlue Swirl #define SET_ESP(val, sp_mask) \ 55420054ef0SBlue Swirl do { \ 55508b3ded6Sliguang env->regs[R_ESP] = (env->regs[R_ESP] & ~(sp_mask)) | \ 55608b3ded6Sliguang ((val) & (sp_mask)); \ 55720054ef0SBlue Swirl } while (0) 558eaa728eeSbellard #endif 559eaa728eeSbellard 560c0a04f0eSaliguori /* in 64-bit machines, this can overflow. So this segment addition macro 561c0a04f0eSaliguori * can be used to trim the value to 32-bit whenever needed */ 562c0a04f0eSaliguori #define SEG_ADDL(ssp, sp, sp_mask) ((uint32_t)((ssp) + (sp & (sp_mask)))) 563c0a04f0eSaliguori 564eaa728eeSbellard /* XXX: add a is_user flag to have proper security support */ 565100ec099SPavel Dovgalyuk #define PUSHW_RA(ssp, sp, sp_mask, val, ra) \ 566eaa728eeSbellard { \ 567eaa728eeSbellard sp -= 2; \ 568100ec099SPavel Dovgalyuk cpu_stw_kernel_ra(env, (ssp) + (sp & (sp_mask)), (val), ra); \ 569eaa728eeSbellard } 570eaa728eeSbellard 571100ec099SPavel Dovgalyuk #define PUSHL_RA(ssp, sp, sp_mask, val, ra) \ 572eaa728eeSbellard { \ 573eaa728eeSbellard sp -= 4; \ 574100ec099SPavel Dovgalyuk cpu_stl_kernel_ra(env, SEG_ADDL(ssp, sp, sp_mask), (uint32_t)(val), ra); \ 575eaa728eeSbellard } 576eaa728eeSbellard 577100ec099SPavel Dovgalyuk #define POPW_RA(ssp, sp, sp_mask, val, ra) \ 578eaa728eeSbellard { \ 579100ec099SPavel Dovgalyuk val = cpu_lduw_kernel_ra(env, (ssp) + (sp & (sp_mask)), ra); \ 580eaa728eeSbellard sp += 2; \ 581eaa728eeSbellard } 582eaa728eeSbellard 583100ec099SPavel Dovgalyuk #define POPL_RA(ssp, sp, sp_mask, val, ra) \ 584eaa728eeSbellard { \ 585100ec099SPavel Dovgalyuk val = (uint32_t)cpu_ldl_kernel_ra(env, SEG_ADDL(ssp, sp, sp_mask), ra); \ 586eaa728eeSbellard sp += 4; \ 587eaa728eeSbellard } 588eaa728eeSbellard 589100ec099SPavel Dovgalyuk #define PUSHW(ssp, sp, sp_mask, val) PUSHW_RA(ssp, sp, sp_mask, val, 0) 590100ec099SPavel Dovgalyuk #define PUSHL(ssp, sp, sp_mask, val) PUSHL_RA(ssp, sp, sp_mask, val, 0) 591100ec099SPavel Dovgalyuk #define POPW(ssp, sp, sp_mask, val) POPW_RA(ssp, sp, sp_mask, val, 0) 592100ec099SPavel Dovgalyuk #define POPL(ssp, sp, sp_mask, val) POPL_RA(ssp, sp, sp_mask, val, 0) 593100ec099SPavel Dovgalyuk 594eaa728eeSbellard /* protected mode interrupt */ 5952999a0b2SBlue Swirl static void do_interrupt_protected(CPUX86State *env, int intno, int is_int, 5962999a0b2SBlue Swirl int error_code, unsigned int next_eip, 5972999a0b2SBlue Swirl int is_hw) 598eaa728eeSbellard { 599eaa728eeSbellard SegmentCache *dt; 600eaa728eeSbellard target_ulong ptr, ssp; 601eaa728eeSbellard int type, dpl, selector, ss_dpl, cpl; 602eaa728eeSbellard int has_error_code, new_stack, shift; 6031c918ebaSblueswir1 uint32_t e1, e2, offset, ss = 0, esp, ss_e1 = 0, ss_e2 = 0; 604eaa728eeSbellard uint32_t old_eip, sp_mask; 60587446327SKevin O'Connor int vm86 = env->eflags & VM_MASK; 606eaa728eeSbellard 607eaa728eeSbellard has_error_code = 0; 60820054ef0SBlue Swirl if (!is_int && !is_hw) { 60920054ef0SBlue Swirl has_error_code = exception_has_error_code(intno); 61020054ef0SBlue Swirl } 61120054ef0SBlue Swirl if (is_int) { 612eaa728eeSbellard old_eip = next_eip; 61320054ef0SBlue Swirl } else { 614eaa728eeSbellard old_eip = env->eip; 61520054ef0SBlue Swirl } 616eaa728eeSbellard 617eaa728eeSbellard dt = &env->idt; 61820054ef0SBlue Swirl if (intno * 8 + 7 > dt->limit) { 61977b2bc2cSBlue Swirl raise_exception_err(env, EXCP0D_GPF, intno * 8 + 2); 62020054ef0SBlue Swirl } 621eaa728eeSbellard ptr = dt->base + intno * 8; 622329e607dSBlue Swirl e1 = cpu_ldl_kernel(env, ptr); 623329e607dSBlue Swirl e2 = cpu_ldl_kernel(env, ptr + 4); 624eaa728eeSbellard /* check gate type */ 625eaa728eeSbellard type = (e2 >> DESC_TYPE_SHIFT) & 0x1f; 626eaa728eeSbellard switch (type) { 627eaa728eeSbellard case 5: /* task gate */ 6283df1a3d0SPeter Maydell case 6: /* 286 interrupt gate */ 6293df1a3d0SPeter Maydell case 7: /* 286 trap gate */ 6303df1a3d0SPeter Maydell case 14: /* 386 interrupt gate */ 6313df1a3d0SPeter Maydell case 15: /* 386 trap gate */ 6323df1a3d0SPeter Maydell break; 6333df1a3d0SPeter Maydell default: 6343df1a3d0SPeter Maydell raise_exception_err(env, EXCP0D_GPF, intno * 8 + 2); 6353df1a3d0SPeter Maydell break; 6363df1a3d0SPeter Maydell } 6373df1a3d0SPeter Maydell dpl = (e2 >> DESC_DPL_SHIFT) & 3; 6383df1a3d0SPeter Maydell cpl = env->hflags & HF_CPL_MASK; 6393df1a3d0SPeter Maydell /* check privilege if software int */ 6403df1a3d0SPeter Maydell if (is_int && dpl < cpl) { 6413df1a3d0SPeter Maydell raise_exception_err(env, EXCP0D_GPF, intno * 8 + 2); 6423df1a3d0SPeter Maydell } 6433df1a3d0SPeter Maydell 6443df1a3d0SPeter Maydell if (type == 5) { 6453df1a3d0SPeter Maydell /* task gate */ 646eaa728eeSbellard /* must do that check here to return the correct error code */ 64720054ef0SBlue Swirl if (!(e2 & DESC_P_MASK)) { 64877b2bc2cSBlue Swirl raise_exception_err(env, EXCP0B_NOSEG, intno * 8 + 2); 64920054ef0SBlue Swirl } 6502999a0b2SBlue Swirl switch_tss(env, intno * 8, e1, e2, SWITCH_TSS_CALL, old_eip); 651eaa728eeSbellard if (has_error_code) { 652eaa728eeSbellard int type; 653eaa728eeSbellard uint32_t mask; 65420054ef0SBlue Swirl 655eaa728eeSbellard /* push the error code */ 656eaa728eeSbellard type = (env->tr.flags >> DESC_TYPE_SHIFT) & 0xf; 657eaa728eeSbellard shift = type >> 3; 65820054ef0SBlue Swirl if (env->segs[R_SS].flags & DESC_B_MASK) { 659eaa728eeSbellard mask = 0xffffffff; 66020054ef0SBlue Swirl } else { 661eaa728eeSbellard mask = 0xffff; 66220054ef0SBlue Swirl } 66308b3ded6Sliguang esp = (env->regs[R_ESP] - (2 << shift)) & mask; 664eaa728eeSbellard ssp = env->segs[R_SS].base + esp; 66520054ef0SBlue Swirl if (shift) { 666329e607dSBlue Swirl cpu_stl_kernel(env, ssp, error_code); 66720054ef0SBlue Swirl } else { 668329e607dSBlue Swirl cpu_stw_kernel(env, ssp, error_code); 66920054ef0SBlue Swirl } 670eaa728eeSbellard SET_ESP(esp, mask); 671eaa728eeSbellard } 672eaa728eeSbellard return; 673eaa728eeSbellard } 6743df1a3d0SPeter Maydell 6753df1a3d0SPeter Maydell /* Otherwise, trap or interrupt gate */ 6763df1a3d0SPeter Maydell 677eaa728eeSbellard /* check valid bit */ 67820054ef0SBlue Swirl if (!(e2 & DESC_P_MASK)) { 67977b2bc2cSBlue Swirl raise_exception_err(env, EXCP0B_NOSEG, intno * 8 + 2); 68020054ef0SBlue Swirl } 681eaa728eeSbellard selector = e1 >> 16; 682eaa728eeSbellard offset = (e2 & 0xffff0000) | (e1 & 0x0000ffff); 68320054ef0SBlue Swirl if ((selector & 0xfffc) == 0) { 68477b2bc2cSBlue Swirl raise_exception_err(env, EXCP0D_GPF, 0); 68520054ef0SBlue Swirl } 6862999a0b2SBlue Swirl if (load_segment(env, &e1, &e2, selector) != 0) { 68777b2bc2cSBlue Swirl raise_exception_err(env, EXCP0D_GPF, selector & 0xfffc); 68820054ef0SBlue Swirl } 68920054ef0SBlue Swirl if (!(e2 & DESC_S_MASK) || !(e2 & (DESC_CS_MASK))) { 69077b2bc2cSBlue Swirl raise_exception_err(env, EXCP0D_GPF, selector & 0xfffc); 69120054ef0SBlue Swirl } 692eaa728eeSbellard dpl = (e2 >> DESC_DPL_SHIFT) & 3; 69320054ef0SBlue Swirl if (dpl > cpl) { 69477b2bc2cSBlue Swirl raise_exception_err(env, EXCP0D_GPF, selector & 0xfffc); 69520054ef0SBlue Swirl } 69620054ef0SBlue Swirl if (!(e2 & DESC_P_MASK)) { 69777b2bc2cSBlue Swirl raise_exception_err(env, EXCP0B_NOSEG, selector & 0xfffc); 69820054ef0SBlue Swirl } 6991110bfe6SPaolo Bonzini if (e2 & DESC_C_MASK) { 7001110bfe6SPaolo Bonzini dpl = cpl; 7011110bfe6SPaolo Bonzini } 7021110bfe6SPaolo Bonzini if (dpl < cpl) { 703eaa728eeSbellard /* to inner privilege */ 704100ec099SPavel Dovgalyuk get_ss_esp_from_tss(env, &ss, &esp, dpl, 0); 70520054ef0SBlue Swirl if ((ss & 0xfffc) == 0) { 70677b2bc2cSBlue Swirl raise_exception_err(env, EXCP0A_TSS, ss & 0xfffc); 70720054ef0SBlue Swirl } 70820054ef0SBlue Swirl if ((ss & 3) != dpl) { 70977b2bc2cSBlue Swirl raise_exception_err(env, EXCP0A_TSS, ss & 0xfffc); 71020054ef0SBlue Swirl } 7112999a0b2SBlue Swirl if (load_segment(env, &ss_e1, &ss_e2, ss) != 0) { 71277b2bc2cSBlue Swirl raise_exception_err(env, EXCP0A_TSS, ss & 0xfffc); 71320054ef0SBlue Swirl } 714eaa728eeSbellard ss_dpl = (ss_e2 >> DESC_DPL_SHIFT) & 3; 71520054ef0SBlue Swirl if (ss_dpl != dpl) { 71677b2bc2cSBlue Swirl raise_exception_err(env, EXCP0A_TSS, ss & 0xfffc); 71720054ef0SBlue Swirl } 718eaa728eeSbellard if (!(ss_e2 & DESC_S_MASK) || 719eaa728eeSbellard (ss_e2 & DESC_CS_MASK) || 72020054ef0SBlue Swirl !(ss_e2 & DESC_W_MASK)) { 72177b2bc2cSBlue Swirl raise_exception_err(env, EXCP0A_TSS, ss & 0xfffc); 72220054ef0SBlue Swirl } 72320054ef0SBlue Swirl if (!(ss_e2 & DESC_P_MASK)) { 72477b2bc2cSBlue Swirl raise_exception_err(env, EXCP0A_TSS, ss & 0xfffc); 72520054ef0SBlue Swirl } 726eaa728eeSbellard new_stack = 1; 727eaa728eeSbellard sp_mask = get_sp_mask(ss_e2); 728eaa728eeSbellard ssp = get_seg_base(ss_e1, ss_e2); 7291110bfe6SPaolo Bonzini } else { 730eaa728eeSbellard /* to same privilege */ 73187446327SKevin O'Connor if (vm86) { 73277b2bc2cSBlue Swirl raise_exception_err(env, EXCP0D_GPF, selector & 0xfffc); 73320054ef0SBlue Swirl } 734eaa728eeSbellard new_stack = 0; 735eaa728eeSbellard sp_mask = get_sp_mask(env->segs[R_SS].flags); 736eaa728eeSbellard ssp = env->segs[R_SS].base; 73708b3ded6Sliguang esp = env->regs[R_ESP]; 738eaa728eeSbellard } 739eaa728eeSbellard 740eaa728eeSbellard shift = type >> 3; 741eaa728eeSbellard 742eaa728eeSbellard #if 0 743eaa728eeSbellard /* XXX: check that enough room is available */ 744eaa728eeSbellard push_size = 6 + (new_stack << 2) + (has_error_code << 1); 74587446327SKevin O'Connor if (vm86) { 746eaa728eeSbellard push_size += 8; 74720054ef0SBlue Swirl } 748eaa728eeSbellard push_size <<= shift; 749eaa728eeSbellard #endif 750eaa728eeSbellard if (shift == 1) { 751eaa728eeSbellard if (new_stack) { 75287446327SKevin O'Connor if (vm86) { 753eaa728eeSbellard PUSHL(ssp, esp, sp_mask, env->segs[R_GS].selector); 754eaa728eeSbellard PUSHL(ssp, esp, sp_mask, env->segs[R_FS].selector); 755eaa728eeSbellard PUSHL(ssp, esp, sp_mask, env->segs[R_DS].selector); 756eaa728eeSbellard PUSHL(ssp, esp, sp_mask, env->segs[R_ES].selector); 757eaa728eeSbellard } 758eaa728eeSbellard PUSHL(ssp, esp, sp_mask, env->segs[R_SS].selector); 75908b3ded6Sliguang PUSHL(ssp, esp, sp_mask, env->regs[R_ESP]); 760eaa728eeSbellard } 761997ff0d9SBlue Swirl PUSHL(ssp, esp, sp_mask, cpu_compute_eflags(env)); 762eaa728eeSbellard PUSHL(ssp, esp, sp_mask, env->segs[R_CS].selector); 763eaa728eeSbellard PUSHL(ssp, esp, sp_mask, old_eip); 764eaa728eeSbellard if (has_error_code) { 765eaa728eeSbellard PUSHL(ssp, esp, sp_mask, error_code); 766eaa728eeSbellard } 767eaa728eeSbellard } else { 768eaa728eeSbellard if (new_stack) { 76987446327SKevin O'Connor if (vm86) { 770eaa728eeSbellard PUSHW(ssp, esp, sp_mask, env->segs[R_GS].selector); 771eaa728eeSbellard PUSHW(ssp, esp, sp_mask, env->segs[R_FS].selector); 772eaa728eeSbellard PUSHW(ssp, esp, sp_mask, env->segs[R_DS].selector); 773eaa728eeSbellard PUSHW(ssp, esp, sp_mask, env->segs[R_ES].selector); 774eaa728eeSbellard } 775eaa728eeSbellard PUSHW(ssp, esp, sp_mask, env->segs[R_SS].selector); 77608b3ded6Sliguang PUSHW(ssp, esp, sp_mask, env->regs[R_ESP]); 777eaa728eeSbellard } 778997ff0d9SBlue Swirl PUSHW(ssp, esp, sp_mask, cpu_compute_eflags(env)); 779eaa728eeSbellard PUSHW(ssp, esp, sp_mask, env->segs[R_CS].selector); 780eaa728eeSbellard PUSHW(ssp, esp, sp_mask, old_eip); 781eaa728eeSbellard if (has_error_code) { 782eaa728eeSbellard PUSHW(ssp, esp, sp_mask, error_code); 783eaa728eeSbellard } 784eaa728eeSbellard } 785eaa728eeSbellard 786fd460606SKevin O'Connor /* interrupt gate clear IF mask */ 787fd460606SKevin O'Connor if ((type & 1) == 0) { 788fd460606SKevin O'Connor env->eflags &= ~IF_MASK; 789fd460606SKevin O'Connor } 790fd460606SKevin O'Connor env->eflags &= ~(TF_MASK | VM_MASK | RF_MASK | NT_MASK); 791fd460606SKevin O'Connor 792eaa728eeSbellard if (new_stack) { 79387446327SKevin O'Connor if (vm86) { 794eaa728eeSbellard cpu_x86_load_seg_cache(env, R_ES, 0, 0, 0, 0); 795eaa728eeSbellard cpu_x86_load_seg_cache(env, R_DS, 0, 0, 0, 0); 796eaa728eeSbellard cpu_x86_load_seg_cache(env, R_FS, 0, 0, 0, 0); 797eaa728eeSbellard cpu_x86_load_seg_cache(env, R_GS, 0, 0, 0, 0); 798eaa728eeSbellard } 799eaa728eeSbellard ss = (ss & ~3) | dpl; 800eaa728eeSbellard cpu_x86_load_seg_cache(env, R_SS, ss, 801eaa728eeSbellard ssp, get_seg_limit(ss_e1, ss_e2), ss_e2); 802eaa728eeSbellard } 803eaa728eeSbellard SET_ESP(esp, sp_mask); 804eaa728eeSbellard 805eaa728eeSbellard selector = (selector & ~3) | dpl; 806eaa728eeSbellard cpu_x86_load_seg_cache(env, R_CS, selector, 807eaa728eeSbellard get_seg_base(e1, e2), 808eaa728eeSbellard get_seg_limit(e1, e2), 809eaa728eeSbellard e2); 810eaa728eeSbellard env->eip = offset; 811eaa728eeSbellard } 812eaa728eeSbellard 813eaa728eeSbellard #ifdef TARGET_X86_64 814eaa728eeSbellard 815100ec099SPavel Dovgalyuk #define PUSHQ_RA(sp, val, ra) \ 816eaa728eeSbellard { \ 817eaa728eeSbellard sp -= 8; \ 818100ec099SPavel Dovgalyuk cpu_stq_kernel_ra(env, sp, (val), ra); \ 819eaa728eeSbellard } 820eaa728eeSbellard 821100ec099SPavel Dovgalyuk #define POPQ_RA(sp, val, ra) \ 822eaa728eeSbellard { \ 823100ec099SPavel Dovgalyuk val = cpu_ldq_kernel_ra(env, sp, ra); \ 824eaa728eeSbellard sp += 8; \ 825eaa728eeSbellard } 826eaa728eeSbellard 827100ec099SPavel Dovgalyuk #define PUSHQ(sp, val) PUSHQ_RA(sp, val, 0) 828100ec099SPavel Dovgalyuk #define POPQ(sp, val) POPQ_RA(sp, val, 0) 829100ec099SPavel Dovgalyuk 8302999a0b2SBlue Swirl static inline target_ulong get_rsp_from_tss(CPUX86State *env, int level) 831eaa728eeSbellard { 8326aa9e42fSRichard Henderson X86CPU *cpu = env_archcpu(env); 833*50fcc7cbSGareth Webb int index, pg_mode; 834*50fcc7cbSGareth Webb target_ulong rsp; 835*50fcc7cbSGareth Webb int32_t sext; 836eaa728eeSbellard 837eaa728eeSbellard #if 0 838eaa728eeSbellard printf("TR: base=" TARGET_FMT_lx " limit=%x\n", 839eaa728eeSbellard env->tr.base, env->tr.limit); 840eaa728eeSbellard #endif 841eaa728eeSbellard 84220054ef0SBlue Swirl if (!(env->tr.flags & DESC_P_MASK)) { 843a47dddd7SAndreas Färber cpu_abort(CPU(cpu), "invalid tss"); 84420054ef0SBlue Swirl } 845eaa728eeSbellard index = 8 * level + 4; 84620054ef0SBlue Swirl if ((index + 7) > env->tr.limit) { 84777b2bc2cSBlue Swirl raise_exception_err(env, EXCP0A_TSS, env->tr.selector & 0xfffc); 84820054ef0SBlue Swirl } 849*50fcc7cbSGareth Webb 850*50fcc7cbSGareth Webb rsp = cpu_ldq_kernel(env, env->tr.base + index); 851*50fcc7cbSGareth Webb 852*50fcc7cbSGareth Webb /* test virtual address sign extension */ 853*50fcc7cbSGareth Webb pg_mode = get_pg_mode(env); 854*50fcc7cbSGareth Webb sext = (int64_t)rsp >> (pg_mode & PG_MODE_LA57 ? 56 : 47); 855*50fcc7cbSGareth Webb if (sext != 0 && sext != -1) { 856*50fcc7cbSGareth Webb raise_exception_err(env, EXCP0C_STACK, 0); 857*50fcc7cbSGareth Webb } 858*50fcc7cbSGareth Webb 859*50fcc7cbSGareth Webb return rsp; 860eaa728eeSbellard } 861eaa728eeSbellard 862eaa728eeSbellard /* 64 bit interrupt */ 8632999a0b2SBlue Swirl static void do_interrupt64(CPUX86State *env, int intno, int is_int, 8642999a0b2SBlue Swirl int error_code, target_ulong next_eip, int is_hw) 865eaa728eeSbellard { 866eaa728eeSbellard SegmentCache *dt; 867eaa728eeSbellard target_ulong ptr; 868eaa728eeSbellard int type, dpl, selector, cpl, ist; 869eaa728eeSbellard int has_error_code, new_stack; 870eaa728eeSbellard uint32_t e1, e2, e3, ss; 871eaa728eeSbellard target_ulong old_eip, esp, offset; 872eaa728eeSbellard 873eaa728eeSbellard has_error_code = 0; 87420054ef0SBlue Swirl if (!is_int && !is_hw) { 87520054ef0SBlue Swirl has_error_code = exception_has_error_code(intno); 87620054ef0SBlue Swirl } 87720054ef0SBlue Swirl if (is_int) { 878eaa728eeSbellard old_eip = next_eip; 87920054ef0SBlue Swirl } else { 880eaa728eeSbellard old_eip = env->eip; 88120054ef0SBlue Swirl } 882eaa728eeSbellard 883eaa728eeSbellard dt = &env->idt; 88420054ef0SBlue Swirl if (intno * 16 + 15 > dt->limit) { 88577b2bc2cSBlue Swirl raise_exception_err(env, EXCP0D_GPF, intno * 16 + 2); 88620054ef0SBlue Swirl } 887eaa728eeSbellard ptr = dt->base + intno * 16; 888329e607dSBlue Swirl e1 = cpu_ldl_kernel(env, ptr); 889329e607dSBlue Swirl e2 = cpu_ldl_kernel(env, ptr + 4); 890329e607dSBlue Swirl e3 = cpu_ldl_kernel(env, ptr + 8); 891eaa728eeSbellard /* check gate type */ 892eaa728eeSbellard type = (e2 >> DESC_TYPE_SHIFT) & 0x1f; 893eaa728eeSbellard switch (type) { 894eaa728eeSbellard case 14: /* 386 interrupt gate */ 895eaa728eeSbellard case 15: /* 386 trap gate */ 896eaa728eeSbellard break; 897eaa728eeSbellard default: 89877b2bc2cSBlue Swirl raise_exception_err(env, EXCP0D_GPF, intno * 16 + 2); 899eaa728eeSbellard break; 900eaa728eeSbellard } 901eaa728eeSbellard dpl = (e2 >> DESC_DPL_SHIFT) & 3; 902eaa728eeSbellard cpl = env->hflags & HF_CPL_MASK; 9031235fc06Sths /* check privilege if software int */ 90420054ef0SBlue Swirl if (is_int && dpl < cpl) { 90577b2bc2cSBlue Swirl raise_exception_err(env, EXCP0D_GPF, intno * 16 + 2); 90620054ef0SBlue Swirl } 907eaa728eeSbellard /* check valid bit */ 90820054ef0SBlue Swirl if (!(e2 & DESC_P_MASK)) { 90977b2bc2cSBlue Swirl raise_exception_err(env, EXCP0B_NOSEG, intno * 16 + 2); 91020054ef0SBlue Swirl } 911eaa728eeSbellard selector = e1 >> 16; 912eaa728eeSbellard offset = ((target_ulong)e3 << 32) | (e2 & 0xffff0000) | (e1 & 0x0000ffff); 913eaa728eeSbellard ist = e2 & 7; 91420054ef0SBlue Swirl if ((selector & 0xfffc) == 0) { 91577b2bc2cSBlue Swirl raise_exception_err(env, EXCP0D_GPF, 0); 91620054ef0SBlue Swirl } 917eaa728eeSbellard 9182999a0b2SBlue Swirl if (load_segment(env, &e1, &e2, selector) != 0) { 91977b2bc2cSBlue Swirl raise_exception_err(env, EXCP0D_GPF, selector & 0xfffc); 92020054ef0SBlue Swirl } 92120054ef0SBlue Swirl if (!(e2 & DESC_S_MASK) || !(e2 & (DESC_CS_MASK))) { 92277b2bc2cSBlue Swirl raise_exception_err(env, EXCP0D_GPF, selector & 0xfffc); 92320054ef0SBlue Swirl } 924eaa728eeSbellard dpl = (e2 >> DESC_DPL_SHIFT) & 3; 92520054ef0SBlue Swirl if (dpl > cpl) { 92677b2bc2cSBlue Swirl raise_exception_err(env, EXCP0D_GPF, selector & 0xfffc); 92720054ef0SBlue Swirl } 92820054ef0SBlue Swirl if (!(e2 & DESC_P_MASK)) { 92977b2bc2cSBlue Swirl raise_exception_err(env, EXCP0B_NOSEG, selector & 0xfffc); 93020054ef0SBlue Swirl } 93120054ef0SBlue Swirl if (!(e2 & DESC_L_MASK) || (e2 & DESC_B_MASK)) { 93277b2bc2cSBlue Swirl raise_exception_err(env, EXCP0D_GPF, selector & 0xfffc); 93320054ef0SBlue Swirl } 9341110bfe6SPaolo Bonzini if (e2 & DESC_C_MASK) { 9351110bfe6SPaolo Bonzini dpl = cpl; 9361110bfe6SPaolo Bonzini } 9371110bfe6SPaolo Bonzini if (dpl < cpl || ist != 0) { 938eaa728eeSbellard /* to inner privilege */ 939eaa728eeSbellard new_stack = 1; 940ae67dc72SPaolo Bonzini esp = get_rsp_from_tss(env, ist != 0 ? ist + 3 : dpl); 941ae67dc72SPaolo Bonzini ss = 0; 9421110bfe6SPaolo Bonzini } else { 943eaa728eeSbellard /* to same privilege */ 94420054ef0SBlue Swirl if (env->eflags & VM_MASK) { 94577b2bc2cSBlue Swirl raise_exception_err(env, EXCP0D_GPF, selector & 0xfffc); 94620054ef0SBlue Swirl } 947eaa728eeSbellard new_stack = 0; 94808b3ded6Sliguang esp = env->regs[R_ESP]; 949e95e9b88SWu Xiang } 950ae67dc72SPaolo Bonzini esp &= ~0xfLL; /* align stack */ 951eaa728eeSbellard 952eaa728eeSbellard PUSHQ(esp, env->segs[R_SS].selector); 95308b3ded6Sliguang PUSHQ(esp, env->regs[R_ESP]); 954997ff0d9SBlue Swirl PUSHQ(esp, cpu_compute_eflags(env)); 955eaa728eeSbellard PUSHQ(esp, env->segs[R_CS].selector); 956eaa728eeSbellard PUSHQ(esp, old_eip); 957eaa728eeSbellard if (has_error_code) { 958eaa728eeSbellard PUSHQ(esp, error_code); 959eaa728eeSbellard } 960eaa728eeSbellard 961fd460606SKevin O'Connor /* interrupt gate clear IF mask */ 962fd460606SKevin O'Connor if ((type & 1) == 0) { 963fd460606SKevin O'Connor env->eflags &= ~IF_MASK; 964fd460606SKevin O'Connor } 965fd460606SKevin O'Connor env->eflags &= ~(TF_MASK | VM_MASK | RF_MASK | NT_MASK); 966fd460606SKevin O'Connor 967eaa728eeSbellard if (new_stack) { 968eaa728eeSbellard ss = 0 | dpl; 969e95e9b88SWu Xiang cpu_x86_load_seg_cache(env, R_SS, ss, 0, 0, dpl << DESC_DPL_SHIFT); 970eaa728eeSbellard } 97108b3ded6Sliguang env->regs[R_ESP] = esp; 972eaa728eeSbellard 973eaa728eeSbellard selector = (selector & ~3) | dpl; 974eaa728eeSbellard cpu_x86_load_seg_cache(env, R_CS, selector, 975eaa728eeSbellard get_seg_base(e1, e2), 976eaa728eeSbellard get_seg_limit(e1, e2), 977eaa728eeSbellard e2); 978eaa728eeSbellard env->eip = offset; 979eaa728eeSbellard } 980eaa728eeSbellard 9812999a0b2SBlue Swirl void helper_sysret(CPUX86State *env, int dflag) 982eaa728eeSbellard { 983eaa728eeSbellard int cpl, selector; 984eaa728eeSbellard 985eaa728eeSbellard if (!(env->efer & MSR_EFER_SCE)) { 986100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP06_ILLOP, 0, GETPC()); 987eaa728eeSbellard } 988eaa728eeSbellard cpl = env->hflags & HF_CPL_MASK; 989eaa728eeSbellard if (!(env->cr[0] & CR0_PE_MASK) || cpl != 0) { 990100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0D_GPF, 0, GETPC()); 991eaa728eeSbellard } 992eaa728eeSbellard selector = (env->star >> 48) & 0xffff; 993eaa728eeSbellard if (env->hflags & HF_LMA_MASK) { 994fd460606SKevin O'Connor cpu_load_eflags(env, (uint32_t)(env->regs[11]), TF_MASK | AC_MASK 995fd460606SKevin O'Connor | ID_MASK | IF_MASK | IOPL_MASK | VM_MASK | RF_MASK | 996fd460606SKevin O'Connor NT_MASK); 997eaa728eeSbellard if (dflag == 2) { 998eaa728eeSbellard cpu_x86_load_seg_cache(env, R_CS, (selector + 16) | 3, 999eaa728eeSbellard 0, 0xffffffff, 1000eaa728eeSbellard DESC_G_MASK | DESC_P_MASK | 1001eaa728eeSbellard DESC_S_MASK | (3 << DESC_DPL_SHIFT) | 1002eaa728eeSbellard DESC_CS_MASK | DESC_R_MASK | DESC_A_MASK | 1003eaa728eeSbellard DESC_L_MASK); 1004a4165610Sliguang env->eip = env->regs[R_ECX]; 1005eaa728eeSbellard } else { 1006eaa728eeSbellard cpu_x86_load_seg_cache(env, R_CS, selector | 3, 1007eaa728eeSbellard 0, 0xffffffff, 1008eaa728eeSbellard DESC_G_MASK | DESC_B_MASK | DESC_P_MASK | 1009eaa728eeSbellard DESC_S_MASK | (3 << DESC_DPL_SHIFT) | 1010eaa728eeSbellard DESC_CS_MASK | DESC_R_MASK | DESC_A_MASK); 1011a4165610Sliguang env->eip = (uint32_t)env->regs[R_ECX]; 1012eaa728eeSbellard } 1013ac576229SBill Paul cpu_x86_load_seg_cache(env, R_SS, (selector + 8) | 3, 1014eaa728eeSbellard 0, 0xffffffff, 1015eaa728eeSbellard DESC_G_MASK | DESC_B_MASK | DESC_P_MASK | 1016eaa728eeSbellard DESC_S_MASK | (3 << DESC_DPL_SHIFT) | 1017eaa728eeSbellard DESC_W_MASK | DESC_A_MASK); 1018d9957a8bSblueswir1 } else { 1019fd460606SKevin O'Connor env->eflags |= IF_MASK; 1020eaa728eeSbellard cpu_x86_load_seg_cache(env, R_CS, selector | 3, 1021eaa728eeSbellard 0, 0xffffffff, 1022eaa728eeSbellard DESC_G_MASK | DESC_B_MASK | DESC_P_MASK | 1023eaa728eeSbellard DESC_S_MASK | (3 << DESC_DPL_SHIFT) | 1024eaa728eeSbellard DESC_CS_MASK | DESC_R_MASK | DESC_A_MASK); 1025a4165610Sliguang env->eip = (uint32_t)env->regs[R_ECX]; 1026ac576229SBill Paul cpu_x86_load_seg_cache(env, R_SS, (selector + 8) | 3, 1027eaa728eeSbellard 0, 0xffffffff, 1028eaa728eeSbellard DESC_G_MASK | DESC_B_MASK | DESC_P_MASK | 1029eaa728eeSbellard DESC_S_MASK | (3 << DESC_DPL_SHIFT) | 1030eaa728eeSbellard DESC_W_MASK | DESC_A_MASK); 1031eaa728eeSbellard } 1032eaa728eeSbellard } 103330ca3924SPhilippe Mathieu-Daudé #endif /* TARGET_X86_64 */ 1034eaa728eeSbellard 1035eaa728eeSbellard /* real mode interrupt */ 10362999a0b2SBlue Swirl static void do_interrupt_real(CPUX86State *env, int intno, int is_int, 10372999a0b2SBlue Swirl int error_code, unsigned int next_eip) 1038eaa728eeSbellard { 1039eaa728eeSbellard SegmentCache *dt; 1040eaa728eeSbellard target_ulong ptr, ssp; 1041eaa728eeSbellard int selector; 1042eaa728eeSbellard uint32_t offset, esp; 1043eaa728eeSbellard uint32_t old_cs, old_eip; 1044eaa728eeSbellard 1045eaa728eeSbellard /* real mode (simpler!) */ 1046eaa728eeSbellard dt = &env->idt; 104720054ef0SBlue Swirl if (intno * 4 + 3 > dt->limit) { 104877b2bc2cSBlue Swirl raise_exception_err(env, EXCP0D_GPF, intno * 8 + 2); 104920054ef0SBlue Swirl } 1050eaa728eeSbellard ptr = dt->base + intno * 4; 1051329e607dSBlue Swirl offset = cpu_lduw_kernel(env, ptr); 1052329e607dSBlue Swirl selector = cpu_lduw_kernel(env, ptr + 2); 105308b3ded6Sliguang esp = env->regs[R_ESP]; 1054eaa728eeSbellard ssp = env->segs[R_SS].base; 105520054ef0SBlue Swirl if (is_int) { 1056eaa728eeSbellard old_eip = next_eip; 105720054ef0SBlue Swirl } else { 1058eaa728eeSbellard old_eip = env->eip; 105920054ef0SBlue Swirl } 1060eaa728eeSbellard old_cs = env->segs[R_CS].selector; 1061eaa728eeSbellard /* XXX: use SS segment size? */ 1062997ff0d9SBlue Swirl PUSHW(ssp, esp, 0xffff, cpu_compute_eflags(env)); 1063eaa728eeSbellard PUSHW(ssp, esp, 0xffff, old_cs); 1064eaa728eeSbellard PUSHW(ssp, esp, 0xffff, old_eip); 1065eaa728eeSbellard 1066eaa728eeSbellard /* update processor state */ 106708b3ded6Sliguang env->regs[R_ESP] = (env->regs[R_ESP] & ~0xffff) | (esp & 0xffff); 1068eaa728eeSbellard env->eip = offset; 1069eaa728eeSbellard env->segs[R_CS].selector = selector; 1070eaa728eeSbellard env->segs[R_CS].base = (selector << 4); 1071eaa728eeSbellard env->eflags &= ~(IF_MASK | TF_MASK | AC_MASK | RF_MASK); 1072eaa728eeSbellard } 1073eaa728eeSbellard 1074eaa728eeSbellard /* 1075eaa728eeSbellard * Begin execution of an interruption. is_int is TRUE if coming from 1076a78d0eabSliguang * the int instruction. next_eip is the env->eip value AFTER the interrupt 1077eaa728eeSbellard * instruction. It is only relevant if is_int is TRUE. 1078eaa728eeSbellard */ 107930493a03SClaudio Fontana void do_interrupt_all(X86CPU *cpu, int intno, int is_int, 10802999a0b2SBlue Swirl int error_code, target_ulong next_eip, int is_hw) 1081eaa728eeSbellard { 1082ca4c810aSAndreas Färber CPUX86State *env = &cpu->env; 1083ca4c810aSAndreas Färber 10848fec2b8cSaliguori if (qemu_loglevel_mask(CPU_LOG_INT)) { 1085eaa728eeSbellard if ((env->cr[0] & CR0_PE_MASK)) { 1086eaa728eeSbellard static int count; 108720054ef0SBlue Swirl 108820054ef0SBlue Swirl qemu_log("%6d: v=%02x e=%04x i=%d cpl=%d IP=%04x:" TARGET_FMT_lx 108920054ef0SBlue Swirl " pc=" TARGET_FMT_lx " SP=%04x:" TARGET_FMT_lx, 1090eaa728eeSbellard count, intno, error_code, is_int, 1091eaa728eeSbellard env->hflags & HF_CPL_MASK, 1092a78d0eabSliguang env->segs[R_CS].selector, env->eip, 1093a78d0eabSliguang (int)env->segs[R_CS].base + env->eip, 109408b3ded6Sliguang env->segs[R_SS].selector, env->regs[R_ESP]); 1095eaa728eeSbellard if (intno == 0x0e) { 109693fcfe39Saliguori qemu_log(" CR2=" TARGET_FMT_lx, env->cr[2]); 1097eaa728eeSbellard } else { 10984b34e3adSliguang qemu_log(" env->regs[R_EAX]=" TARGET_FMT_lx, env->regs[R_EAX]); 1099eaa728eeSbellard } 110093fcfe39Saliguori qemu_log("\n"); 1101a0762859SAndreas Färber log_cpu_state(CPU(cpu), CPU_DUMP_CCOP); 1102eaa728eeSbellard #if 0 1103eaa728eeSbellard { 1104eaa728eeSbellard int i; 11059bd5494eSAdam Lackorzynski target_ulong ptr; 110620054ef0SBlue Swirl 110793fcfe39Saliguori qemu_log(" code="); 1108eaa728eeSbellard ptr = env->segs[R_CS].base + env->eip; 1109eaa728eeSbellard for (i = 0; i < 16; i++) { 111093fcfe39Saliguori qemu_log(" %02x", ldub(ptr + i)); 1111eaa728eeSbellard } 111293fcfe39Saliguori qemu_log("\n"); 1113eaa728eeSbellard } 1114eaa728eeSbellard #endif 1115eaa728eeSbellard count++; 1116eaa728eeSbellard } 1117eaa728eeSbellard } 1118eaa728eeSbellard if (env->cr[0] & CR0_PE_MASK) { 111900ea18d1Saliguori #if !defined(CONFIG_USER_ONLY) 1120f8dc4c64SPaolo Bonzini if (env->hflags & HF_GUEST_MASK) { 11212999a0b2SBlue Swirl handle_even_inj(env, intno, is_int, error_code, is_hw, 0); 112220054ef0SBlue Swirl } 112300ea18d1Saliguori #endif 1124eb38c52cSblueswir1 #ifdef TARGET_X86_64 1125eaa728eeSbellard if (env->hflags & HF_LMA_MASK) { 11262999a0b2SBlue Swirl do_interrupt64(env, intno, is_int, error_code, next_eip, is_hw); 1127eaa728eeSbellard } else 1128eaa728eeSbellard #endif 1129eaa728eeSbellard { 11302999a0b2SBlue Swirl do_interrupt_protected(env, intno, is_int, error_code, next_eip, 11312999a0b2SBlue Swirl is_hw); 1132eaa728eeSbellard } 1133eaa728eeSbellard } else { 113400ea18d1Saliguori #if !defined(CONFIG_USER_ONLY) 1135f8dc4c64SPaolo Bonzini if (env->hflags & HF_GUEST_MASK) { 11362999a0b2SBlue Swirl handle_even_inj(env, intno, is_int, error_code, is_hw, 1); 113720054ef0SBlue Swirl } 113800ea18d1Saliguori #endif 11392999a0b2SBlue Swirl do_interrupt_real(env, intno, is_int, error_code, next_eip); 1140eaa728eeSbellard } 11412ed51f5bSaliguori 114200ea18d1Saliguori #if !defined(CONFIG_USER_ONLY) 1143f8dc4c64SPaolo Bonzini if (env->hflags & HF_GUEST_MASK) { 1144fdfba1a2SEdgar E. Iglesias CPUState *cs = CPU(cpu); 1145b216aa6cSPaolo Bonzini uint32_t event_inj = x86_ldl_phys(cs, env->vm_vmcb + 114620054ef0SBlue Swirl offsetof(struct vmcb, 114720054ef0SBlue Swirl control.event_inj)); 114820054ef0SBlue Swirl 1149b216aa6cSPaolo Bonzini x86_stl_phys(cs, 1150ab1da857SEdgar E. Iglesias env->vm_vmcb + offsetof(struct vmcb, control.event_inj), 115120054ef0SBlue Swirl event_inj & ~SVM_EVTINJ_VALID); 11522ed51f5bSaliguori } 115300ea18d1Saliguori #endif 1154eaa728eeSbellard } 1155eaa728eeSbellard 11562999a0b2SBlue Swirl void do_interrupt_x86_hardirq(CPUX86State *env, int intno, int is_hw) 1157e694d4e2SBlue Swirl { 11586aa9e42fSRichard Henderson do_interrupt_all(env_archcpu(env), intno, 0, 0, 0, is_hw); 1159e694d4e2SBlue Swirl } 1160e694d4e2SBlue Swirl 11612999a0b2SBlue Swirl void helper_lldt(CPUX86State *env, int selector) 1162eaa728eeSbellard { 1163eaa728eeSbellard SegmentCache *dt; 1164eaa728eeSbellard uint32_t e1, e2; 1165eaa728eeSbellard int index, entry_limit; 1166eaa728eeSbellard target_ulong ptr; 1167eaa728eeSbellard 1168eaa728eeSbellard selector &= 0xffff; 1169eaa728eeSbellard if ((selector & 0xfffc) == 0) { 1170eaa728eeSbellard /* XXX: NULL selector case: invalid LDT */ 1171eaa728eeSbellard env->ldt.base = 0; 1172eaa728eeSbellard env->ldt.limit = 0; 1173eaa728eeSbellard } else { 117420054ef0SBlue Swirl if (selector & 0x4) { 1175100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC()); 117620054ef0SBlue Swirl } 1177eaa728eeSbellard dt = &env->gdt; 1178eaa728eeSbellard index = selector & ~7; 1179eaa728eeSbellard #ifdef TARGET_X86_64 118020054ef0SBlue Swirl if (env->hflags & HF_LMA_MASK) { 1181eaa728eeSbellard entry_limit = 15; 118220054ef0SBlue Swirl } else 1183eaa728eeSbellard #endif 118420054ef0SBlue Swirl { 1185eaa728eeSbellard entry_limit = 7; 118620054ef0SBlue Swirl } 118720054ef0SBlue Swirl if ((index + entry_limit) > dt->limit) { 1188100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC()); 118920054ef0SBlue Swirl } 1190eaa728eeSbellard ptr = dt->base + index; 1191100ec099SPavel Dovgalyuk e1 = cpu_ldl_kernel_ra(env, ptr, GETPC()); 1192100ec099SPavel Dovgalyuk e2 = cpu_ldl_kernel_ra(env, ptr + 4, GETPC()); 119320054ef0SBlue Swirl if ((e2 & DESC_S_MASK) || ((e2 >> DESC_TYPE_SHIFT) & 0xf) != 2) { 1194100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC()); 119520054ef0SBlue Swirl } 119620054ef0SBlue Swirl if (!(e2 & DESC_P_MASK)) { 1197100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0B_NOSEG, selector & 0xfffc, GETPC()); 119820054ef0SBlue Swirl } 1199eaa728eeSbellard #ifdef TARGET_X86_64 1200eaa728eeSbellard if (env->hflags & HF_LMA_MASK) { 1201eaa728eeSbellard uint32_t e3; 120220054ef0SBlue Swirl 1203100ec099SPavel Dovgalyuk e3 = cpu_ldl_kernel_ra(env, ptr + 8, GETPC()); 1204eaa728eeSbellard load_seg_cache_raw_dt(&env->ldt, e1, e2); 1205eaa728eeSbellard env->ldt.base |= (target_ulong)e3 << 32; 1206eaa728eeSbellard } else 1207eaa728eeSbellard #endif 1208eaa728eeSbellard { 1209eaa728eeSbellard load_seg_cache_raw_dt(&env->ldt, e1, e2); 1210eaa728eeSbellard } 1211eaa728eeSbellard } 1212eaa728eeSbellard env->ldt.selector = selector; 1213eaa728eeSbellard } 1214eaa728eeSbellard 12152999a0b2SBlue Swirl void helper_ltr(CPUX86State *env, int selector) 1216eaa728eeSbellard { 1217eaa728eeSbellard SegmentCache *dt; 1218eaa728eeSbellard uint32_t e1, e2; 1219eaa728eeSbellard int index, type, entry_limit; 1220eaa728eeSbellard target_ulong ptr; 1221eaa728eeSbellard 1222eaa728eeSbellard selector &= 0xffff; 1223eaa728eeSbellard if ((selector & 0xfffc) == 0) { 1224eaa728eeSbellard /* NULL selector case: invalid TR */ 1225eaa728eeSbellard env->tr.base = 0; 1226eaa728eeSbellard env->tr.limit = 0; 1227eaa728eeSbellard env->tr.flags = 0; 1228eaa728eeSbellard } else { 122920054ef0SBlue Swirl if (selector & 0x4) { 1230100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC()); 123120054ef0SBlue Swirl } 1232eaa728eeSbellard dt = &env->gdt; 1233eaa728eeSbellard index = selector & ~7; 1234eaa728eeSbellard #ifdef TARGET_X86_64 123520054ef0SBlue Swirl if (env->hflags & HF_LMA_MASK) { 1236eaa728eeSbellard entry_limit = 15; 123720054ef0SBlue Swirl } else 1238eaa728eeSbellard #endif 123920054ef0SBlue Swirl { 1240eaa728eeSbellard entry_limit = 7; 124120054ef0SBlue Swirl } 124220054ef0SBlue Swirl if ((index + entry_limit) > dt->limit) { 1243100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC()); 124420054ef0SBlue Swirl } 1245eaa728eeSbellard ptr = dt->base + index; 1246100ec099SPavel Dovgalyuk e1 = cpu_ldl_kernel_ra(env, ptr, GETPC()); 1247100ec099SPavel Dovgalyuk e2 = cpu_ldl_kernel_ra(env, ptr + 4, GETPC()); 1248eaa728eeSbellard type = (e2 >> DESC_TYPE_SHIFT) & 0xf; 1249eaa728eeSbellard if ((e2 & DESC_S_MASK) || 125020054ef0SBlue Swirl (type != 1 && type != 9)) { 1251100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC()); 125220054ef0SBlue Swirl } 125320054ef0SBlue Swirl if (!(e2 & DESC_P_MASK)) { 1254100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0B_NOSEG, selector & 0xfffc, GETPC()); 125520054ef0SBlue Swirl } 1256eaa728eeSbellard #ifdef TARGET_X86_64 1257eaa728eeSbellard if (env->hflags & HF_LMA_MASK) { 1258eaa728eeSbellard uint32_t e3, e4; 125920054ef0SBlue Swirl 1260100ec099SPavel Dovgalyuk e3 = cpu_ldl_kernel_ra(env, ptr + 8, GETPC()); 1261100ec099SPavel Dovgalyuk e4 = cpu_ldl_kernel_ra(env, ptr + 12, GETPC()); 126220054ef0SBlue Swirl if ((e4 >> DESC_TYPE_SHIFT) & 0xf) { 1263100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC()); 126420054ef0SBlue Swirl } 1265eaa728eeSbellard load_seg_cache_raw_dt(&env->tr, e1, e2); 1266eaa728eeSbellard env->tr.base |= (target_ulong)e3 << 32; 1267eaa728eeSbellard } else 1268eaa728eeSbellard #endif 1269eaa728eeSbellard { 1270eaa728eeSbellard load_seg_cache_raw_dt(&env->tr, e1, e2); 1271eaa728eeSbellard } 1272eaa728eeSbellard e2 |= DESC_TSS_BUSY_MASK; 1273100ec099SPavel Dovgalyuk cpu_stl_kernel_ra(env, ptr + 4, e2, GETPC()); 1274eaa728eeSbellard } 1275eaa728eeSbellard env->tr.selector = selector; 1276eaa728eeSbellard } 1277eaa728eeSbellard 1278eaa728eeSbellard /* only works if protected mode and not VM86. seg_reg must be != R_CS */ 12792999a0b2SBlue Swirl void helper_load_seg(CPUX86State *env, int seg_reg, int selector) 1280eaa728eeSbellard { 1281eaa728eeSbellard uint32_t e1, e2; 1282eaa728eeSbellard int cpl, dpl, rpl; 1283eaa728eeSbellard SegmentCache *dt; 1284eaa728eeSbellard int index; 1285eaa728eeSbellard target_ulong ptr; 1286eaa728eeSbellard 1287eaa728eeSbellard selector &= 0xffff; 1288eaa728eeSbellard cpl = env->hflags & HF_CPL_MASK; 1289eaa728eeSbellard if ((selector & 0xfffc) == 0) { 1290eaa728eeSbellard /* null selector case */ 1291eaa728eeSbellard if (seg_reg == R_SS 1292eaa728eeSbellard #ifdef TARGET_X86_64 1293eaa728eeSbellard && (!(env->hflags & HF_CS64_MASK) || cpl == 3) 1294eaa728eeSbellard #endif 129520054ef0SBlue Swirl ) { 1296100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0D_GPF, 0, GETPC()); 129720054ef0SBlue Swirl } 1298eaa728eeSbellard cpu_x86_load_seg_cache(env, seg_reg, selector, 0, 0, 0); 1299eaa728eeSbellard } else { 1300eaa728eeSbellard 130120054ef0SBlue Swirl if (selector & 0x4) { 1302eaa728eeSbellard dt = &env->ldt; 130320054ef0SBlue Swirl } else { 1304eaa728eeSbellard dt = &env->gdt; 130520054ef0SBlue Swirl } 1306eaa728eeSbellard index = selector & ~7; 130720054ef0SBlue Swirl if ((index + 7) > dt->limit) { 1308100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC()); 130920054ef0SBlue Swirl } 1310eaa728eeSbellard ptr = dt->base + index; 1311100ec099SPavel Dovgalyuk e1 = cpu_ldl_kernel_ra(env, ptr, GETPC()); 1312100ec099SPavel Dovgalyuk e2 = cpu_ldl_kernel_ra(env, ptr + 4, GETPC()); 1313eaa728eeSbellard 131420054ef0SBlue Swirl if (!(e2 & DESC_S_MASK)) { 1315100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC()); 131620054ef0SBlue Swirl } 1317eaa728eeSbellard rpl = selector & 3; 1318eaa728eeSbellard dpl = (e2 >> DESC_DPL_SHIFT) & 3; 1319eaa728eeSbellard if (seg_reg == R_SS) { 1320eaa728eeSbellard /* must be writable segment */ 132120054ef0SBlue Swirl if ((e2 & DESC_CS_MASK) || !(e2 & DESC_W_MASK)) { 1322100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC()); 132320054ef0SBlue Swirl } 132420054ef0SBlue Swirl if (rpl != cpl || dpl != cpl) { 1325100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC()); 132620054ef0SBlue Swirl } 1327eaa728eeSbellard } else { 1328eaa728eeSbellard /* must be readable segment */ 132920054ef0SBlue Swirl if ((e2 & (DESC_CS_MASK | DESC_R_MASK)) == DESC_CS_MASK) { 1330100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC()); 133120054ef0SBlue Swirl } 1332eaa728eeSbellard 1333eaa728eeSbellard if (!(e2 & DESC_CS_MASK) || !(e2 & DESC_C_MASK)) { 1334eaa728eeSbellard /* if not conforming code, test rights */ 133520054ef0SBlue Swirl if (dpl < cpl || dpl < rpl) { 1336100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC()); 1337eaa728eeSbellard } 1338eaa728eeSbellard } 133920054ef0SBlue Swirl } 1340eaa728eeSbellard 1341eaa728eeSbellard if (!(e2 & DESC_P_MASK)) { 134220054ef0SBlue Swirl if (seg_reg == R_SS) { 1343100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0C_STACK, selector & 0xfffc, GETPC()); 134420054ef0SBlue Swirl } else { 1345100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0B_NOSEG, selector & 0xfffc, GETPC()); 1346eaa728eeSbellard } 134720054ef0SBlue Swirl } 1348eaa728eeSbellard 1349eaa728eeSbellard /* set the access bit if not already set */ 1350eaa728eeSbellard if (!(e2 & DESC_A_MASK)) { 1351eaa728eeSbellard e2 |= DESC_A_MASK; 1352100ec099SPavel Dovgalyuk cpu_stl_kernel_ra(env, ptr + 4, e2, GETPC()); 1353eaa728eeSbellard } 1354eaa728eeSbellard 1355eaa728eeSbellard cpu_x86_load_seg_cache(env, seg_reg, selector, 1356eaa728eeSbellard get_seg_base(e1, e2), 1357eaa728eeSbellard get_seg_limit(e1, e2), 1358eaa728eeSbellard e2); 1359eaa728eeSbellard #if 0 136093fcfe39Saliguori qemu_log("load_seg: sel=0x%04x base=0x%08lx limit=0x%08lx flags=%08x\n", 1361eaa728eeSbellard selector, (unsigned long)sc->base, sc->limit, sc->flags); 1362eaa728eeSbellard #endif 1363eaa728eeSbellard } 1364eaa728eeSbellard } 1365eaa728eeSbellard 1366eaa728eeSbellard /* protected mode jump */ 13672999a0b2SBlue Swirl void helper_ljmp_protected(CPUX86State *env, int new_cs, target_ulong new_eip, 1368100ec099SPavel Dovgalyuk target_ulong next_eip) 1369eaa728eeSbellard { 1370eaa728eeSbellard int gate_cs, type; 1371eaa728eeSbellard uint32_t e1, e2, cpl, dpl, rpl, limit; 1372eaa728eeSbellard 137320054ef0SBlue Swirl if ((new_cs & 0xfffc) == 0) { 1374100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0D_GPF, 0, GETPC()); 137520054ef0SBlue Swirl } 1376100ec099SPavel Dovgalyuk if (load_segment_ra(env, &e1, &e2, new_cs, GETPC()) != 0) { 1377100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC()); 137820054ef0SBlue Swirl } 1379eaa728eeSbellard cpl = env->hflags & HF_CPL_MASK; 1380eaa728eeSbellard if (e2 & DESC_S_MASK) { 138120054ef0SBlue Swirl if (!(e2 & DESC_CS_MASK)) { 1382100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC()); 138320054ef0SBlue Swirl } 1384eaa728eeSbellard dpl = (e2 >> DESC_DPL_SHIFT) & 3; 1385eaa728eeSbellard if (e2 & DESC_C_MASK) { 1386eaa728eeSbellard /* conforming code segment */ 138720054ef0SBlue Swirl if (dpl > cpl) { 1388100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC()); 138920054ef0SBlue Swirl } 1390eaa728eeSbellard } else { 1391eaa728eeSbellard /* non conforming code segment */ 1392eaa728eeSbellard rpl = new_cs & 3; 139320054ef0SBlue Swirl if (rpl > cpl) { 1394100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC()); 1395eaa728eeSbellard } 139620054ef0SBlue Swirl if (dpl != cpl) { 1397100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC()); 139820054ef0SBlue Swirl } 139920054ef0SBlue Swirl } 140020054ef0SBlue Swirl if (!(e2 & DESC_P_MASK)) { 1401100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0B_NOSEG, new_cs & 0xfffc, GETPC()); 140220054ef0SBlue Swirl } 1403eaa728eeSbellard limit = get_seg_limit(e1, e2); 1404eaa728eeSbellard if (new_eip > limit && 1405db7196dbSAndrew Oates (!(env->hflags & HF_LMA_MASK) || !(e2 & DESC_L_MASK))) { 1406db7196dbSAndrew Oates raise_exception_err_ra(env, EXCP0D_GPF, 0, GETPC()); 140720054ef0SBlue Swirl } 1408eaa728eeSbellard cpu_x86_load_seg_cache(env, R_CS, (new_cs & 0xfffc) | cpl, 1409eaa728eeSbellard get_seg_base(e1, e2), limit, e2); 1410a78d0eabSliguang env->eip = new_eip; 1411eaa728eeSbellard } else { 1412eaa728eeSbellard /* jump to call or task gate */ 1413eaa728eeSbellard dpl = (e2 >> DESC_DPL_SHIFT) & 3; 1414eaa728eeSbellard rpl = new_cs & 3; 1415eaa728eeSbellard cpl = env->hflags & HF_CPL_MASK; 1416eaa728eeSbellard type = (e2 >> DESC_TYPE_SHIFT) & 0xf; 14170aca0605SAndrew Oates 14180aca0605SAndrew Oates #ifdef TARGET_X86_64 14190aca0605SAndrew Oates if (env->efer & MSR_EFER_LMA) { 14200aca0605SAndrew Oates if (type != 12) { 14210aca0605SAndrew Oates raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC()); 14220aca0605SAndrew Oates } 14230aca0605SAndrew Oates } 14240aca0605SAndrew Oates #endif 1425eaa728eeSbellard switch (type) { 1426eaa728eeSbellard case 1: /* 286 TSS */ 1427eaa728eeSbellard case 9: /* 386 TSS */ 1428eaa728eeSbellard case 5: /* task gate */ 142920054ef0SBlue Swirl if (dpl < cpl || dpl < rpl) { 1430100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC()); 143120054ef0SBlue Swirl } 1432100ec099SPavel Dovgalyuk switch_tss_ra(env, new_cs, e1, e2, SWITCH_TSS_JMP, next_eip, GETPC()); 1433eaa728eeSbellard break; 1434eaa728eeSbellard case 4: /* 286 call gate */ 1435eaa728eeSbellard case 12: /* 386 call gate */ 143620054ef0SBlue Swirl if ((dpl < cpl) || (dpl < rpl)) { 1437100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC()); 143820054ef0SBlue Swirl } 143920054ef0SBlue Swirl if (!(e2 & DESC_P_MASK)) { 1440100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0B_NOSEG, new_cs & 0xfffc, GETPC()); 144120054ef0SBlue Swirl } 1442eaa728eeSbellard gate_cs = e1 >> 16; 1443eaa728eeSbellard new_eip = (e1 & 0xffff); 144420054ef0SBlue Swirl if (type == 12) { 1445eaa728eeSbellard new_eip |= (e2 & 0xffff0000); 144620054ef0SBlue Swirl } 14470aca0605SAndrew Oates 14480aca0605SAndrew Oates #ifdef TARGET_X86_64 14490aca0605SAndrew Oates if (env->efer & MSR_EFER_LMA) { 14500aca0605SAndrew Oates /* load the upper 8 bytes of the 64-bit call gate */ 14510aca0605SAndrew Oates if (load_segment_ra(env, &e1, &e2, new_cs + 8, GETPC())) { 14520aca0605SAndrew Oates raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, 14530aca0605SAndrew Oates GETPC()); 14540aca0605SAndrew Oates } 14550aca0605SAndrew Oates type = (e2 >> DESC_TYPE_SHIFT) & 0x1f; 14560aca0605SAndrew Oates if (type != 0) { 14570aca0605SAndrew Oates raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, 14580aca0605SAndrew Oates GETPC()); 14590aca0605SAndrew Oates } 14600aca0605SAndrew Oates new_eip |= ((target_ulong)e1) << 32; 14610aca0605SAndrew Oates } 14620aca0605SAndrew Oates #endif 14630aca0605SAndrew Oates 1464100ec099SPavel Dovgalyuk if (load_segment_ra(env, &e1, &e2, gate_cs, GETPC()) != 0) { 1465100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0D_GPF, gate_cs & 0xfffc, GETPC()); 146620054ef0SBlue Swirl } 1467eaa728eeSbellard dpl = (e2 >> DESC_DPL_SHIFT) & 3; 1468eaa728eeSbellard /* must be code segment */ 1469eaa728eeSbellard if (((e2 & (DESC_S_MASK | DESC_CS_MASK)) != 147020054ef0SBlue Swirl (DESC_S_MASK | DESC_CS_MASK))) { 1471100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0D_GPF, gate_cs & 0xfffc, GETPC()); 147220054ef0SBlue Swirl } 1473eaa728eeSbellard if (((e2 & DESC_C_MASK) && (dpl > cpl)) || 147420054ef0SBlue Swirl (!(e2 & DESC_C_MASK) && (dpl != cpl))) { 1475100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0D_GPF, gate_cs & 0xfffc, GETPC()); 147620054ef0SBlue Swirl } 14770aca0605SAndrew Oates #ifdef TARGET_X86_64 14780aca0605SAndrew Oates if (env->efer & MSR_EFER_LMA) { 14790aca0605SAndrew Oates if (!(e2 & DESC_L_MASK)) { 14800aca0605SAndrew Oates raise_exception_err_ra(env, EXCP0D_GPF, gate_cs & 0xfffc, GETPC()); 14810aca0605SAndrew Oates } 14820aca0605SAndrew Oates if (e2 & DESC_B_MASK) { 14830aca0605SAndrew Oates raise_exception_err_ra(env, EXCP0D_GPF, gate_cs & 0xfffc, GETPC()); 14840aca0605SAndrew Oates } 14850aca0605SAndrew Oates } 14860aca0605SAndrew Oates #endif 148720054ef0SBlue Swirl if (!(e2 & DESC_P_MASK)) { 1488100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0D_GPF, gate_cs & 0xfffc, GETPC()); 148920054ef0SBlue Swirl } 1490eaa728eeSbellard limit = get_seg_limit(e1, e2); 14910aca0605SAndrew Oates if (new_eip > limit && 14920aca0605SAndrew Oates (!(env->hflags & HF_LMA_MASK) || !(e2 & DESC_L_MASK))) { 1493100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0D_GPF, 0, GETPC()); 149420054ef0SBlue Swirl } 1495eaa728eeSbellard cpu_x86_load_seg_cache(env, R_CS, (gate_cs & 0xfffc) | cpl, 1496eaa728eeSbellard get_seg_base(e1, e2), limit, e2); 1497a78d0eabSliguang env->eip = new_eip; 1498eaa728eeSbellard break; 1499eaa728eeSbellard default: 1500100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC()); 1501eaa728eeSbellard break; 1502eaa728eeSbellard } 1503eaa728eeSbellard } 1504eaa728eeSbellard } 1505eaa728eeSbellard 1506eaa728eeSbellard /* real mode call */ 15072999a0b2SBlue Swirl void helper_lcall_real(CPUX86State *env, int new_cs, target_ulong new_eip1, 1508eaa728eeSbellard int shift, int next_eip) 1509eaa728eeSbellard { 1510eaa728eeSbellard int new_eip; 1511eaa728eeSbellard uint32_t esp, esp_mask; 1512eaa728eeSbellard target_ulong ssp; 1513eaa728eeSbellard 1514eaa728eeSbellard new_eip = new_eip1; 151508b3ded6Sliguang esp = env->regs[R_ESP]; 1516eaa728eeSbellard esp_mask = get_sp_mask(env->segs[R_SS].flags); 1517eaa728eeSbellard ssp = env->segs[R_SS].base; 1518eaa728eeSbellard if (shift) { 1519100ec099SPavel Dovgalyuk PUSHL_RA(ssp, esp, esp_mask, env->segs[R_CS].selector, GETPC()); 1520100ec099SPavel Dovgalyuk PUSHL_RA(ssp, esp, esp_mask, next_eip, GETPC()); 1521eaa728eeSbellard } else { 1522100ec099SPavel Dovgalyuk PUSHW_RA(ssp, esp, esp_mask, env->segs[R_CS].selector, GETPC()); 1523100ec099SPavel Dovgalyuk PUSHW_RA(ssp, esp, esp_mask, next_eip, GETPC()); 1524eaa728eeSbellard } 1525eaa728eeSbellard 1526eaa728eeSbellard SET_ESP(esp, esp_mask); 1527eaa728eeSbellard env->eip = new_eip; 1528eaa728eeSbellard env->segs[R_CS].selector = new_cs; 1529eaa728eeSbellard env->segs[R_CS].base = (new_cs << 4); 1530eaa728eeSbellard } 1531eaa728eeSbellard 1532eaa728eeSbellard /* protected mode call */ 15332999a0b2SBlue Swirl void helper_lcall_protected(CPUX86State *env, int new_cs, target_ulong new_eip, 1534100ec099SPavel Dovgalyuk int shift, target_ulong next_eip) 1535eaa728eeSbellard { 1536eaa728eeSbellard int new_stack, i; 15370aca0605SAndrew Oates uint32_t e1, e2, cpl, dpl, rpl, selector, param_count; 15380aca0605SAndrew Oates uint32_t ss = 0, ss_e1 = 0, ss_e2 = 0, type, ss_dpl, sp_mask; 1539eaa728eeSbellard uint32_t val, limit, old_sp_mask; 15400aca0605SAndrew Oates target_ulong ssp, old_ssp, offset, sp; 1541eaa728eeSbellard 15420aca0605SAndrew Oates LOG_PCALL("lcall %04x:" TARGET_FMT_lx " s=%d\n", new_cs, new_eip, shift); 15436aa9e42fSRichard Henderson LOG_PCALL_STATE(env_cpu(env)); 154420054ef0SBlue Swirl if ((new_cs & 0xfffc) == 0) { 1545100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0D_GPF, 0, GETPC()); 154620054ef0SBlue Swirl } 1547100ec099SPavel Dovgalyuk if (load_segment_ra(env, &e1, &e2, new_cs, GETPC()) != 0) { 1548100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC()); 154920054ef0SBlue Swirl } 1550eaa728eeSbellard cpl = env->hflags & HF_CPL_MASK; 1551d12d51d5Saliguori LOG_PCALL("desc=%08x:%08x\n", e1, e2); 1552eaa728eeSbellard if (e2 & DESC_S_MASK) { 155320054ef0SBlue Swirl if (!(e2 & DESC_CS_MASK)) { 1554100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC()); 155520054ef0SBlue Swirl } 1556eaa728eeSbellard dpl = (e2 >> DESC_DPL_SHIFT) & 3; 1557eaa728eeSbellard if (e2 & DESC_C_MASK) { 1558eaa728eeSbellard /* conforming code segment */ 155920054ef0SBlue Swirl if (dpl > cpl) { 1560100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC()); 156120054ef0SBlue Swirl } 1562eaa728eeSbellard } else { 1563eaa728eeSbellard /* non conforming code segment */ 1564eaa728eeSbellard rpl = new_cs & 3; 156520054ef0SBlue Swirl if (rpl > cpl) { 1566100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC()); 1567eaa728eeSbellard } 156820054ef0SBlue Swirl if (dpl != cpl) { 1569100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC()); 157020054ef0SBlue Swirl } 157120054ef0SBlue Swirl } 157220054ef0SBlue Swirl if (!(e2 & DESC_P_MASK)) { 1573100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0B_NOSEG, new_cs & 0xfffc, GETPC()); 157420054ef0SBlue Swirl } 1575eaa728eeSbellard 1576eaa728eeSbellard #ifdef TARGET_X86_64 1577eaa728eeSbellard /* XXX: check 16/32 bit cases in long mode */ 1578eaa728eeSbellard if (shift == 2) { 1579eaa728eeSbellard target_ulong rsp; 158020054ef0SBlue Swirl 1581eaa728eeSbellard /* 64 bit case */ 158208b3ded6Sliguang rsp = env->regs[R_ESP]; 1583100ec099SPavel Dovgalyuk PUSHQ_RA(rsp, env->segs[R_CS].selector, GETPC()); 1584100ec099SPavel Dovgalyuk PUSHQ_RA(rsp, next_eip, GETPC()); 1585eaa728eeSbellard /* from this point, not restartable */ 158608b3ded6Sliguang env->regs[R_ESP] = rsp; 1587eaa728eeSbellard cpu_x86_load_seg_cache(env, R_CS, (new_cs & 0xfffc) | cpl, 1588eaa728eeSbellard get_seg_base(e1, e2), 1589eaa728eeSbellard get_seg_limit(e1, e2), e2); 1590a78d0eabSliguang env->eip = new_eip; 1591eaa728eeSbellard } else 1592eaa728eeSbellard #endif 1593eaa728eeSbellard { 159408b3ded6Sliguang sp = env->regs[R_ESP]; 1595eaa728eeSbellard sp_mask = get_sp_mask(env->segs[R_SS].flags); 1596eaa728eeSbellard ssp = env->segs[R_SS].base; 1597eaa728eeSbellard if (shift) { 1598100ec099SPavel Dovgalyuk PUSHL_RA(ssp, sp, sp_mask, env->segs[R_CS].selector, GETPC()); 1599100ec099SPavel Dovgalyuk PUSHL_RA(ssp, sp, sp_mask, next_eip, GETPC()); 1600eaa728eeSbellard } else { 1601100ec099SPavel Dovgalyuk PUSHW_RA(ssp, sp, sp_mask, env->segs[R_CS].selector, GETPC()); 1602100ec099SPavel Dovgalyuk PUSHW_RA(ssp, sp, sp_mask, next_eip, GETPC()); 1603eaa728eeSbellard } 1604eaa728eeSbellard 1605eaa728eeSbellard limit = get_seg_limit(e1, e2); 160620054ef0SBlue Swirl if (new_eip > limit) { 1607100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC()); 160820054ef0SBlue Swirl } 1609eaa728eeSbellard /* from this point, not restartable */ 1610eaa728eeSbellard SET_ESP(sp, sp_mask); 1611eaa728eeSbellard cpu_x86_load_seg_cache(env, R_CS, (new_cs & 0xfffc) | cpl, 1612eaa728eeSbellard get_seg_base(e1, e2), limit, e2); 1613a78d0eabSliguang env->eip = new_eip; 1614eaa728eeSbellard } 1615eaa728eeSbellard } else { 1616eaa728eeSbellard /* check gate type */ 1617eaa728eeSbellard type = (e2 >> DESC_TYPE_SHIFT) & 0x1f; 1618eaa728eeSbellard dpl = (e2 >> DESC_DPL_SHIFT) & 3; 1619eaa728eeSbellard rpl = new_cs & 3; 16200aca0605SAndrew Oates 16210aca0605SAndrew Oates #ifdef TARGET_X86_64 16220aca0605SAndrew Oates if (env->efer & MSR_EFER_LMA) { 16230aca0605SAndrew Oates if (type != 12) { 16240aca0605SAndrew Oates raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC()); 16250aca0605SAndrew Oates } 16260aca0605SAndrew Oates } 16270aca0605SAndrew Oates #endif 16280aca0605SAndrew Oates 1629eaa728eeSbellard switch (type) { 1630eaa728eeSbellard case 1: /* available 286 TSS */ 1631eaa728eeSbellard case 9: /* available 386 TSS */ 1632eaa728eeSbellard case 5: /* task gate */ 163320054ef0SBlue Swirl if (dpl < cpl || dpl < rpl) { 1634100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC()); 163520054ef0SBlue Swirl } 1636100ec099SPavel Dovgalyuk switch_tss_ra(env, new_cs, e1, e2, SWITCH_TSS_CALL, next_eip, GETPC()); 1637eaa728eeSbellard return; 1638eaa728eeSbellard case 4: /* 286 call gate */ 1639eaa728eeSbellard case 12: /* 386 call gate */ 1640eaa728eeSbellard break; 1641eaa728eeSbellard default: 1642100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC()); 1643eaa728eeSbellard break; 1644eaa728eeSbellard } 1645eaa728eeSbellard shift = type >> 3; 1646eaa728eeSbellard 164720054ef0SBlue Swirl if (dpl < cpl || dpl < rpl) { 1648100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, GETPC()); 164920054ef0SBlue Swirl } 1650eaa728eeSbellard /* check valid bit */ 165120054ef0SBlue Swirl if (!(e2 & DESC_P_MASK)) { 1652100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0B_NOSEG, new_cs & 0xfffc, GETPC()); 165320054ef0SBlue Swirl } 1654eaa728eeSbellard selector = e1 >> 16; 1655eaa728eeSbellard param_count = e2 & 0x1f; 16560aca0605SAndrew Oates offset = (e2 & 0xffff0000) | (e1 & 0x0000ffff); 16570aca0605SAndrew Oates #ifdef TARGET_X86_64 16580aca0605SAndrew Oates if (env->efer & MSR_EFER_LMA) { 16590aca0605SAndrew Oates /* load the upper 8 bytes of the 64-bit call gate */ 16600aca0605SAndrew Oates if (load_segment_ra(env, &e1, &e2, new_cs + 8, GETPC())) { 16610aca0605SAndrew Oates raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, 16620aca0605SAndrew Oates GETPC()); 16630aca0605SAndrew Oates } 16640aca0605SAndrew Oates type = (e2 >> DESC_TYPE_SHIFT) & 0x1f; 16650aca0605SAndrew Oates if (type != 0) { 16660aca0605SAndrew Oates raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, 16670aca0605SAndrew Oates GETPC()); 16680aca0605SAndrew Oates } 16690aca0605SAndrew Oates offset |= ((target_ulong)e1) << 32; 16700aca0605SAndrew Oates } 16710aca0605SAndrew Oates #endif 167220054ef0SBlue Swirl if ((selector & 0xfffc) == 0) { 1673100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0D_GPF, 0, GETPC()); 167420054ef0SBlue Swirl } 1675eaa728eeSbellard 1676100ec099SPavel Dovgalyuk if (load_segment_ra(env, &e1, &e2, selector, GETPC()) != 0) { 1677100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC()); 167820054ef0SBlue Swirl } 167920054ef0SBlue Swirl if (!(e2 & DESC_S_MASK) || !(e2 & (DESC_CS_MASK))) { 1680100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC()); 168120054ef0SBlue Swirl } 1682eaa728eeSbellard dpl = (e2 >> DESC_DPL_SHIFT) & 3; 168320054ef0SBlue Swirl if (dpl > cpl) { 1684100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC()); 168520054ef0SBlue Swirl } 16860aca0605SAndrew Oates #ifdef TARGET_X86_64 16870aca0605SAndrew Oates if (env->efer & MSR_EFER_LMA) { 16880aca0605SAndrew Oates if (!(e2 & DESC_L_MASK)) { 16890aca0605SAndrew Oates raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC()); 16900aca0605SAndrew Oates } 16910aca0605SAndrew Oates if (e2 & DESC_B_MASK) { 16920aca0605SAndrew Oates raise_exception_err_ra(env, EXCP0D_GPF, selector & 0xfffc, GETPC()); 16930aca0605SAndrew Oates } 16940aca0605SAndrew Oates shift++; 16950aca0605SAndrew Oates } 16960aca0605SAndrew Oates #endif 169720054ef0SBlue Swirl if (!(e2 & DESC_P_MASK)) { 1698100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0B_NOSEG, selector & 0xfffc, GETPC()); 169920054ef0SBlue Swirl } 1700eaa728eeSbellard 1701eaa728eeSbellard if (!(e2 & DESC_C_MASK) && dpl < cpl) { 1702eaa728eeSbellard /* to inner privilege */ 17030aca0605SAndrew Oates #ifdef TARGET_X86_64 17040aca0605SAndrew Oates if (shift == 2) { 17050aca0605SAndrew Oates sp = get_rsp_from_tss(env, dpl); 17060aca0605SAndrew Oates ss = dpl; /* SS = NULL selector with RPL = new CPL */ 17070aca0605SAndrew Oates new_stack = 1; 17080aca0605SAndrew Oates sp_mask = 0; 17090aca0605SAndrew Oates ssp = 0; /* SS base is always zero in IA-32e mode */ 17100aca0605SAndrew Oates LOG_PCALL("new ss:rsp=%04x:%016llx env->regs[R_ESP]=" 17110aca0605SAndrew Oates TARGET_FMT_lx "\n", ss, sp, env->regs[R_ESP]); 17120aca0605SAndrew Oates } else 17130aca0605SAndrew Oates #endif 17140aca0605SAndrew Oates { 17150aca0605SAndrew Oates uint32_t sp32; 17160aca0605SAndrew Oates get_ss_esp_from_tss(env, &ss, &sp32, dpl, GETPC()); 171790a2541bSliguang LOG_PCALL("new ss:esp=%04x:%08x param_count=%d env->regs[R_ESP]=" 17180aca0605SAndrew Oates TARGET_FMT_lx "\n", ss, sp32, param_count, 171990a2541bSliguang env->regs[R_ESP]); 17200aca0605SAndrew Oates sp = sp32; 172120054ef0SBlue Swirl if ((ss & 0xfffc) == 0) { 1722100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0A_TSS, ss & 0xfffc, GETPC()); 172320054ef0SBlue Swirl } 172420054ef0SBlue Swirl if ((ss & 3) != dpl) { 1725100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0A_TSS, ss & 0xfffc, GETPC()); 172620054ef0SBlue Swirl } 1727100ec099SPavel Dovgalyuk if (load_segment_ra(env, &ss_e1, &ss_e2, ss, GETPC()) != 0) { 1728100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0A_TSS, ss & 0xfffc, GETPC()); 172920054ef0SBlue Swirl } 1730eaa728eeSbellard ss_dpl = (ss_e2 >> DESC_DPL_SHIFT) & 3; 173120054ef0SBlue Swirl if (ss_dpl != dpl) { 1732100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0A_TSS, ss & 0xfffc, GETPC()); 173320054ef0SBlue Swirl } 1734eaa728eeSbellard if (!(ss_e2 & DESC_S_MASK) || 1735eaa728eeSbellard (ss_e2 & DESC_CS_MASK) || 173620054ef0SBlue Swirl !(ss_e2 & DESC_W_MASK)) { 1737100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0A_TSS, ss & 0xfffc, GETPC()); 173820054ef0SBlue Swirl } 173920054ef0SBlue Swirl if (!(ss_e2 & DESC_P_MASK)) { 1740100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0A_TSS, ss & 0xfffc, GETPC()); 174120054ef0SBlue Swirl } 1742eaa728eeSbellard 17430aca0605SAndrew Oates sp_mask = get_sp_mask(ss_e2); 17440aca0605SAndrew Oates ssp = get_seg_base(ss_e1, ss_e2); 17450aca0605SAndrew Oates } 17460aca0605SAndrew Oates 174720054ef0SBlue Swirl /* push_size = ((param_count * 2) + 8) << shift; */ 1748eaa728eeSbellard 1749eaa728eeSbellard old_sp_mask = get_sp_mask(env->segs[R_SS].flags); 1750eaa728eeSbellard old_ssp = env->segs[R_SS].base; 17510aca0605SAndrew Oates #ifdef TARGET_X86_64 17520aca0605SAndrew Oates if (shift == 2) { 17530aca0605SAndrew Oates /* XXX: verify if new stack address is canonical */ 17540aca0605SAndrew Oates PUSHQ_RA(sp, env->segs[R_SS].selector, GETPC()); 17550aca0605SAndrew Oates PUSHQ_RA(sp, env->regs[R_ESP], GETPC()); 17560aca0605SAndrew Oates /* parameters aren't supported for 64-bit call gates */ 17570aca0605SAndrew Oates } else 17580aca0605SAndrew Oates #endif 17590aca0605SAndrew Oates if (shift == 1) { 1760100ec099SPavel Dovgalyuk PUSHL_RA(ssp, sp, sp_mask, env->segs[R_SS].selector, GETPC()); 1761100ec099SPavel Dovgalyuk PUSHL_RA(ssp, sp, sp_mask, env->regs[R_ESP], GETPC()); 1762eaa728eeSbellard for (i = param_count - 1; i >= 0; i--) { 1763100ec099SPavel Dovgalyuk val = cpu_ldl_kernel_ra(env, old_ssp + 176490a2541bSliguang ((env->regs[R_ESP] + i * 4) & 1765100ec099SPavel Dovgalyuk old_sp_mask), GETPC()); 1766100ec099SPavel Dovgalyuk PUSHL_RA(ssp, sp, sp_mask, val, GETPC()); 1767eaa728eeSbellard } 1768eaa728eeSbellard } else { 1769100ec099SPavel Dovgalyuk PUSHW_RA(ssp, sp, sp_mask, env->segs[R_SS].selector, GETPC()); 1770100ec099SPavel Dovgalyuk PUSHW_RA(ssp, sp, sp_mask, env->regs[R_ESP], GETPC()); 1771eaa728eeSbellard for (i = param_count - 1; i >= 0; i--) { 1772100ec099SPavel Dovgalyuk val = cpu_lduw_kernel_ra(env, old_ssp + 177390a2541bSliguang ((env->regs[R_ESP] + i * 2) & 1774100ec099SPavel Dovgalyuk old_sp_mask), GETPC()); 1775100ec099SPavel Dovgalyuk PUSHW_RA(ssp, sp, sp_mask, val, GETPC()); 1776eaa728eeSbellard } 1777eaa728eeSbellard } 1778eaa728eeSbellard new_stack = 1; 1779eaa728eeSbellard } else { 1780eaa728eeSbellard /* to same privilege */ 178108b3ded6Sliguang sp = env->regs[R_ESP]; 1782eaa728eeSbellard sp_mask = get_sp_mask(env->segs[R_SS].flags); 1783eaa728eeSbellard ssp = env->segs[R_SS].base; 178420054ef0SBlue Swirl /* push_size = (4 << shift); */ 1785eaa728eeSbellard new_stack = 0; 1786eaa728eeSbellard } 1787eaa728eeSbellard 17880aca0605SAndrew Oates #ifdef TARGET_X86_64 17890aca0605SAndrew Oates if (shift == 2) { 17900aca0605SAndrew Oates PUSHQ_RA(sp, env->segs[R_CS].selector, GETPC()); 17910aca0605SAndrew Oates PUSHQ_RA(sp, next_eip, GETPC()); 17920aca0605SAndrew Oates } else 17930aca0605SAndrew Oates #endif 17940aca0605SAndrew Oates if (shift == 1) { 1795100ec099SPavel Dovgalyuk PUSHL_RA(ssp, sp, sp_mask, env->segs[R_CS].selector, GETPC()); 1796100ec099SPavel Dovgalyuk PUSHL_RA(ssp, sp, sp_mask, next_eip, GETPC()); 1797eaa728eeSbellard } else { 1798100ec099SPavel Dovgalyuk PUSHW_RA(ssp, sp, sp_mask, env->segs[R_CS].selector, GETPC()); 1799100ec099SPavel Dovgalyuk PUSHW_RA(ssp, sp, sp_mask, next_eip, GETPC()); 1800eaa728eeSbellard } 1801eaa728eeSbellard 1802eaa728eeSbellard /* from this point, not restartable */ 1803eaa728eeSbellard 1804eaa728eeSbellard if (new_stack) { 18050aca0605SAndrew Oates #ifdef TARGET_X86_64 18060aca0605SAndrew Oates if (shift == 2) { 18070aca0605SAndrew Oates cpu_x86_load_seg_cache(env, R_SS, ss, 0, 0, 0); 18080aca0605SAndrew Oates } else 18090aca0605SAndrew Oates #endif 18100aca0605SAndrew Oates { 1811eaa728eeSbellard ss = (ss & ~3) | dpl; 1812eaa728eeSbellard cpu_x86_load_seg_cache(env, R_SS, ss, 1813eaa728eeSbellard ssp, 1814eaa728eeSbellard get_seg_limit(ss_e1, ss_e2), 1815eaa728eeSbellard ss_e2); 1816eaa728eeSbellard } 18170aca0605SAndrew Oates } 1818eaa728eeSbellard 1819eaa728eeSbellard selector = (selector & ~3) | dpl; 1820eaa728eeSbellard cpu_x86_load_seg_cache(env, R_CS, selector, 1821eaa728eeSbellard get_seg_base(e1, e2), 1822eaa728eeSbellard get_seg_limit(e1, e2), 1823eaa728eeSbellard e2); 1824eaa728eeSbellard SET_ESP(sp, sp_mask); 1825a78d0eabSliguang env->eip = offset; 1826eaa728eeSbellard } 1827eaa728eeSbellard } 1828eaa728eeSbellard 1829eaa728eeSbellard /* real and vm86 mode iret */ 18302999a0b2SBlue Swirl void helper_iret_real(CPUX86State *env, int shift) 1831eaa728eeSbellard { 1832eaa728eeSbellard uint32_t sp, new_cs, new_eip, new_eflags, sp_mask; 1833eaa728eeSbellard target_ulong ssp; 1834eaa728eeSbellard int eflags_mask; 1835eaa728eeSbellard 1836eaa728eeSbellard sp_mask = 0xffff; /* XXXX: use SS segment size? */ 183708b3ded6Sliguang sp = env->regs[R_ESP]; 1838eaa728eeSbellard ssp = env->segs[R_SS].base; 1839eaa728eeSbellard if (shift == 1) { 1840eaa728eeSbellard /* 32 bits */ 1841100ec099SPavel Dovgalyuk POPL_RA(ssp, sp, sp_mask, new_eip, GETPC()); 1842100ec099SPavel Dovgalyuk POPL_RA(ssp, sp, sp_mask, new_cs, GETPC()); 1843eaa728eeSbellard new_cs &= 0xffff; 1844100ec099SPavel Dovgalyuk POPL_RA(ssp, sp, sp_mask, new_eflags, GETPC()); 1845eaa728eeSbellard } else { 1846eaa728eeSbellard /* 16 bits */ 1847100ec099SPavel Dovgalyuk POPW_RA(ssp, sp, sp_mask, new_eip, GETPC()); 1848100ec099SPavel Dovgalyuk POPW_RA(ssp, sp, sp_mask, new_cs, GETPC()); 1849100ec099SPavel Dovgalyuk POPW_RA(ssp, sp, sp_mask, new_eflags, GETPC()); 1850eaa728eeSbellard } 185108b3ded6Sliguang env->regs[R_ESP] = (env->regs[R_ESP] & ~sp_mask) | (sp & sp_mask); 1852bdadc0b5Smalc env->segs[R_CS].selector = new_cs; 1853bdadc0b5Smalc env->segs[R_CS].base = (new_cs << 4); 1854eaa728eeSbellard env->eip = new_eip; 185520054ef0SBlue Swirl if (env->eflags & VM_MASK) { 185620054ef0SBlue Swirl eflags_mask = TF_MASK | AC_MASK | ID_MASK | IF_MASK | RF_MASK | 185720054ef0SBlue Swirl NT_MASK; 185820054ef0SBlue Swirl } else { 185920054ef0SBlue Swirl eflags_mask = TF_MASK | AC_MASK | ID_MASK | IF_MASK | IOPL_MASK | 186020054ef0SBlue Swirl RF_MASK | NT_MASK; 186120054ef0SBlue Swirl } 186220054ef0SBlue Swirl if (shift == 0) { 1863eaa728eeSbellard eflags_mask &= 0xffff; 186420054ef0SBlue Swirl } 1865997ff0d9SBlue Swirl cpu_load_eflags(env, new_eflags, eflags_mask); 1866db620f46Sbellard env->hflags2 &= ~HF2_NMI_MASK; 1867eaa728eeSbellard } 1868eaa728eeSbellard 1869c117e5b1SPhilippe Mathieu-Daudé static inline void validate_seg(CPUX86State *env, X86Seg seg_reg, int cpl) 1870eaa728eeSbellard { 1871eaa728eeSbellard int dpl; 1872eaa728eeSbellard uint32_t e2; 1873eaa728eeSbellard 1874eaa728eeSbellard /* XXX: on x86_64, we do not want to nullify FS and GS because 1875eaa728eeSbellard they may still contain a valid base. I would be interested to 1876eaa728eeSbellard know how a real x86_64 CPU behaves */ 1877eaa728eeSbellard if ((seg_reg == R_FS || seg_reg == R_GS) && 187820054ef0SBlue Swirl (env->segs[seg_reg].selector & 0xfffc) == 0) { 1879eaa728eeSbellard return; 188020054ef0SBlue Swirl } 1881eaa728eeSbellard 1882eaa728eeSbellard e2 = env->segs[seg_reg].flags; 1883eaa728eeSbellard dpl = (e2 >> DESC_DPL_SHIFT) & 3; 1884eaa728eeSbellard if (!(e2 & DESC_CS_MASK) || !(e2 & DESC_C_MASK)) { 1885eaa728eeSbellard /* data or non conforming code segment */ 1886eaa728eeSbellard if (dpl < cpl) { 1887c2ba0515SBin Meng cpu_x86_load_seg_cache(env, seg_reg, 0, 1888c2ba0515SBin Meng env->segs[seg_reg].base, 1889c2ba0515SBin Meng env->segs[seg_reg].limit, 1890c2ba0515SBin Meng env->segs[seg_reg].flags & ~DESC_P_MASK); 1891eaa728eeSbellard } 1892eaa728eeSbellard } 1893eaa728eeSbellard } 1894eaa728eeSbellard 1895eaa728eeSbellard /* protected mode iret */ 18962999a0b2SBlue Swirl static inline void helper_ret_protected(CPUX86State *env, int shift, 1897100ec099SPavel Dovgalyuk int is_iret, int addend, 1898100ec099SPavel Dovgalyuk uintptr_t retaddr) 1899eaa728eeSbellard { 1900eaa728eeSbellard uint32_t new_cs, new_eflags, new_ss; 1901eaa728eeSbellard uint32_t new_es, new_ds, new_fs, new_gs; 1902eaa728eeSbellard uint32_t e1, e2, ss_e1, ss_e2; 1903eaa728eeSbellard int cpl, dpl, rpl, eflags_mask, iopl; 1904eaa728eeSbellard target_ulong ssp, sp, new_eip, new_esp, sp_mask; 1905eaa728eeSbellard 1906eaa728eeSbellard #ifdef TARGET_X86_64 190720054ef0SBlue Swirl if (shift == 2) { 1908eaa728eeSbellard sp_mask = -1; 190920054ef0SBlue Swirl } else 1910eaa728eeSbellard #endif 191120054ef0SBlue Swirl { 1912eaa728eeSbellard sp_mask = get_sp_mask(env->segs[R_SS].flags); 191320054ef0SBlue Swirl } 191408b3ded6Sliguang sp = env->regs[R_ESP]; 1915eaa728eeSbellard ssp = env->segs[R_SS].base; 1916eaa728eeSbellard new_eflags = 0; /* avoid warning */ 1917eaa728eeSbellard #ifdef TARGET_X86_64 1918eaa728eeSbellard if (shift == 2) { 1919100ec099SPavel Dovgalyuk POPQ_RA(sp, new_eip, retaddr); 1920100ec099SPavel Dovgalyuk POPQ_RA(sp, new_cs, retaddr); 1921eaa728eeSbellard new_cs &= 0xffff; 1922eaa728eeSbellard if (is_iret) { 1923100ec099SPavel Dovgalyuk POPQ_RA(sp, new_eflags, retaddr); 1924eaa728eeSbellard } 1925eaa728eeSbellard } else 1926eaa728eeSbellard #endif 192720054ef0SBlue Swirl { 1928eaa728eeSbellard if (shift == 1) { 1929eaa728eeSbellard /* 32 bits */ 1930100ec099SPavel Dovgalyuk POPL_RA(ssp, sp, sp_mask, new_eip, retaddr); 1931100ec099SPavel Dovgalyuk POPL_RA(ssp, sp, sp_mask, new_cs, retaddr); 1932eaa728eeSbellard new_cs &= 0xffff; 1933eaa728eeSbellard if (is_iret) { 1934100ec099SPavel Dovgalyuk POPL_RA(ssp, sp, sp_mask, new_eflags, retaddr); 193520054ef0SBlue Swirl if (new_eflags & VM_MASK) { 1936eaa728eeSbellard goto return_to_vm86; 1937eaa728eeSbellard } 193820054ef0SBlue Swirl } 1939eaa728eeSbellard } else { 1940eaa728eeSbellard /* 16 bits */ 1941100ec099SPavel Dovgalyuk POPW_RA(ssp, sp, sp_mask, new_eip, retaddr); 1942100ec099SPavel Dovgalyuk POPW_RA(ssp, sp, sp_mask, new_cs, retaddr); 194320054ef0SBlue Swirl if (is_iret) { 1944100ec099SPavel Dovgalyuk POPW_RA(ssp, sp, sp_mask, new_eflags, retaddr); 1945eaa728eeSbellard } 194620054ef0SBlue Swirl } 194720054ef0SBlue Swirl } 1948d12d51d5Saliguori LOG_PCALL("lret new %04x:" TARGET_FMT_lx " s=%d addend=0x%x\n", 1949eaa728eeSbellard new_cs, new_eip, shift, addend); 19506aa9e42fSRichard Henderson LOG_PCALL_STATE(env_cpu(env)); 195120054ef0SBlue Swirl if ((new_cs & 0xfffc) == 0) { 1952100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, retaddr); 1953eaa728eeSbellard } 1954100ec099SPavel Dovgalyuk if (load_segment_ra(env, &e1, &e2, new_cs, retaddr) != 0) { 1955100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, retaddr); 195620054ef0SBlue Swirl } 195720054ef0SBlue Swirl if (!(e2 & DESC_S_MASK) || 195820054ef0SBlue Swirl !(e2 & DESC_CS_MASK)) { 1959100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, retaddr); 196020054ef0SBlue Swirl } 196120054ef0SBlue Swirl cpl = env->hflags & HF_CPL_MASK; 196220054ef0SBlue Swirl rpl = new_cs & 3; 196320054ef0SBlue Swirl if (rpl < cpl) { 1964100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, retaddr); 196520054ef0SBlue Swirl } 196620054ef0SBlue Swirl dpl = (e2 >> DESC_DPL_SHIFT) & 3; 196720054ef0SBlue Swirl if (e2 & DESC_C_MASK) { 196820054ef0SBlue Swirl if (dpl > rpl) { 1969100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, retaddr); 197020054ef0SBlue Swirl } 197120054ef0SBlue Swirl } else { 197220054ef0SBlue Swirl if (dpl != rpl) { 1973100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0D_GPF, new_cs & 0xfffc, retaddr); 197420054ef0SBlue Swirl } 197520054ef0SBlue Swirl } 197620054ef0SBlue Swirl if (!(e2 & DESC_P_MASK)) { 1977100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0B_NOSEG, new_cs & 0xfffc, retaddr); 197820054ef0SBlue Swirl } 1979eaa728eeSbellard 1980eaa728eeSbellard sp += addend; 1981eaa728eeSbellard if (rpl == cpl && (!(env->hflags & HF_CS64_MASK) || 1982eaa728eeSbellard ((env->hflags & HF_CS64_MASK) && !is_iret))) { 19831235fc06Sths /* return to same privilege level */ 1984eaa728eeSbellard cpu_x86_load_seg_cache(env, R_CS, new_cs, 1985eaa728eeSbellard get_seg_base(e1, e2), 1986eaa728eeSbellard get_seg_limit(e1, e2), 1987eaa728eeSbellard e2); 1988eaa728eeSbellard } else { 1989eaa728eeSbellard /* return to different privilege level */ 1990eaa728eeSbellard #ifdef TARGET_X86_64 1991eaa728eeSbellard if (shift == 2) { 1992100ec099SPavel Dovgalyuk POPQ_RA(sp, new_esp, retaddr); 1993100ec099SPavel Dovgalyuk POPQ_RA(sp, new_ss, retaddr); 1994eaa728eeSbellard new_ss &= 0xffff; 1995eaa728eeSbellard } else 1996eaa728eeSbellard #endif 199720054ef0SBlue Swirl { 1998eaa728eeSbellard if (shift == 1) { 1999eaa728eeSbellard /* 32 bits */ 2000100ec099SPavel Dovgalyuk POPL_RA(ssp, sp, sp_mask, new_esp, retaddr); 2001100ec099SPavel Dovgalyuk POPL_RA(ssp, sp, sp_mask, new_ss, retaddr); 2002eaa728eeSbellard new_ss &= 0xffff; 2003eaa728eeSbellard } else { 2004eaa728eeSbellard /* 16 bits */ 2005100ec099SPavel Dovgalyuk POPW_RA(ssp, sp, sp_mask, new_esp, retaddr); 2006100ec099SPavel Dovgalyuk POPW_RA(ssp, sp, sp_mask, new_ss, retaddr); 2007eaa728eeSbellard } 200820054ef0SBlue Swirl } 2009d12d51d5Saliguori LOG_PCALL("new ss:esp=%04x:" TARGET_FMT_lx "\n", 2010eaa728eeSbellard new_ss, new_esp); 2011eaa728eeSbellard if ((new_ss & 0xfffc) == 0) { 2012eaa728eeSbellard #ifdef TARGET_X86_64 2013eaa728eeSbellard /* NULL ss is allowed in long mode if cpl != 3 */ 2014eaa728eeSbellard /* XXX: test CS64? */ 2015eaa728eeSbellard if ((env->hflags & HF_LMA_MASK) && rpl != 3) { 2016eaa728eeSbellard cpu_x86_load_seg_cache(env, R_SS, new_ss, 2017eaa728eeSbellard 0, 0xffffffff, 2018eaa728eeSbellard DESC_G_MASK | DESC_B_MASK | DESC_P_MASK | 2019eaa728eeSbellard DESC_S_MASK | (rpl << DESC_DPL_SHIFT) | 2020eaa728eeSbellard DESC_W_MASK | DESC_A_MASK); 2021eaa728eeSbellard ss_e2 = DESC_B_MASK; /* XXX: should not be needed? */ 2022eaa728eeSbellard } else 2023eaa728eeSbellard #endif 2024eaa728eeSbellard { 2025100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0D_GPF, 0, retaddr); 2026eaa728eeSbellard } 2027eaa728eeSbellard } else { 202820054ef0SBlue Swirl if ((new_ss & 3) != rpl) { 2029100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0D_GPF, new_ss & 0xfffc, retaddr); 203020054ef0SBlue Swirl } 2031100ec099SPavel Dovgalyuk if (load_segment_ra(env, &ss_e1, &ss_e2, new_ss, retaddr) != 0) { 2032100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0D_GPF, new_ss & 0xfffc, retaddr); 203320054ef0SBlue Swirl } 2034eaa728eeSbellard if (!(ss_e2 & DESC_S_MASK) || 2035eaa728eeSbellard (ss_e2 & DESC_CS_MASK) || 203620054ef0SBlue Swirl !(ss_e2 & DESC_W_MASK)) { 2037100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0D_GPF, new_ss & 0xfffc, retaddr); 203820054ef0SBlue Swirl } 2039eaa728eeSbellard dpl = (ss_e2 >> DESC_DPL_SHIFT) & 3; 204020054ef0SBlue Swirl if (dpl != rpl) { 2041100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0D_GPF, new_ss & 0xfffc, retaddr); 204220054ef0SBlue Swirl } 204320054ef0SBlue Swirl if (!(ss_e2 & DESC_P_MASK)) { 2044100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0B_NOSEG, new_ss & 0xfffc, retaddr); 204520054ef0SBlue Swirl } 2046eaa728eeSbellard cpu_x86_load_seg_cache(env, R_SS, new_ss, 2047eaa728eeSbellard get_seg_base(ss_e1, ss_e2), 2048eaa728eeSbellard get_seg_limit(ss_e1, ss_e2), 2049eaa728eeSbellard ss_e2); 2050eaa728eeSbellard } 2051eaa728eeSbellard 2052eaa728eeSbellard cpu_x86_load_seg_cache(env, R_CS, new_cs, 2053eaa728eeSbellard get_seg_base(e1, e2), 2054eaa728eeSbellard get_seg_limit(e1, e2), 2055eaa728eeSbellard e2); 2056eaa728eeSbellard sp = new_esp; 2057eaa728eeSbellard #ifdef TARGET_X86_64 205820054ef0SBlue Swirl if (env->hflags & HF_CS64_MASK) { 2059eaa728eeSbellard sp_mask = -1; 206020054ef0SBlue Swirl } else 2061eaa728eeSbellard #endif 206220054ef0SBlue Swirl { 2063eaa728eeSbellard sp_mask = get_sp_mask(ss_e2); 206420054ef0SBlue Swirl } 2065eaa728eeSbellard 2066eaa728eeSbellard /* validate data segments */ 20672999a0b2SBlue Swirl validate_seg(env, R_ES, rpl); 20682999a0b2SBlue Swirl validate_seg(env, R_DS, rpl); 20692999a0b2SBlue Swirl validate_seg(env, R_FS, rpl); 20702999a0b2SBlue Swirl validate_seg(env, R_GS, rpl); 2071eaa728eeSbellard 2072eaa728eeSbellard sp += addend; 2073eaa728eeSbellard } 2074eaa728eeSbellard SET_ESP(sp, sp_mask); 2075eaa728eeSbellard env->eip = new_eip; 2076eaa728eeSbellard if (is_iret) { 2077eaa728eeSbellard /* NOTE: 'cpl' is the _old_ CPL */ 2078eaa728eeSbellard eflags_mask = TF_MASK | AC_MASK | ID_MASK | RF_MASK | NT_MASK; 207920054ef0SBlue Swirl if (cpl == 0) { 2080eaa728eeSbellard eflags_mask |= IOPL_MASK; 208120054ef0SBlue Swirl } 2082eaa728eeSbellard iopl = (env->eflags >> IOPL_SHIFT) & 3; 208320054ef0SBlue Swirl if (cpl <= iopl) { 2084eaa728eeSbellard eflags_mask |= IF_MASK; 208520054ef0SBlue Swirl } 208620054ef0SBlue Swirl if (shift == 0) { 2087eaa728eeSbellard eflags_mask &= 0xffff; 208820054ef0SBlue Swirl } 2089997ff0d9SBlue Swirl cpu_load_eflags(env, new_eflags, eflags_mask); 2090eaa728eeSbellard } 2091eaa728eeSbellard return; 2092eaa728eeSbellard 2093eaa728eeSbellard return_to_vm86: 2094100ec099SPavel Dovgalyuk POPL_RA(ssp, sp, sp_mask, new_esp, retaddr); 2095100ec099SPavel Dovgalyuk POPL_RA(ssp, sp, sp_mask, new_ss, retaddr); 2096100ec099SPavel Dovgalyuk POPL_RA(ssp, sp, sp_mask, new_es, retaddr); 2097100ec099SPavel Dovgalyuk POPL_RA(ssp, sp, sp_mask, new_ds, retaddr); 2098100ec099SPavel Dovgalyuk POPL_RA(ssp, sp, sp_mask, new_fs, retaddr); 2099100ec099SPavel Dovgalyuk POPL_RA(ssp, sp, sp_mask, new_gs, retaddr); 2100eaa728eeSbellard 2101eaa728eeSbellard /* modify processor state */ 2102997ff0d9SBlue Swirl cpu_load_eflags(env, new_eflags, TF_MASK | AC_MASK | ID_MASK | 2103997ff0d9SBlue Swirl IF_MASK | IOPL_MASK | VM_MASK | NT_MASK | VIF_MASK | 2104997ff0d9SBlue Swirl VIP_MASK); 21052999a0b2SBlue Swirl load_seg_vm(env, R_CS, new_cs & 0xffff); 21062999a0b2SBlue Swirl load_seg_vm(env, R_SS, new_ss & 0xffff); 21072999a0b2SBlue Swirl load_seg_vm(env, R_ES, new_es & 0xffff); 21082999a0b2SBlue Swirl load_seg_vm(env, R_DS, new_ds & 0xffff); 21092999a0b2SBlue Swirl load_seg_vm(env, R_FS, new_fs & 0xffff); 21102999a0b2SBlue Swirl load_seg_vm(env, R_GS, new_gs & 0xffff); 2111eaa728eeSbellard 2112eaa728eeSbellard env->eip = new_eip & 0xffff; 211308b3ded6Sliguang env->regs[R_ESP] = new_esp; 2114eaa728eeSbellard } 2115eaa728eeSbellard 21162999a0b2SBlue Swirl void helper_iret_protected(CPUX86State *env, int shift, int next_eip) 2117eaa728eeSbellard { 2118eaa728eeSbellard int tss_selector, type; 2119eaa728eeSbellard uint32_t e1, e2; 2120eaa728eeSbellard 2121eaa728eeSbellard /* specific case for TSS */ 2122eaa728eeSbellard if (env->eflags & NT_MASK) { 2123eaa728eeSbellard #ifdef TARGET_X86_64 212420054ef0SBlue Swirl if (env->hflags & HF_LMA_MASK) { 2125100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0D_GPF, 0, GETPC()); 212620054ef0SBlue Swirl } 2127eaa728eeSbellard #endif 2128100ec099SPavel Dovgalyuk tss_selector = cpu_lduw_kernel_ra(env, env->tr.base + 0, GETPC()); 212920054ef0SBlue Swirl if (tss_selector & 4) { 2130100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0A_TSS, tss_selector & 0xfffc, GETPC()); 213120054ef0SBlue Swirl } 2132100ec099SPavel Dovgalyuk if (load_segment_ra(env, &e1, &e2, tss_selector, GETPC()) != 0) { 2133100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0A_TSS, tss_selector & 0xfffc, GETPC()); 213420054ef0SBlue Swirl } 2135eaa728eeSbellard type = (e2 >> DESC_TYPE_SHIFT) & 0x17; 2136eaa728eeSbellard /* NOTE: we check both segment and busy TSS */ 213720054ef0SBlue Swirl if (type != 3) { 2138100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0A_TSS, tss_selector & 0xfffc, GETPC()); 213920054ef0SBlue Swirl } 2140100ec099SPavel Dovgalyuk switch_tss_ra(env, tss_selector, e1, e2, SWITCH_TSS_IRET, next_eip, GETPC()); 2141eaa728eeSbellard } else { 2142100ec099SPavel Dovgalyuk helper_ret_protected(env, shift, 1, 0, GETPC()); 2143eaa728eeSbellard } 2144db620f46Sbellard env->hflags2 &= ~HF2_NMI_MASK; 2145eaa728eeSbellard } 2146eaa728eeSbellard 21472999a0b2SBlue Swirl void helper_lret_protected(CPUX86State *env, int shift, int addend) 2148eaa728eeSbellard { 2149100ec099SPavel Dovgalyuk helper_ret_protected(env, shift, 0, addend, GETPC()); 2150eaa728eeSbellard } 2151eaa728eeSbellard 21522999a0b2SBlue Swirl void helper_sysenter(CPUX86State *env) 2153eaa728eeSbellard { 2154eaa728eeSbellard if (env->sysenter_cs == 0) { 2155100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0D_GPF, 0, GETPC()); 2156eaa728eeSbellard } 2157eaa728eeSbellard env->eflags &= ~(VM_MASK | IF_MASK | RF_MASK); 21582436b61aSbalrog 21592436b61aSbalrog #ifdef TARGET_X86_64 21602436b61aSbalrog if (env->hflags & HF_LMA_MASK) { 21612436b61aSbalrog cpu_x86_load_seg_cache(env, R_CS, env->sysenter_cs & 0xfffc, 21622436b61aSbalrog 0, 0xffffffff, 21632436b61aSbalrog DESC_G_MASK | DESC_B_MASK | DESC_P_MASK | 21642436b61aSbalrog DESC_S_MASK | 216520054ef0SBlue Swirl DESC_CS_MASK | DESC_R_MASK | DESC_A_MASK | 216620054ef0SBlue Swirl DESC_L_MASK); 21672436b61aSbalrog } else 21682436b61aSbalrog #endif 21692436b61aSbalrog { 2170eaa728eeSbellard cpu_x86_load_seg_cache(env, R_CS, env->sysenter_cs & 0xfffc, 2171eaa728eeSbellard 0, 0xffffffff, 2172eaa728eeSbellard DESC_G_MASK | DESC_B_MASK | DESC_P_MASK | 2173eaa728eeSbellard DESC_S_MASK | 2174eaa728eeSbellard DESC_CS_MASK | DESC_R_MASK | DESC_A_MASK); 21752436b61aSbalrog } 2176eaa728eeSbellard cpu_x86_load_seg_cache(env, R_SS, (env->sysenter_cs + 8) & 0xfffc, 2177eaa728eeSbellard 0, 0xffffffff, 2178eaa728eeSbellard DESC_G_MASK | DESC_B_MASK | DESC_P_MASK | 2179eaa728eeSbellard DESC_S_MASK | 2180eaa728eeSbellard DESC_W_MASK | DESC_A_MASK); 218108b3ded6Sliguang env->regs[R_ESP] = env->sysenter_esp; 2182a78d0eabSliguang env->eip = env->sysenter_eip; 2183eaa728eeSbellard } 2184eaa728eeSbellard 21852999a0b2SBlue Swirl void helper_sysexit(CPUX86State *env, int dflag) 2186eaa728eeSbellard { 2187eaa728eeSbellard int cpl; 2188eaa728eeSbellard 2189eaa728eeSbellard cpl = env->hflags & HF_CPL_MASK; 2190eaa728eeSbellard if (env->sysenter_cs == 0 || cpl != 0) { 2191100ec099SPavel Dovgalyuk raise_exception_err_ra(env, EXCP0D_GPF, 0, GETPC()); 2192eaa728eeSbellard } 21932436b61aSbalrog #ifdef TARGET_X86_64 21942436b61aSbalrog if (dflag == 2) { 219520054ef0SBlue Swirl cpu_x86_load_seg_cache(env, R_CS, ((env->sysenter_cs + 32) & 0xfffc) | 219620054ef0SBlue Swirl 3, 0, 0xffffffff, 21972436b61aSbalrog DESC_G_MASK | DESC_B_MASK | DESC_P_MASK | 21982436b61aSbalrog DESC_S_MASK | (3 << DESC_DPL_SHIFT) | 219920054ef0SBlue Swirl DESC_CS_MASK | DESC_R_MASK | DESC_A_MASK | 220020054ef0SBlue Swirl DESC_L_MASK); 220120054ef0SBlue Swirl cpu_x86_load_seg_cache(env, R_SS, ((env->sysenter_cs + 40) & 0xfffc) | 220220054ef0SBlue Swirl 3, 0, 0xffffffff, 22032436b61aSbalrog DESC_G_MASK | DESC_B_MASK | DESC_P_MASK | 22042436b61aSbalrog DESC_S_MASK | (3 << DESC_DPL_SHIFT) | 22052436b61aSbalrog DESC_W_MASK | DESC_A_MASK); 22062436b61aSbalrog } else 22072436b61aSbalrog #endif 22082436b61aSbalrog { 220920054ef0SBlue Swirl cpu_x86_load_seg_cache(env, R_CS, ((env->sysenter_cs + 16) & 0xfffc) | 221020054ef0SBlue Swirl 3, 0, 0xffffffff, 2211eaa728eeSbellard DESC_G_MASK | DESC_B_MASK | DESC_P_MASK | 2212eaa728eeSbellard DESC_S_MASK | (3 << DESC_DPL_SHIFT) | 2213eaa728eeSbellard DESC_CS_MASK | DESC_R_MASK | DESC_A_MASK); 221420054ef0SBlue Swirl cpu_x86_load_seg_cache(env, R_SS, ((env->sysenter_cs + 24) & 0xfffc) | 221520054ef0SBlue Swirl 3, 0, 0xffffffff, 2216eaa728eeSbellard DESC_G_MASK | DESC_B_MASK | DESC_P_MASK | 2217eaa728eeSbellard DESC_S_MASK | (3 << DESC_DPL_SHIFT) | 2218eaa728eeSbellard DESC_W_MASK | DESC_A_MASK); 22192436b61aSbalrog } 222008b3ded6Sliguang env->regs[R_ESP] = env->regs[R_ECX]; 2221a78d0eabSliguang env->eip = env->regs[R_EDX]; 2222eaa728eeSbellard } 2223eaa728eeSbellard 22242999a0b2SBlue Swirl target_ulong helper_lsl(CPUX86State *env, target_ulong selector1) 2225eaa728eeSbellard { 2226eaa728eeSbellard unsigned int limit; 2227eaa728eeSbellard uint32_t e1, e2, eflags, selector; 2228eaa728eeSbellard int rpl, dpl, cpl, type; 2229eaa728eeSbellard 2230eaa728eeSbellard selector = selector1 & 0xffff; 2231f0967a1aSBlue Swirl eflags = cpu_cc_compute_all(env, CC_OP); 223220054ef0SBlue Swirl if ((selector & 0xfffc) == 0) { 2233dc1ded53Saliguori goto fail; 223420054ef0SBlue Swirl } 2235100ec099SPavel Dovgalyuk if (load_segment_ra(env, &e1, &e2, selector, GETPC()) != 0) { 2236eaa728eeSbellard goto fail; 223720054ef0SBlue Swirl } 2238eaa728eeSbellard rpl = selector & 3; 2239eaa728eeSbellard dpl = (e2 >> DESC_DPL_SHIFT) & 3; 2240eaa728eeSbellard cpl = env->hflags & HF_CPL_MASK; 2241eaa728eeSbellard if (e2 & DESC_S_MASK) { 2242eaa728eeSbellard if ((e2 & DESC_CS_MASK) && (e2 & DESC_C_MASK)) { 2243eaa728eeSbellard /* conforming */ 2244eaa728eeSbellard } else { 224520054ef0SBlue Swirl if (dpl < cpl || dpl < rpl) { 2246eaa728eeSbellard goto fail; 2247eaa728eeSbellard } 224820054ef0SBlue Swirl } 2249eaa728eeSbellard } else { 2250eaa728eeSbellard type = (e2 >> DESC_TYPE_SHIFT) & 0xf; 2251eaa728eeSbellard switch (type) { 2252eaa728eeSbellard case 1: 2253eaa728eeSbellard case 2: 2254eaa728eeSbellard case 3: 2255eaa728eeSbellard case 9: 2256eaa728eeSbellard case 11: 2257eaa728eeSbellard break; 2258eaa728eeSbellard default: 2259eaa728eeSbellard goto fail; 2260eaa728eeSbellard } 2261eaa728eeSbellard if (dpl < cpl || dpl < rpl) { 2262eaa728eeSbellard fail: 2263eaa728eeSbellard CC_SRC = eflags & ~CC_Z; 2264eaa728eeSbellard return 0; 2265eaa728eeSbellard } 2266eaa728eeSbellard } 2267eaa728eeSbellard limit = get_seg_limit(e1, e2); 2268eaa728eeSbellard CC_SRC = eflags | CC_Z; 2269eaa728eeSbellard return limit; 2270eaa728eeSbellard } 2271eaa728eeSbellard 22722999a0b2SBlue Swirl target_ulong helper_lar(CPUX86State *env, target_ulong selector1) 2273eaa728eeSbellard { 2274eaa728eeSbellard uint32_t e1, e2, eflags, selector; 2275eaa728eeSbellard int rpl, dpl, cpl, type; 2276eaa728eeSbellard 2277eaa728eeSbellard selector = selector1 & 0xffff; 2278f0967a1aSBlue Swirl eflags = cpu_cc_compute_all(env, CC_OP); 227920054ef0SBlue Swirl if ((selector & 0xfffc) == 0) { 2280eaa728eeSbellard goto fail; 228120054ef0SBlue Swirl } 2282100ec099SPavel Dovgalyuk if (load_segment_ra(env, &e1, &e2, selector, GETPC()) != 0) { 2283eaa728eeSbellard goto fail; 228420054ef0SBlue Swirl } 2285eaa728eeSbellard rpl = selector & 3; 2286eaa728eeSbellard dpl = (e2 >> DESC_DPL_SHIFT) & 3; 2287eaa728eeSbellard cpl = env->hflags & HF_CPL_MASK; 2288eaa728eeSbellard if (e2 & DESC_S_MASK) { 2289eaa728eeSbellard if ((e2 & DESC_CS_MASK) && (e2 & DESC_C_MASK)) { 2290eaa728eeSbellard /* conforming */ 2291eaa728eeSbellard } else { 229220054ef0SBlue Swirl if (dpl < cpl || dpl < rpl) { 2293eaa728eeSbellard goto fail; 2294eaa728eeSbellard } 229520054ef0SBlue Swirl } 2296eaa728eeSbellard } else { 2297eaa728eeSbellard type = (e2 >> DESC_TYPE_SHIFT) & 0xf; 2298eaa728eeSbellard switch (type) { 2299eaa728eeSbellard case 1: 2300eaa728eeSbellard case 2: 2301eaa728eeSbellard case 3: 2302eaa728eeSbellard case 4: 2303eaa728eeSbellard case 5: 2304eaa728eeSbellard case 9: 2305eaa728eeSbellard case 11: 2306eaa728eeSbellard case 12: 2307eaa728eeSbellard break; 2308eaa728eeSbellard default: 2309eaa728eeSbellard goto fail; 2310eaa728eeSbellard } 2311eaa728eeSbellard if (dpl < cpl || dpl < rpl) { 2312eaa728eeSbellard fail: 2313eaa728eeSbellard CC_SRC = eflags & ~CC_Z; 2314eaa728eeSbellard return 0; 2315eaa728eeSbellard } 2316eaa728eeSbellard } 2317eaa728eeSbellard CC_SRC = eflags | CC_Z; 2318eaa728eeSbellard return e2 & 0x00f0ff00; 2319eaa728eeSbellard } 2320eaa728eeSbellard 23212999a0b2SBlue Swirl void helper_verr(CPUX86State *env, target_ulong selector1) 2322eaa728eeSbellard { 2323eaa728eeSbellard uint32_t e1, e2, eflags, selector; 2324eaa728eeSbellard int rpl, dpl, cpl; 2325eaa728eeSbellard 2326eaa728eeSbellard selector = selector1 & 0xffff; 2327f0967a1aSBlue Swirl eflags = cpu_cc_compute_all(env, CC_OP); 232820054ef0SBlue Swirl if ((selector & 0xfffc) == 0) { 2329eaa728eeSbellard goto fail; 233020054ef0SBlue Swirl } 2331100ec099SPavel Dovgalyuk if (load_segment_ra(env, &e1, &e2, selector, GETPC()) != 0) { 2332eaa728eeSbellard goto fail; 233320054ef0SBlue Swirl } 233420054ef0SBlue Swirl if (!(e2 & DESC_S_MASK)) { 2335eaa728eeSbellard goto fail; 233620054ef0SBlue Swirl } 2337eaa728eeSbellard rpl = selector & 3; 2338eaa728eeSbellard dpl = (e2 >> DESC_DPL_SHIFT) & 3; 2339eaa728eeSbellard cpl = env->hflags & HF_CPL_MASK; 2340eaa728eeSbellard if (e2 & DESC_CS_MASK) { 234120054ef0SBlue Swirl if (!(e2 & DESC_R_MASK)) { 2342eaa728eeSbellard goto fail; 234320054ef0SBlue Swirl } 2344eaa728eeSbellard if (!(e2 & DESC_C_MASK)) { 234520054ef0SBlue Swirl if (dpl < cpl || dpl < rpl) { 2346eaa728eeSbellard goto fail; 2347eaa728eeSbellard } 234820054ef0SBlue Swirl } 2349eaa728eeSbellard } else { 2350eaa728eeSbellard if (dpl < cpl || dpl < rpl) { 2351eaa728eeSbellard fail: 2352eaa728eeSbellard CC_SRC = eflags & ~CC_Z; 2353eaa728eeSbellard return; 2354eaa728eeSbellard } 2355eaa728eeSbellard } 2356eaa728eeSbellard CC_SRC = eflags | CC_Z; 2357eaa728eeSbellard } 2358eaa728eeSbellard 23592999a0b2SBlue Swirl void helper_verw(CPUX86State *env, target_ulong selector1) 2360eaa728eeSbellard { 2361eaa728eeSbellard uint32_t e1, e2, eflags, selector; 2362eaa728eeSbellard int rpl, dpl, cpl; 2363eaa728eeSbellard 2364eaa728eeSbellard selector = selector1 & 0xffff; 2365f0967a1aSBlue Swirl eflags = cpu_cc_compute_all(env, CC_OP); 236620054ef0SBlue Swirl if ((selector & 0xfffc) == 0) { 2367eaa728eeSbellard goto fail; 236820054ef0SBlue Swirl } 2369100ec099SPavel Dovgalyuk if (load_segment_ra(env, &e1, &e2, selector, GETPC()) != 0) { 2370eaa728eeSbellard goto fail; 237120054ef0SBlue Swirl } 237220054ef0SBlue Swirl if (!(e2 & DESC_S_MASK)) { 2373eaa728eeSbellard goto fail; 237420054ef0SBlue Swirl } 2375eaa728eeSbellard rpl = selector & 3; 2376eaa728eeSbellard dpl = (e2 >> DESC_DPL_SHIFT) & 3; 2377eaa728eeSbellard cpl = env->hflags & HF_CPL_MASK; 2378eaa728eeSbellard if (e2 & DESC_CS_MASK) { 2379eaa728eeSbellard goto fail; 2380eaa728eeSbellard } else { 238120054ef0SBlue Swirl if (dpl < cpl || dpl < rpl) { 2382eaa728eeSbellard goto fail; 238320054ef0SBlue Swirl } 2384eaa728eeSbellard if (!(e2 & DESC_W_MASK)) { 2385eaa728eeSbellard fail: 2386eaa728eeSbellard CC_SRC = eflags & ~CC_Z; 2387eaa728eeSbellard return; 2388eaa728eeSbellard } 2389eaa728eeSbellard } 2390eaa728eeSbellard CC_SRC = eflags | CC_Z; 2391eaa728eeSbellard } 2392