bellard | 2c0262a | 2003-09-30 20:34:21 +0000 | [diff] [blame] | 1 | /* |
bellard | eaa728e | 2008-05-28 12:51:20 +0000 | [diff] [blame] | 2 | * i386 helpers (without register variable usage) |
ths | 5fafdf2 | 2007-09-16 21:08:06 +0000 | [diff] [blame] | 3 | * |
bellard | 2c0262a | 2003-09-30 20:34:21 +0000 | [diff] [blame] | 4 | * Copyright (c) 2003 Fabrice Bellard |
| 5 | * |
| 6 | * This library is free software; you can redistribute it and/or |
| 7 | * modify it under the terms of the GNU Lesser General Public |
| 8 | * License as published by the Free Software Foundation; either |
Chetan Pant | d9ff33a | 2020-10-23 12:28:01 +0000 | [diff] [blame] | 9 | * version 2.1 of the License, or (at your option) any later version. |
bellard | 2c0262a | 2003-09-30 20:34:21 +0000 | [diff] [blame] | 10 | * |
| 11 | * This library 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 GNU |
| 14 | * Lesser General Public License for more details. |
| 15 | * |
| 16 | * You should have received a copy of the GNU Lesser General Public |
Blue Swirl | 8167ee8 | 2009-07-16 20:47:01 +0000 | [diff] [blame] | 17 | * License along with this library; if not, see <http://www.gnu.org/licenses/>. |
bellard | 2c0262a | 2003-09-30 20:34:21 +0000 | [diff] [blame] | 18 | */ |
bellard | 2c0262a | 2003-09-30 20:34:21 +0000 | [diff] [blame] | 19 | |
Peter Maydell | b6a0aa0 | 2016-01-26 18:17:03 +0000 | [diff] [blame] | 20 | #include "qemu/osdep.h" |
zhenwei pi | 8efc4e5 | 2020-09-30 18:04:40 +0800 | [diff] [blame] | 21 | #include "qapi/qapi-events-run-state.h" |
bellard | eaa728e | 2008-05-28 12:51:20 +0000 | [diff] [blame] | 22 | #include "cpu.h" |
Paolo Bonzini | 63c9155 | 2016-03-15 13:18:37 +0100 | [diff] [blame] | 23 | #include "exec/exec-all.h" |
Markus Armbruster | 54d3123 | 2019-08-12 07:23:59 +0200 | [diff] [blame] | 24 | #include "sysemu/runstate.h" |
Jan Kiszka | 2fa11da | 2011-03-02 08:56:08 +0100 | [diff] [blame] | 25 | #ifndef CONFIG_USER_ONLY |
Vincent Palatin | b394662 | 2017-01-10 11:59:55 +0100 | [diff] [blame] | 26 | #include "sysemu/hw_accel.h" |
Paolo Bonzini | 83c9089 | 2012-12-17 18:19:49 +0100 | [diff] [blame] | 27 | #include "monitor/monitor.h" |
Philippe Mathieu-Daudé | 28a43cb | 2023-09-04 14:43:15 +0200 | [diff] [blame] | 28 | #include "kvm/kvm_i386.h" |
Jan Kiszka | 2fa11da | 2011-03-02 08:56:08 +0100 | [diff] [blame] | 29 | #endif |
Philippe Mathieu-Daudé | cd61748 | 2022-02-07 09:27:56 +0100 | [diff] [blame] | 30 | #include "qemu/log.h" |
Richard Henderson | e5b4906 | 2023-03-27 18:24:50 -0700 | [diff] [blame] | 31 | #ifdef CONFIG_TCG |
Richard Henderson | 747bd69 | 2023-03-31 21:30:31 -0700 | [diff] [blame] | 32 | #include "tcg/insn-start-words.h" |
Richard Henderson | e5b4906 | 2023-03-27 18:24:50 -0700 | [diff] [blame] | 33 | #endif |
bellard | f3f2d9b | 2003-11-13 23:15:36 +0000 | [diff] [blame] | 34 | |
Paul Brook | 608db8d | 2022-04-24 23:01:25 +0100 | [diff] [blame] | 35 | void cpu_sync_avx_hflag(CPUX86State *env) |
| 36 | { |
| 37 | if ((env->cr[4] & CR4_OSXSAVE_MASK) |
| 38 | && (env->xcr0 & (XSTATE_SSE_MASK | XSTATE_YMM_MASK)) |
| 39 | == (XSTATE_SSE_MASK | XSTATE_YMM_MASK)) { |
| 40 | env->hflags |= HF_AVX_EN_MASK; |
| 41 | } else{ |
| 42 | env->hflags &= ~HF_AVX_EN_MASK; |
| 43 | } |
| 44 | } |
| 45 | |
Yang Zhong | ab0a19d | 2017-07-03 18:12:15 +0800 | [diff] [blame] | 46 | void cpu_sync_bndcs_hflags(CPUX86State *env) |
| 47 | { |
| 48 | uint32_t hflags = env->hflags; |
| 49 | uint32_t hflags2 = env->hflags2; |
| 50 | uint32_t bndcsr; |
| 51 | |
| 52 | if ((hflags & HF_CPL_MASK) == 3) { |
| 53 | bndcsr = env->bndcs_regs.cfgu; |
| 54 | } else { |
| 55 | bndcsr = env->msr_bndcfgs; |
| 56 | } |
| 57 | |
| 58 | if ((env->cr[4] & CR4_OSXSAVE_MASK) |
| 59 | && (env->xcr0 & XSTATE_BNDCSR_MASK) |
| 60 | && (bndcsr & BNDCFG_ENABLE)) { |
| 61 | hflags |= HF_MPX_EN_MASK; |
| 62 | } else { |
| 63 | hflags &= ~HF_MPX_EN_MASK; |
| 64 | } |
| 65 | |
| 66 | if (bndcsr & BNDCFG_BNDPRESERVE) { |
| 67 | hflags2 |= HF2_MPX_PR_MASK; |
| 68 | } else { |
| 69 | hflags2 &= ~HF2_MPX_PR_MASK; |
| 70 | } |
| 71 | |
| 72 | env->hflags = hflags; |
| 73 | env->hflags2 = hflags2; |
| 74 | } |
| 75 | |
Andreas Färber | 317ac62 | 2012-03-14 01:38:21 +0100 | [diff] [blame] | 76 | static void cpu_x86_version(CPUX86State *env, int *family, int *model) |
Jin Dongming | 2bd3e04 | 2010-12-10 17:21:14 +0900 | [diff] [blame] | 77 | { |
| 78 | int cpuver = env->cpuid_version; |
| 79 | |
| 80 | if (family == NULL || model == NULL) { |
| 81 | return; |
| 82 | } |
| 83 | |
| 84 | *family = (cpuver >> 8) & 0x0f; |
| 85 | *model = ((cpuver >> 12) & 0xf0) + ((cpuver >> 4) & 0x0f); |
| 86 | } |
| 87 | |
| 88 | /* Broadcast MCA signal for processor version 06H_EH and above */ |
Andreas Färber | 317ac62 | 2012-03-14 01:38:21 +0100 | [diff] [blame] | 89 | int cpu_x86_support_mca_broadcast(CPUX86State *env) |
Jin Dongming | 2bd3e04 | 2010-12-10 17:21:14 +0900 | [diff] [blame] | 90 | { |
| 91 | int family = 0; |
| 92 | int model = 0; |
| 93 | |
| 94 | cpu_x86_version(env, &family, &model); |
| 95 | if ((family == 6 && model >= 14) || family > 6) { |
| 96 | return 1; |
| 97 | } |
| 98 | |
| 99 | return 0; |
| 100 | } |
| 101 | |
bellard | eaa728e | 2008-05-28 12:51:20 +0000 | [diff] [blame] | 102 | /***********************************************************/ |
bellard | eaa728e | 2008-05-28 12:51:20 +0000 | [diff] [blame] | 103 | /* x86 mmu */ |
| 104 | /* XXX: add PGE support */ |
| 105 | |
Andreas Färber | cc36a7a | 2013-01-18 15:19:06 +0100 | [diff] [blame] | 106 | void x86_cpu_set_a20(X86CPU *cpu, int a20_state) |
bellard | eaa728e | 2008-05-28 12:51:20 +0000 | [diff] [blame] | 107 | { |
Andreas Färber | cc36a7a | 2013-01-18 15:19:06 +0100 | [diff] [blame] | 108 | CPUX86State *env = &cpu->env; |
| 109 | |
bellard | eaa728e | 2008-05-28 12:51:20 +0000 | [diff] [blame] | 110 | a20_state = (a20_state != 0); |
| 111 | if (a20_state != ((env->a20_mask >> 20) & 1)) { |
Andreas Färber | 00c8cb0 | 2013-09-04 02:19:44 +0200 | [diff] [blame] | 112 | CPUState *cs = CPU(cpu); |
| 113 | |
Antony Pavlov | 339aaf5 | 2014-12-13 19:48:18 +0300 | [diff] [blame] | 114 | qemu_log_mask(CPU_LOG_MMU, "A20 update: a20=%d\n", a20_state); |
bellard | eaa728e | 2008-05-28 12:51:20 +0000 | [diff] [blame] | 115 | /* if the cpu is currently executing code, we must unlink it and |
| 116 | all the potentially executing TB */ |
Andreas Färber | 00c8cb0 | 2013-09-04 02:19:44 +0200 | [diff] [blame] | 117 | cpu_interrupt(cs, CPU_INTERRUPT_EXITTB); |
bellard | eaa728e | 2008-05-28 12:51:20 +0000 | [diff] [blame] | 118 | |
| 119 | /* when a20 is changed, all the MMU mappings are invalid, so |
| 120 | we must flush everything */ |
Alex Bennée | d10eb08 | 2016-11-14 14:17:28 +0000 | [diff] [blame] | 121 | tlb_flush(cs); |
Juan Quintela | 5ee0ffa | 2009-09-29 22:48:49 +0200 | [diff] [blame] | 122 | env->a20_mask = ~(1 << 20) | (a20_state << 20); |
bellard | eaa728e | 2008-05-28 12:51:20 +0000 | [diff] [blame] | 123 | } |
| 124 | } |
| 125 | |
| 126 | void cpu_x86_update_cr0(CPUX86State *env, uint32_t new_cr0) |
| 127 | { |
Richard Henderson | 6aa9e42 | 2019-03-22 18:08:48 -0700 | [diff] [blame] | 128 | X86CPU *cpu = env_archcpu(env); |
bellard | eaa728e | 2008-05-28 12:51:20 +0000 | [diff] [blame] | 129 | int pe_state; |
| 130 | |
Antony Pavlov | 339aaf5 | 2014-12-13 19:48:18 +0300 | [diff] [blame] | 131 | qemu_log_mask(CPU_LOG_MMU, "CR0 update: CR0=0x%08x\n", new_cr0); |
bellard | eaa728e | 2008-05-28 12:51:20 +0000 | [diff] [blame] | 132 | if ((new_cr0 & (CR0_PG_MASK | CR0_WP_MASK | CR0_PE_MASK)) != |
| 133 | (env->cr[0] & (CR0_PG_MASK | CR0_WP_MASK | CR0_PE_MASK))) { |
Alex Bennée | d10eb08 | 2016-11-14 14:17:28 +0000 | [diff] [blame] | 134 | tlb_flush(CPU(cpu)); |
bellard | eaa728e | 2008-05-28 12:51:20 +0000 | [diff] [blame] | 135 | } |
| 136 | |
| 137 | #ifdef TARGET_X86_64 |
| 138 | if (!(env->cr[0] & CR0_PG_MASK) && (new_cr0 & CR0_PG_MASK) && |
| 139 | (env->efer & MSR_EFER_LME)) { |
| 140 | /* enter in long mode */ |
| 141 | /* XXX: generate an exception */ |
| 142 | if (!(env->cr[4] & CR4_PAE_MASK)) |
| 143 | return; |
| 144 | env->efer |= MSR_EFER_LMA; |
| 145 | env->hflags |= HF_LMA_MASK; |
| 146 | } else if ((env->cr[0] & CR0_PG_MASK) && !(new_cr0 & CR0_PG_MASK) && |
| 147 | (env->efer & MSR_EFER_LMA)) { |
| 148 | /* exit long mode */ |
| 149 | env->efer &= ~MSR_EFER_LMA; |
| 150 | env->hflags &= ~(HF_LMA_MASK | HF_CS64_MASK); |
| 151 | env->eip &= 0xffffffff; |
| 152 | } |
| 153 | #endif |
| 154 | env->cr[0] = new_cr0 | CR0_ET_MASK; |
| 155 | |
| 156 | /* update PE flag in hidden flags */ |
| 157 | pe_state = (env->cr[0] & CR0_PE_MASK); |
| 158 | env->hflags = (env->hflags & ~HF_PE_MASK) | (pe_state << HF_PE_SHIFT); |
| 159 | /* ensure that ADDSEG is always set in real mode */ |
| 160 | env->hflags |= ((pe_state ^ 1) << HF_ADDSEG_SHIFT); |
| 161 | /* update FPU flags */ |
| 162 | env->hflags = (env->hflags & ~(HF_MP_MASK | HF_EM_MASK | HF_TS_MASK)) | |
| 163 | ((new_cr0 << (HF_MP_SHIFT - 1)) & (HF_MP_MASK | HF_EM_MASK | HF_TS_MASK)); |
| 164 | } |
| 165 | |
| 166 | /* XXX: in legacy PAE mode, generate a GPF if reserved bits are set in |
| 167 | the PDPT */ |
| 168 | void cpu_x86_update_cr3(CPUX86State *env, target_ulong new_cr3) |
| 169 | { |
| 170 | env->cr[3] = new_cr3; |
| 171 | if (env->cr[0] & CR0_PG_MASK) { |
Antony Pavlov | 339aaf5 | 2014-12-13 19:48:18 +0300 | [diff] [blame] | 172 | qemu_log_mask(CPU_LOG_MMU, |
| 173 | "CR3 update: CR3=" TARGET_FMT_lx "\n", new_cr3); |
Richard Henderson | 6aa9e42 | 2019-03-22 18:08:48 -0700 | [diff] [blame] | 174 | tlb_flush(env_cpu(env)); |
bellard | eaa728e | 2008-05-28 12:51:20 +0000 | [diff] [blame] | 175 | } |
| 176 | } |
| 177 | |
| 178 | void cpu_x86_update_cr4(CPUX86State *env, uint32_t new_cr4) |
| 179 | { |
Richard Henderson | 19dc85d | 2015-07-02 14:53:40 +0100 | [diff] [blame] | 180 | uint32_t hflags; |
Andreas Färber | 00c8cb0 | 2013-09-04 02:19:44 +0200 | [diff] [blame] | 181 | |
bellard | eaa728e | 2008-05-28 12:51:20 +0000 | [diff] [blame] | 182 | #if defined(DEBUG_MMU) |
Kirill A. Shutemov | 6c7c3c2 | 2016-12-15 03:13:05 +0300 | [diff] [blame] | 183 | printf("CR4 update: %08x -> %08x\n", (uint32_t)env->cr[4], new_cr4); |
bellard | eaa728e | 2008-05-28 12:51:20 +0000 | [diff] [blame] | 184 | #endif |
H. Peter Anvin | a9321a4 | 2012-09-26 13:18:43 -0700 | [diff] [blame] | 185 | if ((new_cr4 ^ env->cr[4]) & |
| 186 | (CR4_PGE_MASK | CR4_PAE_MASK | CR4_PSE_MASK | |
Kirill A. Shutemov | 6c7c3c2 | 2016-12-15 03:13:05 +0300 | [diff] [blame] | 187 | CR4_SMEP_MASK | CR4_SMAP_MASK | CR4_LA57_MASK)) { |
Richard Henderson | 6aa9e42 | 2019-03-22 18:08:48 -0700 | [diff] [blame] | 188 | tlb_flush(env_cpu(env)); |
bellard | eaa728e | 2008-05-28 12:51:20 +0000 | [diff] [blame] | 189 | } |
Richard Henderson | 19dc85d | 2015-07-02 14:53:40 +0100 | [diff] [blame] | 190 | |
| 191 | /* Clear bits we're going to recompute. */ |
Gareth Webb | 637f1ee | 2022-02-06 22:36:09 +0000 | [diff] [blame] | 192 | hflags = env->hflags & ~(HF_OSFXSR_MASK | HF_SMAP_MASK | HF_UMIP_MASK); |
Richard Henderson | 19dc85d | 2015-07-02 14:53:40 +0100 | [diff] [blame] | 193 | |
bellard | eaa728e | 2008-05-28 12:51:20 +0000 | [diff] [blame] | 194 | /* SSE handling */ |
Eduardo Habkost | 0514ef2 | 2013-04-22 16:00:15 -0300 | [diff] [blame] | 195 | if (!(env->features[FEAT_1_EDX] & CPUID_SSE)) { |
bellard | eaa728e | 2008-05-28 12:51:20 +0000 | [diff] [blame] | 196 | new_cr4 &= ~CR4_OSFXSR_MASK; |
H. Peter Anvin | a9321a4 | 2012-09-26 13:18:43 -0700 | [diff] [blame] | 197 | } |
H. Peter Anvin | a9321a4 | 2012-09-26 13:18:43 -0700 | [diff] [blame] | 198 | if (new_cr4 & CR4_OSFXSR_MASK) { |
Richard Henderson | 19dc85d | 2015-07-02 14:53:40 +0100 | [diff] [blame] | 199 | hflags |= HF_OSFXSR_MASK; |
H. Peter Anvin | a9321a4 | 2012-09-26 13:18:43 -0700 | [diff] [blame] | 200 | } |
| 201 | |
Eduardo Habkost | 0514ef2 | 2013-04-22 16:00:15 -0300 | [diff] [blame] | 202 | if (!(env->features[FEAT_7_0_EBX] & CPUID_7_0_EBX_SMAP)) { |
H. Peter Anvin | a9321a4 | 2012-09-26 13:18:43 -0700 | [diff] [blame] | 203 | new_cr4 &= ~CR4_SMAP_MASK; |
| 204 | } |
H. Peter Anvin | a9321a4 | 2012-09-26 13:18:43 -0700 | [diff] [blame] | 205 | if (new_cr4 & CR4_SMAP_MASK) { |
Richard Henderson | 19dc85d | 2015-07-02 14:53:40 +0100 | [diff] [blame] | 206 | hflags |= HF_SMAP_MASK; |
H. Peter Anvin | a9321a4 | 2012-09-26 13:18:43 -0700 | [diff] [blame] | 207 | } |
Gareth Webb | 637f1ee | 2022-02-06 22:36:09 +0000 | [diff] [blame] | 208 | if (!(env->features[FEAT_7_0_ECX] & CPUID_7_0_ECX_UMIP)) { |
| 209 | new_cr4 &= ~CR4_UMIP_MASK; |
| 210 | } |
| 211 | if (new_cr4 & CR4_UMIP_MASK) { |
| 212 | hflags |= HF_UMIP_MASK; |
| 213 | } |
bellard | eaa728e | 2008-05-28 12:51:20 +0000 | [diff] [blame] | 214 | |
Paolo Bonzini | 0f70ed4 | 2016-02-09 14:14:28 +0100 | [diff] [blame] | 215 | if (!(env->features[FEAT_7_0_ECX] & CPUID_7_0_ECX_PKU)) { |
| 216 | new_cr4 &= ~CR4_PKE_MASK; |
| 217 | } |
Paolo Bonzini | e7e7bda | 2021-01-27 09:28:49 +0100 | [diff] [blame] | 218 | if (!(env->features[FEAT_7_0_ECX] & CPUID_7_0_ECX_PKS)) { |
| 219 | new_cr4 &= ~CR4_PKS_MASK; |
| 220 | } |
Paolo Bonzini | 0f70ed4 | 2016-02-09 14:14:28 +0100 | [diff] [blame] | 221 | |
bellard | eaa728e | 2008-05-28 12:51:20 +0000 | [diff] [blame] | 222 | env->cr[4] = new_cr4; |
Richard Henderson | 19dc85d | 2015-07-02 14:53:40 +0100 | [diff] [blame] | 223 | env->hflags = hflags; |
Richard Henderson | f4f1110 | 2015-07-02 15:57:14 +0100 | [diff] [blame] | 224 | |
| 225 | cpu_sync_bndcs_hflags(env); |
Paul Brook | 608db8d | 2022-04-24 23:01:25 +0100 | [diff] [blame] | 226 | cpu_sync_avx_hflag(env); |
bellard | eaa728e | 2008-05-28 12:51:20 +0000 | [diff] [blame] | 227 | } |
| 228 | |
Paolo Bonzini | 6578eb2 | 2017-07-03 18:10:00 +0200 | [diff] [blame] | 229 | #if !defined(CONFIG_USER_ONLY) |
Dmitry Poletaev | 56f9975 | 2019-09-18 13:07:06 +0300 | [diff] [blame] | 230 | hwaddr x86_cpu_get_phys_page_attrs_debug(CPUState *cs, vaddr addr, |
| 231 | MemTxAttrs *attrs) |
bellard | eaa728e | 2008-05-28 12:51:20 +0000 | [diff] [blame] | 232 | { |
Andreas Färber | 00b941e | 2013-06-29 18:55:54 +0200 | [diff] [blame] | 233 | X86CPU *cpu = X86_CPU(cs); |
| 234 | CPUX86State *env = &cpu->env; |
bellard | eaa728e | 2008-05-28 12:51:20 +0000 | [diff] [blame] | 235 | target_ulong pde_addr, pte_addr; |
| 236 | uint64_t pte; |
Paolo Bonzini | c8bc83a | 2017-05-11 13:35:28 +0200 | [diff] [blame] | 237 | int32_t a20_mask; |
bellard | eaa728e | 2008-05-28 12:51:20 +0000 | [diff] [blame] | 238 | uint32_t page_offset; |
| 239 | int page_size; |
| 240 | |
Dmitry Poletaev | 56f9975 | 2019-09-18 13:07:06 +0300 | [diff] [blame] | 241 | *attrs = cpu_get_mem_attrs(env); |
| 242 | |
Paolo Bonzini | c8bc83a | 2017-05-11 13:35:28 +0200 | [diff] [blame] | 243 | a20_mask = x86_get_a20_mask(env); |
Paolo Bonzini | f2f8560 | 2013-08-30 11:58:45 +0200 | [diff] [blame] | 244 | if (!(env->cr[0] & CR0_PG_MASK)) { |
Paolo Bonzini | c8bc83a | 2017-05-11 13:35:28 +0200 | [diff] [blame] | 245 | pte = addr & a20_mask; |
Paolo Bonzini | f2f8560 | 2013-08-30 11:58:45 +0200 | [diff] [blame] | 246 | page_size = 4096; |
| 247 | } else if (env->cr[4] & CR4_PAE_MASK) { |
bellard | eaa728e | 2008-05-28 12:51:20 +0000 | [diff] [blame] | 248 | target_ulong pdpe_addr; |
| 249 | uint64_t pde, pdpe; |
| 250 | |
| 251 | #ifdef TARGET_X86_64 |
| 252 | if (env->hflags & HF_LMA_MASK) { |
Kirill A. Shutemov | 6c7c3c2 | 2016-12-15 03:13:05 +0300 | [diff] [blame] | 253 | bool la57 = env->cr[4] & CR4_LA57_MASK; |
| 254 | uint64_t pml5e_addr, pml5e; |
bellard | eaa728e | 2008-05-28 12:51:20 +0000 | [diff] [blame] | 255 | uint64_t pml4e_addr, pml4e; |
| 256 | int32_t sext; |
| 257 | |
| 258 | /* test virtual address sign extension */ |
Kirill A. Shutemov | 6c7c3c2 | 2016-12-15 03:13:05 +0300 | [diff] [blame] | 259 | sext = la57 ? (int64_t)addr >> 56 : (int64_t)addr >> 47; |
Paolo Bonzini | 16b96f8 | 2014-05-27 14:58:47 +0200 | [diff] [blame] | 260 | if (sext != 0 && sext != -1) { |
bellard | eaa728e | 2008-05-28 12:51:20 +0000 | [diff] [blame] | 261 | return -1; |
Paolo Bonzini | 16b96f8 | 2014-05-27 14:58:47 +0200 | [diff] [blame] | 262 | } |
Kirill A. Shutemov | 6c7c3c2 | 2016-12-15 03:13:05 +0300 | [diff] [blame] | 263 | |
| 264 | if (la57) { |
| 265 | pml5e_addr = ((env->cr[3] & ~0xfff) + |
Paolo Bonzini | c8bc83a | 2017-05-11 13:35:28 +0200 | [diff] [blame] | 266 | (((addr >> 48) & 0x1ff) << 3)) & a20_mask; |
Kirill A. Shutemov | 6c7c3c2 | 2016-12-15 03:13:05 +0300 | [diff] [blame] | 267 | pml5e = x86_ldq_phys(cs, pml5e_addr); |
| 268 | if (!(pml5e & PG_PRESENT_MASK)) { |
| 269 | return -1; |
| 270 | } |
| 271 | } else { |
| 272 | pml5e = env->cr[3]; |
| 273 | } |
| 274 | |
| 275 | pml4e_addr = ((pml5e & PG_ADDRESS_MASK) + |
Paolo Bonzini | c8bc83a | 2017-05-11 13:35:28 +0200 | [diff] [blame] | 276 | (((addr >> 39) & 0x1ff) << 3)) & a20_mask; |
Paolo Bonzini | b216aa6 | 2015-04-08 13:39:37 +0200 | [diff] [blame] | 277 | pml4e = x86_ldq_phys(cs, pml4e_addr); |
Paolo Bonzini | 16b96f8 | 2014-05-27 14:58:47 +0200 | [diff] [blame] | 278 | if (!(pml4e & PG_PRESENT_MASK)) { |
bellard | eaa728e | 2008-05-28 12:51:20 +0000 | [diff] [blame] | 279 | return -1; |
Paolo Bonzini | 16b96f8 | 2014-05-27 14:58:47 +0200 | [diff] [blame] | 280 | } |
| 281 | pdpe_addr = ((pml4e & PG_ADDRESS_MASK) + |
Paolo Bonzini | c8bc83a | 2017-05-11 13:35:28 +0200 | [diff] [blame] | 282 | (((addr >> 30) & 0x1ff) << 3)) & a20_mask; |
Paolo Bonzini | b216aa6 | 2015-04-08 13:39:37 +0200 | [diff] [blame] | 283 | pdpe = x86_ldq_phys(cs, pdpe_addr); |
Paolo Bonzini | 16b96f8 | 2014-05-27 14:58:47 +0200 | [diff] [blame] | 284 | if (!(pdpe & PG_PRESENT_MASK)) { |
bellard | eaa728e | 2008-05-28 12:51:20 +0000 | [diff] [blame] | 285 | return -1; |
Paolo Bonzini | 16b96f8 | 2014-05-27 14:58:47 +0200 | [diff] [blame] | 286 | } |
Luiz Capitulino | c8c14bc | 2014-03-19 17:03:53 -0400 | [diff] [blame] | 287 | if (pdpe & PG_PSE_MASK) { |
| 288 | page_size = 1024 * 1024 * 1024; |
Paolo Bonzini | 16b96f8 | 2014-05-27 14:58:47 +0200 | [diff] [blame] | 289 | pte = pdpe; |
Luiz Capitulino | c8c14bc | 2014-03-19 17:03:53 -0400 | [diff] [blame] | 290 | goto out; |
| 291 | } |
| 292 | |
bellard | eaa728e | 2008-05-28 12:51:20 +0000 | [diff] [blame] | 293 | } else |
| 294 | #endif |
| 295 | { |
| 296 | pdpe_addr = ((env->cr[3] & ~0x1f) + ((addr >> 27) & 0x18)) & |
Paolo Bonzini | c8bc83a | 2017-05-11 13:35:28 +0200 | [diff] [blame] | 297 | a20_mask; |
Paolo Bonzini | b216aa6 | 2015-04-08 13:39:37 +0200 | [diff] [blame] | 298 | pdpe = x86_ldq_phys(cs, pdpe_addr); |
bellard | eaa728e | 2008-05-28 12:51:20 +0000 | [diff] [blame] | 299 | if (!(pdpe & PG_PRESENT_MASK)) |
| 300 | return -1; |
| 301 | } |
| 302 | |
Paolo Bonzini | 16b96f8 | 2014-05-27 14:58:47 +0200 | [diff] [blame] | 303 | pde_addr = ((pdpe & PG_ADDRESS_MASK) + |
Paolo Bonzini | c8bc83a | 2017-05-11 13:35:28 +0200 | [diff] [blame] | 304 | (((addr >> 21) & 0x1ff) << 3)) & a20_mask; |
Paolo Bonzini | b216aa6 | 2015-04-08 13:39:37 +0200 | [diff] [blame] | 305 | pde = x86_ldq_phys(cs, pde_addr); |
bellard | eaa728e | 2008-05-28 12:51:20 +0000 | [diff] [blame] | 306 | if (!(pde & PG_PRESENT_MASK)) { |
| 307 | return -1; |
| 308 | } |
| 309 | if (pde & PG_PSE_MASK) { |
| 310 | /* 2 MB page */ |
| 311 | page_size = 2048 * 1024; |
Paolo Bonzini | 16b96f8 | 2014-05-27 14:58:47 +0200 | [diff] [blame] | 312 | pte = pde; |
bellard | eaa728e | 2008-05-28 12:51:20 +0000 | [diff] [blame] | 313 | } else { |
| 314 | /* 4 KB page */ |
Paolo Bonzini | 16b96f8 | 2014-05-27 14:58:47 +0200 | [diff] [blame] | 315 | pte_addr = ((pde & PG_ADDRESS_MASK) + |
Paolo Bonzini | c8bc83a | 2017-05-11 13:35:28 +0200 | [diff] [blame] | 316 | (((addr >> 12) & 0x1ff) << 3)) & a20_mask; |
bellard | eaa728e | 2008-05-28 12:51:20 +0000 | [diff] [blame] | 317 | page_size = 4096; |
Paolo Bonzini | b216aa6 | 2015-04-08 13:39:37 +0200 | [diff] [blame] | 318 | pte = x86_ldq_phys(cs, pte_addr); |
bellard | eaa728e | 2008-05-28 12:51:20 +0000 | [diff] [blame] | 319 | } |
Paolo Bonzini | 16b96f8 | 2014-05-27 14:58:47 +0200 | [diff] [blame] | 320 | if (!(pte & PG_PRESENT_MASK)) { |
aliguori | ca1c9e1 | 2008-08-18 18:00:31 +0000 | [diff] [blame] | 321 | return -1; |
Paolo Bonzini | 16b96f8 | 2014-05-27 14:58:47 +0200 | [diff] [blame] | 322 | } |
bellard | eaa728e | 2008-05-28 12:51:20 +0000 | [diff] [blame] | 323 | } else { |
| 324 | uint32_t pde; |
| 325 | |
Paolo Bonzini | f2f8560 | 2013-08-30 11:58:45 +0200 | [diff] [blame] | 326 | /* page directory entry */ |
Paolo Bonzini | c8bc83a | 2017-05-11 13:35:28 +0200 | [diff] [blame] | 327 | pde_addr = ((env->cr[3] & ~0xfff) + ((addr >> 20) & 0xffc)) & a20_mask; |
Paolo Bonzini | b216aa6 | 2015-04-08 13:39:37 +0200 | [diff] [blame] | 328 | pde = x86_ldl_phys(cs, pde_addr); |
Paolo Bonzini | f2f8560 | 2013-08-30 11:58:45 +0200 | [diff] [blame] | 329 | if (!(pde & PG_PRESENT_MASK)) |
| 330 | return -1; |
| 331 | if ((pde & PG_PSE_MASK) && (env->cr[4] & CR4_PSE_MASK)) { |
Paolo Bonzini | 388ee48 | 2016-02-09 11:44:35 +0100 | [diff] [blame] | 332 | pte = pde | ((pde & 0x1fe000LL) << (32 - 13)); |
Paolo Bonzini | f2f8560 | 2013-08-30 11:58:45 +0200 | [diff] [blame] | 333 | page_size = 4096 * 1024; |
bellard | eaa728e | 2008-05-28 12:51:20 +0000 | [diff] [blame] | 334 | } else { |
| 335 | /* page directory entry */ |
Paolo Bonzini | c8bc83a | 2017-05-11 13:35:28 +0200 | [diff] [blame] | 336 | pte_addr = ((pde & ~0xfff) + ((addr >> 10) & 0xffc)) & a20_mask; |
Paolo Bonzini | b216aa6 | 2015-04-08 13:39:37 +0200 | [diff] [blame] | 337 | pte = x86_ldl_phys(cs, pte_addr); |
Paolo Bonzini | 16b96f8 | 2014-05-27 14:58:47 +0200 | [diff] [blame] | 338 | if (!(pte & PG_PRESENT_MASK)) { |
bellard | eaa728e | 2008-05-28 12:51:20 +0000 | [diff] [blame] | 339 | return -1; |
Paolo Bonzini | 16b96f8 | 2014-05-27 14:58:47 +0200 | [diff] [blame] | 340 | } |
Paolo Bonzini | f2f8560 | 2013-08-30 11:58:45 +0200 | [diff] [blame] | 341 | page_size = 4096; |
bellard | eaa728e | 2008-05-28 12:51:20 +0000 | [diff] [blame] | 342 | } |
Paolo Bonzini | c8bc83a | 2017-05-11 13:35:28 +0200 | [diff] [blame] | 343 | pte = pte & a20_mask; |
bellard | eaa728e | 2008-05-28 12:51:20 +0000 | [diff] [blame] | 344 | } |
| 345 | |
Luiz Capitulino | c8c14bc | 2014-03-19 17:03:53 -0400 | [diff] [blame] | 346 | #ifdef TARGET_X86_64 |
| 347 | out: |
| 348 | #endif |
Paolo Bonzini | 16b96f8 | 2014-05-27 14:58:47 +0200 | [diff] [blame] | 349 | pte &= PG_ADDRESS_MASK & ~(page_size - 1); |
bellard | eaa728e | 2008-05-28 12:51:20 +0000 | [diff] [blame] | 350 | page_offset = (addr & TARGET_PAGE_MASK) & (page_size - 1); |
Paolo Bonzini | 16b96f8 | 2014-05-27 14:58:47 +0200 | [diff] [blame] | 351 | return pte | page_offset; |
bellard | eaa728e | 2008-05-28 12:51:20 +0000 | [diff] [blame] | 352 | } |
aliguori | 01df040 | 2008-11-18 21:08:15 +0000 | [diff] [blame] | 353 | |
Jan Kiszka | d5bfda3 | 2011-03-02 08:56:15 +0100 | [diff] [blame] | 354 | typedef struct MCEInjectionParams { |
| 355 | Monitor *mon; |
Jan Kiszka | d5bfda3 | 2011-03-02 08:56:15 +0100 | [diff] [blame] | 356 | int bank; |
| 357 | uint64_t status; |
| 358 | uint64_t mcg_status; |
| 359 | uint64_t addr; |
| 360 | uint64_t misc; |
| 361 | int flags; |
| 362 | } MCEInjectionParams; |
| 363 | |
zhenwei pi | 8efc4e5 | 2020-09-30 18:04:40 +0800 | [diff] [blame] | 364 | static void emit_guest_memory_failure(MemoryFailureAction action, bool ar, |
| 365 | bool recursive) |
| 366 | { |
| 367 | MemoryFailureFlags mff = {.action_required = ar, .recursive = recursive}; |
| 368 | |
| 369 | qapi_event_send_memory_failure(MEMORY_FAILURE_RECIPIENT_GUEST, action, |
| 370 | &mff); |
| 371 | } |
| 372 | |
Paolo Bonzini | 14e6fe1 | 2016-10-31 10:36:08 +0100 | [diff] [blame] | 373 | static void do_inject_x86_mce(CPUState *cs, run_on_cpu_data data) |
Huang Ying | 79c4f6b | 2009-06-23 10:05:14 +0800 | [diff] [blame] | 374 | { |
Paolo Bonzini | 14e6fe1 | 2016-10-31 10:36:08 +0100 | [diff] [blame] | 375 | MCEInjectionParams *params = data.host_ptr; |
Alex Bennée | e0eeb4a | 2016-08-02 18:27:33 +0100 | [diff] [blame] | 376 | X86CPU *cpu = X86_CPU(cs); |
| 377 | CPUX86State *cenv = &cpu->env; |
Jan Kiszka | d5bfda3 | 2011-03-02 08:56:15 +0100 | [diff] [blame] | 378 | uint64_t *banks = cenv->mce_banks + 4 * params->bank; |
zhenwei pi | 9f89f30 | 2020-09-30 18:04:38 +0800 | [diff] [blame] | 379 | g_autofree char *msg = NULL; |
| 380 | bool need_reset = false; |
zhenwei pi | 8efc4e5 | 2020-09-30 18:04:40 +0800 | [diff] [blame] | 381 | bool recursive; |
| 382 | bool ar = !!(params->status & MCI_STATUS_AR); |
Jan Kiszka | d5bfda3 | 2011-03-02 08:56:15 +0100 | [diff] [blame] | 383 | |
Alex Bennée | e0eeb4a | 2016-08-02 18:27:33 +0100 | [diff] [blame] | 384 | cpu_synchronize_state(cs); |
zhenwei pi | 8efc4e5 | 2020-09-30 18:04:40 +0800 | [diff] [blame] | 385 | recursive = !!(cenv->mcg_status & MCG_STATUS_MCIP); |
Huang Ying | 79c4f6b | 2009-06-23 10:05:14 +0800 | [diff] [blame] | 386 | |
Jan Kiszka | 747461c | 2011-03-02 08:56:10 +0100 | [diff] [blame] | 387 | /* |
| 388 | * If there is an MCE exception being processed, ignore this SRAO MCE |
| 389 | * unless unconditional injection was requested. |
| 390 | */ |
zhenwei pi | 8efc4e5 | 2020-09-30 18:04:40 +0800 | [diff] [blame] | 391 | if (!(params->flags & MCE_INJECT_UNCOND_AO) && !ar && recursive) { |
| 392 | emit_guest_memory_failure(MEMORY_FAILURE_ACTION_IGNORE, ar, recursive); |
Jan Kiszka | 747461c | 2011-03-02 08:56:10 +0100 | [diff] [blame] | 393 | return; |
| 394 | } |
Jan Kiszka | d5bfda3 | 2011-03-02 08:56:15 +0100 | [diff] [blame] | 395 | |
| 396 | if (params->status & MCI_STATUS_UC) { |
Jan Kiszka | 316378e | 2011-03-02 08:56:09 +0100 | [diff] [blame] | 397 | /* |
| 398 | * if MSR_MCG_CTL is not all 1s, the uncorrected error |
| 399 | * reporting is disabled |
| 400 | */ |
Jan Kiszka | d5bfda3 | 2011-03-02 08:56:15 +0100 | [diff] [blame] | 401 | if ((cenv->mcg_cap & MCG_CTL_P) && cenv->mcg_ctl != ~(uint64_t)0) { |
| 402 | monitor_printf(params->mon, |
Jan Kiszka | 316378e | 2011-03-02 08:56:09 +0100 | [diff] [blame] | 403 | "CPU %d: Uncorrected error reporting disabled\n", |
Alex Bennée | e0eeb4a | 2016-08-02 18:27:33 +0100 | [diff] [blame] | 404 | cs->cpu_index); |
Jan Kiszka | 316378e | 2011-03-02 08:56:09 +0100 | [diff] [blame] | 405 | return; |
| 406 | } |
| 407 | |
| 408 | /* |
| 409 | * if MSR_MCi_CTL is not all 1s, the uncorrected error |
| 410 | * reporting is disabled for the bank |
| 411 | */ |
| 412 | if (banks[0] != ~(uint64_t)0) { |
Jan Kiszka | d5bfda3 | 2011-03-02 08:56:15 +0100 | [diff] [blame] | 413 | monitor_printf(params->mon, |
| 414 | "CPU %d: Uncorrected error reporting disabled for" |
| 415 | " bank %d\n", |
Alex Bennée | e0eeb4a | 2016-08-02 18:27:33 +0100 | [diff] [blame] | 416 | cs->cpu_index, params->bank); |
Jan Kiszka | 316378e | 2011-03-02 08:56:09 +0100 | [diff] [blame] | 417 | return; |
| 418 | } |
| 419 | |
zhenwei pi | 9f89f30 | 2020-09-30 18:04:38 +0800 | [diff] [blame] | 420 | if (!(cenv->cr[4] & CR4_MCE_MASK)) { |
| 421 | need_reset = true; |
| 422 | msg = g_strdup_printf("CPU %d: MCE capability is not enabled, " |
| 423 | "raising triple fault", cs->cpu_index); |
Paolo Bonzini | 42ccce1 | 2020-10-06 09:48:23 +0200 | [diff] [blame] | 424 | } else if (recursive) { |
| 425 | need_reset = true; |
| 426 | msg = g_strdup_printf("CPU %d: Previous MCE still in progress, " |
| 427 | "raising triple fault", cs->cpu_index); |
zhenwei pi | 9f89f30 | 2020-09-30 18:04:38 +0800 | [diff] [blame] | 428 | } |
| 429 | |
| 430 | if (need_reset) { |
zhenwei pi | 8efc4e5 | 2020-09-30 18:04:40 +0800 | [diff] [blame] | 431 | emit_guest_memory_failure(MEMORY_FAILURE_ACTION_RESET, ar, |
| 432 | recursive); |
Alex Bennée | bf0c50d | 2022-09-29 12:42:12 +0100 | [diff] [blame] | 433 | monitor_puts(params->mon, msg); |
zhenwei pi | 9f89f30 | 2020-09-30 18:04:38 +0800 | [diff] [blame] | 434 | qemu_log_mask(CPU_LOG_RESET, "%s\n", msg); |
Eric Blake | cf83f14 | 2017-05-15 16:41:13 -0500 | [diff] [blame] | 435 | qemu_system_reset_request(SHUTDOWN_CAUSE_GUEST_RESET); |
Huang Ying | 79c4f6b | 2009-06-23 10:05:14 +0800 | [diff] [blame] | 436 | return; |
| 437 | } |
zhenwei pi | 9f89f30 | 2020-09-30 18:04:38 +0800 | [diff] [blame] | 438 | |
Jan Kiszka | 2fa11da | 2011-03-02 08:56:08 +0100 | [diff] [blame] | 439 | if (banks[1] & MCI_STATUS_VAL) { |
Jan Kiszka | d5bfda3 | 2011-03-02 08:56:15 +0100 | [diff] [blame] | 440 | params->status |= MCI_STATUS_OVER; |
Jan Kiszka | 2fa11da | 2011-03-02 08:56:08 +0100 | [diff] [blame] | 441 | } |
Jan Kiszka | d5bfda3 | 2011-03-02 08:56:15 +0100 | [diff] [blame] | 442 | banks[2] = params->addr; |
| 443 | banks[3] = params->misc; |
| 444 | cenv->mcg_status = params->mcg_status; |
| 445 | banks[1] = params->status; |
Alex Bennée | e0eeb4a | 2016-08-02 18:27:33 +0100 | [diff] [blame] | 446 | cpu_interrupt(cs, CPU_INTERRUPT_MCE); |
Huang Ying | 79c4f6b | 2009-06-23 10:05:14 +0800 | [diff] [blame] | 447 | } else if (!(banks[1] & MCI_STATUS_VAL) |
| 448 | || !(banks[1] & MCI_STATUS_UC)) { |
Jan Kiszka | 2fa11da | 2011-03-02 08:56:08 +0100 | [diff] [blame] | 449 | if (banks[1] & MCI_STATUS_VAL) { |
Jan Kiszka | d5bfda3 | 2011-03-02 08:56:15 +0100 | [diff] [blame] | 450 | params->status |= MCI_STATUS_OVER; |
Jan Kiszka | 2fa11da | 2011-03-02 08:56:08 +0100 | [diff] [blame] | 451 | } |
Jan Kiszka | d5bfda3 | 2011-03-02 08:56:15 +0100 | [diff] [blame] | 452 | banks[2] = params->addr; |
| 453 | banks[3] = params->misc; |
| 454 | banks[1] = params->status; |
Jan Kiszka | 2fa11da | 2011-03-02 08:56:08 +0100 | [diff] [blame] | 455 | } else { |
Huang Ying | 79c4f6b | 2009-06-23 10:05:14 +0800 | [diff] [blame] | 456 | banks[1] |= MCI_STATUS_OVER; |
Jan Kiszka | 2fa11da | 2011-03-02 08:56:08 +0100 | [diff] [blame] | 457 | } |
zhenwei pi | 8efc4e5 | 2020-09-30 18:04:40 +0800 | [diff] [blame] | 458 | |
| 459 | emit_guest_memory_failure(MEMORY_FAILURE_ACTION_INJECT, ar, recursive); |
Huang Ying | 79c4f6b | 2009-06-23 10:05:14 +0800 | [diff] [blame] | 460 | } |
Jin Dongming | b3cd24e | 2010-12-10 17:20:44 +0900 | [diff] [blame] | 461 | |
Andreas Färber | 8c5cf3b | 2012-05-03 15:22:54 +0200 | [diff] [blame] | 462 | void cpu_x86_inject_mce(Monitor *mon, X86CPU *cpu, int bank, |
Jan Kiszka | 316378e | 2011-03-02 08:56:09 +0100 | [diff] [blame] | 463 | uint64_t status, uint64_t mcg_status, uint64_t addr, |
Jan Kiszka | 747461c | 2011-03-02 08:56:10 +0100 | [diff] [blame] | 464 | uint64_t misc, int flags) |
Jin Dongming | b3cd24e | 2010-12-10 17:20:44 +0900 | [diff] [blame] | 465 | { |
Andreas Färber | 182735e | 2013-05-29 22:29:20 +0200 | [diff] [blame] | 466 | CPUState *cs = CPU(cpu); |
Andreas Färber | 8c5cf3b | 2012-05-03 15:22:54 +0200 | [diff] [blame] | 467 | CPUX86State *cenv = &cpu->env; |
Jan Kiszka | d5bfda3 | 2011-03-02 08:56:15 +0100 | [diff] [blame] | 468 | MCEInjectionParams params = { |
| 469 | .mon = mon, |
Jan Kiszka | d5bfda3 | 2011-03-02 08:56:15 +0100 | [diff] [blame] | 470 | .bank = bank, |
| 471 | .status = status, |
| 472 | .mcg_status = mcg_status, |
| 473 | .addr = addr, |
| 474 | .misc = misc, |
| 475 | .flags = flags, |
| 476 | }; |
Jin Dongming | b3cd24e | 2010-12-10 17:20:44 +0900 | [diff] [blame] | 477 | unsigned bank_num = cenv->mcg_cap & 0xff; |
| 478 | |
Jan Kiszka | 316378e | 2011-03-02 08:56:09 +0100 | [diff] [blame] | 479 | if (!cenv->mcg_cap) { |
| 480 | monitor_printf(mon, "MCE injection not supported\n"); |
Jin Dongming | b3cd24e | 2010-12-10 17:20:44 +0900 | [diff] [blame] | 481 | return; |
| 482 | } |
Jan Kiszka | 316378e | 2011-03-02 08:56:09 +0100 | [diff] [blame] | 483 | if (bank >= bank_num) { |
| 484 | monitor_printf(mon, "Invalid MCE bank number\n"); |
| 485 | return; |
| 486 | } |
| 487 | if (!(status & MCI_STATUS_VAL)) { |
| 488 | monitor_printf(mon, "Invalid MCE status code\n"); |
| 489 | return; |
| 490 | } |
Jan Kiszka | 747461c | 2011-03-02 08:56:10 +0100 | [diff] [blame] | 491 | if ((flags & MCE_INJECT_BROADCAST) |
| 492 | && !cpu_x86_support_mca_broadcast(cenv)) { |
Jan Kiszka | 316378e | 2011-03-02 08:56:09 +0100 | [diff] [blame] | 493 | monitor_printf(mon, "Guest CPU does not support MCA broadcast\n"); |
| 494 | return; |
Jin Dongming | 2bd3e04 | 2010-12-10 17:21:14 +0900 | [diff] [blame] | 495 | } |
| 496 | |
Paolo Bonzini | 14e6fe1 | 2016-10-31 10:36:08 +0100 | [diff] [blame] | 497 | run_on_cpu(cs, do_inject_x86_mce, RUN_ON_CPU_HOST_PTR(¶ms)); |
Jan Kiszka | c34d440 | 2011-03-02 08:56:16 +0100 | [diff] [blame] | 498 | if (flags & MCE_INJECT_BROADCAST) { |
Andreas Färber | 182735e | 2013-05-29 22:29:20 +0200 | [diff] [blame] | 499 | CPUState *other_cs; |
| 500 | |
Jan Kiszka | c34d440 | 2011-03-02 08:56:16 +0100 | [diff] [blame] | 501 | params.bank = 1; |
| 502 | params.status = MCI_STATUS_VAL | MCI_STATUS_UC; |
| 503 | params.mcg_status = MCG_STATUS_MCIP | MCG_STATUS_RIPV; |
| 504 | params.addr = 0; |
| 505 | params.misc = 0; |
Andreas Färber | bdc4464 | 2013-06-24 23:50:24 +0200 | [diff] [blame] | 506 | CPU_FOREACH(other_cs) { |
Andreas Färber | 182735e | 2013-05-29 22:29:20 +0200 | [diff] [blame] | 507 | if (other_cs == cs) { |
Jan Kiszka | c34d440 | 2011-03-02 08:56:16 +0100 | [diff] [blame] | 508 | continue; |
Jin Dongming | 31ce5e0 | 2010-12-10 17:21:02 +0900 | [diff] [blame] | 509 | } |
Paolo Bonzini | 14e6fe1 | 2016-10-31 10:36:08 +0100 | [diff] [blame] | 510 | run_on_cpu(other_cs, do_inject_x86_mce, RUN_ON_CPU_HOST_PTR(¶ms)); |
Jin Dongming | 31ce5e0 | 2010-12-10 17:21:02 +0900 | [diff] [blame] | 511 | } |
Jin Dongming | b3cd24e | 2010-12-10 17:20:44 +0900 | [diff] [blame] | 512 | } |
| 513 | } |
Jan Kiszka | d362e75 | 2012-02-17 18:31:17 +0100 | [diff] [blame] | 514 | |
Richard Henderson | f484f21 | 2022-10-24 22:45:29 +1000 | [diff] [blame] | 515 | static inline target_ulong get_memio_eip(CPUX86State *env) |
| 516 | { |
| 517 | #ifdef CONFIG_TCG |
| 518 | uint64_t data[TARGET_INSN_START_WORDS]; |
| 519 | CPUState *cs = env_cpu(env); |
| 520 | |
| 521 | if (!cpu_unwind_state_data(cs, cs->mem_io_pc, data)) { |
| 522 | return env->eip; |
| 523 | } |
| 524 | |
| 525 | /* Per x86_restore_state_to_opc. */ |
Anton Johansson | 2e3afe8 | 2023-02-27 14:51:42 +0100 | [diff] [blame] | 526 | if (cs->tcg_cflags & CF_PCREL) { |
Richard Henderson | f484f21 | 2022-10-24 22:45:29 +1000 | [diff] [blame] | 527 | return (env->eip & TARGET_PAGE_MASK) | data[0]; |
| 528 | } else { |
| 529 | return data[0] - env->segs[R_CS].base; |
| 530 | } |
| 531 | #else |
| 532 | qemu_build_not_reached(); |
| 533 | #endif |
| 534 | } |
| 535 | |
Andreas Färber | 317ac62 | 2012-03-14 01:38:21 +0100 | [diff] [blame] | 536 | void cpu_report_tpr_access(CPUX86State *env, TPRAccess access) |
Jan Kiszka | d362e75 | 2012-02-17 18:31:17 +0100 | [diff] [blame] | 537 | { |
Richard Henderson | 6aa9e42 | 2019-03-22 18:08:48 -0700 | [diff] [blame] | 538 | X86CPU *cpu = env_archcpu(env); |
| 539 | CPUState *cs = env_cpu(env); |
Chen Fan | 02e5148 | 2013-12-23 17:04:02 +0800 | [diff] [blame] | 540 | |
Reinoud Zandijk | b9bc616 | 2021-04-02 22:25:34 +0200 | [diff] [blame] | 541 | if (kvm_enabled() || whpx_enabled() || nvmm_enabled()) { |
Jan Kiszka | d362e75 | 2012-02-17 18:31:17 +0100 | [diff] [blame] | 542 | env->tpr_access_type = access; |
| 543 | |
Andreas Färber | 93afead | 2013-08-26 03:41:01 +0200 | [diff] [blame] | 544 | cpu_interrupt(cs, CPU_INTERRUPT_TPR); |
Yang Zhong | 79c664f | 2017-07-03 18:12:22 +0800 | [diff] [blame] | 545 | } else if (tcg_enabled()) { |
Richard Henderson | f484f21 | 2022-10-24 22:45:29 +1000 | [diff] [blame] | 546 | target_ulong eip = get_memio_eip(env); |
Jan Kiszka | d362e75 | 2012-02-17 18:31:17 +0100 | [diff] [blame] | 547 | |
Richard Henderson | f484f21 | 2022-10-24 22:45:29 +1000 | [diff] [blame] | 548 | apic_handle_tpr_access_report(cpu->apic_state, eip, access); |
Jan Kiszka | d362e75 | 2012-02-17 18:31:17 +0100 | [diff] [blame] | 549 | } |
| 550 | } |
bellard | eaa728e | 2008-05-28 12:51:20 +0000 | [diff] [blame] | 551 | #endif /* !CONFIG_USER_ONLY */ |
aliguori | 6fd805e | 2008-11-05 15:34:06 +0000 | [diff] [blame] | 552 | |
Jan Kiszka | 8427317 | 2009-06-27 09:53:51 +0200 | [diff] [blame] | 553 | int cpu_x86_get_descr_debug(CPUX86State *env, unsigned int selector, |
| 554 | target_ulong *base, unsigned int *limit, |
| 555 | unsigned int *flags) |
| 556 | { |
Richard Henderson | 6aa9e42 | 2019-03-22 18:08:48 -0700 | [diff] [blame] | 557 | CPUState *cs = env_cpu(env); |
Jan Kiszka | 8427317 | 2009-06-27 09:53:51 +0200 | [diff] [blame] | 558 | SegmentCache *dt; |
| 559 | target_ulong ptr; |
| 560 | uint32_t e1, e2; |
| 561 | int index; |
| 562 | |
| 563 | if (selector & 0x4) |
| 564 | dt = &env->ldt; |
| 565 | else |
| 566 | dt = &env->gdt; |
| 567 | index = selector & ~7; |
| 568 | ptr = dt->base + index; |
| 569 | if ((index + 7) > dt->limit |
Andreas Färber | f17ec44 | 2013-06-29 19:40:58 +0200 | [diff] [blame] | 570 | || cpu_memory_rw_debug(cs, ptr, (uint8_t *)&e1, sizeof(e1), 0) != 0 |
| 571 | || cpu_memory_rw_debug(cs, ptr+4, (uint8_t *)&e2, sizeof(e2), 0) != 0) |
Jan Kiszka | 8427317 | 2009-06-27 09:53:51 +0200 | [diff] [blame] | 572 | return 0; |
| 573 | |
| 574 | *base = ((e1 >> 16) | ((e2 & 0xff) << 16) | (e2 & 0xff000000)); |
| 575 | *limit = (e1 & 0xffff) | (e2 & 0x000f0000); |
| 576 | if (e2 & DESC_G_MASK) |
| 577 | *limit = (*limit << 12) | 0xfff; |
| 578 | *flags = e2; |
| 579 | |
| 580 | return 1; |
| 581 | } |
| 582 | |
Andreas Färber | 232fc23 | 2012-05-05 01:14:41 +0200 | [diff] [blame] | 583 | void do_cpu_init(X86CPU *cpu) |
Gleb Natapov | b09ea7d | 2009-06-17 23:26:59 +0300 | [diff] [blame] | 584 | { |
Philippe Mathieu-Daudé | 6d70b36 | 2023-06-03 00:31:40 +0200 | [diff] [blame] | 585 | #if !defined(CONFIG_USER_ONLY) |
Andreas Färber | 259186a | 2013-01-17 18:51:17 +0100 | [diff] [blame] | 586 | CPUState *cs = CPU(cpu); |
Andreas Färber | 232fc23 | 2012-05-05 01:14:41 +0200 | [diff] [blame] | 587 | CPUX86State *env = &cpu->env; |
Paolo Bonzini | 43175fa | 2013-03-12 13:16:28 +0100 | [diff] [blame] | 588 | CPUX86State *save = g_new(CPUX86State, 1); |
Andreas Färber | 259186a | 2013-01-17 18:51:17 +0100 | [diff] [blame] | 589 | int sipi = cs->interrupt_request & CPU_INTERRUPT_SIPI; |
Paolo Bonzini | 43175fa | 2013-03-12 13:16:28 +0100 | [diff] [blame] | 590 | |
| 591 | *save = *env; |
Jan Kiszka | ebda377 | 2011-03-15 12:26:21 +0100 | [diff] [blame] | 592 | |
Andreas Färber | 259186a | 2013-01-17 18:51:17 +0100 | [diff] [blame] | 593 | cpu_reset(cs); |
| 594 | cs->interrupt_request = sipi; |
Paolo Bonzini | 43175fa | 2013-03-12 13:16:28 +0100 | [diff] [blame] | 595 | memcpy(&env->start_init_save, &save->start_init_save, |
| 596 | offsetof(CPUX86State, end_init_save) - |
| 597 | offsetof(CPUX86State, start_init_save)); |
| 598 | g_free(save); |
| 599 | |
Paolo Bonzini | e0723c4 | 2013-03-08 19:21:50 +0100 | [diff] [blame] | 600 | if (kvm_enabled()) { |
| 601 | kvm_arch_do_init_vcpu(cpu); |
| 602 | } |
Chen Fan | 02e5148 | 2013-12-23 17:04:02 +0800 | [diff] [blame] | 603 | apic_init_reset(cpu->apic_state); |
Philippe Mathieu-Daudé | 6d70b36 | 2023-06-03 00:31:40 +0200 | [diff] [blame] | 604 | #endif /* CONFIG_USER_ONLY */ |
Gleb Natapov | b09ea7d | 2009-06-17 23:26:59 +0300 | [diff] [blame] | 605 | } |
| 606 | |
Philippe Mathieu-Daudé | 6d70b36 | 2023-06-03 00:31:40 +0200 | [diff] [blame] | 607 | #ifndef CONFIG_USER_ONLY |
| 608 | |
Andreas Färber | 232fc23 | 2012-05-05 01:14:41 +0200 | [diff] [blame] | 609 | void do_cpu_sipi(X86CPU *cpu) |
Gleb Natapov | b09ea7d | 2009-06-17 23:26:59 +0300 | [diff] [blame] | 610 | { |
Chen Fan | 02e5148 | 2013-12-23 17:04:02 +0800 | [diff] [blame] | 611 | apic_sipi(cpu->apic_state); |
Gleb Natapov | b09ea7d | 2009-06-17 23:26:59 +0300 | [diff] [blame] | 612 | } |
Claudio Fontana | 6308728 | 2021-03-22 14:27:57 +0100 | [diff] [blame] | 613 | |
| 614 | void cpu_load_efer(CPUX86State *env, uint64_t val) |
| 615 | { |
| 616 | env->efer = val; |
| 617 | env->hflags &= ~(HF_LMA_MASK | HF_SVME_MASK); |
| 618 | if (env->efer & MSR_EFER_LMA) { |
| 619 | env->hflags |= HF_LMA_MASK; |
| 620 | } |
| 621 | if (env->efer & MSR_EFER_SVME) { |
| 622 | env->hflags |= HF_SVME_MASK; |
| 623 | } |
| 624 | } |
| 625 | |
Paolo Bonzini | b216aa6 | 2015-04-08 13:39:37 +0200 | [diff] [blame] | 626 | uint8_t x86_ldub_phys(CPUState *cs, hwaddr addr) |
| 627 | { |
| 628 | X86CPU *cpu = X86_CPU(cs); |
| 629 | CPUX86State *env = &cpu->env; |
Paolo Bonzini | f8c45c6 | 2017-03-01 10:34:48 +0100 | [diff] [blame] | 630 | MemTxAttrs attrs = cpu_get_mem_attrs(env); |
| 631 | AddressSpace *as = cpu_addressspace(cs, attrs); |
Paolo Bonzini | b216aa6 | 2015-04-08 13:39:37 +0200 | [diff] [blame] | 632 | |
Paolo Bonzini | f8c45c6 | 2017-03-01 10:34:48 +0100 | [diff] [blame] | 633 | return address_space_ldub(as, addr, attrs, NULL); |
Paolo Bonzini | b216aa6 | 2015-04-08 13:39:37 +0200 | [diff] [blame] | 634 | } |
| 635 | |
| 636 | uint32_t x86_lduw_phys(CPUState *cs, hwaddr addr) |
| 637 | { |
| 638 | X86CPU *cpu = X86_CPU(cs); |
| 639 | CPUX86State *env = &cpu->env; |
Paolo Bonzini | f8c45c6 | 2017-03-01 10:34:48 +0100 | [diff] [blame] | 640 | MemTxAttrs attrs = cpu_get_mem_attrs(env); |
| 641 | AddressSpace *as = cpu_addressspace(cs, attrs); |
Paolo Bonzini | b216aa6 | 2015-04-08 13:39:37 +0200 | [diff] [blame] | 642 | |
Paolo Bonzini | f8c45c6 | 2017-03-01 10:34:48 +0100 | [diff] [blame] | 643 | return address_space_lduw(as, addr, attrs, NULL); |
Paolo Bonzini | b216aa6 | 2015-04-08 13:39:37 +0200 | [diff] [blame] | 644 | } |
| 645 | |
| 646 | uint32_t x86_ldl_phys(CPUState *cs, hwaddr addr) |
| 647 | { |
| 648 | X86CPU *cpu = X86_CPU(cs); |
| 649 | CPUX86State *env = &cpu->env; |
Paolo Bonzini | f8c45c6 | 2017-03-01 10:34:48 +0100 | [diff] [blame] | 650 | MemTxAttrs attrs = cpu_get_mem_attrs(env); |
| 651 | AddressSpace *as = cpu_addressspace(cs, attrs); |
Paolo Bonzini | b216aa6 | 2015-04-08 13:39:37 +0200 | [diff] [blame] | 652 | |
Paolo Bonzini | f8c45c6 | 2017-03-01 10:34:48 +0100 | [diff] [blame] | 653 | return address_space_ldl(as, addr, attrs, NULL); |
Paolo Bonzini | b216aa6 | 2015-04-08 13:39:37 +0200 | [diff] [blame] | 654 | } |
| 655 | |
| 656 | uint64_t x86_ldq_phys(CPUState *cs, hwaddr addr) |
| 657 | { |
| 658 | X86CPU *cpu = X86_CPU(cs); |
| 659 | CPUX86State *env = &cpu->env; |
Paolo Bonzini | f8c45c6 | 2017-03-01 10:34:48 +0100 | [diff] [blame] | 660 | MemTxAttrs attrs = cpu_get_mem_attrs(env); |
| 661 | AddressSpace *as = cpu_addressspace(cs, attrs); |
Paolo Bonzini | b216aa6 | 2015-04-08 13:39:37 +0200 | [diff] [blame] | 662 | |
Paolo Bonzini | f8c45c6 | 2017-03-01 10:34:48 +0100 | [diff] [blame] | 663 | return address_space_ldq(as, addr, attrs, NULL); |
Paolo Bonzini | b216aa6 | 2015-04-08 13:39:37 +0200 | [diff] [blame] | 664 | } |
| 665 | |
| 666 | void x86_stb_phys(CPUState *cs, hwaddr addr, uint8_t val) |
| 667 | { |
| 668 | X86CPU *cpu = X86_CPU(cs); |
| 669 | CPUX86State *env = &cpu->env; |
Paolo Bonzini | f8c45c6 | 2017-03-01 10:34:48 +0100 | [diff] [blame] | 670 | MemTxAttrs attrs = cpu_get_mem_attrs(env); |
| 671 | AddressSpace *as = cpu_addressspace(cs, attrs); |
Paolo Bonzini | b216aa6 | 2015-04-08 13:39:37 +0200 | [diff] [blame] | 672 | |
Paolo Bonzini | f8c45c6 | 2017-03-01 10:34:48 +0100 | [diff] [blame] | 673 | address_space_stb(as, addr, val, attrs, NULL); |
Paolo Bonzini | b216aa6 | 2015-04-08 13:39:37 +0200 | [diff] [blame] | 674 | } |
| 675 | |
| 676 | void x86_stl_phys_notdirty(CPUState *cs, hwaddr addr, uint32_t val) |
| 677 | { |
| 678 | X86CPU *cpu = X86_CPU(cs); |
| 679 | CPUX86State *env = &cpu->env; |
Paolo Bonzini | f8c45c6 | 2017-03-01 10:34:48 +0100 | [diff] [blame] | 680 | MemTxAttrs attrs = cpu_get_mem_attrs(env); |
| 681 | AddressSpace *as = cpu_addressspace(cs, attrs); |
Paolo Bonzini | b216aa6 | 2015-04-08 13:39:37 +0200 | [diff] [blame] | 682 | |
Paolo Bonzini | f8c45c6 | 2017-03-01 10:34:48 +0100 | [diff] [blame] | 683 | address_space_stl_notdirty(as, addr, val, attrs, NULL); |
Paolo Bonzini | b216aa6 | 2015-04-08 13:39:37 +0200 | [diff] [blame] | 684 | } |
| 685 | |
| 686 | void x86_stw_phys(CPUState *cs, hwaddr addr, uint32_t val) |
| 687 | { |
| 688 | X86CPU *cpu = X86_CPU(cs); |
| 689 | CPUX86State *env = &cpu->env; |
Paolo Bonzini | f8c45c6 | 2017-03-01 10:34:48 +0100 | [diff] [blame] | 690 | MemTxAttrs attrs = cpu_get_mem_attrs(env); |
| 691 | AddressSpace *as = cpu_addressspace(cs, attrs); |
Paolo Bonzini | b216aa6 | 2015-04-08 13:39:37 +0200 | [diff] [blame] | 692 | |
Paolo Bonzini | f8c45c6 | 2017-03-01 10:34:48 +0100 | [diff] [blame] | 693 | address_space_stw(as, addr, val, attrs, NULL); |
Paolo Bonzini | b216aa6 | 2015-04-08 13:39:37 +0200 | [diff] [blame] | 694 | } |
| 695 | |
| 696 | void x86_stl_phys(CPUState *cs, hwaddr addr, uint32_t val) |
| 697 | { |
| 698 | X86CPU *cpu = X86_CPU(cs); |
| 699 | CPUX86State *env = &cpu->env; |
Paolo Bonzini | f8c45c6 | 2017-03-01 10:34:48 +0100 | [diff] [blame] | 700 | MemTxAttrs attrs = cpu_get_mem_attrs(env); |
| 701 | AddressSpace *as = cpu_addressspace(cs, attrs); |
Paolo Bonzini | b216aa6 | 2015-04-08 13:39:37 +0200 | [diff] [blame] | 702 | |
Paolo Bonzini | f8c45c6 | 2017-03-01 10:34:48 +0100 | [diff] [blame] | 703 | address_space_stl(as, addr, val, attrs, NULL); |
Paolo Bonzini | b216aa6 | 2015-04-08 13:39:37 +0200 | [diff] [blame] | 704 | } |
| 705 | |
| 706 | void x86_stq_phys(CPUState *cs, hwaddr addr, uint64_t val) |
| 707 | { |
| 708 | X86CPU *cpu = X86_CPU(cs); |
| 709 | CPUX86State *env = &cpu->env; |
Paolo Bonzini | f8c45c6 | 2017-03-01 10:34:48 +0100 | [diff] [blame] | 710 | MemTxAttrs attrs = cpu_get_mem_attrs(env); |
| 711 | AddressSpace *as = cpu_addressspace(cs, attrs); |
Paolo Bonzini | b216aa6 | 2015-04-08 13:39:37 +0200 | [diff] [blame] | 712 | |
Paolo Bonzini | f8c45c6 | 2017-03-01 10:34:48 +0100 | [diff] [blame] | 713 | address_space_stq(as, addr, val, attrs, NULL); |
Paolo Bonzini | b216aa6 | 2015-04-08 13:39:37 +0200 | [diff] [blame] | 714 | } |
| 715 | #endif |