1*32cad1ffSPhilippe Mathieu-Daudé /*
2*32cad1ffSPhilippe Mathieu-Daudé * x86 segmentation related helpers: (system-only code)
3*32cad1ffSPhilippe Mathieu-Daudé * TSS, interrupts, system calls, jumps and call/task gates, descriptors
4*32cad1ffSPhilippe Mathieu-Daudé *
5*32cad1ffSPhilippe Mathieu-Daudé * Copyright (c) 2003 Fabrice Bellard
6*32cad1ffSPhilippe Mathieu-Daudé *
7*32cad1ffSPhilippe Mathieu-Daudé * This library is free software; you can redistribute it and/or
8*32cad1ffSPhilippe Mathieu-Daudé * modify it under the terms of the GNU Lesser General Public
9*32cad1ffSPhilippe Mathieu-Daudé * License as published by the Free Software Foundation; either
10*32cad1ffSPhilippe Mathieu-Daudé * version 2.1 of the License, or (at your option) any later version.
11*32cad1ffSPhilippe Mathieu-Daudé *
12*32cad1ffSPhilippe Mathieu-Daudé * This library is distributed in the hope that it will be useful,
13*32cad1ffSPhilippe Mathieu-Daudé * but WITHOUT ANY WARRANTY; without even the implied warranty of
14*32cad1ffSPhilippe Mathieu-Daudé * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
15*32cad1ffSPhilippe Mathieu-Daudé * Lesser General Public License for more details.
16*32cad1ffSPhilippe Mathieu-Daudé *
17*32cad1ffSPhilippe Mathieu-Daudé * You should have received a copy of the GNU Lesser General Public
18*32cad1ffSPhilippe Mathieu-Daudé * License along with this library; if not, see <http://www.gnu.org/licenses/>.
19*32cad1ffSPhilippe Mathieu-Daudé */
20*32cad1ffSPhilippe Mathieu-Daudé
21*32cad1ffSPhilippe Mathieu-Daudé #include "qemu/osdep.h"
22*32cad1ffSPhilippe Mathieu-Daudé #include "qemu/log.h"
23*32cad1ffSPhilippe Mathieu-Daudé #include "qemu/main-loop.h"
24*32cad1ffSPhilippe Mathieu-Daudé #include "cpu.h"
25*32cad1ffSPhilippe Mathieu-Daudé #include "exec/helper-proto.h"
26*32cad1ffSPhilippe Mathieu-Daudé #include "exec/cpu_ldst.h"
27*32cad1ffSPhilippe Mathieu-Daudé #include "tcg/helper-tcg.h"
28*32cad1ffSPhilippe Mathieu-Daudé #include "../seg_helper.h"
29*32cad1ffSPhilippe Mathieu-Daudé
helper_syscall(CPUX86State * env,int next_eip_addend)30*32cad1ffSPhilippe Mathieu-Daudé void helper_syscall(CPUX86State *env, int next_eip_addend)
31*32cad1ffSPhilippe Mathieu-Daudé {
32*32cad1ffSPhilippe Mathieu-Daudé int selector;
33*32cad1ffSPhilippe Mathieu-Daudé
34*32cad1ffSPhilippe Mathieu-Daudé if (!(env->efer & MSR_EFER_SCE)) {
35*32cad1ffSPhilippe Mathieu-Daudé raise_exception_err_ra(env, EXCP06_ILLOP, 0, GETPC());
36*32cad1ffSPhilippe Mathieu-Daudé }
37*32cad1ffSPhilippe Mathieu-Daudé selector = (env->star >> 32) & 0xffff;
38*32cad1ffSPhilippe Mathieu-Daudé #ifdef TARGET_X86_64
39*32cad1ffSPhilippe Mathieu-Daudé if (env->hflags & HF_LMA_MASK) {
40*32cad1ffSPhilippe Mathieu-Daudé int code64;
41*32cad1ffSPhilippe Mathieu-Daudé
42*32cad1ffSPhilippe Mathieu-Daudé env->regs[R_ECX] = env->eip + next_eip_addend;
43*32cad1ffSPhilippe Mathieu-Daudé env->regs[11] = cpu_compute_eflags(env) & ~RF_MASK;
44*32cad1ffSPhilippe Mathieu-Daudé
45*32cad1ffSPhilippe Mathieu-Daudé code64 = env->hflags & HF_CS64_MASK;
46*32cad1ffSPhilippe Mathieu-Daudé
47*32cad1ffSPhilippe Mathieu-Daudé env->eflags &= ~(env->fmask | RF_MASK);
48*32cad1ffSPhilippe Mathieu-Daudé cpu_load_eflags(env, env->eflags, 0);
49*32cad1ffSPhilippe Mathieu-Daudé cpu_x86_load_seg_cache(env, R_CS, selector & 0xfffc,
50*32cad1ffSPhilippe Mathieu-Daudé 0, 0xffffffff,
51*32cad1ffSPhilippe Mathieu-Daudé DESC_G_MASK | DESC_P_MASK |
52*32cad1ffSPhilippe Mathieu-Daudé DESC_S_MASK |
53*32cad1ffSPhilippe Mathieu-Daudé DESC_CS_MASK | DESC_R_MASK | DESC_A_MASK |
54*32cad1ffSPhilippe Mathieu-Daudé DESC_L_MASK);
55*32cad1ffSPhilippe Mathieu-Daudé cpu_x86_load_seg_cache(env, R_SS, (selector + 8) & 0xfffc,
56*32cad1ffSPhilippe Mathieu-Daudé 0, 0xffffffff,
57*32cad1ffSPhilippe Mathieu-Daudé DESC_G_MASK | DESC_B_MASK | DESC_P_MASK |
58*32cad1ffSPhilippe Mathieu-Daudé DESC_S_MASK |
59*32cad1ffSPhilippe Mathieu-Daudé DESC_W_MASK | DESC_A_MASK);
60*32cad1ffSPhilippe Mathieu-Daudé if (code64) {
61*32cad1ffSPhilippe Mathieu-Daudé env->eip = env->lstar;
62*32cad1ffSPhilippe Mathieu-Daudé } else {
63*32cad1ffSPhilippe Mathieu-Daudé env->eip = env->cstar;
64*32cad1ffSPhilippe Mathieu-Daudé }
65*32cad1ffSPhilippe Mathieu-Daudé } else
66*32cad1ffSPhilippe Mathieu-Daudé #endif
67*32cad1ffSPhilippe Mathieu-Daudé {
68*32cad1ffSPhilippe Mathieu-Daudé env->regs[R_ECX] = (uint32_t)(env->eip + next_eip_addend);
69*32cad1ffSPhilippe Mathieu-Daudé
70*32cad1ffSPhilippe Mathieu-Daudé env->eflags &= ~(IF_MASK | RF_MASK | VM_MASK);
71*32cad1ffSPhilippe Mathieu-Daudé cpu_x86_load_seg_cache(env, R_CS, selector & 0xfffc,
72*32cad1ffSPhilippe Mathieu-Daudé 0, 0xffffffff,
73*32cad1ffSPhilippe Mathieu-Daudé DESC_G_MASK | DESC_B_MASK | DESC_P_MASK |
74*32cad1ffSPhilippe Mathieu-Daudé DESC_S_MASK |
75*32cad1ffSPhilippe Mathieu-Daudé DESC_CS_MASK | DESC_R_MASK | DESC_A_MASK);
76*32cad1ffSPhilippe Mathieu-Daudé cpu_x86_load_seg_cache(env, R_SS, (selector + 8) & 0xfffc,
77*32cad1ffSPhilippe Mathieu-Daudé 0, 0xffffffff,
78*32cad1ffSPhilippe Mathieu-Daudé DESC_G_MASK | DESC_B_MASK | DESC_P_MASK |
79*32cad1ffSPhilippe Mathieu-Daudé DESC_S_MASK |
80*32cad1ffSPhilippe Mathieu-Daudé DESC_W_MASK | DESC_A_MASK);
81*32cad1ffSPhilippe Mathieu-Daudé env->eip = (uint32_t)env->star;
82*32cad1ffSPhilippe Mathieu-Daudé }
83*32cad1ffSPhilippe Mathieu-Daudé }
84*32cad1ffSPhilippe Mathieu-Daudé
handle_even_inj(CPUX86State * env,int intno,int is_int,int error_code,int is_hw,int rm)85*32cad1ffSPhilippe Mathieu-Daudé void handle_even_inj(CPUX86State *env, int intno, int is_int,
86*32cad1ffSPhilippe Mathieu-Daudé int error_code, int is_hw, int rm)
87*32cad1ffSPhilippe Mathieu-Daudé {
88*32cad1ffSPhilippe Mathieu-Daudé CPUState *cs = env_cpu(env);
89*32cad1ffSPhilippe Mathieu-Daudé uint32_t event_inj = x86_ldl_phys(cs, env->vm_vmcb + offsetof(struct vmcb,
90*32cad1ffSPhilippe Mathieu-Daudé control.event_inj));
91*32cad1ffSPhilippe Mathieu-Daudé
92*32cad1ffSPhilippe Mathieu-Daudé if (!(event_inj & SVM_EVTINJ_VALID)) {
93*32cad1ffSPhilippe Mathieu-Daudé int type;
94*32cad1ffSPhilippe Mathieu-Daudé
95*32cad1ffSPhilippe Mathieu-Daudé if (is_int) {
96*32cad1ffSPhilippe Mathieu-Daudé type = SVM_EVTINJ_TYPE_SOFT;
97*32cad1ffSPhilippe Mathieu-Daudé } else {
98*32cad1ffSPhilippe Mathieu-Daudé type = SVM_EVTINJ_TYPE_EXEPT;
99*32cad1ffSPhilippe Mathieu-Daudé }
100*32cad1ffSPhilippe Mathieu-Daudé event_inj = intno | type | SVM_EVTINJ_VALID;
101*32cad1ffSPhilippe Mathieu-Daudé if (!rm && exception_has_error_code(intno)) {
102*32cad1ffSPhilippe Mathieu-Daudé event_inj |= SVM_EVTINJ_VALID_ERR;
103*32cad1ffSPhilippe Mathieu-Daudé x86_stl_phys(cs, env->vm_vmcb + offsetof(struct vmcb,
104*32cad1ffSPhilippe Mathieu-Daudé control.event_inj_err),
105*32cad1ffSPhilippe Mathieu-Daudé error_code);
106*32cad1ffSPhilippe Mathieu-Daudé }
107*32cad1ffSPhilippe Mathieu-Daudé x86_stl_phys(cs,
108*32cad1ffSPhilippe Mathieu-Daudé env->vm_vmcb + offsetof(struct vmcb, control.event_inj),
109*32cad1ffSPhilippe Mathieu-Daudé event_inj);
110*32cad1ffSPhilippe Mathieu-Daudé }
111*32cad1ffSPhilippe Mathieu-Daudé }
112*32cad1ffSPhilippe Mathieu-Daudé
x86_cpu_do_interrupt(CPUState * cs)113*32cad1ffSPhilippe Mathieu-Daudé void x86_cpu_do_interrupt(CPUState *cs)
114*32cad1ffSPhilippe Mathieu-Daudé {
115*32cad1ffSPhilippe Mathieu-Daudé X86CPU *cpu = X86_CPU(cs);
116*32cad1ffSPhilippe Mathieu-Daudé CPUX86State *env = &cpu->env;
117*32cad1ffSPhilippe Mathieu-Daudé
118*32cad1ffSPhilippe Mathieu-Daudé if (cs->exception_index == EXCP_VMEXIT) {
119*32cad1ffSPhilippe Mathieu-Daudé assert(env->old_exception == -1);
120*32cad1ffSPhilippe Mathieu-Daudé do_vmexit(env);
121*32cad1ffSPhilippe Mathieu-Daudé } else {
122*32cad1ffSPhilippe Mathieu-Daudé do_interrupt_all(cpu, cs->exception_index,
123*32cad1ffSPhilippe Mathieu-Daudé env->exception_is_int,
124*32cad1ffSPhilippe Mathieu-Daudé env->error_code,
125*32cad1ffSPhilippe Mathieu-Daudé env->exception_next_eip, 0);
126*32cad1ffSPhilippe Mathieu-Daudé /* successfully delivered */
127*32cad1ffSPhilippe Mathieu-Daudé env->old_exception = -1;
128*32cad1ffSPhilippe Mathieu-Daudé }
129*32cad1ffSPhilippe Mathieu-Daudé }
130*32cad1ffSPhilippe Mathieu-Daudé
x86_cpu_exec_halt(CPUState * cpu)131*32cad1ffSPhilippe Mathieu-Daudé bool x86_cpu_exec_halt(CPUState *cpu)
132*32cad1ffSPhilippe Mathieu-Daudé {
133*32cad1ffSPhilippe Mathieu-Daudé X86CPU *x86_cpu = X86_CPU(cpu);
134*32cad1ffSPhilippe Mathieu-Daudé CPUX86State *env = &x86_cpu->env;
135*32cad1ffSPhilippe Mathieu-Daudé
136*32cad1ffSPhilippe Mathieu-Daudé if (cpu->interrupt_request & CPU_INTERRUPT_POLL) {
137*32cad1ffSPhilippe Mathieu-Daudé bql_lock();
138*32cad1ffSPhilippe Mathieu-Daudé apic_poll_irq(x86_cpu->apic_state);
139*32cad1ffSPhilippe Mathieu-Daudé cpu_reset_interrupt(cpu, CPU_INTERRUPT_POLL);
140*32cad1ffSPhilippe Mathieu-Daudé bql_unlock();
141*32cad1ffSPhilippe Mathieu-Daudé }
142*32cad1ffSPhilippe Mathieu-Daudé
143*32cad1ffSPhilippe Mathieu-Daudé if (!cpu_has_work(cpu)) {
144*32cad1ffSPhilippe Mathieu-Daudé return false;
145*32cad1ffSPhilippe Mathieu-Daudé }
146*32cad1ffSPhilippe Mathieu-Daudé
147*32cad1ffSPhilippe Mathieu-Daudé /* Complete HLT instruction. */
148*32cad1ffSPhilippe Mathieu-Daudé if (env->eflags & TF_MASK) {
149*32cad1ffSPhilippe Mathieu-Daudé env->dr[6] |= DR6_BS;
150*32cad1ffSPhilippe Mathieu-Daudé do_interrupt_all(x86_cpu, EXCP01_DB, 0, 0, env->eip, 0);
151*32cad1ffSPhilippe Mathieu-Daudé }
152*32cad1ffSPhilippe Mathieu-Daudé return true;
153*32cad1ffSPhilippe Mathieu-Daudé }
154*32cad1ffSPhilippe Mathieu-Daudé
x86_need_replay_interrupt(int interrupt_request)155*32cad1ffSPhilippe Mathieu-Daudé bool x86_need_replay_interrupt(int interrupt_request)
156*32cad1ffSPhilippe Mathieu-Daudé {
157*32cad1ffSPhilippe Mathieu-Daudé /*
158*32cad1ffSPhilippe Mathieu-Daudé * CPU_INTERRUPT_POLL is a virtual event which gets converted into a
159*32cad1ffSPhilippe Mathieu-Daudé * "real" interrupt event later. It does not need to be recorded for
160*32cad1ffSPhilippe Mathieu-Daudé * replay purposes.
161*32cad1ffSPhilippe Mathieu-Daudé */
162*32cad1ffSPhilippe Mathieu-Daudé return !(interrupt_request & CPU_INTERRUPT_POLL);
163*32cad1ffSPhilippe Mathieu-Daudé }
164*32cad1ffSPhilippe Mathieu-Daudé
x86_cpu_exec_interrupt(CPUState * cs,int interrupt_request)165*32cad1ffSPhilippe Mathieu-Daudé bool x86_cpu_exec_interrupt(CPUState *cs, int interrupt_request)
166*32cad1ffSPhilippe Mathieu-Daudé {
167*32cad1ffSPhilippe Mathieu-Daudé X86CPU *cpu = X86_CPU(cs);
168*32cad1ffSPhilippe Mathieu-Daudé CPUX86State *env = &cpu->env;
169*32cad1ffSPhilippe Mathieu-Daudé int intno;
170*32cad1ffSPhilippe Mathieu-Daudé
171*32cad1ffSPhilippe Mathieu-Daudé interrupt_request = x86_cpu_pending_interrupt(cs, interrupt_request);
172*32cad1ffSPhilippe Mathieu-Daudé if (!interrupt_request) {
173*32cad1ffSPhilippe Mathieu-Daudé return false;
174*32cad1ffSPhilippe Mathieu-Daudé }
175*32cad1ffSPhilippe Mathieu-Daudé
176*32cad1ffSPhilippe Mathieu-Daudé /* Don't process multiple interrupt requests in a single call.
177*32cad1ffSPhilippe Mathieu-Daudé * This is required to make icount-driven execution deterministic.
178*32cad1ffSPhilippe Mathieu-Daudé */
179*32cad1ffSPhilippe Mathieu-Daudé switch (interrupt_request) {
180*32cad1ffSPhilippe Mathieu-Daudé case CPU_INTERRUPT_POLL:
181*32cad1ffSPhilippe Mathieu-Daudé cs->interrupt_request &= ~CPU_INTERRUPT_POLL;
182*32cad1ffSPhilippe Mathieu-Daudé apic_poll_irq(cpu->apic_state);
183*32cad1ffSPhilippe Mathieu-Daudé break;
184*32cad1ffSPhilippe Mathieu-Daudé case CPU_INTERRUPT_SIPI:
185*32cad1ffSPhilippe Mathieu-Daudé do_cpu_sipi(cpu);
186*32cad1ffSPhilippe Mathieu-Daudé break;
187*32cad1ffSPhilippe Mathieu-Daudé case CPU_INTERRUPT_SMI:
188*32cad1ffSPhilippe Mathieu-Daudé cpu_svm_check_intercept_param(env, SVM_EXIT_SMI, 0, 0);
189*32cad1ffSPhilippe Mathieu-Daudé cs->interrupt_request &= ~CPU_INTERRUPT_SMI;
190*32cad1ffSPhilippe Mathieu-Daudé do_smm_enter(cpu);
191*32cad1ffSPhilippe Mathieu-Daudé break;
192*32cad1ffSPhilippe Mathieu-Daudé case CPU_INTERRUPT_NMI:
193*32cad1ffSPhilippe Mathieu-Daudé cpu_svm_check_intercept_param(env, SVM_EXIT_NMI, 0, 0);
194*32cad1ffSPhilippe Mathieu-Daudé cs->interrupt_request &= ~CPU_INTERRUPT_NMI;
195*32cad1ffSPhilippe Mathieu-Daudé env->hflags2 |= HF2_NMI_MASK;
196*32cad1ffSPhilippe Mathieu-Daudé do_interrupt_x86_hardirq(env, EXCP02_NMI, 1);
197*32cad1ffSPhilippe Mathieu-Daudé break;
198*32cad1ffSPhilippe Mathieu-Daudé case CPU_INTERRUPT_MCE:
199*32cad1ffSPhilippe Mathieu-Daudé cs->interrupt_request &= ~CPU_INTERRUPT_MCE;
200*32cad1ffSPhilippe Mathieu-Daudé do_interrupt_x86_hardirq(env, EXCP12_MCHK, 0);
201*32cad1ffSPhilippe Mathieu-Daudé break;
202*32cad1ffSPhilippe Mathieu-Daudé case CPU_INTERRUPT_HARD:
203*32cad1ffSPhilippe Mathieu-Daudé cpu_svm_check_intercept_param(env, SVM_EXIT_INTR, 0, 0);
204*32cad1ffSPhilippe Mathieu-Daudé cs->interrupt_request &= ~(CPU_INTERRUPT_HARD |
205*32cad1ffSPhilippe Mathieu-Daudé CPU_INTERRUPT_VIRQ);
206*32cad1ffSPhilippe Mathieu-Daudé intno = cpu_get_pic_interrupt(env);
207*32cad1ffSPhilippe Mathieu-Daudé qemu_log_mask(CPU_LOG_INT,
208*32cad1ffSPhilippe Mathieu-Daudé "Servicing hardware INT=0x%02x\n", intno);
209*32cad1ffSPhilippe Mathieu-Daudé do_interrupt_x86_hardirq(env, intno, 1);
210*32cad1ffSPhilippe Mathieu-Daudé break;
211*32cad1ffSPhilippe Mathieu-Daudé case CPU_INTERRUPT_VIRQ:
212*32cad1ffSPhilippe Mathieu-Daudé cpu_svm_check_intercept_param(env, SVM_EXIT_VINTR, 0, 0);
213*32cad1ffSPhilippe Mathieu-Daudé intno = x86_ldl_phys(cs, env->vm_vmcb
214*32cad1ffSPhilippe Mathieu-Daudé + offsetof(struct vmcb, control.int_vector));
215*32cad1ffSPhilippe Mathieu-Daudé qemu_log_mask(CPU_LOG_INT,
216*32cad1ffSPhilippe Mathieu-Daudé "Servicing virtual hardware INT=0x%02x\n", intno);
217*32cad1ffSPhilippe Mathieu-Daudé do_interrupt_x86_hardirq(env, intno, 1);
218*32cad1ffSPhilippe Mathieu-Daudé cs->interrupt_request &= ~CPU_INTERRUPT_VIRQ;
219*32cad1ffSPhilippe Mathieu-Daudé env->int_ctl &= ~V_IRQ_MASK;
220*32cad1ffSPhilippe Mathieu-Daudé break;
221*32cad1ffSPhilippe Mathieu-Daudé }
222*32cad1ffSPhilippe Mathieu-Daudé
223*32cad1ffSPhilippe Mathieu-Daudé /* Ensure that no TB jump will be modified as the program flow was changed. */
224*32cad1ffSPhilippe Mathieu-Daudé return true;
225*32cad1ffSPhilippe Mathieu-Daudé }
226*32cad1ffSPhilippe Mathieu-Daudé
227*32cad1ffSPhilippe Mathieu-Daudé /* check if Port I/O is allowed in TSS */
helper_check_io(CPUX86State * env,uint32_t addr,uint32_t size)228*32cad1ffSPhilippe Mathieu-Daudé void helper_check_io(CPUX86State *env, uint32_t addr, uint32_t size)
229*32cad1ffSPhilippe Mathieu-Daudé {
230*32cad1ffSPhilippe Mathieu-Daudé uintptr_t retaddr = GETPC();
231*32cad1ffSPhilippe Mathieu-Daudé uint32_t io_offset, val, mask;
232*32cad1ffSPhilippe Mathieu-Daudé
233*32cad1ffSPhilippe Mathieu-Daudé /* TSS must be a valid 32 bit one */
234*32cad1ffSPhilippe Mathieu-Daudé if (!(env->tr.flags & DESC_P_MASK) ||
235*32cad1ffSPhilippe Mathieu-Daudé ((env->tr.flags >> DESC_TYPE_SHIFT) & 0xf) != 9 ||
236*32cad1ffSPhilippe Mathieu-Daudé env->tr.limit < 103) {
237*32cad1ffSPhilippe Mathieu-Daudé goto fail;
238*32cad1ffSPhilippe Mathieu-Daudé }
239*32cad1ffSPhilippe Mathieu-Daudé io_offset = cpu_lduw_kernel_ra(env, env->tr.base + 0x66, retaddr);
240*32cad1ffSPhilippe Mathieu-Daudé io_offset += (addr >> 3);
241*32cad1ffSPhilippe Mathieu-Daudé /* Note: the check needs two bytes */
242*32cad1ffSPhilippe Mathieu-Daudé if ((io_offset + 1) > env->tr.limit) {
243*32cad1ffSPhilippe Mathieu-Daudé goto fail;
244*32cad1ffSPhilippe Mathieu-Daudé }
245*32cad1ffSPhilippe Mathieu-Daudé val = cpu_lduw_kernel_ra(env, env->tr.base + io_offset, retaddr);
246*32cad1ffSPhilippe Mathieu-Daudé val >>= (addr & 7);
247*32cad1ffSPhilippe Mathieu-Daudé mask = (1 << size) - 1;
248*32cad1ffSPhilippe Mathieu-Daudé /* all bits must be zero to allow the I/O */
249*32cad1ffSPhilippe Mathieu-Daudé if ((val & mask) != 0) {
250*32cad1ffSPhilippe Mathieu-Daudé fail:
251*32cad1ffSPhilippe Mathieu-Daudé raise_exception_err_ra(env, EXCP0D_GPF, 0, retaddr);
252*32cad1ffSPhilippe Mathieu-Daudé }
253*32cad1ffSPhilippe Mathieu-Daudé }
254