bellard | 46ddf55 | 2003-05-10 12:36:41 +0000 | [diff] [blame] | 1 | /* |
| 2 | * vm86 linux syscall support |
ths | 5fafdf2 | 2007-09-16 21:08:06 +0000 | [diff] [blame] | 3 | * |
bellard | 46ddf55 | 2003-05-10 12:36:41 +0000 | [diff] [blame] | 4 | * Copyright (c) 2003 Fabrice Bellard |
| 5 | * |
| 6 | * This program is free software; you can redistribute it and/or modify |
| 7 | * it under the terms of the GNU General Public License as published by |
| 8 | * the Free Software Foundation; either version 2 of the License, or |
| 9 | * (at your option) any later version. |
| 10 | * |
| 11 | * This program is distributed in the hope that it will be useful, |
| 12 | * but WITHOUT ANY WARRANTY; without even the implied warranty of |
| 13 | * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
| 14 | * GNU General Public License for more details. |
| 15 | * |
| 16 | * You should have received a copy of the GNU General Public License |
Blue Swirl | 8167ee8 | 2009-07-16 20:47:01 +0000 | [diff] [blame] | 17 | * along with this program; if not, see <http://www.gnu.org/licenses/>. |
bellard | 46ddf55 | 2003-05-10 12:36:41 +0000 | [diff] [blame] | 18 | */ |
Peter Maydell | d39594e | 2016-01-26 18:17:02 +0000 | [diff] [blame] | 19 | #include "qemu/osdep.h" |
bellard | 46ddf55 | 2003-05-10 12:36:41 +0000 | [diff] [blame] | 20 | |
| 21 | #include "qemu.h" |
Peter Maydell | 3b249d2 | 2021-09-08 16:44:03 +0100 | [diff] [blame] | 22 | #include "user-internals.h" |
bellard | 46ddf55 | 2003-05-10 12:36:41 +0000 | [diff] [blame] | 23 | |
| 24 | //#define DEBUG_VM86 |
| 25 | |
aliguori | d12d51d | 2009-01-15 21:48:06 +0000 | [diff] [blame] | 26 | #ifdef DEBUG_VM86 |
aliguori | 93fcfe3 | 2009-01-15 22:34:14 +0000 | [diff] [blame] | 27 | # define LOG_VM86(...) qemu_log(__VA_ARGS__); |
aliguori | d12d51d | 2009-01-15 21:48:06 +0000 | [diff] [blame] | 28 | #else |
| 29 | # define LOG_VM86(...) do { } while (0) |
| 30 | #endif |
| 31 | |
| 32 | |
bellard | 46ddf55 | 2003-05-10 12:36:41 +0000 | [diff] [blame] | 33 | #define set_flags(X,new,mask) \ |
| 34 | ((X) = ((X) & ~(mask)) | ((new) & (mask))) |
| 35 | |
| 36 | #define SAFE_MASK (0xDD5) |
| 37 | #define RETURN_MASK (0xDFF) |
| 38 | |
| 39 | static inline int is_revectored(int nr, struct target_revectored_struct *bitmap) |
| 40 | { |
bellard | b333af0 | 2003-05-14 21:48:51 +0000 | [diff] [blame] | 41 | return (((uint8_t *)bitmap)[nr >> 3] >> (nr & 7)) & 1; |
bellard | 46ddf55 | 2003-05-10 12:36:41 +0000 | [diff] [blame] | 42 | } |
| 43 | |
Peter Maydell | 5899d6d | 2015-01-20 15:19:33 +0000 | [diff] [blame] | 44 | static inline void vm_putw(CPUX86State *env, uint32_t segptr, |
| 45 | unsigned int reg16, unsigned int val) |
bellard | 46ddf55 | 2003-05-10 12:36:41 +0000 | [diff] [blame] | 46 | { |
Peter Maydell | 5899d6d | 2015-01-20 15:19:33 +0000 | [diff] [blame] | 47 | cpu_stw_data(env, segptr + (reg16 & 0xffff), val); |
bellard | 46ddf55 | 2003-05-10 12:36:41 +0000 | [diff] [blame] | 48 | } |
| 49 | |
Peter Maydell | 5899d6d | 2015-01-20 15:19:33 +0000 | [diff] [blame] | 50 | static inline void vm_putl(CPUX86State *env, uint32_t segptr, |
| 51 | unsigned int reg16, unsigned int val) |
bellard | 46ddf55 | 2003-05-10 12:36:41 +0000 | [diff] [blame] | 52 | { |
Peter Maydell | 5899d6d | 2015-01-20 15:19:33 +0000 | [diff] [blame] | 53 | cpu_stl_data(env, segptr + (reg16 & 0xffff), val); |
bellard | 46ddf55 | 2003-05-10 12:36:41 +0000 | [diff] [blame] | 54 | } |
| 55 | |
Peter Maydell | 5899d6d | 2015-01-20 15:19:33 +0000 | [diff] [blame] | 56 | static inline unsigned int vm_getb(CPUX86State *env, |
| 57 | uint32_t segptr, unsigned int reg16) |
bellard | 1455bf4 | 2007-11-11 22:22:34 +0000 | [diff] [blame] | 58 | { |
Peter Maydell | 5899d6d | 2015-01-20 15:19:33 +0000 | [diff] [blame] | 59 | return cpu_ldub_data(env, segptr + (reg16 & 0xffff)); |
bellard | 1455bf4 | 2007-11-11 22:22:34 +0000 | [diff] [blame] | 60 | } |
| 61 | |
Peter Maydell | 5899d6d | 2015-01-20 15:19:33 +0000 | [diff] [blame] | 62 | static inline unsigned int vm_getw(CPUX86State *env, |
| 63 | uint32_t segptr, unsigned int reg16) |
bellard | 46ddf55 | 2003-05-10 12:36:41 +0000 | [diff] [blame] | 64 | { |
Peter Maydell | 5899d6d | 2015-01-20 15:19:33 +0000 | [diff] [blame] | 65 | return cpu_lduw_data(env, segptr + (reg16 & 0xffff)); |
bellard | 46ddf55 | 2003-05-10 12:36:41 +0000 | [diff] [blame] | 66 | } |
| 67 | |
Peter Maydell | 5899d6d | 2015-01-20 15:19:33 +0000 | [diff] [blame] | 68 | static inline unsigned int vm_getl(CPUX86State *env, |
| 69 | uint32_t segptr, unsigned int reg16) |
bellard | 46ddf55 | 2003-05-10 12:36:41 +0000 | [diff] [blame] | 70 | { |
Peter Maydell | 5899d6d | 2015-01-20 15:19:33 +0000 | [diff] [blame] | 71 | return cpu_ldl_data(env, segptr + (reg16 & 0xffff)); |
bellard | 46ddf55 | 2003-05-10 12:36:41 +0000 | [diff] [blame] | 72 | } |
| 73 | |
| 74 | void save_v86_state(CPUX86State *env) |
| 75 | { |
Richard Henderson | 6aa9e42 | 2019-03-22 18:08:48 -0700 | [diff] [blame] | 76 | CPUState *cs = env_cpu(env); |
Andreas Färber | 0429a97 | 2013-08-26 18:14:44 +0200 | [diff] [blame] | 77 | TaskState *ts = cs->opaque; |
pbrook | 53a5960 | 2006-03-25 19:31:22 +0000 | [diff] [blame] | 78 | struct target_vm86plus_struct * target_v86; |
bellard | 46ddf55 | 2003-05-10 12:36:41 +0000 | [diff] [blame] | 79 | |
bellard | 579a97f | 2007-11-11 14:26:47 +0000 | [diff] [blame] | 80 | if (!lock_user_struct(VERIFY_WRITE, target_v86, ts->target_v86, 0)) |
| 81 | /* FIXME - should return an error */ |
| 82 | return; |
bellard | 46ddf55 | 2003-05-10 12:36:41 +0000 | [diff] [blame] | 83 | /* put the VM86 registers in the userspace register structure */ |
pbrook | 53a5960 | 2006-03-25 19:31:22 +0000 | [diff] [blame] | 84 | target_v86->regs.eax = tswap32(env->regs[R_EAX]); |
| 85 | target_v86->regs.ebx = tswap32(env->regs[R_EBX]); |
| 86 | target_v86->regs.ecx = tswap32(env->regs[R_ECX]); |
| 87 | target_v86->regs.edx = tswap32(env->regs[R_EDX]); |
| 88 | target_v86->regs.esi = tswap32(env->regs[R_ESI]); |
| 89 | target_v86->regs.edi = tswap32(env->regs[R_EDI]); |
| 90 | target_v86->regs.ebp = tswap32(env->regs[R_EBP]); |
| 91 | target_v86->regs.esp = tswap32(env->regs[R_ESP]); |
| 92 | target_v86->regs.eip = tswap32(env->eip); |
| 93 | target_v86->regs.cs = tswap16(env->segs[R_CS].selector); |
| 94 | target_v86->regs.ss = tswap16(env->segs[R_SS].selector); |
| 95 | target_v86->regs.ds = tswap16(env->segs[R_DS].selector); |
| 96 | target_v86->regs.es = tswap16(env->segs[R_ES].selector); |
| 97 | target_v86->regs.fs = tswap16(env->segs[R_FS].selector); |
| 98 | target_v86->regs.gs = tswap16(env->segs[R_GS].selector); |
bellard | 46ddf55 | 2003-05-10 12:36:41 +0000 | [diff] [blame] | 99 | set_flags(env->eflags, ts->v86flags, VIF_MASK | ts->v86mask); |
pbrook | 53a5960 | 2006-03-25 19:31:22 +0000 | [diff] [blame] | 100 | target_v86->regs.eflags = tswap32(env->eflags); |
| 101 | unlock_user_struct(target_v86, ts->target_v86, 1); |
aliguori | d12d51d | 2009-01-15 21:48:06 +0000 | [diff] [blame] | 102 | LOG_VM86("save_v86_state: eflags=%08x cs:ip=%04x:%04x\n", |
| 103 | env->eflags, env->segs[R_CS].selector, env->eip); |
bellard | 46ddf55 | 2003-05-10 12:36:41 +0000 | [diff] [blame] | 104 | |
| 105 | /* restore 32 bit registers */ |
| 106 | env->regs[R_EAX] = ts->vm86_saved_regs.eax; |
| 107 | env->regs[R_EBX] = ts->vm86_saved_regs.ebx; |
| 108 | env->regs[R_ECX] = ts->vm86_saved_regs.ecx; |
| 109 | env->regs[R_EDX] = ts->vm86_saved_regs.edx; |
| 110 | env->regs[R_ESI] = ts->vm86_saved_regs.esi; |
| 111 | env->regs[R_EDI] = ts->vm86_saved_regs.edi; |
| 112 | env->regs[R_EBP] = ts->vm86_saved_regs.ebp; |
| 113 | env->regs[R_ESP] = ts->vm86_saved_regs.esp; |
| 114 | env->eflags = ts->vm86_saved_regs.eflags; |
| 115 | env->eip = ts->vm86_saved_regs.eip; |
| 116 | |
| 117 | cpu_x86_load_seg(env, R_CS, ts->vm86_saved_regs.cs); |
| 118 | cpu_x86_load_seg(env, R_SS, ts->vm86_saved_regs.ss); |
| 119 | cpu_x86_load_seg(env, R_DS, ts->vm86_saved_regs.ds); |
| 120 | cpu_x86_load_seg(env, R_ES, ts->vm86_saved_regs.es); |
| 121 | cpu_x86_load_seg(env, R_FS, ts->vm86_saved_regs.fs); |
| 122 | cpu_x86_load_seg(env, R_GS, ts->vm86_saved_regs.gs); |
| 123 | } |
| 124 | |
| 125 | /* return from vm86 mode to 32 bit. The vm86() syscall will return |
| 126 | 'retval' */ |
| 127 | static inline void return_to_32bit(CPUX86State *env, int retval) |
| 128 | { |
aliguori | d12d51d | 2009-01-15 21:48:06 +0000 | [diff] [blame] | 129 | LOG_VM86("return_to_32bit: ret=0x%x\n", retval); |
bellard | 46ddf55 | 2003-05-10 12:36:41 +0000 | [diff] [blame] | 130 | save_v86_state(env); |
| 131 | env->regs[R_EAX] = retval; |
| 132 | } |
| 133 | |
| 134 | static inline int set_IF(CPUX86State *env) |
| 135 | { |
Richard Henderson | 6aa9e42 | 2019-03-22 18:08:48 -0700 | [diff] [blame] | 136 | CPUState *cs = env_cpu(env); |
Andreas Färber | 0429a97 | 2013-08-26 18:14:44 +0200 | [diff] [blame] | 137 | TaskState *ts = cs->opaque; |
ths | 3b46e62 | 2007-09-17 08:09:54 +0000 | [diff] [blame] | 138 | |
bellard | 46ddf55 | 2003-05-10 12:36:41 +0000 | [diff] [blame] | 139 | ts->v86flags |= VIF_MASK; |
| 140 | if (ts->v86flags & VIP_MASK) { |
| 141 | return_to_32bit(env, TARGET_VM86_STI); |
| 142 | return 1; |
| 143 | } |
| 144 | return 0; |
| 145 | } |
| 146 | |
| 147 | static inline void clear_IF(CPUX86State *env) |
| 148 | { |
Richard Henderson | 6aa9e42 | 2019-03-22 18:08:48 -0700 | [diff] [blame] | 149 | CPUState *cs = env_cpu(env); |
Andreas Färber | 0429a97 | 2013-08-26 18:14:44 +0200 | [diff] [blame] | 150 | TaskState *ts = cs->opaque; |
bellard | 46ddf55 | 2003-05-10 12:36:41 +0000 | [diff] [blame] | 151 | |
| 152 | ts->v86flags &= ~VIF_MASK; |
| 153 | } |
| 154 | |
| 155 | static inline void clear_TF(CPUX86State *env) |
| 156 | { |
| 157 | env->eflags &= ~TF_MASK; |
| 158 | } |
| 159 | |
bellard | 226c913 | 2003-05-10 21:41:47 +0000 | [diff] [blame] | 160 | static inline void clear_AC(CPUX86State *env) |
| 161 | { |
| 162 | env->eflags &= ~AC_MASK; |
| 163 | } |
| 164 | |
bellard | 46ddf55 | 2003-05-10 12:36:41 +0000 | [diff] [blame] | 165 | static inline int set_vflags_long(unsigned long eflags, CPUX86State *env) |
| 166 | { |
Richard Henderson | 6aa9e42 | 2019-03-22 18:08:48 -0700 | [diff] [blame] | 167 | CPUState *cs = env_cpu(env); |
Andreas Färber | 0429a97 | 2013-08-26 18:14:44 +0200 | [diff] [blame] | 168 | TaskState *ts = cs->opaque; |
bellard | 46ddf55 | 2003-05-10 12:36:41 +0000 | [diff] [blame] | 169 | |
| 170 | set_flags(ts->v86flags, eflags, ts->v86mask); |
| 171 | set_flags(env->eflags, eflags, SAFE_MASK); |
| 172 | if (eflags & IF_MASK) |
| 173 | return set_IF(env); |
bellard | 226c913 | 2003-05-10 21:41:47 +0000 | [diff] [blame] | 174 | else |
| 175 | clear_IF(env); |
bellard | 46ddf55 | 2003-05-10 12:36:41 +0000 | [diff] [blame] | 176 | return 0; |
| 177 | } |
| 178 | |
| 179 | static inline int set_vflags_short(unsigned short flags, CPUX86State *env) |
| 180 | { |
Richard Henderson | 6aa9e42 | 2019-03-22 18:08:48 -0700 | [diff] [blame] | 181 | CPUState *cs = env_cpu(env); |
Andreas Färber | 0429a97 | 2013-08-26 18:14:44 +0200 | [diff] [blame] | 182 | TaskState *ts = cs->opaque; |
bellard | 46ddf55 | 2003-05-10 12:36:41 +0000 | [diff] [blame] | 183 | |
| 184 | set_flags(ts->v86flags, flags, ts->v86mask & 0xffff); |
| 185 | set_flags(env->eflags, flags, SAFE_MASK); |
| 186 | if (flags & IF_MASK) |
| 187 | return set_IF(env); |
bellard | 226c913 | 2003-05-10 21:41:47 +0000 | [diff] [blame] | 188 | else |
| 189 | clear_IF(env); |
bellard | 46ddf55 | 2003-05-10 12:36:41 +0000 | [diff] [blame] | 190 | return 0; |
| 191 | } |
| 192 | |
| 193 | static inline unsigned int get_vflags(CPUX86State *env) |
| 194 | { |
Richard Henderson | 6aa9e42 | 2019-03-22 18:08:48 -0700 | [diff] [blame] | 195 | CPUState *cs = env_cpu(env); |
Andreas Färber | 0429a97 | 2013-08-26 18:14:44 +0200 | [diff] [blame] | 196 | TaskState *ts = cs->opaque; |
bellard | 46ddf55 | 2003-05-10 12:36:41 +0000 | [diff] [blame] | 197 | unsigned int flags; |
| 198 | |
| 199 | flags = env->eflags & RETURN_MASK; |
| 200 | if (ts->v86flags & VIF_MASK) |
| 201 | flags |= IF_MASK; |
bellard | c05bab7 | 2003-06-21 13:14:43 +0000 | [diff] [blame] | 202 | flags |= IOPL_MASK; |
bellard | 46ddf55 | 2003-05-10 12:36:41 +0000 | [diff] [blame] | 203 | return flags | (ts->v86flags & ts->v86mask); |
| 204 | } |
| 205 | |
| 206 | #define ADD16(reg, val) reg = (reg & ~0xffff) | ((reg + (val)) & 0xffff) |
| 207 | |
| 208 | /* handle VM86 interrupt (NOTE: the CPU core currently does not |
| 209 | support TSS interrupt revectoring, so this code is always executed) */ |
bellard | 447db21 | 2003-05-10 15:10:36 +0000 | [diff] [blame] | 210 | static void do_int(CPUX86State *env, int intno) |
bellard | 46ddf55 | 2003-05-10 12:36:41 +0000 | [diff] [blame] | 211 | { |
Richard Henderson | 6aa9e42 | 2019-03-22 18:08:48 -0700 | [diff] [blame] | 212 | CPUState *cs = env_cpu(env); |
Andreas Färber | 0429a97 | 2013-08-26 18:14:44 +0200 | [diff] [blame] | 213 | TaskState *ts = cs->opaque; |
bellard | 1455bf4 | 2007-11-11 22:22:34 +0000 | [diff] [blame] | 214 | uint32_t int_addr, segoffs, ssp; |
bellard | 46ddf55 | 2003-05-10 12:36:41 +0000 | [diff] [blame] | 215 | unsigned int sp; |
| 216 | |
bellard | c05bab7 | 2003-06-21 13:14:43 +0000 | [diff] [blame] | 217 | if (env->segs[R_CS].selector == TARGET_BIOSSEG) |
bellard | 46ddf55 | 2003-05-10 12:36:41 +0000 | [diff] [blame] | 218 | goto cannot_handle; |
bellard | b333af0 | 2003-05-14 21:48:51 +0000 | [diff] [blame] | 219 | if (is_revectored(intno, &ts->vm86plus.int_revectored)) |
bellard | 46ddf55 | 2003-05-10 12:36:41 +0000 | [diff] [blame] | 220 | goto cannot_handle; |
ths | 5fafdf2 | 2007-09-16 21:08:06 +0000 | [diff] [blame] | 221 | if (intno == 0x21 && is_revectored((env->regs[R_EAX] >> 8) & 0xff, |
bellard | b333af0 | 2003-05-14 21:48:51 +0000 | [diff] [blame] | 222 | &ts->vm86plus.int21_revectored)) |
bellard | 46ddf55 | 2003-05-10 12:36:41 +0000 | [diff] [blame] | 223 | goto cannot_handle; |
bellard | 1455bf4 | 2007-11-11 22:22:34 +0000 | [diff] [blame] | 224 | int_addr = (intno << 2); |
Peter Maydell | 5899d6d | 2015-01-20 15:19:33 +0000 | [diff] [blame] | 225 | segoffs = cpu_ldl_data(env, int_addr); |
bellard | 46ddf55 | 2003-05-10 12:36:41 +0000 | [diff] [blame] | 226 | if ((segoffs >> 16) == TARGET_BIOSSEG) |
| 227 | goto cannot_handle; |
aliguori | d12d51d | 2009-01-15 21:48:06 +0000 | [diff] [blame] | 228 | LOG_VM86("VM86: emulating int 0x%x. CS:IP=%04x:%04x\n", |
| 229 | intno, segoffs >> 16, segoffs & 0xffff); |
bellard | 46ddf55 | 2003-05-10 12:36:41 +0000 | [diff] [blame] | 230 | /* save old state */ |
bellard | 1455bf4 | 2007-11-11 22:22:34 +0000 | [diff] [blame] | 231 | ssp = env->segs[R_SS].selector << 4; |
bellard | 46ddf55 | 2003-05-10 12:36:41 +0000 | [diff] [blame] | 232 | sp = env->regs[R_ESP] & 0xffff; |
Peter Maydell | 5899d6d | 2015-01-20 15:19:33 +0000 | [diff] [blame] | 233 | vm_putw(env, ssp, sp - 2, get_vflags(env)); |
| 234 | vm_putw(env, ssp, sp - 4, env->segs[R_CS].selector); |
| 235 | vm_putw(env, ssp, sp - 6, env->eip); |
bellard | 46ddf55 | 2003-05-10 12:36:41 +0000 | [diff] [blame] | 236 | ADD16(env->regs[R_ESP], -6); |
| 237 | /* goto interrupt handler */ |
| 238 | env->eip = segoffs & 0xffff; |
| 239 | cpu_x86_load_seg(env, R_CS, segoffs >> 16); |
| 240 | clear_TF(env); |
| 241 | clear_IF(env); |
bellard | 226c913 | 2003-05-10 21:41:47 +0000 | [diff] [blame] | 242 | clear_AC(env); |
bellard | 46ddf55 | 2003-05-10 12:36:41 +0000 | [diff] [blame] | 243 | return; |
| 244 | cannot_handle: |
aliguori | d12d51d | 2009-01-15 21:48:06 +0000 | [diff] [blame] | 245 | LOG_VM86("VM86: return to 32 bits int 0x%x\n", intno); |
bellard | 46ddf55 | 2003-05-10 12:36:41 +0000 | [diff] [blame] | 246 | return_to_32bit(env, TARGET_VM86_INTx | (intno << 8)); |
| 247 | } |
| 248 | |
bellard | 447db21 | 2003-05-10 15:10:36 +0000 | [diff] [blame] | 249 | void handle_vm86_trap(CPUX86State *env, int trapno) |
| 250 | { |
| 251 | if (trapno == 1 || trapno == 3) { |
| 252 | return_to_32bit(env, TARGET_VM86_TRAP + (trapno << 8)); |
| 253 | } else { |
| 254 | do_int(env, trapno); |
| 255 | } |
| 256 | } |
| 257 | |
bellard | b333af0 | 2003-05-14 21:48:51 +0000 | [diff] [blame] | 258 | #define CHECK_IF_IN_TRAP() \ |
| 259 | if ((ts->vm86plus.vm86plus.flags & TARGET_vm86dbg_active) && \ |
| 260 | (ts->vm86plus.vm86plus.flags & TARGET_vm86dbg_TFpendig)) \ |
Paolo Bonzini | 7d37435 | 2018-12-13 23:37:37 +0100 | [diff] [blame] | 261 | newflags |= TF_MASK |
bellard | 46ddf55 | 2003-05-10 12:36:41 +0000 | [diff] [blame] | 262 | |
| 263 | #define VM86_FAULT_RETURN \ |
bellard | b333af0 | 2003-05-14 21:48:51 +0000 | [diff] [blame] | 264 | if ((ts->vm86plus.vm86plus.flags & TARGET_force_return_for_pic) && \ |
bellard | 46ddf55 | 2003-05-10 12:36:41 +0000 | [diff] [blame] | 265 | (ts->v86flags & (IF_MASK | VIF_MASK))) \ |
| 266 | return_to_32bit(env, TARGET_VM86_PICRETURN); \ |
| 267 | return |
| 268 | |
| 269 | void handle_vm86_fault(CPUX86State *env) |
| 270 | { |
Richard Henderson | 6aa9e42 | 2019-03-22 18:08:48 -0700 | [diff] [blame] | 271 | CPUState *cs = env_cpu(env); |
Andreas Färber | 0429a97 | 2013-08-26 18:14:44 +0200 | [diff] [blame] | 272 | TaskState *ts = cs->opaque; |
bellard | 1455bf4 | 2007-11-11 22:22:34 +0000 | [diff] [blame] | 273 | uint32_t csp, ssp; |
bellard | b333af0 | 2003-05-14 21:48:51 +0000 | [diff] [blame] | 274 | unsigned int ip, sp, newflags, newip, newcs, opcode, intno; |
| 275 | int data32, pref_done; |
bellard | 46ddf55 | 2003-05-10 12:36:41 +0000 | [diff] [blame] | 276 | |
bellard | 1455bf4 | 2007-11-11 22:22:34 +0000 | [diff] [blame] | 277 | csp = env->segs[R_CS].selector << 4; |
bellard | 46ddf55 | 2003-05-10 12:36:41 +0000 | [diff] [blame] | 278 | ip = env->eip & 0xffff; |
ths | 3b46e62 | 2007-09-17 08:09:54 +0000 | [diff] [blame] | 279 | |
bellard | 1455bf4 | 2007-11-11 22:22:34 +0000 | [diff] [blame] | 280 | ssp = env->segs[R_SS].selector << 4; |
bellard | 46ddf55 | 2003-05-10 12:36:41 +0000 | [diff] [blame] | 281 | sp = env->regs[R_ESP] & 0xffff; |
| 282 | |
aliguori | d12d51d | 2009-01-15 21:48:06 +0000 | [diff] [blame] | 283 | LOG_VM86("VM86 exception %04x:%08x\n", |
| 284 | env->segs[R_CS].selector, env->eip); |
bellard | 46ddf55 | 2003-05-10 12:36:41 +0000 | [diff] [blame] | 285 | |
bellard | b333af0 | 2003-05-14 21:48:51 +0000 | [diff] [blame] | 286 | data32 = 0; |
| 287 | pref_done = 0; |
| 288 | do { |
Peter Maydell | 5899d6d | 2015-01-20 15:19:33 +0000 | [diff] [blame] | 289 | opcode = vm_getb(env, csp, ip); |
bellard | b333af0 | 2003-05-14 21:48:51 +0000 | [diff] [blame] | 290 | ADD16(ip, 1); |
| 291 | switch (opcode) { |
| 292 | case 0x66: /* 32-bit data */ data32=1; break; |
| 293 | case 0x67: /* 32-bit address */ break; |
| 294 | case 0x2e: /* CS */ break; |
| 295 | case 0x3e: /* DS */ break; |
| 296 | case 0x26: /* ES */ break; |
| 297 | case 0x36: /* SS */ break; |
| 298 | case 0x65: /* GS */ break; |
| 299 | case 0x64: /* FS */ break; |
| 300 | case 0xf2: /* repnz */ break; |
| 301 | case 0xf3: /* rep */ break; |
| 302 | default: pref_done = 1; |
bellard | 46ddf55 | 2003-05-10 12:36:41 +0000 | [diff] [blame] | 303 | } |
bellard | b333af0 | 2003-05-14 21:48:51 +0000 | [diff] [blame] | 304 | } while (!pref_done); |
| 305 | |
| 306 | /* VM86 mode */ |
| 307 | switch(opcode) { |
bellard | 46ddf55 | 2003-05-10 12:36:41 +0000 | [diff] [blame] | 308 | case 0x9c: /* pushf */ |
bellard | b333af0 | 2003-05-14 21:48:51 +0000 | [diff] [blame] | 309 | if (data32) { |
Peter Maydell | 5899d6d | 2015-01-20 15:19:33 +0000 | [diff] [blame] | 310 | vm_putl(env, ssp, sp - 4, get_vflags(env)); |
bellard | b333af0 | 2003-05-14 21:48:51 +0000 | [diff] [blame] | 311 | ADD16(env->regs[R_ESP], -4); |
| 312 | } else { |
Peter Maydell | 5899d6d | 2015-01-20 15:19:33 +0000 | [diff] [blame] | 313 | vm_putw(env, ssp, sp - 2, get_vflags(env)); |
bellard | b333af0 | 2003-05-14 21:48:51 +0000 | [diff] [blame] | 314 | ADD16(env->regs[R_ESP], -2); |
| 315 | } |
| 316 | env->eip = ip; |
bellard | 46ddf55 | 2003-05-10 12:36:41 +0000 | [diff] [blame] | 317 | VM86_FAULT_RETURN; |
| 318 | |
| 319 | case 0x9d: /* popf */ |
bellard | b333af0 | 2003-05-14 21:48:51 +0000 | [diff] [blame] | 320 | if (data32) { |
Peter Maydell | 5899d6d | 2015-01-20 15:19:33 +0000 | [diff] [blame] | 321 | newflags = vm_getl(env, ssp, sp); |
bellard | b333af0 | 2003-05-14 21:48:51 +0000 | [diff] [blame] | 322 | ADD16(env->regs[R_ESP], 4); |
| 323 | } else { |
Peter Maydell | 5899d6d | 2015-01-20 15:19:33 +0000 | [diff] [blame] | 324 | newflags = vm_getw(env, ssp, sp); |
bellard | b333af0 | 2003-05-14 21:48:51 +0000 | [diff] [blame] | 325 | ADD16(env->regs[R_ESP], 2); |
| 326 | } |
| 327 | env->eip = ip; |
| 328 | CHECK_IF_IN_TRAP(); |
| 329 | if (data32) { |
| 330 | if (set_vflags_long(newflags, env)) |
| 331 | return; |
| 332 | } else { |
| 333 | if (set_vflags_short(newflags, env)) |
| 334 | return; |
| 335 | } |
bellard | 46ddf55 | 2003-05-10 12:36:41 +0000 | [diff] [blame] | 336 | VM86_FAULT_RETURN; |
| 337 | |
| 338 | case 0xcd: /* int */ |
Peter Maydell | 5899d6d | 2015-01-20 15:19:33 +0000 | [diff] [blame] | 339 | intno = vm_getb(env, csp, ip); |
bellard | b333af0 | 2003-05-14 21:48:51 +0000 | [diff] [blame] | 340 | ADD16(ip, 1); |
| 341 | env->eip = ip; |
| 342 | if (ts->vm86plus.vm86plus.flags & TARGET_vm86dbg_active) { |
ths | 5fafdf2 | 2007-09-16 21:08:06 +0000 | [diff] [blame] | 343 | if ( (ts->vm86plus.vm86plus.vm86dbg_intxxtab[intno >> 3] >> |
bellard | b333af0 | 2003-05-14 21:48:51 +0000 | [diff] [blame] | 344 | (intno &7)) & 1) { |
| 345 | return_to_32bit(env, TARGET_VM86_INTx + (intno << 8)); |
| 346 | return; |
| 347 | } |
| 348 | } |
| 349 | do_int(env, intno); |
bellard | 46ddf55 | 2003-05-10 12:36:41 +0000 | [diff] [blame] | 350 | break; |
| 351 | |
| 352 | case 0xcf: /* iret */ |
bellard | b333af0 | 2003-05-14 21:48:51 +0000 | [diff] [blame] | 353 | if (data32) { |
Peter Maydell | 5899d6d | 2015-01-20 15:19:33 +0000 | [diff] [blame] | 354 | newip = vm_getl(env, ssp, sp) & 0xffff; |
| 355 | newcs = vm_getl(env, ssp, sp + 4) & 0xffff; |
| 356 | newflags = vm_getl(env, ssp, sp + 8); |
bellard | b333af0 | 2003-05-14 21:48:51 +0000 | [diff] [blame] | 357 | ADD16(env->regs[R_ESP], 12); |
| 358 | } else { |
Peter Maydell | 5899d6d | 2015-01-20 15:19:33 +0000 | [diff] [blame] | 359 | newip = vm_getw(env, ssp, sp); |
| 360 | newcs = vm_getw(env, ssp, sp + 2); |
| 361 | newflags = vm_getw(env, ssp, sp + 4); |
bellard | b333af0 | 2003-05-14 21:48:51 +0000 | [diff] [blame] | 362 | ADD16(env->regs[R_ESP], 6); |
| 363 | } |
| 364 | env->eip = newip; |
| 365 | cpu_x86_load_seg(env, R_CS, newcs); |
| 366 | CHECK_IF_IN_TRAP(); |
| 367 | if (data32) { |
| 368 | if (set_vflags_long(newflags, env)) |
| 369 | return; |
| 370 | } else { |
| 371 | if (set_vflags_short(newflags, env)) |
| 372 | return; |
| 373 | } |
bellard | 46ddf55 | 2003-05-10 12:36:41 +0000 | [diff] [blame] | 374 | VM86_FAULT_RETURN; |
ths | 3b46e62 | 2007-09-17 08:09:54 +0000 | [diff] [blame] | 375 | |
bellard | 46ddf55 | 2003-05-10 12:36:41 +0000 | [diff] [blame] | 376 | case 0xfa: /* cli */ |
bellard | b333af0 | 2003-05-14 21:48:51 +0000 | [diff] [blame] | 377 | env->eip = ip; |
bellard | 46ddf55 | 2003-05-10 12:36:41 +0000 | [diff] [blame] | 378 | clear_IF(env); |
| 379 | VM86_FAULT_RETURN; |
ths | 3b46e62 | 2007-09-17 08:09:54 +0000 | [diff] [blame] | 380 | |
bellard | 46ddf55 | 2003-05-10 12:36:41 +0000 | [diff] [blame] | 381 | case 0xfb: /* sti */ |
bellard | b333af0 | 2003-05-14 21:48:51 +0000 | [diff] [blame] | 382 | env->eip = ip; |
bellard | 46ddf55 | 2003-05-10 12:36:41 +0000 | [diff] [blame] | 383 | if (set_IF(env)) |
| 384 | return; |
| 385 | VM86_FAULT_RETURN; |
| 386 | |
| 387 | default: |
bellard | 46ddf55 | 2003-05-10 12:36:41 +0000 | [diff] [blame] | 388 | /* real VM86 GPF exception */ |
| 389 | return_to_32bit(env, TARGET_VM86_UNKNOWN); |
| 390 | break; |
| 391 | } |
| 392 | } |
| 393 | |
blueswir1 | 992f48a | 2007-10-14 16:27:31 +0000 | [diff] [blame] | 394 | int do_vm86(CPUX86State *env, long subfunction, abi_ulong vm86_addr) |
bellard | 46ddf55 | 2003-05-10 12:36:41 +0000 | [diff] [blame] | 395 | { |
Richard Henderson | 6aa9e42 | 2019-03-22 18:08:48 -0700 | [diff] [blame] | 396 | CPUState *cs = env_cpu(env); |
Andreas Färber | 0429a97 | 2013-08-26 18:14:44 +0200 | [diff] [blame] | 397 | TaskState *ts = cs->opaque; |
pbrook | 53a5960 | 2006-03-25 19:31:22 +0000 | [diff] [blame] | 398 | struct target_vm86plus_struct * target_v86; |
bellard | 46ddf55 | 2003-05-10 12:36:41 +0000 | [diff] [blame] | 399 | int ret; |
ths | 3b46e62 | 2007-09-17 08:09:54 +0000 | [diff] [blame] | 400 | |
bellard | 46ddf55 | 2003-05-10 12:36:41 +0000 | [diff] [blame] | 401 | switch (subfunction) { |
| 402 | case TARGET_VM86_REQUEST_IRQ: |
| 403 | case TARGET_VM86_FREE_IRQ: |
| 404 | case TARGET_VM86_GET_IRQ_BITS: |
| 405 | case TARGET_VM86_GET_AND_RESET_IRQ: |
Josh Kunz | 39be535 | 2020-02-03 18:54:13 -0800 | [diff] [blame] | 406 | qemu_log_mask(LOG_UNIMP, "qemu: unsupported vm86 subfunction (%ld)\n", |
| 407 | subfunction); |
bellard | 6c30b07 | 2007-11-11 14:50:32 +0000 | [diff] [blame] | 408 | ret = -TARGET_EINVAL; |
bellard | 46ddf55 | 2003-05-10 12:36:41 +0000 | [diff] [blame] | 409 | goto out; |
| 410 | case TARGET_VM86_PLUS_INSTALL_CHECK: |
| 411 | /* NOTE: on old vm86 stuff this will return the error |
| 412 | from verify_area(), because the subfunction is |
| 413 | interpreted as (invalid) address to vm86_struct. |
| 414 | So the installation check works. |
| 415 | */ |
| 416 | ret = 0; |
| 417 | goto out; |
| 418 | } |
| 419 | |
bellard | 46ddf55 | 2003-05-10 12:36:41 +0000 | [diff] [blame] | 420 | /* save current CPU regs */ |
| 421 | ts->vm86_saved_regs.eax = 0; /* default vm86 syscall return code */ |
| 422 | ts->vm86_saved_regs.ebx = env->regs[R_EBX]; |
| 423 | ts->vm86_saved_regs.ecx = env->regs[R_ECX]; |
| 424 | ts->vm86_saved_regs.edx = env->regs[R_EDX]; |
| 425 | ts->vm86_saved_regs.esi = env->regs[R_ESI]; |
| 426 | ts->vm86_saved_regs.edi = env->regs[R_EDI]; |
| 427 | ts->vm86_saved_regs.ebp = env->regs[R_EBP]; |
| 428 | ts->vm86_saved_regs.esp = env->regs[R_ESP]; |
| 429 | ts->vm86_saved_regs.eflags = env->eflags; |
| 430 | ts->vm86_saved_regs.eip = env->eip; |
bellard | c05bab7 | 2003-06-21 13:14:43 +0000 | [diff] [blame] | 431 | ts->vm86_saved_regs.cs = env->segs[R_CS].selector; |
| 432 | ts->vm86_saved_regs.ss = env->segs[R_SS].selector; |
| 433 | ts->vm86_saved_regs.ds = env->segs[R_DS].selector; |
| 434 | ts->vm86_saved_regs.es = env->segs[R_ES].selector; |
| 435 | ts->vm86_saved_regs.fs = env->segs[R_FS].selector; |
| 436 | ts->vm86_saved_regs.gs = env->segs[R_GS].selector; |
bellard | 46ddf55 | 2003-05-10 12:36:41 +0000 | [diff] [blame] | 437 | |
pbrook | 53a5960 | 2006-03-25 19:31:22 +0000 | [diff] [blame] | 438 | ts->target_v86 = vm86_addr; |
bellard | 579a97f | 2007-11-11 14:26:47 +0000 | [diff] [blame] | 439 | if (!lock_user_struct(VERIFY_READ, target_v86, vm86_addr, 1)) |
bellard | 6c30b07 | 2007-11-11 14:50:32 +0000 | [diff] [blame] | 440 | return -TARGET_EFAULT; |
bellard | 46ddf55 | 2003-05-10 12:36:41 +0000 | [diff] [blame] | 441 | /* build vm86 CPU state */ |
| 442 | ts->v86flags = tswap32(target_v86->regs.eflags); |
ths | 5fafdf2 | 2007-09-16 21:08:06 +0000 | [diff] [blame] | 443 | env->eflags = (env->eflags & ~SAFE_MASK) | |
bellard | 46ddf55 | 2003-05-10 12:36:41 +0000 | [diff] [blame] | 444 | (tswap32(target_v86->regs.eflags) & SAFE_MASK) | VM_MASK; |
bellard | b333af0 | 2003-05-14 21:48:51 +0000 | [diff] [blame] | 445 | |
Matthias Braun | cbb21ee | 2011-08-12 19:57:41 +0200 | [diff] [blame] | 446 | ts->vm86plus.cpu_type = tswapal(target_v86->cpu_type); |
bellard | b333af0 | 2003-05-14 21:48:51 +0000 | [diff] [blame] | 447 | switch (ts->vm86plus.cpu_type) { |
| 448 | case TARGET_CPU_286: |
| 449 | ts->v86mask = 0; |
| 450 | break; |
| 451 | case TARGET_CPU_386: |
| 452 | ts->v86mask = NT_MASK | IOPL_MASK; |
| 453 | break; |
| 454 | case TARGET_CPU_486: |
| 455 | ts->v86mask = AC_MASK | NT_MASK | IOPL_MASK; |
| 456 | break; |
| 457 | default: |
| 458 | ts->v86mask = ID_MASK | AC_MASK | NT_MASK | IOPL_MASK; |
| 459 | break; |
| 460 | } |
bellard | 46ddf55 | 2003-05-10 12:36:41 +0000 | [diff] [blame] | 461 | |
| 462 | env->regs[R_EBX] = tswap32(target_v86->regs.ebx); |
| 463 | env->regs[R_ECX] = tswap32(target_v86->regs.ecx); |
| 464 | env->regs[R_EDX] = tswap32(target_v86->regs.edx); |
| 465 | env->regs[R_ESI] = tswap32(target_v86->regs.esi); |
| 466 | env->regs[R_EDI] = tswap32(target_v86->regs.edi); |
| 467 | env->regs[R_EBP] = tswap32(target_v86->regs.ebp); |
| 468 | env->regs[R_ESP] = tswap32(target_v86->regs.esp); |
| 469 | env->eip = tswap32(target_v86->regs.eip); |
| 470 | cpu_x86_load_seg(env, R_CS, tswap16(target_v86->regs.cs)); |
| 471 | cpu_x86_load_seg(env, R_SS, tswap16(target_v86->regs.ss)); |
| 472 | cpu_x86_load_seg(env, R_DS, tswap16(target_v86->regs.ds)); |
| 473 | cpu_x86_load_seg(env, R_ES, tswap16(target_v86->regs.es)); |
| 474 | cpu_x86_load_seg(env, R_FS, tswap16(target_v86->regs.fs)); |
| 475 | cpu_x86_load_seg(env, R_GS, tswap16(target_v86->regs.gs)); |
| 476 | ret = tswap32(target_v86->regs.eax); /* eax will be restored at |
| 477 | the end of the syscall */ |
ths | 5fafdf2 | 2007-09-16 21:08:06 +0000 | [diff] [blame] | 478 | memcpy(&ts->vm86plus.int_revectored, |
bellard | b333af0 | 2003-05-14 21:48:51 +0000 | [diff] [blame] | 479 | &target_v86->int_revectored, 32); |
ths | 5fafdf2 | 2007-09-16 21:08:06 +0000 | [diff] [blame] | 480 | memcpy(&ts->vm86plus.int21_revectored, |
bellard | b333af0 | 2003-05-14 21:48:51 +0000 | [diff] [blame] | 481 | &target_v86->int21_revectored, 32); |
Matthias Braun | cbb21ee | 2011-08-12 19:57:41 +0200 | [diff] [blame] | 482 | ts->vm86plus.vm86plus.flags = tswapal(target_v86->vm86plus.flags); |
ths | 5fafdf2 | 2007-09-16 21:08:06 +0000 | [diff] [blame] | 483 | memcpy(&ts->vm86plus.vm86plus.vm86dbg_intxxtab, |
bellard | b333af0 | 2003-05-14 21:48:51 +0000 | [diff] [blame] | 484 | target_v86->vm86plus.vm86dbg_intxxtab, 32); |
pbrook | 53a5960 | 2006-03-25 19:31:22 +0000 | [diff] [blame] | 485 | unlock_user_struct(target_v86, vm86_addr, 0); |
ths | 3b46e62 | 2007-09-17 08:09:54 +0000 | [diff] [blame] | 486 | |
aliguori | d12d51d | 2009-01-15 21:48:06 +0000 | [diff] [blame] | 487 | LOG_VM86("do_vm86: cs:ip=%04x:%04x\n", |
| 488 | env->segs[R_CS].selector, env->eip); |
bellard | 46ddf55 | 2003-05-10 12:36:41 +0000 | [diff] [blame] | 489 | /* now the virtual CPU is ready for vm86 execution ! */ |
| 490 | out: |
| 491 | return ret; |
| 492 | } |