libnvmm_x86.c revision 1.4.2.4 1 1.4.2.4 pgoyette /* $NetBSD: libnvmm_x86.c,v 1.4.2.4 2019/01/18 08:50:10 pgoyette Exp $ */
2 1.4.2.2 pgoyette
3 1.4.2.2 pgoyette /*
4 1.4.2.2 pgoyette * Copyright (c) 2018 The NetBSD Foundation, Inc.
5 1.4.2.2 pgoyette * All rights reserved.
6 1.4.2.2 pgoyette *
7 1.4.2.2 pgoyette * This code is derived from software contributed to The NetBSD Foundation
8 1.4.2.2 pgoyette * by Maxime Villard.
9 1.4.2.2 pgoyette *
10 1.4.2.2 pgoyette * Redistribution and use in source and binary forms, with or without
11 1.4.2.2 pgoyette * modification, are permitted provided that the following conditions
12 1.4.2.2 pgoyette * are met:
13 1.4.2.2 pgoyette * 1. Redistributions of source code must retain the above copyright
14 1.4.2.2 pgoyette * notice, this list of conditions and the following disclaimer.
15 1.4.2.2 pgoyette * 2. Redistributions in binary form must reproduce the above copyright
16 1.4.2.2 pgoyette * notice, this list of conditions and the following disclaimer in the
17 1.4.2.2 pgoyette * documentation and/or other materials provided with the distribution.
18 1.4.2.2 pgoyette *
19 1.4.2.2 pgoyette * THIS SOFTWARE IS PROVIDED BY THE NETBSD FOUNDATION, INC. AND CONTRIBUTORS
20 1.4.2.2 pgoyette * ``AS IS'' AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED
21 1.4.2.2 pgoyette * TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
22 1.4.2.2 pgoyette * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE FOUNDATION OR CONTRIBUTORS
23 1.4.2.2 pgoyette * BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
24 1.4.2.2 pgoyette * CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
25 1.4.2.2 pgoyette * SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
26 1.4.2.2 pgoyette * INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
27 1.4.2.2 pgoyette * CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
28 1.4.2.2 pgoyette * ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
29 1.4.2.2 pgoyette * POSSIBILITY OF SUCH DAMAGE.
30 1.4.2.2 pgoyette */
31 1.4.2.2 pgoyette
32 1.4.2.2 pgoyette #include <sys/cdefs.h>
33 1.4.2.2 pgoyette
34 1.4.2.2 pgoyette #include <stdio.h>
35 1.4.2.2 pgoyette #include <stdlib.h>
36 1.4.2.2 pgoyette #include <string.h>
37 1.4.2.2 pgoyette #include <unistd.h>
38 1.4.2.2 pgoyette #include <fcntl.h>
39 1.4.2.2 pgoyette #include <errno.h>
40 1.4.2.2 pgoyette #include <sys/ioctl.h>
41 1.4.2.2 pgoyette #include <sys/mman.h>
42 1.4.2.2 pgoyette #include <machine/vmparam.h>
43 1.4.2.2 pgoyette #include <machine/pte.h>
44 1.4.2.2 pgoyette #include <machine/psl.h>
45 1.4.2.2 pgoyette
46 1.4.2.2 pgoyette #include "nvmm.h"
47 1.4.2.2 pgoyette
48 1.4.2.4 pgoyette #define MIN(X, Y) (((X) < (Y)) ? (X) : (Y))
49 1.4.2.4 pgoyette
50 1.4.2.2 pgoyette #include <x86/specialreg.h>
51 1.4.2.2 pgoyette
52 1.4.2.4 pgoyette extern struct nvmm_callbacks __callbacks;
53 1.4.2.4 pgoyette
54 1.4.2.4 pgoyette /* -------------------------------------------------------------------------- */
55 1.4.2.4 pgoyette
56 1.4.2.4 pgoyette /*
57 1.4.2.4 pgoyette * Undocumented debugging function. Helpful.
58 1.4.2.4 pgoyette */
59 1.4.2.4 pgoyette int
60 1.4.2.4 pgoyette nvmm_vcpu_dump(struct nvmm_machine *mach, nvmm_cpuid_t cpuid)
61 1.4.2.4 pgoyette {
62 1.4.2.4 pgoyette struct nvmm_x64_state state;
63 1.4.2.4 pgoyette size_t i;
64 1.4.2.4 pgoyette int ret;
65 1.4.2.4 pgoyette
66 1.4.2.4 pgoyette const char *segnames[] = {
67 1.4.2.4 pgoyette "CS", "DS", "ES", "FS", "GS", "SS", "GDT", "IDT", "LDT", "TR"
68 1.4.2.4 pgoyette };
69 1.4.2.4 pgoyette
70 1.4.2.4 pgoyette ret = nvmm_vcpu_getstate(mach, cpuid, &state, NVMM_X64_STATE_ALL);
71 1.4.2.4 pgoyette if (ret == -1)
72 1.4.2.4 pgoyette return -1;
73 1.4.2.4 pgoyette
74 1.4.2.4 pgoyette printf("+ VCPU id=%d\n", (int)cpuid);
75 1.4.2.4 pgoyette printf("| -> RIP=%p\n", (void *)state.gprs[NVMM_X64_GPR_RIP]);
76 1.4.2.4 pgoyette printf("| -> RSP=%p\n", (void *)state.gprs[NVMM_X64_GPR_RSP]);
77 1.4.2.4 pgoyette printf("| -> RAX=%p\n", (void *)state.gprs[NVMM_X64_GPR_RAX]);
78 1.4.2.4 pgoyette printf("| -> RBX=%p\n", (void *)state.gprs[NVMM_X64_GPR_RBX]);
79 1.4.2.4 pgoyette printf("| -> RCX=%p\n", (void *)state.gprs[NVMM_X64_GPR_RCX]);
80 1.4.2.4 pgoyette printf("| -> RFLAGS=%p\n", (void *)state.gprs[NVMM_X64_GPR_RFLAGS]);
81 1.4.2.4 pgoyette for (i = 0; i < NVMM_X64_NSEG; i++) {
82 1.4.2.4 pgoyette printf("| -> %s: sel=0x%lx base=%p, limit=%p, P=%d, D=%d L=%d\n",
83 1.4.2.4 pgoyette segnames[i],
84 1.4.2.4 pgoyette state.segs[i].selector,
85 1.4.2.4 pgoyette (void *)state.segs[i].base,
86 1.4.2.4 pgoyette (void *)state.segs[i].limit,
87 1.4.2.4 pgoyette state.segs[i].attrib.p, state.segs[i].attrib.def32,
88 1.4.2.4 pgoyette state.segs[i].attrib.lng);
89 1.4.2.4 pgoyette }
90 1.4.2.4 pgoyette printf("| -> MSR_EFER=%p\n", (void *)state.msrs[NVMM_X64_MSR_EFER]);
91 1.4.2.4 pgoyette printf("| -> CR0=%p\n", (void *)state.crs[NVMM_X64_CR_CR0]);
92 1.4.2.4 pgoyette printf("| -> CR3=%p\n", (void *)state.crs[NVMM_X64_CR_CR3]);
93 1.4.2.4 pgoyette printf("| -> CR4=%p\n", (void *)state.crs[NVMM_X64_CR_CR4]);
94 1.4.2.4 pgoyette printf("| -> CR8=%p\n", (void *)state.crs[NVMM_X64_CR_CR8]);
95 1.4.2.4 pgoyette printf("| -> CPL=%p\n", (void *)state.misc[NVMM_X64_MISC_CPL]);
96 1.4.2.4 pgoyette
97 1.4.2.4 pgoyette return 0;
98 1.4.2.4 pgoyette }
99 1.4.2.4 pgoyette
100 1.4.2.2 pgoyette /* -------------------------------------------------------------------------- */
101 1.4.2.2 pgoyette
102 1.4.2.2 pgoyette #define PTE32_L1_SHIFT 12
103 1.4.2.2 pgoyette #define PTE32_L2_SHIFT 22
104 1.4.2.2 pgoyette
105 1.4.2.2 pgoyette #define PTE32_L2_MASK 0xffc00000
106 1.4.2.2 pgoyette #define PTE32_L1_MASK 0x003ff000
107 1.4.2.2 pgoyette
108 1.4.2.2 pgoyette #define PTE32_L2_FRAME (PTE32_L2_MASK)
109 1.4.2.2 pgoyette #define PTE32_L1_FRAME (PTE32_L2_FRAME|PTE32_L1_MASK)
110 1.4.2.2 pgoyette
111 1.4.2.2 pgoyette #define pte32_l1idx(va) (((va) & PTE32_L1_MASK) >> PTE32_L1_SHIFT)
112 1.4.2.2 pgoyette #define pte32_l2idx(va) (((va) & PTE32_L2_MASK) >> PTE32_L2_SHIFT)
113 1.4.2.2 pgoyette
114 1.4.2.2 pgoyette typedef uint32_t pte_32bit_t;
115 1.4.2.2 pgoyette
116 1.4.2.2 pgoyette static int
117 1.4.2.2 pgoyette x86_gva_to_gpa_32bit(struct nvmm_machine *mach, uint64_t cr3,
118 1.4.2.2 pgoyette gvaddr_t gva, gpaddr_t *gpa, bool has_pse, nvmm_prot_t *prot)
119 1.4.2.2 pgoyette {
120 1.4.2.2 pgoyette gpaddr_t L2gpa, L1gpa;
121 1.4.2.2 pgoyette uintptr_t L2hva, L1hva;
122 1.4.2.2 pgoyette pte_32bit_t *pdir, pte;
123 1.4.2.2 pgoyette
124 1.4.2.2 pgoyette /* We begin with an RWXU access. */
125 1.4.2.2 pgoyette *prot = NVMM_PROT_ALL;
126 1.4.2.2 pgoyette
127 1.4.2.2 pgoyette /* Parse L2. */
128 1.4.2.2 pgoyette L2gpa = (cr3 & PG_FRAME);
129 1.4.2.2 pgoyette if (nvmm_gpa_to_hva(mach, L2gpa, &L2hva) == -1)
130 1.4.2.2 pgoyette return -1;
131 1.4.2.2 pgoyette pdir = (pte_32bit_t *)L2hva;
132 1.4.2.2 pgoyette pte = pdir[pte32_l2idx(gva)];
133 1.4.2.2 pgoyette if ((pte & PG_V) == 0)
134 1.4.2.2 pgoyette return -1;
135 1.4.2.2 pgoyette if ((pte & PG_u) == 0)
136 1.4.2.2 pgoyette *prot &= ~NVMM_PROT_USER;
137 1.4.2.2 pgoyette if ((pte & PG_KW) == 0)
138 1.4.2.2 pgoyette *prot &= ~NVMM_PROT_WRITE;
139 1.4.2.2 pgoyette if ((pte & PG_PS) && !has_pse)
140 1.4.2.2 pgoyette return -1;
141 1.4.2.2 pgoyette if (pte & PG_PS) {
142 1.4.2.2 pgoyette *gpa = (pte & PTE32_L2_FRAME);
143 1.4.2.4 pgoyette *gpa = *gpa + (gva & PTE32_L1_MASK);
144 1.4.2.2 pgoyette return 0;
145 1.4.2.2 pgoyette }
146 1.4.2.2 pgoyette
147 1.4.2.2 pgoyette /* Parse L1. */
148 1.4.2.2 pgoyette L1gpa = (pte & PG_FRAME);
149 1.4.2.2 pgoyette if (nvmm_gpa_to_hva(mach, L1gpa, &L1hva) == -1)
150 1.4.2.2 pgoyette return -1;
151 1.4.2.2 pgoyette pdir = (pte_32bit_t *)L1hva;
152 1.4.2.2 pgoyette pte = pdir[pte32_l1idx(gva)];
153 1.4.2.2 pgoyette if ((pte & PG_V) == 0)
154 1.4.2.2 pgoyette return -1;
155 1.4.2.2 pgoyette if ((pte & PG_u) == 0)
156 1.4.2.2 pgoyette *prot &= ~NVMM_PROT_USER;
157 1.4.2.2 pgoyette if ((pte & PG_KW) == 0)
158 1.4.2.2 pgoyette *prot &= ~NVMM_PROT_WRITE;
159 1.4.2.2 pgoyette if (pte & PG_PS)
160 1.4.2.2 pgoyette return -1;
161 1.4.2.2 pgoyette
162 1.4.2.2 pgoyette *gpa = (pte & PG_FRAME);
163 1.4.2.2 pgoyette return 0;
164 1.4.2.2 pgoyette }
165 1.4.2.2 pgoyette
166 1.4.2.2 pgoyette /* -------------------------------------------------------------------------- */
167 1.4.2.2 pgoyette
168 1.4.2.2 pgoyette #define PTE32_PAE_L1_SHIFT 12
169 1.4.2.2 pgoyette #define PTE32_PAE_L2_SHIFT 21
170 1.4.2.2 pgoyette #define PTE32_PAE_L3_SHIFT 30
171 1.4.2.2 pgoyette
172 1.4.2.2 pgoyette #define PTE32_PAE_L3_MASK 0xc0000000
173 1.4.2.2 pgoyette #define PTE32_PAE_L2_MASK 0x3fe00000
174 1.4.2.2 pgoyette #define PTE32_PAE_L1_MASK 0x001ff000
175 1.4.2.2 pgoyette
176 1.4.2.2 pgoyette #define PTE32_PAE_L3_FRAME (PTE32_PAE_L3_MASK)
177 1.4.2.2 pgoyette #define PTE32_PAE_L2_FRAME (PTE32_PAE_L3_FRAME|PTE32_PAE_L2_MASK)
178 1.4.2.2 pgoyette #define PTE32_PAE_L1_FRAME (PTE32_PAE_L2_FRAME|PTE32_PAE_L1_MASK)
179 1.4.2.2 pgoyette
180 1.4.2.2 pgoyette #define pte32_pae_l1idx(va) (((va) & PTE32_PAE_L1_MASK) >> PTE32_PAE_L1_SHIFT)
181 1.4.2.2 pgoyette #define pte32_pae_l2idx(va) (((va) & PTE32_PAE_L2_MASK) >> PTE32_PAE_L2_SHIFT)
182 1.4.2.2 pgoyette #define pte32_pae_l3idx(va) (((va) & PTE32_PAE_L3_MASK) >> PTE32_PAE_L3_SHIFT)
183 1.4.2.2 pgoyette
184 1.4.2.2 pgoyette typedef uint64_t pte_32bit_pae_t;
185 1.4.2.2 pgoyette
186 1.4.2.2 pgoyette static int
187 1.4.2.2 pgoyette x86_gva_to_gpa_32bit_pae(struct nvmm_machine *mach, uint64_t cr3,
188 1.4.2.2 pgoyette gvaddr_t gva, gpaddr_t *gpa, bool has_pse, nvmm_prot_t *prot)
189 1.4.2.2 pgoyette {
190 1.4.2.2 pgoyette gpaddr_t L3gpa, L2gpa, L1gpa;
191 1.4.2.2 pgoyette uintptr_t L3hva, L2hva, L1hva;
192 1.4.2.2 pgoyette pte_32bit_pae_t *pdir, pte;
193 1.4.2.2 pgoyette
194 1.4.2.2 pgoyette /* We begin with an RWXU access. */
195 1.4.2.2 pgoyette *prot = NVMM_PROT_ALL;
196 1.4.2.2 pgoyette
197 1.4.2.2 pgoyette /* Parse L3. */
198 1.4.2.2 pgoyette L3gpa = (cr3 & PG_FRAME);
199 1.4.2.2 pgoyette if (nvmm_gpa_to_hva(mach, L3gpa, &L3hva) == -1)
200 1.4.2.2 pgoyette return -1;
201 1.4.2.2 pgoyette pdir = (pte_32bit_pae_t *)L3hva;
202 1.4.2.2 pgoyette pte = pdir[pte32_pae_l3idx(gva)];
203 1.4.2.2 pgoyette if ((pte & PG_V) == 0)
204 1.4.2.2 pgoyette return -1;
205 1.4.2.2 pgoyette if (pte & PG_NX)
206 1.4.2.2 pgoyette *prot &= ~NVMM_PROT_EXEC;
207 1.4.2.2 pgoyette if (pte & PG_PS)
208 1.4.2.2 pgoyette return -1;
209 1.4.2.2 pgoyette
210 1.4.2.2 pgoyette /* Parse L2. */
211 1.4.2.2 pgoyette L2gpa = (pte & PG_FRAME);
212 1.4.2.2 pgoyette if (nvmm_gpa_to_hva(mach, L2gpa, &L2hva) == -1)
213 1.4.2.2 pgoyette return -1;
214 1.4.2.2 pgoyette pdir = (pte_32bit_pae_t *)L2hva;
215 1.4.2.2 pgoyette pte = pdir[pte32_pae_l2idx(gva)];
216 1.4.2.2 pgoyette if ((pte & PG_V) == 0)
217 1.4.2.2 pgoyette return -1;
218 1.4.2.2 pgoyette if ((pte & PG_u) == 0)
219 1.4.2.2 pgoyette *prot &= ~NVMM_PROT_USER;
220 1.4.2.2 pgoyette if ((pte & PG_KW) == 0)
221 1.4.2.2 pgoyette *prot &= ~NVMM_PROT_WRITE;
222 1.4.2.2 pgoyette if (pte & PG_NX)
223 1.4.2.2 pgoyette *prot &= ~NVMM_PROT_EXEC;
224 1.4.2.2 pgoyette if ((pte & PG_PS) && !has_pse)
225 1.4.2.2 pgoyette return -1;
226 1.4.2.2 pgoyette if (pte & PG_PS) {
227 1.4.2.2 pgoyette *gpa = (pte & PTE32_PAE_L2_FRAME);
228 1.4.2.4 pgoyette *gpa = *gpa + (gva & PTE32_PAE_L1_MASK);
229 1.4.2.2 pgoyette return 0;
230 1.4.2.2 pgoyette }
231 1.4.2.2 pgoyette
232 1.4.2.2 pgoyette /* Parse L1. */
233 1.4.2.2 pgoyette L1gpa = (pte & PG_FRAME);
234 1.4.2.2 pgoyette if (nvmm_gpa_to_hva(mach, L1gpa, &L1hva) == -1)
235 1.4.2.2 pgoyette return -1;
236 1.4.2.2 pgoyette pdir = (pte_32bit_pae_t *)L1hva;
237 1.4.2.2 pgoyette pte = pdir[pte32_pae_l1idx(gva)];
238 1.4.2.2 pgoyette if ((pte & PG_V) == 0)
239 1.4.2.2 pgoyette return -1;
240 1.4.2.2 pgoyette if ((pte & PG_u) == 0)
241 1.4.2.2 pgoyette *prot &= ~NVMM_PROT_USER;
242 1.4.2.2 pgoyette if ((pte & PG_KW) == 0)
243 1.4.2.2 pgoyette *prot &= ~NVMM_PROT_WRITE;
244 1.4.2.2 pgoyette if (pte & PG_NX)
245 1.4.2.2 pgoyette *prot &= ~NVMM_PROT_EXEC;
246 1.4.2.2 pgoyette if (pte & PG_PS)
247 1.4.2.2 pgoyette return -1;
248 1.4.2.2 pgoyette
249 1.4.2.2 pgoyette *gpa = (pte & PG_FRAME);
250 1.4.2.2 pgoyette return 0;
251 1.4.2.2 pgoyette }
252 1.4.2.2 pgoyette
253 1.4.2.2 pgoyette /* -------------------------------------------------------------------------- */
254 1.4.2.2 pgoyette
255 1.4.2.2 pgoyette #define PTE64_L1_SHIFT 12
256 1.4.2.2 pgoyette #define PTE64_L2_SHIFT 21
257 1.4.2.2 pgoyette #define PTE64_L3_SHIFT 30
258 1.4.2.2 pgoyette #define PTE64_L4_SHIFT 39
259 1.4.2.2 pgoyette
260 1.4.2.2 pgoyette #define PTE64_L4_MASK 0x0000ff8000000000
261 1.4.2.2 pgoyette #define PTE64_L3_MASK 0x0000007fc0000000
262 1.4.2.2 pgoyette #define PTE64_L2_MASK 0x000000003fe00000
263 1.4.2.2 pgoyette #define PTE64_L1_MASK 0x00000000001ff000
264 1.4.2.2 pgoyette
265 1.4.2.2 pgoyette #define PTE64_L4_FRAME PTE64_L4_MASK
266 1.4.2.2 pgoyette #define PTE64_L3_FRAME (PTE64_L4_FRAME|PTE64_L3_MASK)
267 1.4.2.2 pgoyette #define PTE64_L2_FRAME (PTE64_L3_FRAME|PTE64_L2_MASK)
268 1.4.2.2 pgoyette #define PTE64_L1_FRAME (PTE64_L2_FRAME|PTE64_L1_MASK)
269 1.4.2.2 pgoyette
270 1.4.2.2 pgoyette #define pte64_l1idx(va) (((va) & PTE64_L1_MASK) >> PTE64_L1_SHIFT)
271 1.4.2.2 pgoyette #define pte64_l2idx(va) (((va) & PTE64_L2_MASK) >> PTE64_L2_SHIFT)
272 1.4.2.2 pgoyette #define pte64_l3idx(va) (((va) & PTE64_L3_MASK) >> PTE64_L3_SHIFT)
273 1.4.2.2 pgoyette #define pte64_l4idx(va) (((va) & PTE64_L4_MASK) >> PTE64_L4_SHIFT)
274 1.4.2.2 pgoyette
275 1.4.2.2 pgoyette typedef uint64_t pte_64bit_t;
276 1.4.2.2 pgoyette
277 1.4.2.2 pgoyette static inline bool
278 1.4.2.2 pgoyette x86_gva_64bit_canonical(gvaddr_t gva)
279 1.4.2.2 pgoyette {
280 1.4.2.2 pgoyette /* Bits 63:47 must have the same value. */
281 1.4.2.2 pgoyette #define SIGN_EXTEND 0xffff800000000000ULL
282 1.4.2.2 pgoyette return (gva & SIGN_EXTEND) == 0 || (gva & SIGN_EXTEND) == SIGN_EXTEND;
283 1.4.2.2 pgoyette }
284 1.4.2.2 pgoyette
285 1.4.2.2 pgoyette static int
286 1.4.2.2 pgoyette x86_gva_to_gpa_64bit(struct nvmm_machine *mach, uint64_t cr3,
287 1.4.2.4 pgoyette gvaddr_t gva, gpaddr_t *gpa, nvmm_prot_t *prot)
288 1.4.2.2 pgoyette {
289 1.4.2.2 pgoyette gpaddr_t L4gpa, L3gpa, L2gpa, L1gpa;
290 1.4.2.2 pgoyette uintptr_t L4hva, L3hva, L2hva, L1hva;
291 1.4.2.2 pgoyette pte_64bit_t *pdir, pte;
292 1.4.2.2 pgoyette
293 1.4.2.2 pgoyette /* We begin with an RWXU access. */
294 1.4.2.2 pgoyette *prot = NVMM_PROT_ALL;
295 1.4.2.2 pgoyette
296 1.4.2.2 pgoyette if (!x86_gva_64bit_canonical(gva))
297 1.4.2.2 pgoyette return -1;
298 1.4.2.2 pgoyette
299 1.4.2.2 pgoyette /* Parse L4. */
300 1.4.2.2 pgoyette L4gpa = (cr3 & PG_FRAME);
301 1.4.2.2 pgoyette if (nvmm_gpa_to_hva(mach, L4gpa, &L4hva) == -1)
302 1.4.2.2 pgoyette return -1;
303 1.4.2.2 pgoyette pdir = (pte_64bit_t *)L4hva;
304 1.4.2.2 pgoyette pte = pdir[pte64_l4idx(gva)];
305 1.4.2.2 pgoyette if ((pte & PG_V) == 0)
306 1.4.2.2 pgoyette return -1;
307 1.4.2.2 pgoyette if ((pte & PG_u) == 0)
308 1.4.2.2 pgoyette *prot &= ~NVMM_PROT_USER;
309 1.4.2.2 pgoyette if ((pte & PG_KW) == 0)
310 1.4.2.2 pgoyette *prot &= ~NVMM_PROT_WRITE;
311 1.4.2.2 pgoyette if (pte & PG_NX)
312 1.4.2.2 pgoyette *prot &= ~NVMM_PROT_EXEC;
313 1.4.2.2 pgoyette if (pte & PG_PS)
314 1.4.2.2 pgoyette return -1;
315 1.4.2.2 pgoyette
316 1.4.2.2 pgoyette /* Parse L3. */
317 1.4.2.2 pgoyette L3gpa = (pte & PG_FRAME);
318 1.4.2.2 pgoyette if (nvmm_gpa_to_hva(mach, L3gpa, &L3hva) == -1)
319 1.4.2.2 pgoyette return -1;
320 1.4.2.2 pgoyette pdir = (pte_64bit_t *)L3hva;
321 1.4.2.2 pgoyette pte = pdir[pte64_l3idx(gva)];
322 1.4.2.2 pgoyette if ((pte & PG_V) == 0)
323 1.4.2.2 pgoyette return -1;
324 1.4.2.2 pgoyette if ((pte & PG_u) == 0)
325 1.4.2.2 pgoyette *prot &= ~NVMM_PROT_USER;
326 1.4.2.2 pgoyette if ((pte & PG_KW) == 0)
327 1.4.2.2 pgoyette *prot &= ~NVMM_PROT_WRITE;
328 1.4.2.2 pgoyette if (pte & PG_NX)
329 1.4.2.2 pgoyette *prot &= ~NVMM_PROT_EXEC;
330 1.4.2.2 pgoyette if (pte & PG_PS) {
331 1.4.2.2 pgoyette *gpa = (pte & PTE64_L3_FRAME);
332 1.4.2.4 pgoyette *gpa = *gpa + (gva & (PTE64_L2_MASK|PTE64_L1_MASK));
333 1.4.2.2 pgoyette return 0;
334 1.4.2.2 pgoyette }
335 1.4.2.2 pgoyette
336 1.4.2.2 pgoyette /* Parse L2. */
337 1.4.2.2 pgoyette L2gpa = (pte & PG_FRAME);
338 1.4.2.2 pgoyette if (nvmm_gpa_to_hva(mach, L2gpa, &L2hva) == -1)
339 1.4.2.2 pgoyette return -1;
340 1.4.2.2 pgoyette pdir = (pte_64bit_t *)L2hva;
341 1.4.2.2 pgoyette pte = pdir[pte64_l2idx(gva)];
342 1.4.2.2 pgoyette if ((pte & PG_V) == 0)
343 1.4.2.2 pgoyette return -1;
344 1.4.2.2 pgoyette if ((pte & PG_u) == 0)
345 1.4.2.2 pgoyette *prot &= ~NVMM_PROT_USER;
346 1.4.2.2 pgoyette if ((pte & PG_KW) == 0)
347 1.4.2.2 pgoyette *prot &= ~NVMM_PROT_WRITE;
348 1.4.2.2 pgoyette if (pte & PG_NX)
349 1.4.2.2 pgoyette *prot &= ~NVMM_PROT_EXEC;
350 1.4.2.2 pgoyette if (pte & PG_PS) {
351 1.4.2.2 pgoyette *gpa = (pte & PTE64_L2_FRAME);
352 1.4.2.4 pgoyette *gpa = *gpa + (gva & PTE64_L1_MASK);
353 1.4.2.2 pgoyette return 0;
354 1.4.2.2 pgoyette }
355 1.4.2.2 pgoyette
356 1.4.2.2 pgoyette /* Parse L1. */
357 1.4.2.2 pgoyette L1gpa = (pte & PG_FRAME);
358 1.4.2.2 pgoyette if (nvmm_gpa_to_hva(mach, L1gpa, &L1hva) == -1)
359 1.4.2.2 pgoyette return -1;
360 1.4.2.2 pgoyette pdir = (pte_64bit_t *)L1hva;
361 1.4.2.2 pgoyette pte = pdir[pte64_l1idx(gva)];
362 1.4.2.2 pgoyette if ((pte & PG_V) == 0)
363 1.4.2.2 pgoyette return -1;
364 1.4.2.2 pgoyette if ((pte & PG_u) == 0)
365 1.4.2.2 pgoyette *prot &= ~NVMM_PROT_USER;
366 1.4.2.2 pgoyette if ((pte & PG_KW) == 0)
367 1.4.2.2 pgoyette *prot &= ~NVMM_PROT_WRITE;
368 1.4.2.2 pgoyette if (pte & PG_NX)
369 1.4.2.2 pgoyette *prot &= ~NVMM_PROT_EXEC;
370 1.4.2.2 pgoyette if (pte & PG_PS)
371 1.4.2.2 pgoyette return -1;
372 1.4.2.2 pgoyette
373 1.4.2.2 pgoyette *gpa = (pte & PG_FRAME);
374 1.4.2.2 pgoyette return 0;
375 1.4.2.2 pgoyette }
376 1.4.2.2 pgoyette
377 1.4.2.2 pgoyette static inline int
378 1.4.2.2 pgoyette x86_gva_to_gpa(struct nvmm_machine *mach, struct nvmm_x64_state *state,
379 1.4.2.2 pgoyette gvaddr_t gva, gpaddr_t *gpa, nvmm_prot_t *prot)
380 1.4.2.2 pgoyette {
381 1.4.2.2 pgoyette bool is_pae, is_lng, has_pse;
382 1.4.2.2 pgoyette uint64_t cr3;
383 1.4.2.4 pgoyette size_t off;
384 1.4.2.2 pgoyette int ret;
385 1.4.2.2 pgoyette
386 1.4.2.2 pgoyette if ((state->crs[NVMM_X64_CR_CR0] & CR0_PG) == 0) {
387 1.4.2.2 pgoyette /* No paging. */
388 1.4.2.2 pgoyette *prot = NVMM_PROT_ALL;
389 1.4.2.2 pgoyette *gpa = gva;
390 1.4.2.2 pgoyette return 0;
391 1.4.2.2 pgoyette }
392 1.4.2.2 pgoyette
393 1.4.2.4 pgoyette off = (gva & PAGE_MASK);
394 1.4.2.4 pgoyette gva &= ~PAGE_MASK;
395 1.4.2.4 pgoyette
396 1.4.2.2 pgoyette is_pae = (state->crs[NVMM_X64_CR_CR4] & CR4_PAE) != 0;
397 1.4.2.4 pgoyette is_lng = (state->msrs[NVMM_X64_MSR_EFER] & EFER_LMA) != 0;
398 1.4.2.2 pgoyette has_pse = (state->crs[NVMM_X64_CR_CR4] & CR4_PSE) != 0;
399 1.4.2.2 pgoyette cr3 = state->crs[NVMM_X64_CR_CR3];
400 1.4.2.2 pgoyette
401 1.4.2.2 pgoyette if (is_pae && is_lng) {
402 1.4.2.2 pgoyette /* 64bit */
403 1.4.2.4 pgoyette ret = x86_gva_to_gpa_64bit(mach, cr3, gva, gpa, prot);
404 1.4.2.2 pgoyette } else if (is_pae && !is_lng) {
405 1.4.2.2 pgoyette /* 32bit PAE */
406 1.4.2.2 pgoyette ret = x86_gva_to_gpa_32bit_pae(mach, cr3, gva, gpa, has_pse,
407 1.4.2.2 pgoyette prot);
408 1.4.2.2 pgoyette } else if (!is_pae && !is_lng) {
409 1.4.2.2 pgoyette /* 32bit */
410 1.4.2.2 pgoyette ret = x86_gva_to_gpa_32bit(mach, cr3, gva, gpa, has_pse, prot);
411 1.4.2.2 pgoyette } else {
412 1.4.2.2 pgoyette ret = -1;
413 1.4.2.2 pgoyette }
414 1.4.2.2 pgoyette
415 1.4.2.2 pgoyette if (ret == -1) {
416 1.4.2.2 pgoyette errno = EFAULT;
417 1.4.2.2 pgoyette }
418 1.4.2.2 pgoyette
419 1.4.2.4 pgoyette *gpa = *gpa + off;
420 1.4.2.4 pgoyette
421 1.4.2.2 pgoyette return ret;
422 1.4.2.2 pgoyette }
423 1.4.2.2 pgoyette
424 1.4.2.2 pgoyette int
425 1.4.2.2 pgoyette nvmm_gva_to_gpa(struct nvmm_machine *mach, nvmm_cpuid_t cpuid,
426 1.4.2.2 pgoyette gvaddr_t gva, gpaddr_t *gpa, nvmm_prot_t *prot)
427 1.4.2.2 pgoyette {
428 1.4.2.2 pgoyette struct nvmm_x64_state state;
429 1.4.2.2 pgoyette int ret;
430 1.4.2.2 pgoyette
431 1.4.2.2 pgoyette ret = nvmm_vcpu_getstate(mach, cpuid, &state,
432 1.4.2.2 pgoyette NVMM_X64_STATE_CRS | NVMM_X64_STATE_MSRS);
433 1.4.2.2 pgoyette if (ret == -1)
434 1.4.2.2 pgoyette return -1;
435 1.4.2.2 pgoyette
436 1.4.2.2 pgoyette return x86_gva_to_gpa(mach, &state, gva, gpa, prot);
437 1.4.2.2 pgoyette }
438 1.4.2.2 pgoyette
439 1.4.2.2 pgoyette /* -------------------------------------------------------------------------- */
440 1.4.2.2 pgoyette
441 1.4.2.2 pgoyette static inline bool
442 1.4.2.4 pgoyette is_long_mode(struct nvmm_x64_state *state)
443 1.4.2.4 pgoyette {
444 1.4.2.4 pgoyette return (state->msrs[NVMM_X64_MSR_EFER] & EFER_LMA) != 0;
445 1.4.2.4 pgoyette }
446 1.4.2.4 pgoyette
447 1.4.2.4 pgoyette static inline bool
448 1.4.2.3 pgoyette is_64bit(struct nvmm_x64_state *state)
449 1.4.2.3 pgoyette {
450 1.4.2.3 pgoyette return (state->segs[NVMM_X64_SEG_CS].attrib.lng != 0);
451 1.4.2.3 pgoyette }
452 1.4.2.3 pgoyette
453 1.4.2.3 pgoyette static inline bool
454 1.4.2.3 pgoyette is_32bit(struct nvmm_x64_state *state)
455 1.4.2.3 pgoyette {
456 1.4.2.3 pgoyette return (state->segs[NVMM_X64_SEG_CS].attrib.lng == 0) &&
457 1.4.2.3 pgoyette (state->segs[NVMM_X64_SEG_CS].attrib.def32 == 1);
458 1.4.2.3 pgoyette }
459 1.4.2.3 pgoyette
460 1.4.2.3 pgoyette static inline bool
461 1.4.2.3 pgoyette is_16bit(struct nvmm_x64_state *state)
462 1.4.2.3 pgoyette {
463 1.4.2.3 pgoyette return (state->segs[NVMM_X64_SEG_CS].attrib.lng == 0) &&
464 1.4.2.3 pgoyette (state->segs[NVMM_X64_SEG_CS].attrib.def32 == 0);
465 1.4.2.3 pgoyette }
466 1.4.2.3 pgoyette
467 1.4.2.2 pgoyette static int
468 1.4.2.4 pgoyette segment_check(struct nvmm_x64_state_seg *seg, gvaddr_t gva, size_t size)
469 1.4.2.2 pgoyette {
470 1.4.2.2 pgoyette uint64_t limit;
471 1.4.2.2 pgoyette
472 1.4.2.2 pgoyette /*
473 1.4.2.2 pgoyette * This is incomplete. We should check topdown, etc, really that's
474 1.4.2.2 pgoyette * tiring.
475 1.4.2.2 pgoyette */
476 1.4.2.2 pgoyette if (__predict_false(!seg->attrib.p)) {
477 1.4.2.2 pgoyette goto error;
478 1.4.2.2 pgoyette }
479 1.4.2.2 pgoyette
480 1.4.2.2 pgoyette limit = (seg->limit + 1);
481 1.4.2.2 pgoyette if (__predict_true(seg->attrib.gran)) {
482 1.4.2.2 pgoyette limit *= PAGE_SIZE;
483 1.4.2.2 pgoyette }
484 1.4.2.2 pgoyette
485 1.4.2.4 pgoyette if (__predict_false(gva + size > limit)) {
486 1.4.2.2 pgoyette goto error;
487 1.4.2.2 pgoyette }
488 1.4.2.2 pgoyette
489 1.4.2.2 pgoyette return 0;
490 1.4.2.2 pgoyette
491 1.4.2.2 pgoyette error:
492 1.4.2.2 pgoyette errno = EFAULT;
493 1.4.2.2 pgoyette return -1;
494 1.4.2.2 pgoyette }
495 1.4.2.2 pgoyette
496 1.4.2.4 pgoyette static inline void
497 1.4.2.4 pgoyette segment_apply(struct nvmm_x64_state_seg *seg, gvaddr_t *gva)
498 1.4.2.4 pgoyette {
499 1.4.2.4 pgoyette *gva += seg->base;
500 1.4.2.4 pgoyette }
501 1.4.2.4 pgoyette
502 1.4.2.4 pgoyette static inline uint64_t
503 1.4.2.4 pgoyette size_to_mask(size_t size)
504 1.4.2.4 pgoyette {
505 1.4.2.4 pgoyette switch (size) {
506 1.4.2.4 pgoyette case 1:
507 1.4.2.4 pgoyette return 0x00000000000000FF;
508 1.4.2.4 pgoyette case 2:
509 1.4.2.4 pgoyette return 0x000000000000FFFF;
510 1.4.2.4 pgoyette case 4:
511 1.4.2.4 pgoyette return 0x00000000FFFFFFFF;
512 1.4.2.4 pgoyette case 8:
513 1.4.2.4 pgoyette default:
514 1.4.2.4 pgoyette return 0xFFFFFFFFFFFFFFFF;
515 1.4.2.4 pgoyette }
516 1.4.2.4 pgoyette }
517 1.4.2.4 pgoyette
518 1.4.2.4 pgoyette static uint64_t
519 1.4.2.4 pgoyette rep_get_cnt(struct nvmm_x64_state *state, size_t adsize)
520 1.4.2.4 pgoyette {
521 1.4.2.4 pgoyette uint64_t mask, cnt;
522 1.4.2.4 pgoyette
523 1.4.2.4 pgoyette mask = size_to_mask(adsize);
524 1.4.2.4 pgoyette cnt = state->gprs[NVMM_X64_GPR_RCX] & mask;
525 1.4.2.4 pgoyette
526 1.4.2.4 pgoyette return cnt;
527 1.4.2.4 pgoyette }
528 1.4.2.4 pgoyette
529 1.4.2.4 pgoyette static void
530 1.4.2.4 pgoyette rep_set_cnt(struct nvmm_x64_state *state, size_t adsize, uint64_t cnt)
531 1.4.2.4 pgoyette {
532 1.4.2.4 pgoyette uint64_t mask;
533 1.4.2.4 pgoyette
534 1.4.2.4 pgoyette /* XXX: should we zero-extend? */
535 1.4.2.4 pgoyette mask = size_to_mask(adsize);
536 1.4.2.4 pgoyette state->gprs[NVMM_X64_GPR_RCX] &= ~mask;
537 1.4.2.4 pgoyette state->gprs[NVMM_X64_GPR_RCX] |= cnt;
538 1.4.2.4 pgoyette }
539 1.4.2.4 pgoyette
540 1.4.2.4 pgoyette static int
541 1.4.2.4 pgoyette read_guest_memory(struct nvmm_machine *mach, struct nvmm_x64_state *state,
542 1.4.2.4 pgoyette gvaddr_t gva, uint8_t *data, size_t size)
543 1.4.2.4 pgoyette {
544 1.4.2.4 pgoyette struct nvmm_mem mem;
545 1.4.2.4 pgoyette nvmm_prot_t prot;
546 1.4.2.4 pgoyette gpaddr_t gpa;
547 1.4.2.4 pgoyette uintptr_t hva;
548 1.4.2.4 pgoyette bool is_mmio;
549 1.4.2.4 pgoyette int ret, remain;
550 1.4.2.4 pgoyette
551 1.4.2.4 pgoyette ret = x86_gva_to_gpa(mach, state, gva, &gpa, &prot);
552 1.4.2.4 pgoyette if (__predict_false(ret == -1)) {
553 1.4.2.4 pgoyette return -1;
554 1.4.2.4 pgoyette }
555 1.4.2.4 pgoyette if (__predict_false(!(prot & NVMM_PROT_READ))) {
556 1.4.2.4 pgoyette errno = EFAULT;
557 1.4.2.4 pgoyette return -1;
558 1.4.2.4 pgoyette }
559 1.4.2.4 pgoyette
560 1.4.2.4 pgoyette if ((gva & PAGE_MASK) + size > PAGE_SIZE) {
561 1.4.2.4 pgoyette remain = ((gva & PAGE_MASK) + size - PAGE_SIZE);
562 1.4.2.4 pgoyette } else {
563 1.4.2.4 pgoyette remain = 0;
564 1.4.2.4 pgoyette }
565 1.4.2.4 pgoyette size -= remain;
566 1.4.2.4 pgoyette
567 1.4.2.4 pgoyette ret = nvmm_gpa_to_hva(mach, gpa, &hva);
568 1.4.2.4 pgoyette is_mmio = (ret == -1);
569 1.4.2.4 pgoyette
570 1.4.2.4 pgoyette if (is_mmio) {
571 1.4.2.4 pgoyette mem.data = data;
572 1.4.2.4 pgoyette mem.gpa = gpa;
573 1.4.2.4 pgoyette mem.write = false;
574 1.4.2.4 pgoyette mem.size = size;
575 1.4.2.4 pgoyette (*__callbacks.mem)(&mem);
576 1.4.2.4 pgoyette } else {
577 1.4.2.4 pgoyette memcpy(data, (uint8_t *)hva, size);
578 1.4.2.4 pgoyette }
579 1.4.2.4 pgoyette
580 1.4.2.4 pgoyette if (remain > 0) {
581 1.4.2.4 pgoyette ret = read_guest_memory(mach, state, gva + size,
582 1.4.2.4 pgoyette data + size, remain);
583 1.4.2.4 pgoyette } else {
584 1.4.2.4 pgoyette ret = 0;
585 1.4.2.4 pgoyette }
586 1.4.2.4 pgoyette
587 1.4.2.4 pgoyette return ret;
588 1.4.2.4 pgoyette }
589 1.4.2.4 pgoyette
590 1.4.2.4 pgoyette static int
591 1.4.2.4 pgoyette write_guest_memory(struct nvmm_machine *mach, struct nvmm_x64_state *state,
592 1.4.2.4 pgoyette gvaddr_t gva, uint8_t *data, size_t size)
593 1.4.2.4 pgoyette {
594 1.4.2.4 pgoyette struct nvmm_mem mem;
595 1.4.2.4 pgoyette nvmm_prot_t prot;
596 1.4.2.4 pgoyette gpaddr_t gpa;
597 1.4.2.4 pgoyette uintptr_t hva;
598 1.4.2.4 pgoyette bool is_mmio;
599 1.4.2.4 pgoyette int ret, remain;
600 1.4.2.4 pgoyette
601 1.4.2.4 pgoyette ret = x86_gva_to_gpa(mach, state, gva, &gpa, &prot);
602 1.4.2.4 pgoyette if (__predict_false(ret == -1)) {
603 1.4.2.4 pgoyette return -1;
604 1.4.2.4 pgoyette }
605 1.4.2.4 pgoyette if (__predict_false(!(prot & NVMM_PROT_WRITE))) {
606 1.4.2.4 pgoyette errno = EFAULT;
607 1.4.2.4 pgoyette return -1;
608 1.4.2.4 pgoyette }
609 1.4.2.4 pgoyette
610 1.4.2.4 pgoyette if ((gva & PAGE_MASK) + size > PAGE_SIZE) {
611 1.4.2.4 pgoyette remain = ((gva & PAGE_MASK) + size - PAGE_SIZE);
612 1.4.2.4 pgoyette } else {
613 1.4.2.4 pgoyette remain = 0;
614 1.4.2.4 pgoyette }
615 1.4.2.4 pgoyette size -= remain;
616 1.4.2.4 pgoyette
617 1.4.2.4 pgoyette ret = nvmm_gpa_to_hva(mach, gpa, &hva);
618 1.4.2.4 pgoyette is_mmio = (ret == -1);
619 1.4.2.4 pgoyette
620 1.4.2.4 pgoyette if (is_mmio) {
621 1.4.2.4 pgoyette mem.data = data;
622 1.4.2.4 pgoyette mem.gpa = gpa;
623 1.4.2.4 pgoyette mem.write = true;
624 1.4.2.4 pgoyette mem.size = size;
625 1.4.2.4 pgoyette (*__callbacks.mem)(&mem);
626 1.4.2.4 pgoyette } else {
627 1.4.2.4 pgoyette memcpy((uint8_t *)hva, data, size);
628 1.4.2.4 pgoyette }
629 1.4.2.4 pgoyette
630 1.4.2.4 pgoyette if (remain > 0) {
631 1.4.2.4 pgoyette ret = write_guest_memory(mach, state, gva + size,
632 1.4.2.4 pgoyette data + size, remain);
633 1.4.2.4 pgoyette } else {
634 1.4.2.4 pgoyette ret = 0;
635 1.4.2.4 pgoyette }
636 1.4.2.4 pgoyette
637 1.4.2.4 pgoyette return ret;
638 1.4.2.4 pgoyette }
639 1.4.2.4 pgoyette
640 1.4.2.4 pgoyette /* -------------------------------------------------------------------------- */
641 1.4.2.4 pgoyette
642 1.4.2.4 pgoyette static int fetch_segment(struct nvmm_machine *, struct nvmm_x64_state *);
643 1.4.2.4 pgoyette
644 1.4.2.4 pgoyette #define NVMM_IO_BATCH_SIZE 32
645 1.4.2.4 pgoyette
646 1.4.2.4 pgoyette static int
647 1.4.2.4 pgoyette assist_io_batch(struct nvmm_machine *mach, struct nvmm_x64_state *state,
648 1.4.2.4 pgoyette struct nvmm_io *io, gvaddr_t gva, uint64_t cnt)
649 1.4.2.4 pgoyette {
650 1.4.2.4 pgoyette uint8_t iobuf[NVMM_IO_BATCH_SIZE];
651 1.4.2.4 pgoyette size_t i, iosize, iocnt;
652 1.4.2.4 pgoyette int ret;
653 1.4.2.4 pgoyette
654 1.4.2.4 pgoyette cnt = MIN(cnt, NVMM_IO_BATCH_SIZE);
655 1.4.2.4 pgoyette iosize = MIN(io->size * cnt, NVMM_IO_BATCH_SIZE);
656 1.4.2.4 pgoyette iocnt = iosize / io->size;
657 1.4.2.4 pgoyette
658 1.4.2.4 pgoyette io->data = iobuf;
659 1.4.2.4 pgoyette
660 1.4.2.4 pgoyette if (!io->in) {
661 1.4.2.4 pgoyette ret = read_guest_memory(mach, state, gva, iobuf, iosize);
662 1.4.2.4 pgoyette if (ret == -1)
663 1.4.2.4 pgoyette return -1;
664 1.4.2.4 pgoyette }
665 1.4.2.4 pgoyette
666 1.4.2.4 pgoyette for (i = 0; i < iocnt; i++) {
667 1.4.2.4 pgoyette (*__callbacks.io)(io);
668 1.4.2.4 pgoyette io->data += io->size;
669 1.4.2.4 pgoyette }
670 1.4.2.4 pgoyette
671 1.4.2.4 pgoyette if (io->in) {
672 1.4.2.4 pgoyette ret = write_guest_memory(mach, state, gva, iobuf, iosize);
673 1.4.2.4 pgoyette if (ret == -1)
674 1.4.2.4 pgoyette return -1;
675 1.4.2.4 pgoyette }
676 1.4.2.4 pgoyette
677 1.4.2.4 pgoyette return iocnt;
678 1.4.2.4 pgoyette }
679 1.4.2.4 pgoyette
680 1.4.2.2 pgoyette int
681 1.4.2.2 pgoyette nvmm_assist_io(struct nvmm_machine *mach, nvmm_cpuid_t cpuid,
682 1.4.2.4 pgoyette struct nvmm_exit *exit)
683 1.4.2.2 pgoyette {
684 1.4.2.2 pgoyette struct nvmm_x64_state state;
685 1.4.2.2 pgoyette struct nvmm_io io;
686 1.4.2.4 pgoyette uint64_t cnt = 0; /* GCC */
687 1.4.2.4 pgoyette uint8_t iobuf[8];
688 1.4.2.4 pgoyette int iocnt = 1;
689 1.4.2.4 pgoyette gvaddr_t gva = 0; /* GCC */
690 1.4.2.3 pgoyette int reg = 0; /* GCC */
691 1.4.2.4 pgoyette int ret, seg;
692 1.4.2.4 pgoyette bool psld = false;
693 1.4.2.2 pgoyette
694 1.4.2.2 pgoyette if (__predict_false(exit->reason != NVMM_EXIT_IO)) {
695 1.4.2.2 pgoyette errno = EINVAL;
696 1.4.2.2 pgoyette return -1;
697 1.4.2.2 pgoyette }
698 1.4.2.2 pgoyette
699 1.4.2.2 pgoyette io.port = exit->u.io.port;
700 1.4.2.2 pgoyette io.in = (exit->u.io.type == NVMM_EXIT_IO_IN);
701 1.4.2.2 pgoyette io.size = exit->u.io.operand_size;
702 1.4.2.4 pgoyette io.data = iobuf;
703 1.4.2.2 pgoyette
704 1.4.2.2 pgoyette ret = nvmm_vcpu_getstate(mach, cpuid, &state,
705 1.4.2.2 pgoyette NVMM_X64_STATE_GPRS | NVMM_X64_STATE_SEGS |
706 1.4.2.2 pgoyette NVMM_X64_STATE_CRS | NVMM_X64_STATE_MSRS);
707 1.4.2.2 pgoyette if (ret == -1)
708 1.4.2.2 pgoyette return -1;
709 1.4.2.2 pgoyette
710 1.4.2.4 pgoyette if (exit->u.io.rep) {
711 1.4.2.4 pgoyette cnt = rep_get_cnt(&state, exit->u.io.address_size);
712 1.4.2.4 pgoyette if (__predict_false(cnt == 0)) {
713 1.4.2.4 pgoyette state.gprs[NVMM_X64_GPR_RIP] = exit->u.io.npc;
714 1.4.2.4 pgoyette goto out;
715 1.4.2.4 pgoyette }
716 1.4.2.4 pgoyette }
717 1.4.2.4 pgoyette
718 1.4.2.4 pgoyette if (__predict_false(state.gprs[NVMM_X64_GPR_RFLAGS] & PSL_D)) {
719 1.4.2.4 pgoyette psld = true;
720 1.4.2.4 pgoyette }
721 1.4.2.2 pgoyette
722 1.4.2.4 pgoyette /*
723 1.4.2.4 pgoyette * Determine GVA.
724 1.4.2.4 pgoyette */
725 1.4.2.4 pgoyette if (exit->u.io.str) {
726 1.4.2.3 pgoyette if (io.in) {
727 1.4.2.3 pgoyette reg = NVMM_X64_GPR_RDI;
728 1.4.2.3 pgoyette } else {
729 1.4.2.3 pgoyette reg = NVMM_X64_GPR_RSI;
730 1.4.2.3 pgoyette }
731 1.4.2.2 pgoyette
732 1.4.2.4 pgoyette gva = state.gprs[reg];
733 1.4.2.4 pgoyette gva &= size_to_mask(exit->u.io.address_size);
734 1.4.2.4 pgoyette
735 1.4.2.4 pgoyette if (exit->u.io.seg != -1) {
736 1.4.2.4 pgoyette seg = exit->u.io.seg;
737 1.4.2.4 pgoyette } else {
738 1.4.2.4 pgoyette if (io.in) {
739 1.4.2.4 pgoyette seg = NVMM_X64_SEG_ES;
740 1.4.2.4 pgoyette } else {
741 1.4.2.4 pgoyette seg = fetch_segment(mach, &state);
742 1.4.2.4 pgoyette if (seg == -1)
743 1.4.2.4 pgoyette return -1;
744 1.4.2.4 pgoyette }
745 1.4.2.2 pgoyette }
746 1.4.2.2 pgoyette
747 1.4.2.4 pgoyette if (__predict_true(is_long_mode(&state))) {
748 1.4.2.4 pgoyette if (seg == NVMM_X64_SEG_GS || seg == NVMM_X64_SEG_FS) {
749 1.4.2.4 pgoyette segment_apply(&state.segs[seg], &gva);
750 1.4.2.4 pgoyette }
751 1.4.2.4 pgoyette } else {
752 1.4.2.4 pgoyette ret = segment_check(&state.segs[seg], gva, io.size);
753 1.4.2.2 pgoyette if (ret == -1)
754 1.4.2.2 pgoyette return -1;
755 1.4.2.4 pgoyette segment_apply(&state.segs[seg], &gva);
756 1.4.2.2 pgoyette }
757 1.4.2.2 pgoyette
758 1.4.2.4 pgoyette if (exit->u.io.rep && !psld) {
759 1.4.2.4 pgoyette iocnt = assist_io_batch(mach, &state, &io, gva, cnt);
760 1.4.2.4 pgoyette if (iocnt == -1)
761 1.4.2.4 pgoyette return -1;
762 1.4.2.4 pgoyette goto done;
763 1.4.2.2 pgoyette }
764 1.4.2.4 pgoyette }
765 1.4.2.2 pgoyette
766 1.4.2.4 pgoyette if (!io.in) {
767 1.4.2.4 pgoyette if (!exit->u.io.str) {
768 1.4.2.4 pgoyette memcpy(io.data, &state.gprs[NVMM_X64_GPR_RAX], io.size);
769 1.4.2.4 pgoyette } else {
770 1.4.2.4 pgoyette ret = read_guest_memory(mach, &state, gva, io.data,
771 1.4.2.4 pgoyette io.size);
772 1.4.2.2 pgoyette if (ret == -1)
773 1.4.2.2 pgoyette return -1;
774 1.4.2.2 pgoyette }
775 1.4.2.2 pgoyette }
776 1.4.2.2 pgoyette
777 1.4.2.4 pgoyette (*__callbacks.io)(&io);
778 1.4.2.2 pgoyette
779 1.4.2.2 pgoyette if (io.in) {
780 1.4.2.4 pgoyette if (!exit->u.io.str) {
781 1.4.2.4 pgoyette memcpy(&state.gprs[NVMM_X64_GPR_RAX], io.data, io.size);
782 1.4.2.4 pgoyette if (io.size == 4) {
783 1.4.2.4 pgoyette /* Zero-extend to 64 bits. */
784 1.4.2.4 pgoyette state.gprs[NVMM_X64_GPR_RAX] &= size_to_mask(4);
785 1.4.2.4 pgoyette }
786 1.4.2.2 pgoyette } else {
787 1.4.2.4 pgoyette ret = write_guest_memory(mach, &state, gva, io.data,
788 1.4.2.4 pgoyette io.size);
789 1.4.2.4 pgoyette if (ret == -1)
790 1.4.2.4 pgoyette return -1;
791 1.4.2.2 pgoyette }
792 1.4.2.2 pgoyette }
793 1.4.2.2 pgoyette
794 1.4.2.4 pgoyette done:
795 1.4.2.3 pgoyette if (exit->u.io.str) {
796 1.4.2.4 pgoyette if (__predict_false(psld)) {
797 1.4.2.4 pgoyette state.gprs[reg] -= iocnt * io.size;
798 1.4.2.3 pgoyette } else {
799 1.4.2.4 pgoyette state.gprs[reg] += iocnt * io.size;
800 1.4.2.3 pgoyette }
801 1.4.2.3 pgoyette }
802 1.4.2.3 pgoyette
803 1.4.2.2 pgoyette if (exit->u.io.rep) {
804 1.4.2.4 pgoyette cnt -= iocnt;
805 1.4.2.4 pgoyette rep_set_cnt(&state, exit->u.io.address_size, cnt);
806 1.4.2.4 pgoyette if (cnt == 0) {
807 1.4.2.2 pgoyette state.gprs[NVMM_X64_GPR_RIP] = exit->u.io.npc;
808 1.4.2.2 pgoyette }
809 1.4.2.2 pgoyette } else {
810 1.4.2.2 pgoyette state.gprs[NVMM_X64_GPR_RIP] = exit->u.io.npc;
811 1.4.2.2 pgoyette }
812 1.4.2.2 pgoyette
813 1.4.2.4 pgoyette out:
814 1.4.2.2 pgoyette ret = nvmm_vcpu_setstate(mach, cpuid, &state, NVMM_X64_STATE_GPRS);
815 1.4.2.2 pgoyette if (ret == -1)
816 1.4.2.2 pgoyette return -1;
817 1.4.2.2 pgoyette
818 1.4.2.2 pgoyette return 0;
819 1.4.2.2 pgoyette }
820 1.4.2.2 pgoyette
821 1.4.2.2 pgoyette /* -------------------------------------------------------------------------- */
822 1.4.2.2 pgoyette
823 1.4.2.3 pgoyette static void x86_emul_or(struct nvmm_mem *, void (*)(struct nvmm_mem *), uint64_t *);
824 1.4.2.3 pgoyette static void x86_emul_and(struct nvmm_mem *, void (*)(struct nvmm_mem *), uint64_t *);
825 1.4.2.3 pgoyette static void x86_emul_xor(struct nvmm_mem *, void (*)(struct nvmm_mem *), uint64_t *);
826 1.4.2.3 pgoyette static void x86_emul_mov(struct nvmm_mem *, void (*)(struct nvmm_mem *), uint64_t *);
827 1.4.2.3 pgoyette static void x86_emul_stos(struct nvmm_mem *, void (*)(struct nvmm_mem *), uint64_t *);
828 1.4.2.3 pgoyette static void x86_emul_lods(struct nvmm_mem *, void (*)(struct nvmm_mem *), uint64_t *);
829 1.4.2.4 pgoyette static void x86_emul_movs(struct nvmm_mem *, void (*)(struct nvmm_mem *), uint64_t *);
830 1.4.2.3 pgoyette
831 1.4.2.4 pgoyette /* Legacy prefixes. */
832 1.4.2.4 pgoyette #define LEG_LOCK 0xF0
833 1.4.2.4 pgoyette #define LEG_REPN 0xF2
834 1.4.2.4 pgoyette #define LEG_REP 0xF3
835 1.4.2.4 pgoyette #define LEG_OVR_CS 0x2E
836 1.4.2.4 pgoyette #define LEG_OVR_SS 0x36
837 1.4.2.4 pgoyette #define LEG_OVR_DS 0x3E
838 1.4.2.4 pgoyette #define LEG_OVR_ES 0x26
839 1.4.2.4 pgoyette #define LEG_OVR_FS 0x64
840 1.4.2.4 pgoyette #define LEG_OVR_GS 0x65
841 1.4.2.4 pgoyette #define LEG_OPR_OVR 0x66
842 1.4.2.4 pgoyette #define LEG_ADR_OVR 0x67
843 1.4.2.4 pgoyette
844 1.4.2.4 pgoyette struct x86_legpref {
845 1.4.2.4 pgoyette bool opr_ovr:1;
846 1.4.2.4 pgoyette bool adr_ovr:1;
847 1.4.2.4 pgoyette bool rep:1;
848 1.4.2.4 pgoyette bool repn:1;
849 1.4.2.4 pgoyette int seg;
850 1.4.2.3 pgoyette };
851 1.4.2.3 pgoyette
852 1.4.2.3 pgoyette struct x86_rexpref {
853 1.4.2.3 pgoyette bool present;
854 1.4.2.3 pgoyette bool w;
855 1.4.2.3 pgoyette bool r;
856 1.4.2.3 pgoyette bool x;
857 1.4.2.3 pgoyette bool b;
858 1.4.2.3 pgoyette };
859 1.4.2.3 pgoyette
860 1.4.2.3 pgoyette struct x86_reg {
861 1.4.2.3 pgoyette int num; /* NVMM GPR state index */
862 1.4.2.3 pgoyette uint64_t mask;
863 1.4.2.3 pgoyette };
864 1.4.2.3 pgoyette
865 1.4.2.3 pgoyette enum x86_disp_type {
866 1.4.2.3 pgoyette DISP_NONE,
867 1.4.2.3 pgoyette DISP_0,
868 1.4.2.3 pgoyette DISP_1,
869 1.4.2.3 pgoyette DISP_4
870 1.4.2.3 pgoyette };
871 1.4.2.3 pgoyette
872 1.4.2.3 pgoyette struct x86_disp {
873 1.4.2.3 pgoyette enum x86_disp_type type;
874 1.4.2.4 pgoyette uint64_t data; /* 4 bytes, but can be sign-extended */
875 1.4.2.3 pgoyette };
876 1.4.2.3 pgoyette
877 1.4.2.3 pgoyette enum REGMODRM__Mod {
878 1.4.2.3 pgoyette MOD_DIS0, /* also, register indirect */
879 1.4.2.3 pgoyette MOD_DIS1,
880 1.4.2.3 pgoyette MOD_DIS4,
881 1.4.2.3 pgoyette MOD_REG
882 1.4.2.3 pgoyette };
883 1.4.2.3 pgoyette
884 1.4.2.3 pgoyette enum REGMODRM__Reg {
885 1.4.2.3 pgoyette REG_000, /* these fields are indexes to the register map */
886 1.4.2.3 pgoyette REG_001,
887 1.4.2.3 pgoyette REG_010,
888 1.4.2.3 pgoyette REG_011,
889 1.4.2.3 pgoyette REG_100,
890 1.4.2.3 pgoyette REG_101,
891 1.4.2.3 pgoyette REG_110,
892 1.4.2.3 pgoyette REG_111
893 1.4.2.3 pgoyette };
894 1.4.2.3 pgoyette
895 1.4.2.3 pgoyette enum REGMODRM__Rm {
896 1.4.2.3 pgoyette RM_000, /* reg */
897 1.4.2.3 pgoyette RM_001, /* reg */
898 1.4.2.3 pgoyette RM_010, /* reg */
899 1.4.2.3 pgoyette RM_011, /* reg */
900 1.4.2.3 pgoyette RM_RSP_SIB, /* reg or SIB, depending on the MOD */
901 1.4.2.3 pgoyette RM_RBP_DISP32, /* reg or displacement-only (= RIP-relative on amd64) */
902 1.4.2.3 pgoyette RM_110,
903 1.4.2.3 pgoyette RM_111
904 1.4.2.3 pgoyette };
905 1.4.2.3 pgoyette
906 1.4.2.3 pgoyette struct x86_regmodrm {
907 1.4.2.3 pgoyette bool present;
908 1.4.2.3 pgoyette enum REGMODRM__Mod mod;
909 1.4.2.3 pgoyette enum REGMODRM__Reg reg;
910 1.4.2.3 pgoyette enum REGMODRM__Rm rm;
911 1.4.2.3 pgoyette };
912 1.4.2.3 pgoyette
913 1.4.2.3 pgoyette struct x86_immediate {
914 1.4.2.4 pgoyette uint64_t data;
915 1.4.2.3 pgoyette };
916 1.4.2.3 pgoyette
917 1.4.2.3 pgoyette struct x86_sib {
918 1.4.2.3 pgoyette uint8_t scale;
919 1.4.2.3 pgoyette const struct x86_reg *idx;
920 1.4.2.3 pgoyette const struct x86_reg *bas;
921 1.4.2.3 pgoyette };
922 1.4.2.3 pgoyette
923 1.4.2.3 pgoyette enum x86_store_type {
924 1.4.2.3 pgoyette STORE_NONE,
925 1.4.2.3 pgoyette STORE_REG,
926 1.4.2.3 pgoyette STORE_IMM,
927 1.4.2.3 pgoyette STORE_SIB,
928 1.4.2.3 pgoyette STORE_DMO
929 1.4.2.3 pgoyette };
930 1.4.2.3 pgoyette
931 1.4.2.3 pgoyette struct x86_store {
932 1.4.2.3 pgoyette enum x86_store_type type;
933 1.4.2.3 pgoyette union {
934 1.4.2.3 pgoyette const struct x86_reg *reg;
935 1.4.2.3 pgoyette struct x86_immediate imm;
936 1.4.2.3 pgoyette struct x86_sib sib;
937 1.4.2.3 pgoyette uint64_t dmo;
938 1.4.2.3 pgoyette } u;
939 1.4.2.3 pgoyette struct x86_disp disp;
940 1.4.2.4 pgoyette int hardseg;
941 1.4.2.3 pgoyette };
942 1.4.2.3 pgoyette
943 1.4.2.3 pgoyette struct x86_instr {
944 1.4.2.3 pgoyette size_t len;
945 1.4.2.4 pgoyette struct x86_legpref legpref;
946 1.4.2.3 pgoyette struct x86_rexpref rexpref;
947 1.4.2.3 pgoyette size_t operand_size;
948 1.4.2.3 pgoyette size_t address_size;
949 1.4.2.4 pgoyette uint64_t zeroextend_mask;
950 1.4.2.3 pgoyette
951 1.4.2.3 pgoyette struct x86_regmodrm regmodrm;
952 1.4.2.3 pgoyette
953 1.4.2.3 pgoyette const struct x86_opcode *opcode;
954 1.4.2.3 pgoyette
955 1.4.2.3 pgoyette struct x86_store src;
956 1.4.2.3 pgoyette struct x86_store dst;
957 1.4.2.3 pgoyette
958 1.4.2.3 pgoyette struct x86_store *strm;
959 1.4.2.3 pgoyette
960 1.4.2.3 pgoyette void (*emul)(struct nvmm_mem *, void (*)(struct nvmm_mem *), uint64_t *);
961 1.4.2.3 pgoyette };
962 1.4.2.3 pgoyette
963 1.4.2.3 pgoyette struct x86_decode_fsm {
964 1.4.2.3 pgoyette /* vcpu */
965 1.4.2.3 pgoyette bool is64bit;
966 1.4.2.3 pgoyette bool is32bit;
967 1.4.2.3 pgoyette bool is16bit;
968 1.4.2.3 pgoyette
969 1.4.2.3 pgoyette /* fsm */
970 1.4.2.3 pgoyette int (*fn)(struct x86_decode_fsm *, struct x86_instr *);
971 1.4.2.3 pgoyette uint8_t *buf;
972 1.4.2.3 pgoyette uint8_t *end;
973 1.4.2.3 pgoyette };
974 1.4.2.3 pgoyette
975 1.4.2.3 pgoyette struct x86_opcode {
976 1.4.2.3 pgoyette uint8_t byte;
977 1.4.2.3 pgoyette bool regmodrm;
978 1.4.2.3 pgoyette bool regtorm;
979 1.4.2.3 pgoyette bool dmo;
980 1.4.2.3 pgoyette bool todmo;
981 1.4.2.4 pgoyette bool movs;
982 1.4.2.3 pgoyette bool stos;
983 1.4.2.3 pgoyette bool lods;
984 1.4.2.3 pgoyette bool szoverride;
985 1.4.2.3 pgoyette int defsize;
986 1.4.2.3 pgoyette int allsize;
987 1.4.2.4 pgoyette bool group1;
988 1.4.2.3 pgoyette bool group11;
989 1.4.2.3 pgoyette bool immediate;
990 1.4.2.3 pgoyette int flags;
991 1.4.2.3 pgoyette void (*emul)(struct nvmm_mem *, void (*)(struct nvmm_mem *), uint64_t *);
992 1.4.2.3 pgoyette };
993 1.4.2.3 pgoyette
994 1.4.2.3 pgoyette struct x86_group_entry {
995 1.4.2.3 pgoyette void (*emul)(struct nvmm_mem *, void (*)(struct nvmm_mem *), uint64_t *);
996 1.4.2.3 pgoyette };
997 1.4.2.3 pgoyette
998 1.4.2.3 pgoyette #define OPSIZE_BYTE 0x01
999 1.4.2.3 pgoyette #define OPSIZE_WORD 0x02 /* 2 bytes */
1000 1.4.2.3 pgoyette #define OPSIZE_DOUB 0x04 /* 4 bytes */
1001 1.4.2.3 pgoyette #define OPSIZE_QUAD 0x08 /* 8 bytes */
1002 1.4.2.3 pgoyette
1003 1.4.2.4 pgoyette #define FLAG_imm8 0x01
1004 1.4.2.4 pgoyette #define FLAG_immz 0x02
1005 1.4.2.4 pgoyette #define FLAG_ze 0x04
1006 1.4.2.4 pgoyette
1007 1.4.2.4 pgoyette static const struct x86_group_entry group1[8] = {
1008 1.4.2.4 pgoyette [1] = { .emul = x86_emul_or },
1009 1.4.2.4 pgoyette [4] = { .emul = x86_emul_and },
1010 1.4.2.4 pgoyette [6] = { .emul = x86_emul_xor }
1011 1.4.2.4 pgoyette };
1012 1.4.2.3 pgoyette
1013 1.4.2.3 pgoyette static const struct x86_group_entry group11[8] = {
1014 1.4.2.3 pgoyette [0] = { .emul = x86_emul_mov }
1015 1.4.2.3 pgoyette };
1016 1.4.2.3 pgoyette
1017 1.4.2.3 pgoyette static const struct x86_opcode primary_opcode_table[] = {
1018 1.4.2.3 pgoyette /*
1019 1.4.2.4 pgoyette * Group1
1020 1.4.2.4 pgoyette */
1021 1.4.2.4 pgoyette {
1022 1.4.2.4 pgoyette /* Ev, Iz */
1023 1.4.2.4 pgoyette .byte = 0x81,
1024 1.4.2.4 pgoyette .regmodrm = true,
1025 1.4.2.4 pgoyette .regtorm = true,
1026 1.4.2.4 pgoyette .szoverride = true,
1027 1.4.2.4 pgoyette .defsize = -1,
1028 1.4.2.4 pgoyette .allsize = OPSIZE_WORD|OPSIZE_DOUB|OPSIZE_QUAD,
1029 1.4.2.4 pgoyette .group1 = true,
1030 1.4.2.4 pgoyette .immediate = true,
1031 1.4.2.4 pgoyette .flags = FLAG_immz,
1032 1.4.2.4 pgoyette .emul = NULL /* group1 */
1033 1.4.2.4 pgoyette },
1034 1.4.2.4 pgoyette {
1035 1.4.2.4 pgoyette /* Ev, Ib */
1036 1.4.2.4 pgoyette .byte = 0x83,
1037 1.4.2.4 pgoyette .regmodrm = true,
1038 1.4.2.4 pgoyette .regtorm = true,
1039 1.4.2.4 pgoyette .szoverride = true,
1040 1.4.2.4 pgoyette .defsize = -1,
1041 1.4.2.4 pgoyette .allsize = OPSIZE_WORD|OPSIZE_DOUB|OPSIZE_QUAD,
1042 1.4.2.4 pgoyette .group1 = true,
1043 1.4.2.4 pgoyette .immediate = true,
1044 1.4.2.4 pgoyette .flags = FLAG_imm8,
1045 1.4.2.4 pgoyette .emul = NULL /* group1 */
1046 1.4.2.4 pgoyette },
1047 1.4.2.4 pgoyette
1048 1.4.2.4 pgoyette /*
1049 1.4.2.3 pgoyette * Group11
1050 1.4.2.3 pgoyette */
1051 1.4.2.3 pgoyette {
1052 1.4.2.4 pgoyette /* Eb, Ib */
1053 1.4.2.3 pgoyette .byte = 0xC6,
1054 1.4.2.3 pgoyette .regmodrm = true,
1055 1.4.2.3 pgoyette .regtorm = true,
1056 1.4.2.3 pgoyette .szoverride = false,
1057 1.4.2.3 pgoyette .defsize = OPSIZE_BYTE,
1058 1.4.2.3 pgoyette .allsize = -1,
1059 1.4.2.3 pgoyette .group11 = true,
1060 1.4.2.3 pgoyette .immediate = true,
1061 1.4.2.3 pgoyette .emul = NULL /* group11 */
1062 1.4.2.3 pgoyette },
1063 1.4.2.3 pgoyette {
1064 1.4.2.4 pgoyette /* Ev, Iz */
1065 1.4.2.3 pgoyette .byte = 0xC7,
1066 1.4.2.3 pgoyette .regmodrm = true,
1067 1.4.2.3 pgoyette .regtorm = true,
1068 1.4.2.3 pgoyette .szoverride = true,
1069 1.4.2.3 pgoyette .defsize = -1,
1070 1.4.2.3 pgoyette .allsize = OPSIZE_WORD|OPSIZE_DOUB|OPSIZE_QUAD,
1071 1.4.2.3 pgoyette .group11 = true,
1072 1.4.2.3 pgoyette .immediate = true,
1073 1.4.2.4 pgoyette .flags = FLAG_immz,
1074 1.4.2.3 pgoyette .emul = NULL /* group11 */
1075 1.4.2.3 pgoyette },
1076 1.4.2.3 pgoyette
1077 1.4.2.3 pgoyette /*
1078 1.4.2.3 pgoyette * OR
1079 1.4.2.3 pgoyette */
1080 1.4.2.3 pgoyette {
1081 1.4.2.3 pgoyette /* Eb, Gb */
1082 1.4.2.3 pgoyette .byte = 0x08,
1083 1.4.2.3 pgoyette .regmodrm = true,
1084 1.4.2.3 pgoyette .regtorm = true,
1085 1.4.2.3 pgoyette .szoverride = false,
1086 1.4.2.3 pgoyette .defsize = OPSIZE_BYTE,
1087 1.4.2.3 pgoyette .allsize = -1,
1088 1.4.2.3 pgoyette .emul = x86_emul_or
1089 1.4.2.3 pgoyette },
1090 1.4.2.3 pgoyette {
1091 1.4.2.3 pgoyette /* Ev, Gv */
1092 1.4.2.3 pgoyette .byte = 0x09,
1093 1.4.2.3 pgoyette .regmodrm = true,
1094 1.4.2.3 pgoyette .regtorm = true,
1095 1.4.2.3 pgoyette .szoverride = true,
1096 1.4.2.3 pgoyette .defsize = -1,
1097 1.4.2.3 pgoyette .allsize = OPSIZE_WORD|OPSIZE_DOUB|OPSIZE_QUAD,
1098 1.4.2.3 pgoyette .emul = x86_emul_or
1099 1.4.2.3 pgoyette },
1100 1.4.2.3 pgoyette {
1101 1.4.2.3 pgoyette /* Gb, Eb */
1102 1.4.2.3 pgoyette .byte = 0x0A,
1103 1.4.2.3 pgoyette .regmodrm = true,
1104 1.4.2.3 pgoyette .regtorm = false,
1105 1.4.2.3 pgoyette .szoverride = false,
1106 1.4.2.3 pgoyette .defsize = OPSIZE_BYTE,
1107 1.4.2.3 pgoyette .allsize = -1,
1108 1.4.2.3 pgoyette .emul = x86_emul_or
1109 1.4.2.3 pgoyette },
1110 1.4.2.3 pgoyette {
1111 1.4.2.3 pgoyette /* Gv, Ev */
1112 1.4.2.3 pgoyette .byte = 0x0B,
1113 1.4.2.3 pgoyette .regmodrm = true,
1114 1.4.2.3 pgoyette .regtorm = false,
1115 1.4.2.3 pgoyette .szoverride = true,
1116 1.4.2.3 pgoyette .defsize = -1,
1117 1.4.2.3 pgoyette .allsize = OPSIZE_WORD|OPSIZE_DOUB|OPSIZE_QUAD,
1118 1.4.2.3 pgoyette .emul = x86_emul_or
1119 1.4.2.3 pgoyette },
1120 1.4.2.3 pgoyette
1121 1.4.2.3 pgoyette /*
1122 1.4.2.3 pgoyette * AND
1123 1.4.2.3 pgoyette */
1124 1.4.2.3 pgoyette {
1125 1.4.2.3 pgoyette /* Eb, Gb */
1126 1.4.2.3 pgoyette .byte = 0x20,
1127 1.4.2.3 pgoyette .regmodrm = true,
1128 1.4.2.3 pgoyette .regtorm = true,
1129 1.4.2.3 pgoyette .szoverride = false,
1130 1.4.2.3 pgoyette .defsize = OPSIZE_BYTE,
1131 1.4.2.3 pgoyette .allsize = -1,
1132 1.4.2.3 pgoyette .emul = x86_emul_and
1133 1.4.2.3 pgoyette },
1134 1.4.2.3 pgoyette {
1135 1.4.2.3 pgoyette /* Ev, Gv */
1136 1.4.2.3 pgoyette .byte = 0x21,
1137 1.4.2.3 pgoyette .regmodrm = true,
1138 1.4.2.3 pgoyette .regtorm = true,
1139 1.4.2.3 pgoyette .szoverride = true,
1140 1.4.2.3 pgoyette .defsize = -1,
1141 1.4.2.3 pgoyette .allsize = OPSIZE_WORD|OPSIZE_DOUB|OPSIZE_QUAD,
1142 1.4.2.3 pgoyette .emul = x86_emul_and
1143 1.4.2.3 pgoyette },
1144 1.4.2.3 pgoyette {
1145 1.4.2.3 pgoyette /* Gb, Eb */
1146 1.4.2.3 pgoyette .byte = 0x22,
1147 1.4.2.3 pgoyette .regmodrm = true,
1148 1.4.2.3 pgoyette .regtorm = false,
1149 1.4.2.3 pgoyette .szoverride = false,
1150 1.4.2.3 pgoyette .defsize = OPSIZE_BYTE,
1151 1.4.2.3 pgoyette .allsize = -1,
1152 1.4.2.3 pgoyette .emul = x86_emul_and
1153 1.4.2.3 pgoyette },
1154 1.4.2.3 pgoyette {
1155 1.4.2.3 pgoyette /* Gv, Ev */
1156 1.4.2.3 pgoyette .byte = 0x23,
1157 1.4.2.3 pgoyette .regmodrm = true,
1158 1.4.2.3 pgoyette .regtorm = false,
1159 1.4.2.3 pgoyette .szoverride = true,
1160 1.4.2.3 pgoyette .defsize = -1,
1161 1.4.2.3 pgoyette .allsize = OPSIZE_WORD|OPSIZE_DOUB|OPSIZE_QUAD,
1162 1.4.2.3 pgoyette .emul = x86_emul_and
1163 1.4.2.3 pgoyette },
1164 1.4.2.3 pgoyette
1165 1.4.2.3 pgoyette /*
1166 1.4.2.3 pgoyette * XOR
1167 1.4.2.3 pgoyette */
1168 1.4.2.3 pgoyette {
1169 1.4.2.3 pgoyette /* Eb, Gb */
1170 1.4.2.3 pgoyette .byte = 0x30,
1171 1.4.2.3 pgoyette .regmodrm = true,
1172 1.4.2.3 pgoyette .regtorm = true,
1173 1.4.2.3 pgoyette .szoverride = false,
1174 1.4.2.3 pgoyette .defsize = OPSIZE_BYTE,
1175 1.4.2.3 pgoyette .allsize = -1,
1176 1.4.2.3 pgoyette .emul = x86_emul_xor
1177 1.4.2.3 pgoyette },
1178 1.4.2.3 pgoyette {
1179 1.4.2.3 pgoyette /* Ev, Gv */
1180 1.4.2.3 pgoyette .byte = 0x31,
1181 1.4.2.3 pgoyette .regmodrm = true,
1182 1.4.2.3 pgoyette .regtorm = true,
1183 1.4.2.3 pgoyette .szoverride = true,
1184 1.4.2.3 pgoyette .defsize = -1,
1185 1.4.2.3 pgoyette .allsize = OPSIZE_WORD|OPSIZE_DOUB|OPSIZE_QUAD,
1186 1.4.2.3 pgoyette .emul = x86_emul_xor
1187 1.4.2.3 pgoyette },
1188 1.4.2.3 pgoyette {
1189 1.4.2.3 pgoyette /* Gb, Eb */
1190 1.4.2.3 pgoyette .byte = 0x32,
1191 1.4.2.3 pgoyette .regmodrm = true,
1192 1.4.2.3 pgoyette .regtorm = false,
1193 1.4.2.3 pgoyette .szoverride = false,
1194 1.4.2.3 pgoyette .defsize = OPSIZE_BYTE,
1195 1.4.2.3 pgoyette .allsize = -1,
1196 1.4.2.3 pgoyette .emul = x86_emul_xor
1197 1.4.2.3 pgoyette },
1198 1.4.2.3 pgoyette {
1199 1.4.2.3 pgoyette /* Gv, Ev */
1200 1.4.2.3 pgoyette .byte = 0x33,
1201 1.4.2.3 pgoyette .regmodrm = true,
1202 1.4.2.3 pgoyette .regtorm = false,
1203 1.4.2.3 pgoyette .szoverride = true,
1204 1.4.2.3 pgoyette .defsize = -1,
1205 1.4.2.3 pgoyette .allsize = OPSIZE_WORD|OPSIZE_DOUB|OPSIZE_QUAD,
1206 1.4.2.3 pgoyette .emul = x86_emul_xor
1207 1.4.2.3 pgoyette },
1208 1.4.2.3 pgoyette
1209 1.4.2.3 pgoyette /*
1210 1.4.2.3 pgoyette * MOV
1211 1.4.2.3 pgoyette */
1212 1.4.2.3 pgoyette {
1213 1.4.2.3 pgoyette /* Eb, Gb */
1214 1.4.2.3 pgoyette .byte = 0x88,
1215 1.4.2.3 pgoyette .regmodrm = true,
1216 1.4.2.3 pgoyette .regtorm = true,
1217 1.4.2.3 pgoyette .szoverride = false,
1218 1.4.2.3 pgoyette .defsize = OPSIZE_BYTE,
1219 1.4.2.3 pgoyette .allsize = -1,
1220 1.4.2.3 pgoyette .emul = x86_emul_mov
1221 1.4.2.3 pgoyette },
1222 1.4.2.3 pgoyette {
1223 1.4.2.3 pgoyette /* Ev, Gv */
1224 1.4.2.3 pgoyette .byte = 0x89,
1225 1.4.2.3 pgoyette .regmodrm = true,
1226 1.4.2.3 pgoyette .regtorm = true,
1227 1.4.2.3 pgoyette .szoverride = true,
1228 1.4.2.3 pgoyette .defsize = -1,
1229 1.4.2.3 pgoyette .allsize = OPSIZE_WORD|OPSIZE_DOUB|OPSIZE_QUAD,
1230 1.4.2.3 pgoyette .emul = x86_emul_mov
1231 1.4.2.3 pgoyette },
1232 1.4.2.3 pgoyette {
1233 1.4.2.3 pgoyette /* Gb, Eb */
1234 1.4.2.3 pgoyette .byte = 0x8A,
1235 1.4.2.3 pgoyette .regmodrm = true,
1236 1.4.2.3 pgoyette .regtorm = false,
1237 1.4.2.3 pgoyette .szoverride = false,
1238 1.4.2.3 pgoyette .defsize = OPSIZE_BYTE,
1239 1.4.2.3 pgoyette .allsize = -1,
1240 1.4.2.3 pgoyette .emul = x86_emul_mov
1241 1.4.2.3 pgoyette },
1242 1.4.2.3 pgoyette {
1243 1.4.2.3 pgoyette /* Gv, Ev */
1244 1.4.2.3 pgoyette .byte = 0x8B,
1245 1.4.2.3 pgoyette .regmodrm = true,
1246 1.4.2.3 pgoyette .regtorm = false,
1247 1.4.2.3 pgoyette .szoverride = true,
1248 1.4.2.3 pgoyette .defsize = -1,
1249 1.4.2.3 pgoyette .allsize = OPSIZE_WORD|OPSIZE_DOUB|OPSIZE_QUAD,
1250 1.4.2.3 pgoyette .emul = x86_emul_mov
1251 1.4.2.3 pgoyette },
1252 1.4.2.3 pgoyette {
1253 1.4.2.3 pgoyette /* AL, Ob */
1254 1.4.2.3 pgoyette .byte = 0xA0,
1255 1.4.2.3 pgoyette .dmo = true,
1256 1.4.2.3 pgoyette .todmo = false,
1257 1.4.2.3 pgoyette .szoverride = false,
1258 1.4.2.3 pgoyette .defsize = OPSIZE_BYTE,
1259 1.4.2.3 pgoyette .allsize = -1,
1260 1.4.2.3 pgoyette .emul = x86_emul_mov
1261 1.4.2.3 pgoyette },
1262 1.4.2.3 pgoyette {
1263 1.4.2.3 pgoyette /* rAX, Ov */
1264 1.4.2.3 pgoyette .byte = 0xA1,
1265 1.4.2.3 pgoyette .dmo = true,
1266 1.4.2.3 pgoyette .todmo = false,
1267 1.4.2.3 pgoyette .szoverride = true,
1268 1.4.2.3 pgoyette .defsize = -1,
1269 1.4.2.3 pgoyette .allsize = OPSIZE_WORD|OPSIZE_DOUB|OPSIZE_QUAD,
1270 1.4.2.3 pgoyette .emul = x86_emul_mov
1271 1.4.2.3 pgoyette },
1272 1.4.2.3 pgoyette {
1273 1.4.2.3 pgoyette /* Ob, AL */
1274 1.4.2.3 pgoyette .byte = 0xA2,
1275 1.4.2.3 pgoyette .dmo = true,
1276 1.4.2.3 pgoyette .todmo = true,
1277 1.4.2.3 pgoyette .szoverride = false,
1278 1.4.2.3 pgoyette .defsize = OPSIZE_BYTE,
1279 1.4.2.3 pgoyette .allsize = -1,
1280 1.4.2.3 pgoyette .emul = x86_emul_mov
1281 1.4.2.3 pgoyette },
1282 1.4.2.3 pgoyette {
1283 1.4.2.3 pgoyette /* Ov, rAX */
1284 1.4.2.3 pgoyette .byte = 0xA3,
1285 1.4.2.3 pgoyette .dmo = true,
1286 1.4.2.3 pgoyette .todmo = true,
1287 1.4.2.3 pgoyette .szoverride = true,
1288 1.4.2.3 pgoyette .defsize = -1,
1289 1.4.2.3 pgoyette .allsize = OPSIZE_WORD|OPSIZE_DOUB|OPSIZE_QUAD,
1290 1.4.2.3 pgoyette .emul = x86_emul_mov
1291 1.4.2.3 pgoyette },
1292 1.4.2.3 pgoyette
1293 1.4.2.3 pgoyette /*
1294 1.4.2.4 pgoyette * MOVS
1295 1.4.2.4 pgoyette */
1296 1.4.2.4 pgoyette {
1297 1.4.2.4 pgoyette /* Yb, Xb */
1298 1.4.2.4 pgoyette .byte = 0xA4,
1299 1.4.2.4 pgoyette .movs = true,
1300 1.4.2.4 pgoyette .szoverride = false,
1301 1.4.2.4 pgoyette .defsize = OPSIZE_BYTE,
1302 1.4.2.4 pgoyette .allsize = -1,
1303 1.4.2.4 pgoyette .emul = x86_emul_movs
1304 1.4.2.4 pgoyette },
1305 1.4.2.4 pgoyette {
1306 1.4.2.4 pgoyette /* Yv, Xv */
1307 1.4.2.4 pgoyette .byte = 0xA5,
1308 1.4.2.4 pgoyette .movs = true,
1309 1.4.2.4 pgoyette .szoverride = true,
1310 1.4.2.4 pgoyette .defsize = -1,
1311 1.4.2.4 pgoyette .allsize = OPSIZE_WORD|OPSIZE_DOUB|OPSIZE_QUAD,
1312 1.4.2.4 pgoyette .emul = x86_emul_movs
1313 1.4.2.4 pgoyette },
1314 1.4.2.4 pgoyette
1315 1.4.2.4 pgoyette /*
1316 1.4.2.3 pgoyette * STOS
1317 1.4.2.3 pgoyette */
1318 1.4.2.3 pgoyette {
1319 1.4.2.3 pgoyette /* Yb, AL */
1320 1.4.2.3 pgoyette .byte = 0xAA,
1321 1.4.2.3 pgoyette .stos = true,
1322 1.4.2.3 pgoyette .szoverride = false,
1323 1.4.2.3 pgoyette .defsize = OPSIZE_BYTE,
1324 1.4.2.3 pgoyette .allsize = -1,
1325 1.4.2.3 pgoyette .emul = x86_emul_stos
1326 1.4.2.3 pgoyette },
1327 1.4.2.3 pgoyette {
1328 1.4.2.3 pgoyette /* Yv, rAX */
1329 1.4.2.3 pgoyette .byte = 0xAB,
1330 1.4.2.3 pgoyette .stos = true,
1331 1.4.2.3 pgoyette .szoverride = true,
1332 1.4.2.3 pgoyette .defsize = -1,
1333 1.4.2.3 pgoyette .allsize = OPSIZE_WORD|OPSIZE_DOUB|OPSIZE_QUAD,
1334 1.4.2.3 pgoyette .emul = x86_emul_stos
1335 1.4.2.3 pgoyette },
1336 1.4.2.3 pgoyette
1337 1.4.2.3 pgoyette /*
1338 1.4.2.3 pgoyette * LODS
1339 1.4.2.3 pgoyette */
1340 1.4.2.3 pgoyette {
1341 1.4.2.3 pgoyette /* AL, Xb */
1342 1.4.2.3 pgoyette .byte = 0xAC,
1343 1.4.2.3 pgoyette .lods = true,
1344 1.4.2.3 pgoyette .szoverride = false,
1345 1.4.2.3 pgoyette .defsize = OPSIZE_BYTE,
1346 1.4.2.3 pgoyette .allsize = -1,
1347 1.4.2.3 pgoyette .emul = x86_emul_lods
1348 1.4.2.3 pgoyette },
1349 1.4.2.3 pgoyette {
1350 1.4.2.3 pgoyette /* rAX, Xv */
1351 1.4.2.3 pgoyette .byte = 0xAD,
1352 1.4.2.3 pgoyette .lods = true,
1353 1.4.2.3 pgoyette .szoverride = true,
1354 1.4.2.3 pgoyette .defsize = -1,
1355 1.4.2.3 pgoyette .allsize = OPSIZE_WORD|OPSIZE_DOUB|OPSIZE_QUAD,
1356 1.4.2.3 pgoyette .emul = x86_emul_lods
1357 1.4.2.3 pgoyette },
1358 1.4.2.3 pgoyette };
1359 1.4.2.3 pgoyette
1360 1.4.2.4 pgoyette static const struct x86_opcode secondary_opcode_table[] = {
1361 1.4.2.4 pgoyette /*
1362 1.4.2.4 pgoyette * MOVZX
1363 1.4.2.4 pgoyette */
1364 1.4.2.4 pgoyette {
1365 1.4.2.4 pgoyette /* Gv, Eb */
1366 1.4.2.4 pgoyette .byte = 0xB6,
1367 1.4.2.4 pgoyette .regmodrm = true,
1368 1.4.2.4 pgoyette .regtorm = false,
1369 1.4.2.4 pgoyette .szoverride = true,
1370 1.4.2.4 pgoyette .defsize = OPSIZE_BYTE,
1371 1.4.2.4 pgoyette .allsize = OPSIZE_WORD|OPSIZE_DOUB|OPSIZE_QUAD,
1372 1.4.2.4 pgoyette .flags = FLAG_ze,
1373 1.4.2.4 pgoyette .emul = x86_emul_mov
1374 1.4.2.4 pgoyette },
1375 1.4.2.4 pgoyette {
1376 1.4.2.4 pgoyette /* Gv, Ew */
1377 1.4.2.4 pgoyette .byte = 0xB7,
1378 1.4.2.4 pgoyette .regmodrm = true,
1379 1.4.2.4 pgoyette .regtorm = false,
1380 1.4.2.4 pgoyette .szoverride = true,
1381 1.4.2.4 pgoyette .defsize = OPSIZE_WORD,
1382 1.4.2.4 pgoyette .allsize = OPSIZE_WORD|OPSIZE_DOUB|OPSIZE_QUAD,
1383 1.4.2.4 pgoyette .flags = FLAG_ze,
1384 1.4.2.4 pgoyette .emul = x86_emul_mov
1385 1.4.2.4 pgoyette },
1386 1.4.2.4 pgoyette };
1387 1.4.2.4 pgoyette
1388 1.4.2.4 pgoyette static const struct x86_reg gpr_map__rip = { NVMM_X64_GPR_RIP, 0xFFFFFFFFFFFFFFFF };
1389 1.4.2.4 pgoyette
1390 1.4.2.4 pgoyette /* [REX-present][enc][opsize] */
1391 1.4.2.4 pgoyette static const struct x86_reg gpr_map__special[2][4][8] = {
1392 1.4.2.4 pgoyette [false] = {
1393 1.4.2.4 pgoyette /* No REX prefix. */
1394 1.4.2.4 pgoyette [0b00] = {
1395 1.4.2.4 pgoyette [0] = { NVMM_X64_GPR_RAX, 0x000000000000FF00 }, /* AH */
1396 1.4.2.4 pgoyette [1] = { NVMM_X64_GPR_RSP, 0x000000000000FFFF }, /* SP */
1397 1.4.2.4 pgoyette [2] = { -1, 0 },
1398 1.4.2.4 pgoyette [3] = { NVMM_X64_GPR_RSP, 0x00000000FFFFFFFF }, /* ESP */
1399 1.4.2.4 pgoyette [4] = { -1, 0 },
1400 1.4.2.4 pgoyette [5] = { -1, 0 },
1401 1.4.2.4 pgoyette [6] = { -1, 0 },
1402 1.4.2.4 pgoyette [7] = { -1, 0 },
1403 1.4.2.4 pgoyette },
1404 1.4.2.3 pgoyette [0b01] = {
1405 1.4.2.3 pgoyette [0] = { NVMM_X64_GPR_RCX, 0x000000000000FF00 }, /* CH */
1406 1.4.2.3 pgoyette [1] = { NVMM_X64_GPR_RBP, 0x000000000000FFFF }, /* BP */
1407 1.4.2.3 pgoyette [2] = { -1, 0 },
1408 1.4.2.3 pgoyette [3] = { NVMM_X64_GPR_RBP, 0x00000000FFFFFFFF }, /* EBP */
1409 1.4.2.3 pgoyette [4] = { -1, 0 },
1410 1.4.2.3 pgoyette [5] = { -1, 0 },
1411 1.4.2.3 pgoyette [6] = { -1, 0 },
1412 1.4.2.3 pgoyette [7] = { -1, 0 },
1413 1.4.2.3 pgoyette },
1414 1.4.2.3 pgoyette [0b10] = {
1415 1.4.2.3 pgoyette [0] = { NVMM_X64_GPR_RDX, 0x000000000000FF00 }, /* DH */
1416 1.4.2.3 pgoyette [1] = { NVMM_X64_GPR_RSI, 0x000000000000FFFF }, /* SI */
1417 1.4.2.3 pgoyette [2] = { -1, 0 },
1418 1.4.2.3 pgoyette [3] = { NVMM_X64_GPR_RSI, 0x00000000FFFFFFFF }, /* ESI */
1419 1.4.2.3 pgoyette [4] = { -1, 0 },
1420 1.4.2.3 pgoyette [5] = { -1, 0 },
1421 1.4.2.3 pgoyette [6] = { -1, 0 },
1422 1.4.2.3 pgoyette [7] = { -1, 0 },
1423 1.4.2.3 pgoyette },
1424 1.4.2.3 pgoyette [0b11] = {
1425 1.4.2.3 pgoyette [0] = { NVMM_X64_GPR_RBX, 0x000000000000FF00 }, /* BH */
1426 1.4.2.3 pgoyette [1] = { NVMM_X64_GPR_RDI, 0x000000000000FFFF }, /* DI */
1427 1.4.2.3 pgoyette [2] = { -1, 0 },
1428 1.4.2.3 pgoyette [3] = { NVMM_X64_GPR_RDI, 0x00000000FFFFFFFF }, /* EDI */
1429 1.4.2.3 pgoyette [4] = { -1, 0 },
1430 1.4.2.3 pgoyette [5] = { -1, 0 },
1431 1.4.2.3 pgoyette [6] = { -1, 0 },
1432 1.4.2.3 pgoyette [7] = { -1, 0 },
1433 1.4.2.3 pgoyette }
1434 1.4.2.3 pgoyette },
1435 1.4.2.3 pgoyette [true] = {
1436 1.4.2.3 pgoyette /* Has REX prefix. */
1437 1.4.2.3 pgoyette [0b00] = {
1438 1.4.2.3 pgoyette [0] = { NVMM_X64_GPR_RSP, 0x00000000000000FF }, /* SPL */
1439 1.4.2.3 pgoyette [1] = { NVMM_X64_GPR_RSP, 0x000000000000FFFF }, /* SP */
1440 1.4.2.3 pgoyette [2] = { -1, 0 },
1441 1.4.2.3 pgoyette [3] = { NVMM_X64_GPR_RSP, 0x00000000FFFFFFFF }, /* ESP */
1442 1.4.2.3 pgoyette [4] = { -1, 0 },
1443 1.4.2.3 pgoyette [5] = { -1, 0 },
1444 1.4.2.3 pgoyette [6] = { -1, 0 },
1445 1.4.2.3 pgoyette [7] = { NVMM_X64_GPR_RSP, 0xFFFFFFFFFFFFFFFF }, /* RSP */
1446 1.4.2.3 pgoyette },
1447 1.4.2.3 pgoyette [0b01] = {
1448 1.4.2.3 pgoyette [0] = { NVMM_X64_GPR_RBP, 0x00000000000000FF }, /* BPL */
1449 1.4.2.3 pgoyette [1] = { NVMM_X64_GPR_RBP, 0x000000000000FFFF }, /* BP */
1450 1.4.2.3 pgoyette [2] = { -1, 0 },
1451 1.4.2.3 pgoyette [3] = { NVMM_X64_GPR_RBP, 0x00000000FFFFFFFF }, /* EBP */
1452 1.4.2.3 pgoyette [4] = { -1, 0 },
1453 1.4.2.3 pgoyette [5] = { -1, 0 },
1454 1.4.2.3 pgoyette [6] = { -1, 0 },
1455 1.4.2.3 pgoyette [7] = { NVMM_X64_GPR_RBP, 0xFFFFFFFFFFFFFFFF }, /* RBP */
1456 1.4.2.3 pgoyette },
1457 1.4.2.3 pgoyette [0b10] = {
1458 1.4.2.3 pgoyette [0] = { NVMM_X64_GPR_RSI, 0x00000000000000FF }, /* SIL */
1459 1.4.2.3 pgoyette [1] = { NVMM_X64_GPR_RSI, 0x000000000000FFFF }, /* SI */
1460 1.4.2.3 pgoyette [2] = { -1, 0 },
1461 1.4.2.3 pgoyette [3] = { NVMM_X64_GPR_RSI, 0x00000000FFFFFFFF }, /* ESI */
1462 1.4.2.3 pgoyette [4] = { -1, 0 },
1463 1.4.2.3 pgoyette [5] = { -1, 0 },
1464 1.4.2.3 pgoyette [6] = { -1, 0 },
1465 1.4.2.3 pgoyette [7] = { NVMM_X64_GPR_RSI, 0xFFFFFFFFFFFFFFFF }, /* RSI */
1466 1.4.2.3 pgoyette },
1467 1.4.2.3 pgoyette [0b11] = {
1468 1.4.2.3 pgoyette [0] = { NVMM_X64_GPR_RDI, 0x00000000000000FF }, /* DIL */
1469 1.4.2.3 pgoyette [1] = { NVMM_X64_GPR_RDI, 0x000000000000FFFF }, /* DI */
1470 1.4.2.3 pgoyette [2] = { -1, 0 },
1471 1.4.2.3 pgoyette [3] = { NVMM_X64_GPR_RDI, 0x00000000FFFFFFFF }, /* EDI */
1472 1.4.2.3 pgoyette [4] = { -1, 0 },
1473 1.4.2.3 pgoyette [5] = { -1, 0 },
1474 1.4.2.3 pgoyette [6] = { -1, 0 },
1475 1.4.2.3 pgoyette [7] = { NVMM_X64_GPR_RDI, 0xFFFFFFFFFFFFFFFF }, /* RDI */
1476 1.4.2.3 pgoyette }
1477 1.4.2.3 pgoyette }
1478 1.4.2.3 pgoyette };
1479 1.4.2.3 pgoyette
1480 1.4.2.3 pgoyette /* [depends][enc][size] */
1481 1.4.2.3 pgoyette static const struct x86_reg gpr_map[2][8][8] = {
1482 1.4.2.3 pgoyette [false] = {
1483 1.4.2.3 pgoyette /* Not extended. */
1484 1.4.2.3 pgoyette [0b000] = {
1485 1.4.2.3 pgoyette [0] = { NVMM_X64_GPR_RAX, 0x00000000000000FF }, /* AL */
1486 1.4.2.3 pgoyette [1] = { NVMM_X64_GPR_RAX, 0x000000000000FFFF }, /* AX */
1487 1.4.2.3 pgoyette [2] = { -1, 0 },
1488 1.4.2.3 pgoyette [3] = { NVMM_X64_GPR_RAX, 0x00000000FFFFFFFF }, /* EAX */
1489 1.4.2.3 pgoyette [4] = { -1, 0 },
1490 1.4.2.3 pgoyette [5] = { -1, 0 },
1491 1.4.2.3 pgoyette [6] = { -1, 0 },
1492 1.4.2.3 pgoyette [7] = { NVMM_X64_GPR_RAX, 0x00000000FFFFFFFF }, /* RAX */
1493 1.4.2.3 pgoyette },
1494 1.4.2.3 pgoyette [0b001] = {
1495 1.4.2.3 pgoyette [0] = { NVMM_X64_GPR_RCX, 0x00000000000000FF }, /* CL */
1496 1.4.2.3 pgoyette [1] = { NVMM_X64_GPR_RCX, 0x000000000000FFFF }, /* CX */
1497 1.4.2.3 pgoyette [2] = { -1, 0 },
1498 1.4.2.3 pgoyette [3] = { NVMM_X64_GPR_RCX, 0x00000000FFFFFFFF }, /* ECX */
1499 1.4.2.3 pgoyette [4] = { -1, 0 },
1500 1.4.2.3 pgoyette [5] = { -1, 0 },
1501 1.4.2.3 pgoyette [6] = { -1, 0 },
1502 1.4.2.3 pgoyette [7] = { NVMM_X64_GPR_RCX, 0x00000000FFFFFFFF }, /* RCX */
1503 1.4.2.3 pgoyette },
1504 1.4.2.3 pgoyette [0b010] = {
1505 1.4.2.3 pgoyette [0] = { NVMM_X64_GPR_RDX, 0x00000000000000FF }, /* DL */
1506 1.4.2.3 pgoyette [1] = { NVMM_X64_GPR_RDX, 0x000000000000FFFF }, /* DX */
1507 1.4.2.3 pgoyette [2] = { -1, 0 },
1508 1.4.2.3 pgoyette [3] = { NVMM_X64_GPR_RDX, 0x00000000FFFFFFFF }, /* EDX */
1509 1.4.2.3 pgoyette [4] = { -1, 0 },
1510 1.4.2.3 pgoyette [5] = { -1, 0 },
1511 1.4.2.3 pgoyette [6] = { -1, 0 },
1512 1.4.2.3 pgoyette [7] = { NVMM_X64_GPR_RDX, 0x00000000FFFFFFFF }, /* RDX */
1513 1.4.2.3 pgoyette },
1514 1.4.2.3 pgoyette [0b011] = {
1515 1.4.2.3 pgoyette [0] = { NVMM_X64_GPR_RBX, 0x00000000000000FF }, /* BL */
1516 1.4.2.3 pgoyette [1] = { NVMM_X64_GPR_RBX, 0x000000000000FFFF }, /* BX */
1517 1.4.2.3 pgoyette [2] = { -1, 0 },
1518 1.4.2.3 pgoyette [3] = { NVMM_X64_GPR_RBX, 0x00000000FFFFFFFF }, /* EBX */
1519 1.4.2.3 pgoyette [4] = { -1, 0 },
1520 1.4.2.3 pgoyette [5] = { -1, 0 },
1521 1.4.2.3 pgoyette [6] = { -1, 0 },
1522 1.4.2.3 pgoyette [7] = { NVMM_X64_GPR_RBX, 0x00000000FFFFFFFF }, /* RBX */
1523 1.4.2.3 pgoyette },
1524 1.4.2.3 pgoyette [0b100] = {
1525 1.4.2.3 pgoyette [0] = { -1, 0 }, /* SPECIAL */
1526 1.4.2.3 pgoyette [1] = { -1, 0 }, /* SPECIAL */
1527 1.4.2.3 pgoyette [2] = { -1, 0 },
1528 1.4.2.3 pgoyette [3] = { -1, 0 }, /* SPECIAL */
1529 1.4.2.3 pgoyette [4] = { -1, 0 },
1530 1.4.2.3 pgoyette [5] = { -1, 0 },
1531 1.4.2.3 pgoyette [6] = { -1, 0 },
1532 1.4.2.3 pgoyette [7] = { -1, 0 }, /* SPECIAL */
1533 1.4.2.3 pgoyette },
1534 1.4.2.3 pgoyette [0b101] = {
1535 1.4.2.3 pgoyette [0] = { -1, 0 }, /* SPECIAL */
1536 1.4.2.3 pgoyette [1] = { -1, 0 }, /* SPECIAL */
1537 1.4.2.3 pgoyette [2] = { -1, 0 },
1538 1.4.2.3 pgoyette [3] = { -1, 0 }, /* SPECIAL */
1539 1.4.2.3 pgoyette [4] = { -1, 0 },
1540 1.4.2.3 pgoyette [5] = { -1, 0 },
1541 1.4.2.3 pgoyette [6] = { -1, 0 },
1542 1.4.2.3 pgoyette [7] = { -1, 0 }, /* SPECIAL */
1543 1.4.2.3 pgoyette },
1544 1.4.2.3 pgoyette [0b110] = {
1545 1.4.2.3 pgoyette [0] = { -1, 0 }, /* SPECIAL */
1546 1.4.2.3 pgoyette [1] = { -1, 0 }, /* SPECIAL */
1547 1.4.2.3 pgoyette [2] = { -1, 0 },
1548 1.4.2.3 pgoyette [3] = { -1, 0 }, /* SPECIAL */
1549 1.4.2.3 pgoyette [4] = { -1, 0 },
1550 1.4.2.3 pgoyette [5] = { -1, 0 },
1551 1.4.2.3 pgoyette [6] = { -1, 0 },
1552 1.4.2.3 pgoyette [7] = { -1, 0 }, /* SPECIAL */
1553 1.4.2.3 pgoyette },
1554 1.4.2.3 pgoyette [0b111] = {
1555 1.4.2.3 pgoyette [0] = { -1, 0 }, /* SPECIAL */
1556 1.4.2.3 pgoyette [1] = { -1, 0 }, /* SPECIAL */
1557 1.4.2.3 pgoyette [2] = { -1, 0 },
1558 1.4.2.3 pgoyette [3] = { -1, 0 }, /* SPECIAL */
1559 1.4.2.3 pgoyette [4] = { -1, 0 },
1560 1.4.2.3 pgoyette [5] = { -1, 0 },
1561 1.4.2.3 pgoyette [6] = { -1, 0 },
1562 1.4.2.3 pgoyette [7] = { -1, 0 }, /* SPECIAL */
1563 1.4.2.3 pgoyette },
1564 1.4.2.3 pgoyette },
1565 1.4.2.3 pgoyette [true] = {
1566 1.4.2.3 pgoyette /* Extended. */
1567 1.4.2.3 pgoyette [0b000] = {
1568 1.4.2.3 pgoyette [0] = { NVMM_X64_GPR_R8, 0x00000000000000FF }, /* R8B */
1569 1.4.2.3 pgoyette [1] = { NVMM_X64_GPR_R8, 0x000000000000FFFF }, /* R8W */
1570 1.4.2.3 pgoyette [2] = { -1, 0 },
1571 1.4.2.3 pgoyette [3] = { NVMM_X64_GPR_R8, 0x00000000FFFFFFFF }, /* R8D */
1572 1.4.2.3 pgoyette [4] = { -1, 0 },
1573 1.4.2.3 pgoyette [5] = { -1, 0 },
1574 1.4.2.3 pgoyette [6] = { -1, 0 },
1575 1.4.2.3 pgoyette [7] = { NVMM_X64_GPR_R8, 0x00000000FFFFFFFF }, /* R8 */
1576 1.4.2.3 pgoyette },
1577 1.4.2.3 pgoyette [0b001] = {
1578 1.4.2.3 pgoyette [0] = { NVMM_X64_GPR_R9, 0x00000000000000FF }, /* R9B */
1579 1.4.2.3 pgoyette [1] = { NVMM_X64_GPR_R9, 0x000000000000FFFF }, /* R9W */
1580 1.4.2.3 pgoyette [2] = { -1, 0 },
1581 1.4.2.3 pgoyette [3] = { NVMM_X64_GPR_R9, 0x00000000FFFFFFFF }, /* R9D */
1582 1.4.2.3 pgoyette [4] = { -1, 0 },
1583 1.4.2.3 pgoyette [5] = { -1, 0 },
1584 1.4.2.3 pgoyette [6] = { -1, 0 },
1585 1.4.2.3 pgoyette [7] = { NVMM_X64_GPR_R9, 0x00000000FFFFFFFF }, /* R9 */
1586 1.4.2.3 pgoyette },
1587 1.4.2.3 pgoyette [0b010] = {
1588 1.4.2.3 pgoyette [0] = { NVMM_X64_GPR_R10, 0x00000000000000FF }, /* R10B */
1589 1.4.2.3 pgoyette [1] = { NVMM_X64_GPR_R10, 0x000000000000FFFF }, /* R10W */
1590 1.4.2.3 pgoyette [2] = { -1, 0 },
1591 1.4.2.3 pgoyette [3] = { NVMM_X64_GPR_R10, 0x00000000FFFFFFFF }, /* R10D */
1592 1.4.2.3 pgoyette [4] = { -1, 0 },
1593 1.4.2.3 pgoyette [5] = { -1, 0 },
1594 1.4.2.3 pgoyette [6] = { -1, 0 },
1595 1.4.2.3 pgoyette [7] = { NVMM_X64_GPR_R10, 0x00000000FFFFFFFF }, /* R10 */
1596 1.4.2.3 pgoyette },
1597 1.4.2.3 pgoyette [0b011] = {
1598 1.4.2.3 pgoyette [0] = { NVMM_X64_GPR_R11, 0x00000000000000FF }, /* R11B */
1599 1.4.2.3 pgoyette [1] = { NVMM_X64_GPR_R11, 0x000000000000FFFF }, /* R11W */
1600 1.4.2.3 pgoyette [2] = { -1, 0 },
1601 1.4.2.3 pgoyette [3] = { NVMM_X64_GPR_R11, 0x00000000FFFFFFFF }, /* R11D */
1602 1.4.2.3 pgoyette [4] = { -1, 0 },
1603 1.4.2.3 pgoyette [5] = { -1, 0 },
1604 1.4.2.3 pgoyette [6] = { -1, 0 },
1605 1.4.2.3 pgoyette [7] = { NVMM_X64_GPR_R11, 0x00000000FFFFFFFF }, /* R11 */
1606 1.4.2.3 pgoyette },
1607 1.4.2.3 pgoyette [0b100] = {
1608 1.4.2.3 pgoyette [0] = { NVMM_X64_GPR_R12, 0x00000000000000FF }, /* R12B */
1609 1.4.2.3 pgoyette [1] = { NVMM_X64_GPR_R12, 0x000000000000FFFF }, /* R12W */
1610 1.4.2.3 pgoyette [2] = { -1, 0 },
1611 1.4.2.3 pgoyette [3] = { NVMM_X64_GPR_R12, 0x00000000FFFFFFFF }, /* R12D */
1612 1.4.2.3 pgoyette [4] = { -1, 0 },
1613 1.4.2.3 pgoyette [5] = { -1, 0 },
1614 1.4.2.3 pgoyette [6] = { -1, 0 },
1615 1.4.2.3 pgoyette [7] = { NVMM_X64_GPR_R12, 0x00000000FFFFFFFF }, /* R12 */
1616 1.4.2.3 pgoyette },
1617 1.4.2.3 pgoyette [0b101] = {
1618 1.4.2.3 pgoyette [0] = { NVMM_X64_GPR_R13, 0x00000000000000FF }, /* R13B */
1619 1.4.2.3 pgoyette [1] = { NVMM_X64_GPR_R13, 0x000000000000FFFF }, /* R13W */
1620 1.4.2.3 pgoyette [2] = { -1, 0 },
1621 1.4.2.3 pgoyette [3] = { NVMM_X64_GPR_R13, 0x00000000FFFFFFFF }, /* R13D */
1622 1.4.2.3 pgoyette [4] = { -1, 0 },
1623 1.4.2.3 pgoyette [5] = { -1, 0 },
1624 1.4.2.3 pgoyette [6] = { -1, 0 },
1625 1.4.2.3 pgoyette [7] = { NVMM_X64_GPR_R13, 0x00000000FFFFFFFF }, /* R13 */
1626 1.4.2.3 pgoyette },
1627 1.4.2.3 pgoyette [0b110] = {
1628 1.4.2.3 pgoyette [0] = { NVMM_X64_GPR_R14, 0x00000000000000FF }, /* R14B */
1629 1.4.2.3 pgoyette [1] = { NVMM_X64_GPR_R14, 0x000000000000FFFF }, /* R14W */
1630 1.4.2.3 pgoyette [2] = { -1, 0 },
1631 1.4.2.3 pgoyette [3] = { NVMM_X64_GPR_R14, 0x00000000FFFFFFFF }, /* R14D */
1632 1.4.2.3 pgoyette [4] = { -1, 0 },
1633 1.4.2.3 pgoyette [5] = { -1, 0 },
1634 1.4.2.3 pgoyette [6] = { -1, 0 },
1635 1.4.2.3 pgoyette [7] = { NVMM_X64_GPR_R14, 0x00000000FFFFFFFF }, /* R14 */
1636 1.4.2.3 pgoyette },
1637 1.4.2.3 pgoyette [0b111] = {
1638 1.4.2.3 pgoyette [0] = { NVMM_X64_GPR_R15, 0x00000000000000FF }, /* R15B */
1639 1.4.2.3 pgoyette [1] = { NVMM_X64_GPR_R15, 0x000000000000FFFF }, /* R15W */
1640 1.4.2.3 pgoyette [2] = { -1, 0 },
1641 1.4.2.3 pgoyette [3] = { NVMM_X64_GPR_R15, 0x00000000FFFFFFFF }, /* R15D */
1642 1.4.2.3 pgoyette [4] = { -1, 0 },
1643 1.4.2.3 pgoyette [5] = { -1, 0 },
1644 1.4.2.3 pgoyette [6] = { -1, 0 },
1645 1.4.2.3 pgoyette [7] = { NVMM_X64_GPR_R15, 0x00000000FFFFFFFF }, /* R15 */
1646 1.4.2.3 pgoyette },
1647 1.4.2.3 pgoyette }
1648 1.4.2.3 pgoyette };
1649 1.4.2.3 pgoyette
1650 1.4.2.3 pgoyette static int
1651 1.4.2.3 pgoyette node_overflow(struct x86_decode_fsm *fsm, struct x86_instr *instr)
1652 1.4.2.2 pgoyette {
1653 1.4.2.3 pgoyette fsm->fn = NULL;
1654 1.4.2.3 pgoyette return -1;
1655 1.4.2.3 pgoyette }
1656 1.4.2.3 pgoyette
1657 1.4.2.3 pgoyette static int
1658 1.4.2.3 pgoyette fsm_read(struct x86_decode_fsm *fsm, uint8_t *bytes, size_t n)
1659 1.4.2.3 pgoyette {
1660 1.4.2.3 pgoyette if (fsm->buf + n > fsm->end) {
1661 1.4.2.2 pgoyette return -1;
1662 1.4.2.2 pgoyette }
1663 1.4.2.3 pgoyette memcpy(bytes, fsm->buf, n);
1664 1.4.2.3 pgoyette return 0;
1665 1.4.2.3 pgoyette }
1666 1.4.2.2 pgoyette
1667 1.4.2.3 pgoyette static void
1668 1.4.2.3 pgoyette fsm_advance(struct x86_decode_fsm *fsm, size_t n,
1669 1.4.2.3 pgoyette int (*fn)(struct x86_decode_fsm *, struct x86_instr *))
1670 1.4.2.3 pgoyette {
1671 1.4.2.3 pgoyette fsm->buf += n;
1672 1.4.2.3 pgoyette if (fsm->buf > fsm->end) {
1673 1.4.2.3 pgoyette fsm->fn = node_overflow;
1674 1.4.2.3 pgoyette } else {
1675 1.4.2.3 pgoyette fsm->fn = fn;
1676 1.4.2.3 pgoyette }
1677 1.4.2.3 pgoyette }
1678 1.4.2.3 pgoyette
1679 1.4.2.3 pgoyette static const struct x86_reg *
1680 1.4.2.3 pgoyette resolve_special_register(struct x86_instr *instr, uint8_t enc, size_t regsize)
1681 1.4.2.3 pgoyette {
1682 1.4.2.3 pgoyette enc &= 0b11;
1683 1.4.2.3 pgoyette if (regsize == 8) {
1684 1.4.2.3 pgoyette /* May be 64bit without REX */
1685 1.4.2.3 pgoyette return &gpr_map__special[1][enc][regsize-1];
1686 1.4.2.3 pgoyette }
1687 1.4.2.3 pgoyette return &gpr_map__special[instr->rexpref.present][enc][regsize-1];
1688 1.4.2.3 pgoyette }
1689 1.4.2.3 pgoyette
1690 1.4.2.3 pgoyette /*
1691 1.4.2.4 pgoyette * Special node, for MOVS. Fake two displacements of zero on the source and
1692 1.4.2.4 pgoyette * destination registers.
1693 1.4.2.4 pgoyette */
1694 1.4.2.4 pgoyette static int
1695 1.4.2.4 pgoyette node_movs(struct x86_decode_fsm *fsm, struct x86_instr *instr)
1696 1.4.2.4 pgoyette {
1697 1.4.2.4 pgoyette size_t adrsize;
1698 1.4.2.4 pgoyette
1699 1.4.2.4 pgoyette adrsize = instr->address_size;
1700 1.4.2.4 pgoyette
1701 1.4.2.4 pgoyette /* DS:RSI */
1702 1.4.2.4 pgoyette instr->src.type = STORE_REG;
1703 1.4.2.4 pgoyette instr->src.u.reg = &gpr_map__special[1][2][adrsize-1];
1704 1.4.2.4 pgoyette instr->src.disp.type = DISP_0;
1705 1.4.2.4 pgoyette
1706 1.4.2.4 pgoyette /* ES:RDI, force ES */
1707 1.4.2.4 pgoyette instr->dst.type = STORE_REG;
1708 1.4.2.4 pgoyette instr->dst.u.reg = &gpr_map__special[1][3][adrsize-1];
1709 1.4.2.4 pgoyette instr->dst.disp.type = DISP_0;
1710 1.4.2.4 pgoyette instr->dst.hardseg = NVMM_X64_SEG_ES;
1711 1.4.2.4 pgoyette
1712 1.4.2.4 pgoyette fsm_advance(fsm, 0, NULL);
1713 1.4.2.4 pgoyette
1714 1.4.2.4 pgoyette return 0;
1715 1.4.2.4 pgoyette }
1716 1.4.2.4 pgoyette
1717 1.4.2.4 pgoyette /*
1718 1.4.2.3 pgoyette * Special node, for STOS and LODS. Fake a displacement of zero on the
1719 1.4.2.3 pgoyette * destination register.
1720 1.4.2.3 pgoyette */
1721 1.4.2.3 pgoyette static int
1722 1.4.2.3 pgoyette node_stlo(struct x86_decode_fsm *fsm, struct x86_instr *instr)
1723 1.4.2.3 pgoyette {
1724 1.4.2.3 pgoyette const struct x86_opcode *opcode = instr->opcode;
1725 1.4.2.3 pgoyette struct x86_store *stlo, *streg;
1726 1.4.2.3 pgoyette size_t adrsize, regsize;
1727 1.4.2.3 pgoyette
1728 1.4.2.3 pgoyette adrsize = instr->address_size;
1729 1.4.2.3 pgoyette regsize = instr->operand_size;
1730 1.4.2.3 pgoyette
1731 1.4.2.3 pgoyette if (opcode->stos) {
1732 1.4.2.3 pgoyette streg = &instr->src;
1733 1.4.2.3 pgoyette stlo = &instr->dst;
1734 1.4.2.3 pgoyette } else {
1735 1.4.2.3 pgoyette streg = &instr->dst;
1736 1.4.2.3 pgoyette stlo = &instr->src;
1737 1.4.2.3 pgoyette }
1738 1.4.2.3 pgoyette
1739 1.4.2.3 pgoyette streg->type = STORE_REG;
1740 1.4.2.3 pgoyette streg->u.reg = &gpr_map[0][0][regsize-1]; /* ?AX */
1741 1.4.2.3 pgoyette
1742 1.4.2.3 pgoyette stlo->type = STORE_REG;
1743 1.4.2.3 pgoyette if (opcode->stos) {
1744 1.4.2.3 pgoyette /* ES:RDI, force ES */
1745 1.4.2.3 pgoyette stlo->u.reg = &gpr_map__special[1][3][adrsize-1];
1746 1.4.2.4 pgoyette stlo->hardseg = NVMM_X64_SEG_ES;
1747 1.4.2.3 pgoyette } else {
1748 1.4.2.3 pgoyette /* DS:RSI */
1749 1.4.2.3 pgoyette stlo->u.reg = &gpr_map__special[1][2][adrsize-1];
1750 1.4.2.3 pgoyette }
1751 1.4.2.3 pgoyette stlo->disp.type = DISP_0;
1752 1.4.2.3 pgoyette
1753 1.4.2.3 pgoyette fsm_advance(fsm, 0, NULL);
1754 1.4.2.3 pgoyette
1755 1.4.2.3 pgoyette return 0;
1756 1.4.2.3 pgoyette }
1757 1.4.2.3 pgoyette
1758 1.4.2.3 pgoyette static int
1759 1.4.2.3 pgoyette node_dmo(struct x86_decode_fsm *fsm, struct x86_instr *instr)
1760 1.4.2.3 pgoyette {
1761 1.4.2.3 pgoyette const struct x86_opcode *opcode = instr->opcode;
1762 1.4.2.3 pgoyette struct x86_store *stdmo, *streg;
1763 1.4.2.3 pgoyette size_t adrsize, regsize;
1764 1.4.2.3 pgoyette
1765 1.4.2.3 pgoyette adrsize = instr->address_size;
1766 1.4.2.3 pgoyette regsize = instr->operand_size;
1767 1.4.2.3 pgoyette
1768 1.4.2.3 pgoyette if (opcode->todmo) {
1769 1.4.2.3 pgoyette streg = &instr->src;
1770 1.4.2.3 pgoyette stdmo = &instr->dst;
1771 1.4.2.3 pgoyette } else {
1772 1.4.2.3 pgoyette streg = &instr->dst;
1773 1.4.2.3 pgoyette stdmo = &instr->src;
1774 1.4.2.3 pgoyette }
1775 1.4.2.3 pgoyette
1776 1.4.2.3 pgoyette streg->type = STORE_REG;
1777 1.4.2.3 pgoyette streg->u.reg = &gpr_map[0][0][regsize-1]; /* ?AX */
1778 1.4.2.3 pgoyette
1779 1.4.2.3 pgoyette stdmo->type = STORE_DMO;
1780 1.4.2.3 pgoyette if (fsm_read(fsm, (uint8_t *)&stdmo->u.dmo, adrsize) == -1) {
1781 1.4.2.3 pgoyette return -1;
1782 1.4.2.3 pgoyette }
1783 1.4.2.3 pgoyette fsm_advance(fsm, adrsize, NULL);
1784 1.4.2.3 pgoyette
1785 1.4.2.3 pgoyette return 0;
1786 1.4.2.3 pgoyette }
1787 1.4.2.3 pgoyette
1788 1.4.2.4 pgoyette static inline uint64_t
1789 1.4.2.4 pgoyette sign_extend(uint64_t val, int size)
1790 1.4.2.4 pgoyette {
1791 1.4.2.4 pgoyette if (size == 1) {
1792 1.4.2.4 pgoyette if (val & __BIT(7))
1793 1.4.2.4 pgoyette val |= 0xFFFFFFFFFFFFFF00;
1794 1.4.2.4 pgoyette } else if (size == 2) {
1795 1.4.2.4 pgoyette if (val & __BIT(15))
1796 1.4.2.4 pgoyette val |= 0xFFFFFFFFFFFF0000;
1797 1.4.2.4 pgoyette } else if (size == 4) {
1798 1.4.2.4 pgoyette if (val & __BIT(31))
1799 1.4.2.4 pgoyette val |= 0xFFFFFFFF00000000;
1800 1.4.2.4 pgoyette }
1801 1.4.2.4 pgoyette return val;
1802 1.4.2.4 pgoyette }
1803 1.4.2.4 pgoyette
1804 1.4.2.3 pgoyette static int
1805 1.4.2.3 pgoyette node_immediate(struct x86_decode_fsm *fsm, struct x86_instr *instr)
1806 1.4.2.3 pgoyette {
1807 1.4.2.3 pgoyette const struct x86_opcode *opcode = instr->opcode;
1808 1.4.2.3 pgoyette struct x86_store *store;
1809 1.4.2.3 pgoyette uint8_t immsize;
1810 1.4.2.4 pgoyette size_t sesize = 0;
1811 1.4.2.3 pgoyette
1812 1.4.2.3 pgoyette /* The immediate is the source */
1813 1.4.2.3 pgoyette store = &instr->src;
1814 1.4.2.3 pgoyette immsize = instr->operand_size;
1815 1.4.2.3 pgoyette
1816 1.4.2.4 pgoyette if (opcode->flags & FLAG_imm8) {
1817 1.4.2.4 pgoyette sesize = immsize;
1818 1.4.2.4 pgoyette immsize = 1;
1819 1.4.2.4 pgoyette } else if ((opcode->flags & FLAG_immz) && (immsize == 8)) {
1820 1.4.2.4 pgoyette sesize = immsize;
1821 1.4.2.3 pgoyette immsize = 4;
1822 1.4.2.3 pgoyette }
1823 1.4.2.3 pgoyette
1824 1.4.2.3 pgoyette store->type = STORE_IMM;
1825 1.4.2.4 pgoyette if (fsm_read(fsm, (uint8_t *)&store->u.imm.data, immsize) == -1) {
1826 1.4.2.3 pgoyette return -1;
1827 1.4.2.3 pgoyette }
1828 1.4.2.4 pgoyette fsm_advance(fsm, immsize, NULL);
1829 1.4.2.3 pgoyette
1830 1.4.2.4 pgoyette if (sesize != 0) {
1831 1.4.2.4 pgoyette store->u.imm.data = sign_extend(store->u.imm.data, sesize);
1832 1.4.2.4 pgoyette }
1833 1.4.2.3 pgoyette
1834 1.4.2.3 pgoyette return 0;
1835 1.4.2.3 pgoyette }
1836 1.4.2.3 pgoyette
1837 1.4.2.3 pgoyette static int
1838 1.4.2.3 pgoyette node_disp(struct x86_decode_fsm *fsm, struct x86_instr *instr)
1839 1.4.2.3 pgoyette {
1840 1.4.2.3 pgoyette const struct x86_opcode *opcode = instr->opcode;
1841 1.4.2.4 pgoyette uint64_t data = 0;
1842 1.4.2.3 pgoyette size_t n;
1843 1.4.2.3 pgoyette
1844 1.4.2.3 pgoyette if (instr->strm->disp.type == DISP_1) {
1845 1.4.2.3 pgoyette n = 1;
1846 1.4.2.3 pgoyette } else { /* DISP4 */
1847 1.4.2.3 pgoyette n = 4;
1848 1.4.2.3 pgoyette }
1849 1.4.2.3 pgoyette
1850 1.4.2.4 pgoyette if (fsm_read(fsm, (uint8_t *)&data, n) == -1) {
1851 1.4.2.3 pgoyette return -1;
1852 1.4.2.3 pgoyette }
1853 1.4.2.3 pgoyette
1854 1.4.2.4 pgoyette if (__predict_true(fsm->is64bit)) {
1855 1.4.2.4 pgoyette data = sign_extend(data, n);
1856 1.4.2.4 pgoyette }
1857 1.4.2.4 pgoyette
1858 1.4.2.4 pgoyette instr->strm->disp.data = data;
1859 1.4.2.4 pgoyette
1860 1.4.2.3 pgoyette if (opcode->immediate) {
1861 1.4.2.3 pgoyette fsm_advance(fsm, n, node_immediate);
1862 1.4.2.3 pgoyette } else {
1863 1.4.2.3 pgoyette fsm_advance(fsm, n, NULL);
1864 1.4.2.3 pgoyette }
1865 1.4.2.3 pgoyette
1866 1.4.2.3 pgoyette return 0;
1867 1.4.2.3 pgoyette }
1868 1.4.2.3 pgoyette
1869 1.4.2.3 pgoyette static const struct x86_reg *
1870 1.4.2.3 pgoyette get_register_idx(struct x86_instr *instr, uint8_t index)
1871 1.4.2.3 pgoyette {
1872 1.4.2.3 pgoyette uint8_t enc = index;
1873 1.4.2.3 pgoyette const struct x86_reg *reg;
1874 1.4.2.3 pgoyette size_t regsize;
1875 1.4.2.3 pgoyette
1876 1.4.2.3 pgoyette regsize = instr->address_size;
1877 1.4.2.3 pgoyette reg = &gpr_map[instr->rexpref.x][enc][regsize-1];
1878 1.4.2.3 pgoyette
1879 1.4.2.3 pgoyette if (reg->num == -1) {
1880 1.4.2.3 pgoyette reg = resolve_special_register(instr, enc, regsize);
1881 1.4.2.3 pgoyette }
1882 1.4.2.3 pgoyette
1883 1.4.2.3 pgoyette return reg;
1884 1.4.2.3 pgoyette }
1885 1.4.2.3 pgoyette
1886 1.4.2.3 pgoyette static const struct x86_reg *
1887 1.4.2.3 pgoyette get_register_bas(struct x86_instr *instr, uint8_t base)
1888 1.4.2.3 pgoyette {
1889 1.4.2.3 pgoyette uint8_t enc = base;
1890 1.4.2.3 pgoyette const struct x86_reg *reg;
1891 1.4.2.3 pgoyette size_t regsize;
1892 1.4.2.3 pgoyette
1893 1.4.2.3 pgoyette regsize = instr->address_size;
1894 1.4.2.3 pgoyette reg = &gpr_map[instr->rexpref.b][enc][regsize-1];
1895 1.4.2.3 pgoyette if (reg->num == -1) {
1896 1.4.2.3 pgoyette reg = resolve_special_register(instr, enc, regsize);
1897 1.4.2.3 pgoyette }
1898 1.4.2.3 pgoyette
1899 1.4.2.3 pgoyette return reg;
1900 1.4.2.3 pgoyette }
1901 1.4.2.3 pgoyette
1902 1.4.2.3 pgoyette static int
1903 1.4.2.3 pgoyette node_sib(struct x86_decode_fsm *fsm, struct x86_instr *instr)
1904 1.4.2.3 pgoyette {
1905 1.4.2.3 pgoyette const struct x86_opcode *opcode;
1906 1.4.2.3 pgoyette uint8_t scale, index, base;
1907 1.4.2.3 pgoyette bool noindex, nobase;
1908 1.4.2.3 pgoyette uint8_t byte;
1909 1.4.2.3 pgoyette
1910 1.4.2.3 pgoyette if (fsm_read(fsm, &byte, sizeof(byte)) == -1) {
1911 1.4.2.3 pgoyette return -1;
1912 1.4.2.3 pgoyette }
1913 1.4.2.3 pgoyette
1914 1.4.2.3 pgoyette scale = ((byte & 0b11000000) >> 6);
1915 1.4.2.3 pgoyette index = ((byte & 0b00111000) >> 3);
1916 1.4.2.3 pgoyette base = ((byte & 0b00000111) >> 0);
1917 1.4.2.3 pgoyette
1918 1.4.2.3 pgoyette opcode = instr->opcode;
1919 1.4.2.3 pgoyette
1920 1.4.2.3 pgoyette noindex = false;
1921 1.4.2.3 pgoyette nobase = false;
1922 1.4.2.3 pgoyette
1923 1.4.2.3 pgoyette if (index == 0b100 && !instr->rexpref.x) {
1924 1.4.2.3 pgoyette /* Special case: the index is null */
1925 1.4.2.3 pgoyette noindex = true;
1926 1.4.2.3 pgoyette }
1927 1.4.2.3 pgoyette
1928 1.4.2.3 pgoyette if (instr->regmodrm.mod == 0b00 && base == 0b101) {
1929 1.4.2.3 pgoyette /* Special case: the base is null + disp32 */
1930 1.4.2.3 pgoyette instr->strm->disp.type = DISP_4;
1931 1.4.2.3 pgoyette nobase = true;
1932 1.4.2.3 pgoyette }
1933 1.4.2.3 pgoyette
1934 1.4.2.3 pgoyette instr->strm->type = STORE_SIB;
1935 1.4.2.3 pgoyette instr->strm->u.sib.scale = (1 << scale);
1936 1.4.2.3 pgoyette if (!noindex)
1937 1.4.2.3 pgoyette instr->strm->u.sib.idx = get_register_idx(instr, index);
1938 1.4.2.3 pgoyette if (!nobase)
1939 1.4.2.3 pgoyette instr->strm->u.sib.bas = get_register_bas(instr, base);
1940 1.4.2.3 pgoyette
1941 1.4.2.3 pgoyette /* May have a displacement, or an immediate */
1942 1.4.2.3 pgoyette if (instr->strm->disp.type == DISP_1 || instr->strm->disp.type == DISP_4) {
1943 1.4.2.3 pgoyette fsm_advance(fsm, 1, node_disp);
1944 1.4.2.3 pgoyette } else if (opcode->immediate) {
1945 1.4.2.3 pgoyette fsm_advance(fsm, 1, node_immediate);
1946 1.4.2.3 pgoyette } else {
1947 1.4.2.3 pgoyette fsm_advance(fsm, 1, NULL);
1948 1.4.2.3 pgoyette }
1949 1.4.2.3 pgoyette
1950 1.4.2.3 pgoyette return 0;
1951 1.4.2.3 pgoyette }
1952 1.4.2.3 pgoyette
1953 1.4.2.3 pgoyette static const struct x86_reg *
1954 1.4.2.3 pgoyette get_register_reg(struct x86_instr *instr, const struct x86_opcode *opcode)
1955 1.4.2.3 pgoyette {
1956 1.4.2.3 pgoyette uint8_t enc = instr->regmodrm.reg;
1957 1.4.2.3 pgoyette const struct x86_reg *reg;
1958 1.4.2.3 pgoyette size_t regsize;
1959 1.4.2.3 pgoyette
1960 1.4.2.4 pgoyette regsize = instr->operand_size;
1961 1.4.2.3 pgoyette
1962 1.4.2.3 pgoyette reg = &gpr_map[instr->rexpref.r][enc][regsize-1];
1963 1.4.2.3 pgoyette if (reg->num == -1) {
1964 1.4.2.3 pgoyette reg = resolve_special_register(instr, enc, regsize);
1965 1.4.2.3 pgoyette }
1966 1.4.2.3 pgoyette
1967 1.4.2.3 pgoyette return reg;
1968 1.4.2.3 pgoyette }
1969 1.4.2.3 pgoyette
1970 1.4.2.3 pgoyette static const struct x86_reg *
1971 1.4.2.3 pgoyette get_register_rm(struct x86_instr *instr, const struct x86_opcode *opcode)
1972 1.4.2.3 pgoyette {
1973 1.4.2.3 pgoyette uint8_t enc = instr->regmodrm.rm;
1974 1.4.2.3 pgoyette const struct x86_reg *reg;
1975 1.4.2.3 pgoyette size_t regsize;
1976 1.4.2.3 pgoyette
1977 1.4.2.3 pgoyette if (instr->strm->disp.type == DISP_NONE) {
1978 1.4.2.4 pgoyette regsize = instr->operand_size;
1979 1.4.2.3 pgoyette } else {
1980 1.4.2.3 pgoyette /* Indirect access, the size is that of the address. */
1981 1.4.2.3 pgoyette regsize = instr->address_size;
1982 1.4.2.3 pgoyette }
1983 1.4.2.3 pgoyette
1984 1.4.2.3 pgoyette reg = &gpr_map[instr->rexpref.b][enc][regsize-1];
1985 1.4.2.3 pgoyette if (reg->num == -1) {
1986 1.4.2.3 pgoyette reg = resolve_special_register(instr, enc, regsize);
1987 1.4.2.3 pgoyette }
1988 1.4.2.3 pgoyette
1989 1.4.2.3 pgoyette return reg;
1990 1.4.2.3 pgoyette }
1991 1.4.2.3 pgoyette
1992 1.4.2.3 pgoyette static inline bool
1993 1.4.2.3 pgoyette has_sib(struct x86_instr *instr)
1994 1.4.2.3 pgoyette {
1995 1.4.2.3 pgoyette return (instr->regmodrm.mod != 3 && instr->regmodrm.rm == 4);
1996 1.4.2.3 pgoyette }
1997 1.4.2.3 pgoyette
1998 1.4.2.3 pgoyette static inline bool
1999 1.4.2.4 pgoyette is_rip_relative(struct x86_decode_fsm *fsm, struct x86_instr *instr)
2000 1.4.2.4 pgoyette {
2001 1.4.2.4 pgoyette return (fsm->is64bit && instr->strm->disp.type == DISP_0 &&
2002 1.4.2.4 pgoyette instr->regmodrm.rm == RM_RBP_DISP32);
2003 1.4.2.4 pgoyette }
2004 1.4.2.4 pgoyette
2005 1.4.2.4 pgoyette static inline bool
2006 1.4.2.4 pgoyette is_disp32_only(struct x86_decode_fsm *fsm, struct x86_instr *instr)
2007 1.4.2.3 pgoyette {
2008 1.4.2.4 pgoyette return (!fsm->is64bit && instr->strm->disp.type == DISP_0 &&
2009 1.4.2.3 pgoyette instr->regmodrm.rm == RM_RBP_DISP32);
2010 1.4.2.3 pgoyette }
2011 1.4.2.3 pgoyette
2012 1.4.2.3 pgoyette static enum x86_disp_type
2013 1.4.2.3 pgoyette get_disp_type(struct x86_instr *instr)
2014 1.4.2.3 pgoyette {
2015 1.4.2.3 pgoyette switch (instr->regmodrm.mod) {
2016 1.4.2.3 pgoyette case MOD_DIS0: /* indirect */
2017 1.4.2.3 pgoyette return DISP_0;
2018 1.4.2.3 pgoyette case MOD_DIS1: /* indirect+1 */
2019 1.4.2.3 pgoyette return DISP_1;
2020 1.4.2.3 pgoyette case MOD_DIS4: /* indirect+4 */
2021 1.4.2.3 pgoyette return DISP_4;
2022 1.4.2.3 pgoyette case MOD_REG: /* direct */
2023 1.4.2.3 pgoyette default: /* gcc */
2024 1.4.2.3 pgoyette return DISP_NONE;
2025 1.4.2.3 pgoyette }
2026 1.4.2.3 pgoyette }
2027 1.4.2.3 pgoyette
2028 1.4.2.3 pgoyette static int
2029 1.4.2.3 pgoyette node_regmodrm(struct x86_decode_fsm *fsm, struct x86_instr *instr)
2030 1.4.2.3 pgoyette {
2031 1.4.2.3 pgoyette struct x86_store *strg, *strm;
2032 1.4.2.3 pgoyette const struct x86_opcode *opcode;
2033 1.4.2.3 pgoyette const struct x86_reg *reg;
2034 1.4.2.3 pgoyette uint8_t byte;
2035 1.4.2.3 pgoyette
2036 1.4.2.3 pgoyette if (fsm_read(fsm, &byte, sizeof(byte)) == -1) {
2037 1.4.2.3 pgoyette return -1;
2038 1.4.2.3 pgoyette }
2039 1.4.2.3 pgoyette
2040 1.4.2.3 pgoyette opcode = instr->opcode;
2041 1.4.2.3 pgoyette
2042 1.4.2.3 pgoyette instr->regmodrm.present = true;
2043 1.4.2.3 pgoyette instr->regmodrm.mod = ((byte & 0b11000000) >> 6);
2044 1.4.2.3 pgoyette instr->regmodrm.reg = ((byte & 0b00111000) >> 3);
2045 1.4.2.3 pgoyette instr->regmodrm.rm = ((byte & 0b00000111) >> 0);
2046 1.4.2.3 pgoyette
2047 1.4.2.3 pgoyette if (opcode->regtorm) {
2048 1.4.2.3 pgoyette strg = &instr->src;
2049 1.4.2.3 pgoyette strm = &instr->dst;
2050 1.4.2.3 pgoyette } else { /* RM to REG */
2051 1.4.2.3 pgoyette strm = &instr->src;
2052 1.4.2.3 pgoyette strg = &instr->dst;
2053 1.4.2.3 pgoyette }
2054 1.4.2.3 pgoyette
2055 1.4.2.3 pgoyette /* Save for later use. */
2056 1.4.2.3 pgoyette instr->strm = strm;
2057 1.4.2.3 pgoyette
2058 1.4.2.3 pgoyette /*
2059 1.4.2.3 pgoyette * Special cases: Groups. The REG field of REGMODRM is the index in
2060 1.4.2.3 pgoyette * the group. op1 gets overwritten in the Immediate node, if any.
2061 1.4.2.3 pgoyette */
2062 1.4.2.4 pgoyette if (opcode->group1) {
2063 1.4.2.4 pgoyette if (group1[instr->regmodrm.reg].emul == NULL) {
2064 1.4.2.4 pgoyette return -1;
2065 1.4.2.4 pgoyette }
2066 1.4.2.4 pgoyette instr->emul = group1[instr->regmodrm.reg].emul;
2067 1.4.2.4 pgoyette } else if (opcode->group11) {
2068 1.4.2.3 pgoyette if (group11[instr->regmodrm.reg].emul == NULL) {
2069 1.4.2.3 pgoyette return -1;
2070 1.4.2.3 pgoyette }
2071 1.4.2.3 pgoyette instr->emul = group11[instr->regmodrm.reg].emul;
2072 1.4.2.3 pgoyette }
2073 1.4.2.3 pgoyette
2074 1.4.2.3 pgoyette reg = get_register_reg(instr, opcode);
2075 1.4.2.3 pgoyette if (reg == NULL) {
2076 1.4.2.3 pgoyette return -1;
2077 1.4.2.3 pgoyette }
2078 1.4.2.3 pgoyette strg->type = STORE_REG;
2079 1.4.2.3 pgoyette strg->u.reg = reg;
2080 1.4.2.3 pgoyette
2081 1.4.2.3 pgoyette if (has_sib(instr)) {
2082 1.4.2.3 pgoyette /* Overwrites RM */
2083 1.4.2.3 pgoyette fsm_advance(fsm, 1, node_sib);
2084 1.4.2.3 pgoyette return 0;
2085 1.4.2.3 pgoyette }
2086 1.4.2.3 pgoyette
2087 1.4.2.3 pgoyette /* The displacement applies to RM. */
2088 1.4.2.3 pgoyette strm->disp.type = get_disp_type(instr);
2089 1.4.2.3 pgoyette
2090 1.4.2.4 pgoyette if (is_rip_relative(fsm, instr)) {
2091 1.4.2.3 pgoyette /* Overwrites RM */
2092 1.4.2.3 pgoyette strm->type = STORE_REG;
2093 1.4.2.3 pgoyette strm->u.reg = &gpr_map__rip;
2094 1.4.2.3 pgoyette strm->disp.type = DISP_4;
2095 1.4.2.3 pgoyette fsm_advance(fsm, 1, node_disp);
2096 1.4.2.3 pgoyette return 0;
2097 1.4.2.3 pgoyette }
2098 1.4.2.3 pgoyette
2099 1.4.2.4 pgoyette if (is_disp32_only(fsm, instr)) {
2100 1.4.2.4 pgoyette /* Overwrites RM */
2101 1.4.2.4 pgoyette strm->type = STORE_REG;
2102 1.4.2.4 pgoyette strm->u.reg = NULL;
2103 1.4.2.4 pgoyette strm->disp.type = DISP_4;
2104 1.4.2.4 pgoyette fsm_advance(fsm, 1, node_disp);
2105 1.4.2.4 pgoyette return 0;
2106 1.4.2.4 pgoyette }
2107 1.4.2.4 pgoyette
2108 1.4.2.3 pgoyette reg = get_register_rm(instr, opcode);
2109 1.4.2.3 pgoyette if (reg == NULL) {
2110 1.4.2.3 pgoyette return -1;
2111 1.4.2.3 pgoyette }
2112 1.4.2.3 pgoyette strm->type = STORE_REG;
2113 1.4.2.3 pgoyette strm->u.reg = reg;
2114 1.4.2.3 pgoyette
2115 1.4.2.3 pgoyette if (strm->disp.type == DISP_NONE) {
2116 1.4.2.3 pgoyette /* Direct register addressing mode */
2117 1.4.2.3 pgoyette if (opcode->immediate) {
2118 1.4.2.3 pgoyette fsm_advance(fsm, 1, node_immediate);
2119 1.4.2.3 pgoyette } else {
2120 1.4.2.3 pgoyette fsm_advance(fsm, 1, NULL);
2121 1.4.2.3 pgoyette }
2122 1.4.2.3 pgoyette } else if (strm->disp.type == DISP_0) {
2123 1.4.2.3 pgoyette /* Indirect register addressing mode */
2124 1.4.2.3 pgoyette if (opcode->immediate) {
2125 1.4.2.3 pgoyette fsm_advance(fsm, 1, node_immediate);
2126 1.4.2.3 pgoyette } else {
2127 1.4.2.3 pgoyette fsm_advance(fsm, 1, NULL);
2128 1.4.2.3 pgoyette }
2129 1.4.2.3 pgoyette } else {
2130 1.4.2.3 pgoyette fsm_advance(fsm, 1, node_disp);
2131 1.4.2.3 pgoyette }
2132 1.4.2.3 pgoyette
2133 1.4.2.3 pgoyette return 0;
2134 1.4.2.3 pgoyette }
2135 1.4.2.3 pgoyette
2136 1.4.2.3 pgoyette static size_t
2137 1.4.2.3 pgoyette get_operand_size(struct x86_decode_fsm *fsm, struct x86_instr *instr)
2138 1.4.2.3 pgoyette {
2139 1.4.2.3 pgoyette const struct x86_opcode *opcode = instr->opcode;
2140 1.4.2.3 pgoyette int opsize;
2141 1.4.2.3 pgoyette
2142 1.4.2.3 pgoyette /* Get the opsize */
2143 1.4.2.3 pgoyette if (!opcode->szoverride) {
2144 1.4.2.3 pgoyette opsize = opcode->defsize;
2145 1.4.2.3 pgoyette } else if (instr->rexpref.present && instr->rexpref.w) {
2146 1.4.2.3 pgoyette opsize = 8;
2147 1.4.2.3 pgoyette } else {
2148 1.4.2.3 pgoyette if (!fsm->is16bit) {
2149 1.4.2.4 pgoyette if (instr->legpref.opr_ovr) {
2150 1.4.2.3 pgoyette opsize = 2;
2151 1.4.2.3 pgoyette } else {
2152 1.4.2.3 pgoyette opsize = 4;
2153 1.4.2.3 pgoyette }
2154 1.4.2.3 pgoyette } else { /* 16bit */
2155 1.4.2.4 pgoyette if (instr->legpref.opr_ovr) {
2156 1.4.2.3 pgoyette opsize = 4;
2157 1.4.2.3 pgoyette } else {
2158 1.4.2.3 pgoyette opsize = 2;
2159 1.4.2.3 pgoyette }
2160 1.4.2.3 pgoyette }
2161 1.4.2.3 pgoyette }
2162 1.4.2.3 pgoyette
2163 1.4.2.3 pgoyette /* See if available */
2164 1.4.2.3 pgoyette if ((opcode->allsize & opsize) == 0) {
2165 1.4.2.3 pgoyette // XXX do we care?
2166 1.4.2.3 pgoyette }
2167 1.4.2.3 pgoyette
2168 1.4.2.3 pgoyette return opsize;
2169 1.4.2.3 pgoyette }
2170 1.4.2.3 pgoyette
2171 1.4.2.3 pgoyette static size_t
2172 1.4.2.3 pgoyette get_address_size(struct x86_decode_fsm *fsm, struct x86_instr *instr)
2173 1.4.2.3 pgoyette {
2174 1.4.2.3 pgoyette if (fsm->is64bit) {
2175 1.4.2.4 pgoyette if (__predict_false(instr->legpref.adr_ovr)) {
2176 1.4.2.3 pgoyette return 4;
2177 1.4.2.3 pgoyette }
2178 1.4.2.3 pgoyette return 8;
2179 1.4.2.3 pgoyette }
2180 1.4.2.3 pgoyette
2181 1.4.2.3 pgoyette if (fsm->is32bit) {
2182 1.4.2.4 pgoyette if (__predict_false(instr->legpref.adr_ovr)) {
2183 1.4.2.3 pgoyette return 2;
2184 1.4.2.3 pgoyette }
2185 1.4.2.3 pgoyette return 4;
2186 1.4.2.3 pgoyette }
2187 1.4.2.3 pgoyette
2188 1.4.2.3 pgoyette /* 16bit. */
2189 1.4.2.4 pgoyette if (__predict_false(instr->legpref.adr_ovr)) {
2190 1.4.2.3 pgoyette return 4;
2191 1.4.2.3 pgoyette }
2192 1.4.2.3 pgoyette return 2;
2193 1.4.2.3 pgoyette }
2194 1.4.2.3 pgoyette
2195 1.4.2.3 pgoyette static int
2196 1.4.2.3 pgoyette node_primary_opcode(struct x86_decode_fsm *fsm, struct x86_instr *instr)
2197 1.4.2.3 pgoyette {
2198 1.4.2.3 pgoyette const struct x86_opcode *opcode;
2199 1.4.2.3 pgoyette uint8_t byte;
2200 1.4.2.3 pgoyette size_t i, n;
2201 1.4.2.3 pgoyette
2202 1.4.2.3 pgoyette if (fsm_read(fsm, &byte, sizeof(byte)) == -1) {
2203 1.4.2.3 pgoyette return -1;
2204 1.4.2.3 pgoyette }
2205 1.4.2.3 pgoyette
2206 1.4.2.3 pgoyette n = sizeof(primary_opcode_table) / sizeof(primary_opcode_table[0]);
2207 1.4.2.3 pgoyette for (i = 0; i < n; i++) {
2208 1.4.2.3 pgoyette if (primary_opcode_table[i].byte == byte)
2209 1.4.2.3 pgoyette break;
2210 1.4.2.3 pgoyette }
2211 1.4.2.3 pgoyette if (i == n) {
2212 1.4.2.3 pgoyette return -1;
2213 1.4.2.3 pgoyette }
2214 1.4.2.3 pgoyette opcode = &primary_opcode_table[i];
2215 1.4.2.3 pgoyette
2216 1.4.2.3 pgoyette instr->opcode = opcode;
2217 1.4.2.3 pgoyette instr->emul = opcode->emul;
2218 1.4.2.3 pgoyette instr->operand_size = get_operand_size(fsm, instr);
2219 1.4.2.3 pgoyette instr->address_size = get_address_size(fsm, instr);
2220 1.4.2.3 pgoyette
2221 1.4.2.4 pgoyette if (fsm->is64bit && (instr->operand_size == 4)) {
2222 1.4.2.4 pgoyette /* Zero-extend to 64 bits. */
2223 1.4.2.4 pgoyette instr->zeroextend_mask = ~size_to_mask(4);
2224 1.4.2.4 pgoyette }
2225 1.4.2.4 pgoyette
2226 1.4.2.3 pgoyette if (opcode->regmodrm) {
2227 1.4.2.3 pgoyette fsm_advance(fsm, 1, node_regmodrm);
2228 1.4.2.3 pgoyette } else if (opcode->dmo) {
2229 1.4.2.3 pgoyette /* Direct-Memory Offsets */
2230 1.4.2.3 pgoyette fsm_advance(fsm, 1, node_dmo);
2231 1.4.2.3 pgoyette } else if (opcode->stos || opcode->lods) {
2232 1.4.2.3 pgoyette fsm_advance(fsm, 1, node_stlo);
2233 1.4.2.4 pgoyette } else if (opcode->movs) {
2234 1.4.2.4 pgoyette fsm_advance(fsm, 1, node_movs);
2235 1.4.2.4 pgoyette } else {
2236 1.4.2.4 pgoyette return -1;
2237 1.4.2.4 pgoyette }
2238 1.4.2.4 pgoyette
2239 1.4.2.4 pgoyette return 0;
2240 1.4.2.4 pgoyette }
2241 1.4.2.4 pgoyette
2242 1.4.2.4 pgoyette static int
2243 1.4.2.4 pgoyette node_secondary_opcode(struct x86_decode_fsm *fsm, struct x86_instr *instr)
2244 1.4.2.4 pgoyette {
2245 1.4.2.4 pgoyette const struct x86_opcode *opcode;
2246 1.4.2.4 pgoyette uint8_t byte;
2247 1.4.2.4 pgoyette size_t i, n;
2248 1.4.2.4 pgoyette
2249 1.4.2.4 pgoyette if (fsm_read(fsm, &byte, sizeof(byte)) == -1) {
2250 1.4.2.4 pgoyette return -1;
2251 1.4.2.4 pgoyette }
2252 1.4.2.4 pgoyette
2253 1.4.2.4 pgoyette n = sizeof(secondary_opcode_table) / sizeof(secondary_opcode_table[0]);
2254 1.4.2.4 pgoyette for (i = 0; i < n; i++) {
2255 1.4.2.4 pgoyette if (secondary_opcode_table[i].byte == byte)
2256 1.4.2.4 pgoyette break;
2257 1.4.2.4 pgoyette }
2258 1.4.2.4 pgoyette if (i == n) {
2259 1.4.2.4 pgoyette return -1;
2260 1.4.2.4 pgoyette }
2261 1.4.2.4 pgoyette opcode = &secondary_opcode_table[i];
2262 1.4.2.4 pgoyette
2263 1.4.2.4 pgoyette instr->opcode = opcode;
2264 1.4.2.4 pgoyette instr->emul = opcode->emul;
2265 1.4.2.4 pgoyette instr->operand_size = get_operand_size(fsm, instr);
2266 1.4.2.4 pgoyette instr->address_size = get_address_size(fsm, instr);
2267 1.4.2.4 pgoyette
2268 1.4.2.4 pgoyette if (opcode->flags & FLAG_ze) {
2269 1.4.2.4 pgoyette /*
2270 1.4.2.4 pgoyette * Compute the mask for zero-extend. Update the operand size,
2271 1.4.2.4 pgoyette * we move fewer bytes.
2272 1.4.2.4 pgoyette */
2273 1.4.2.4 pgoyette instr->zeroextend_mask = size_to_mask(instr->operand_size);
2274 1.4.2.4 pgoyette instr->zeroextend_mask &= ~size_to_mask(opcode->defsize);
2275 1.4.2.4 pgoyette instr->operand_size = opcode->defsize;
2276 1.4.2.4 pgoyette }
2277 1.4.2.4 pgoyette
2278 1.4.2.4 pgoyette if (opcode->regmodrm) {
2279 1.4.2.4 pgoyette fsm_advance(fsm, 1, node_regmodrm);
2280 1.4.2.3 pgoyette } else {
2281 1.4.2.3 pgoyette return -1;
2282 1.4.2.3 pgoyette }
2283 1.4.2.3 pgoyette
2284 1.4.2.3 pgoyette return 0;
2285 1.4.2.3 pgoyette }
2286 1.4.2.3 pgoyette
2287 1.4.2.3 pgoyette static int
2288 1.4.2.3 pgoyette node_main(struct x86_decode_fsm *fsm, struct x86_instr *instr)
2289 1.4.2.3 pgoyette {
2290 1.4.2.3 pgoyette uint8_t byte;
2291 1.4.2.3 pgoyette
2292 1.4.2.3 pgoyette #define ESCAPE 0x0F
2293 1.4.2.3 pgoyette #define VEX_1 0xC5
2294 1.4.2.3 pgoyette #define VEX_2 0xC4
2295 1.4.2.3 pgoyette #define XOP 0x8F
2296 1.4.2.3 pgoyette
2297 1.4.2.3 pgoyette if (fsm_read(fsm, &byte, sizeof(byte)) == -1) {
2298 1.4.2.3 pgoyette return -1;
2299 1.4.2.3 pgoyette }
2300 1.4.2.3 pgoyette
2301 1.4.2.3 pgoyette /*
2302 1.4.2.3 pgoyette * We don't take XOP. It is AMD-specific, and it was removed shortly
2303 1.4.2.3 pgoyette * after being introduced.
2304 1.4.2.3 pgoyette */
2305 1.4.2.3 pgoyette if (byte == ESCAPE) {
2306 1.4.2.4 pgoyette fsm_advance(fsm, 1, node_secondary_opcode);
2307 1.4.2.3 pgoyette } else if (!instr->rexpref.present) {
2308 1.4.2.3 pgoyette if (byte == VEX_1) {
2309 1.4.2.3 pgoyette return -1;
2310 1.4.2.3 pgoyette } else if (byte == VEX_2) {
2311 1.4.2.3 pgoyette return -1;
2312 1.4.2.3 pgoyette } else {
2313 1.4.2.3 pgoyette fsm->fn = node_primary_opcode;
2314 1.4.2.3 pgoyette }
2315 1.4.2.3 pgoyette } else {
2316 1.4.2.3 pgoyette fsm->fn = node_primary_opcode;
2317 1.4.2.3 pgoyette }
2318 1.4.2.3 pgoyette
2319 1.4.2.3 pgoyette return 0;
2320 1.4.2.3 pgoyette }
2321 1.4.2.3 pgoyette
2322 1.4.2.3 pgoyette static int
2323 1.4.2.3 pgoyette node_rex_prefix(struct x86_decode_fsm *fsm, struct x86_instr *instr)
2324 1.4.2.3 pgoyette {
2325 1.4.2.3 pgoyette struct x86_rexpref *rexpref = &instr->rexpref;
2326 1.4.2.3 pgoyette uint8_t byte;
2327 1.4.2.3 pgoyette size_t n = 0;
2328 1.4.2.3 pgoyette
2329 1.4.2.3 pgoyette if (fsm_read(fsm, &byte, sizeof(byte)) == -1) {
2330 1.4.2.3 pgoyette return -1;
2331 1.4.2.3 pgoyette }
2332 1.4.2.3 pgoyette
2333 1.4.2.3 pgoyette if (byte >= 0x40 && byte <= 0x4F) {
2334 1.4.2.3 pgoyette if (__predict_false(!fsm->is64bit)) {
2335 1.4.2.3 pgoyette return -1;
2336 1.4.2.3 pgoyette }
2337 1.4.2.3 pgoyette rexpref->present = true;
2338 1.4.2.3 pgoyette rexpref->w = ((byte & 0x8) != 0);
2339 1.4.2.3 pgoyette rexpref->r = ((byte & 0x4) != 0);
2340 1.4.2.3 pgoyette rexpref->x = ((byte & 0x2) != 0);
2341 1.4.2.3 pgoyette rexpref->b = ((byte & 0x1) != 0);
2342 1.4.2.3 pgoyette n = 1;
2343 1.4.2.3 pgoyette }
2344 1.4.2.3 pgoyette
2345 1.4.2.3 pgoyette fsm_advance(fsm, n, node_main);
2346 1.4.2.3 pgoyette return 0;
2347 1.4.2.3 pgoyette }
2348 1.4.2.3 pgoyette
2349 1.4.2.3 pgoyette static int
2350 1.4.2.3 pgoyette node_legacy_prefix(struct x86_decode_fsm *fsm, struct x86_instr *instr)
2351 1.4.2.3 pgoyette {
2352 1.4.2.3 pgoyette uint8_t byte;
2353 1.4.2.3 pgoyette
2354 1.4.2.3 pgoyette if (fsm_read(fsm, &byte, sizeof(byte)) == -1) {
2355 1.4.2.3 pgoyette return -1;
2356 1.4.2.3 pgoyette }
2357 1.4.2.3 pgoyette
2358 1.4.2.4 pgoyette if (byte == LEG_OPR_OVR) {
2359 1.4.2.4 pgoyette instr->legpref.opr_ovr = 1;
2360 1.4.2.4 pgoyette } else if (byte == LEG_OVR_DS) {
2361 1.4.2.4 pgoyette instr->legpref.seg = NVMM_X64_SEG_DS;
2362 1.4.2.4 pgoyette } else if (byte == LEG_OVR_ES) {
2363 1.4.2.4 pgoyette instr->legpref.seg = NVMM_X64_SEG_ES;
2364 1.4.2.4 pgoyette } else if (byte == LEG_REP) {
2365 1.4.2.4 pgoyette instr->legpref.rep = 1;
2366 1.4.2.4 pgoyette } else if (byte == LEG_OVR_GS) {
2367 1.4.2.4 pgoyette instr->legpref.seg = NVMM_X64_SEG_GS;
2368 1.4.2.4 pgoyette } else if (byte == LEG_OVR_FS) {
2369 1.4.2.4 pgoyette instr->legpref.seg = NVMM_X64_SEG_FS;
2370 1.4.2.4 pgoyette } else if (byte == LEG_ADR_OVR) {
2371 1.4.2.4 pgoyette instr->legpref.adr_ovr = 1;
2372 1.4.2.4 pgoyette } else if (byte == LEG_OVR_CS) {
2373 1.4.2.4 pgoyette instr->legpref.seg = NVMM_X64_SEG_CS;
2374 1.4.2.4 pgoyette } else if (byte == LEG_OVR_SS) {
2375 1.4.2.4 pgoyette instr->legpref.seg = NVMM_X64_SEG_SS;
2376 1.4.2.4 pgoyette } else if (byte == LEG_REPN) {
2377 1.4.2.4 pgoyette instr->legpref.repn = 1;
2378 1.4.2.4 pgoyette } else if (byte == LEG_LOCK) {
2379 1.4.2.4 pgoyette /* ignore */
2380 1.4.2.3 pgoyette } else {
2381 1.4.2.4 pgoyette /* not a legacy prefix */
2382 1.4.2.4 pgoyette fsm_advance(fsm, 0, node_rex_prefix);
2383 1.4.2.4 pgoyette return 0;
2384 1.4.2.3 pgoyette }
2385 1.4.2.3 pgoyette
2386 1.4.2.4 pgoyette fsm_advance(fsm, 1, node_legacy_prefix);
2387 1.4.2.3 pgoyette return 0;
2388 1.4.2.3 pgoyette }
2389 1.4.2.3 pgoyette
2390 1.4.2.3 pgoyette static int
2391 1.4.2.3 pgoyette x86_decode(uint8_t *inst_bytes, size_t inst_len, struct x86_instr *instr,
2392 1.4.2.3 pgoyette struct nvmm_x64_state *state)
2393 1.4.2.3 pgoyette {
2394 1.4.2.3 pgoyette struct x86_decode_fsm fsm;
2395 1.4.2.3 pgoyette int ret;
2396 1.4.2.3 pgoyette
2397 1.4.2.3 pgoyette memset(instr, 0, sizeof(*instr));
2398 1.4.2.4 pgoyette instr->legpref.seg = -1;
2399 1.4.2.3 pgoyette
2400 1.4.2.3 pgoyette fsm.is64bit = is_64bit(state);
2401 1.4.2.3 pgoyette fsm.is32bit = is_32bit(state);
2402 1.4.2.3 pgoyette fsm.is16bit = is_16bit(state);
2403 1.4.2.3 pgoyette
2404 1.4.2.3 pgoyette fsm.fn = node_legacy_prefix;
2405 1.4.2.3 pgoyette fsm.buf = inst_bytes;
2406 1.4.2.3 pgoyette fsm.end = inst_bytes + inst_len;
2407 1.4.2.3 pgoyette
2408 1.4.2.3 pgoyette while (fsm.fn != NULL) {
2409 1.4.2.3 pgoyette ret = (*fsm.fn)(&fsm, instr);
2410 1.4.2.3 pgoyette if (ret == -1)
2411 1.4.2.3 pgoyette return -1;
2412 1.4.2.3 pgoyette }
2413 1.4.2.3 pgoyette
2414 1.4.2.3 pgoyette instr->len = fsm.buf - inst_bytes;
2415 1.4.2.3 pgoyette
2416 1.4.2.3 pgoyette return 0;
2417 1.4.2.3 pgoyette }
2418 1.4.2.3 pgoyette
2419 1.4.2.3 pgoyette /* -------------------------------------------------------------------------- */
2420 1.4.2.3 pgoyette
2421 1.4.2.3 pgoyette static inline uint8_t
2422 1.4.2.3 pgoyette compute_parity(uint8_t *data)
2423 1.4.2.3 pgoyette {
2424 1.4.2.3 pgoyette uint64_t *ptr = (uint64_t *)data;
2425 1.4.2.3 pgoyette uint64_t val = *ptr;
2426 1.4.2.3 pgoyette
2427 1.4.2.3 pgoyette val ^= val >> 32;
2428 1.4.2.3 pgoyette val ^= val >> 16;
2429 1.4.2.3 pgoyette val ^= val >> 8;
2430 1.4.2.3 pgoyette val ^= val >> 4;
2431 1.4.2.3 pgoyette val ^= val >> 2;
2432 1.4.2.3 pgoyette val ^= val >> 1;
2433 1.4.2.3 pgoyette return (~val) & 1;
2434 1.4.2.3 pgoyette }
2435 1.4.2.3 pgoyette
2436 1.4.2.3 pgoyette static void
2437 1.4.2.3 pgoyette x86_emul_or(struct nvmm_mem *mem, void (*cb)(struct nvmm_mem *),
2438 1.4.2.3 pgoyette uint64_t *gprs)
2439 1.4.2.3 pgoyette {
2440 1.4.2.3 pgoyette const bool write = mem->write;
2441 1.4.2.3 pgoyette uint64_t fl = gprs[NVMM_X64_GPR_RFLAGS];
2442 1.4.2.3 pgoyette uint8_t data[8];
2443 1.4.2.3 pgoyette size_t i;
2444 1.4.2.3 pgoyette
2445 1.4.2.3 pgoyette fl &= ~(PSL_V|PSL_C|PSL_Z|PSL_N|PSL_PF);
2446 1.4.2.3 pgoyette
2447 1.4.2.3 pgoyette memcpy(data, mem->data, sizeof(data));
2448 1.4.2.3 pgoyette
2449 1.4.2.3 pgoyette /* Fetch the value to be OR'ed. */
2450 1.4.2.3 pgoyette mem->write = false;
2451 1.4.2.3 pgoyette (*cb)(mem);
2452 1.4.2.3 pgoyette
2453 1.4.2.3 pgoyette /* Perform the OR. */
2454 1.4.2.3 pgoyette for (i = 0; i < mem->size; i++) {
2455 1.4.2.3 pgoyette mem->data[i] |= data[i];
2456 1.4.2.3 pgoyette if (mem->data[i] != 0)
2457 1.4.2.3 pgoyette fl |= PSL_Z;
2458 1.4.2.3 pgoyette }
2459 1.4.2.3 pgoyette if (mem->data[mem->size-1] & __BIT(7))
2460 1.4.2.3 pgoyette fl |= PSL_N;
2461 1.4.2.3 pgoyette if (compute_parity(mem->data))
2462 1.4.2.3 pgoyette fl |= PSL_PF;
2463 1.4.2.3 pgoyette
2464 1.4.2.3 pgoyette if (write) {
2465 1.4.2.3 pgoyette /* Write back the result. */
2466 1.4.2.3 pgoyette mem->write = true;
2467 1.4.2.3 pgoyette (*cb)(mem);
2468 1.4.2.3 pgoyette }
2469 1.4.2.3 pgoyette
2470 1.4.2.3 pgoyette gprs[NVMM_X64_GPR_RFLAGS] = fl;
2471 1.4.2.3 pgoyette }
2472 1.4.2.3 pgoyette
2473 1.4.2.3 pgoyette static void
2474 1.4.2.3 pgoyette x86_emul_and(struct nvmm_mem *mem, void (*cb)(struct nvmm_mem *),
2475 1.4.2.3 pgoyette uint64_t *gprs)
2476 1.4.2.3 pgoyette {
2477 1.4.2.3 pgoyette const bool write = mem->write;
2478 1.4.2.3 pgoyette uint64_t fl = gprs[NVMM_X64_GPR_RFLAGS];
2479 1.4.2.3 pgoyette uint8_t data[8];
2480 1.4.2.3 pgoyette size_t i;
2481 1.4.2.3 pgoyette
2482 1.4.2.3 pgoyette fl &= ~(PSL_V|PSL_C|PSL_Z|PSL_N|PSL_PF);
2483 1.4.2.3 pgoyette
2484 1.4.2.3 pgoyette memcpy(data, mem->data, sizeof(data));
2485 1.4.2.3 pgoyette
2486 1.4.2.3 pgoyette /* Fetch the value to be AND'ed. */
2487 1.4.2.3 pgoyette mem->write = false;
2488 1.4.2.3 pgoyette (*cb)(mem);
2489 1.4.2.3 pgoyette
2490 1.4.2.3 pgoyette /* Perform the AND. */
2491 1.4.2.3 pgoyette for (i = 0; i < mem->size; i++) {
2492 1.4.2.3 pgoyette mem->data[i] &= data[i];
2493 1.4.2.3 pgoyette if (mem->data[i] != 0)
2494 1.4.2.3 pgoyette fl |= PSL_Z;
2495 1.4.2.3 pgoyette }
2496 1.4.2.3 pgoyette if (mem->data[mem->size-1] & __BIT(7))
2497 1.4.2.3 pgoyette fl |= PSL_N;
2498 1.4.2.3 pgoyette if (compute_parity(mem->data))
2499 1.4.2.3 pgoyette fl |= PSL_PF;
2500 1.4.2.3 pgoyette
2501 1.4.2.3 pgoyette if (write) {
2502 1.4.2.3 pgoyette /* Write back the result. */
2503 1.4.2.3 pgoyette mem->write = true;
2504 1.4.2.3 pgoyette (*cb)(mem);
2505 1.4.2.3 pgoyette }
2506 1.4.2.3 pgoyette
2507 1.4.2.3 pgoyette gprs[NVMM_X64_GPR_RFLAGS] = fl;
2508 1.4.2.3 pgoyette }
2509 1.4.2.3 pgoyette
2510 1.4.2.3 pgoyette static void
2511 1.4.2.3 pgoyette x86_emul_xor(struct nvmm_mem *mem, void (*cb)(struct nvmm_mem *),
2512 1.4.2.3 pgoyette uint64_t *gprs)
2513 1.4.2.3 pgoyette {
2514 1.4.2.3 pgoyette const bool write = mem->write;
2515 1.4.2.3 pgoyette uint64_t fl = gprs[NVMM_X64_GPR_RFLAGS];
2516 1.4.2.3 pgoyette uint8_t data[8];
2517 1.4.2.3 pgoyette size_t i;
2518 1.4.2.3 pgoyette
2519 1.4.2.3 pgoyette fl &= ~(PSL_V|PSL_C|PSL_Z|PSL_N|PSL_PF);
2520 1.4.2.3 pgoyette
2521 1.4.2.3 pgoyette memcpy(data, mem->data, sizeof(data));
2522 1.4.2.3 pgoyette
2523 1.4.2.3 pgoyette /* Fetch the value to be XOR'ed. */
2524 1.4.2.3 pgoyette mem->write = false;
2525 1.4.2.3 pgoyette (*cb)(mem);
2526 1.4.2.3 pgoyette
2527 1.4.2.3 pgoyette /* Perform the XOR. */
2528 1.4.2.3 pgoyette for (i = 0; i < mem->size; i++) {
2529 1.4.2.3 pgoyette mem->data[i] ^= data[i];
2530 1.4.2.3 pgoyette if (mem->data[i] != 0)
2531 1.4.2.3 pgoyette fl |= PSL_Z;
2532 1.4.2.3 pgoyette }
2533 1.4.2.3 pgoyette if (mem->data[mem->size-1] & __BIT(7))
2534 1.4.2.3 pgoyette fl |= PSL_N;
2535 1.4.2.3 pgoyette if (compute_parity(mem->data))
2536 1.4.2.3 pgoyette fl |= PSL_PF;
2537 1.4.2.3 pgoyette
2538 1.4.2.3 pgoyette if (write) {
2539 1.4.2.3 pgoyette /* Write back the result. */
2540 1.4.2.3 pgoyette mem->write = true;
2541 1.4.2.3 pgoyette (*cb)(mem);
2542 1.4.2.3 pgoyette }
2543 1.4.2.3 pgoyette
2544 1.4.2.3 pgoyette gprs[NVMM_X64_GPR_RFLAGS] = fl;
2545 1.4.2.3 pgoyette }
2546 1.4.2.3 pgoyette
2547 1.4.2.3 pgoyette static void
2548 1.4.2.3 pgoyette x86_emul_mov(struct nvmm_mem *mem, void (*cb)(struct nvmm_mem *),
2549 1.4.2.3 pgoyette uint64_t *gprs)
2550 1.4.2.3 pgoyette {
2551 1.4.2.3 pgoyette /*
2552 1.4.2.3 pgoyette * Nothing special, just move without emulation.
2553 1.4.2.3 pgoyette */
2554 1.4.2.3 pgoyette (*cb)(mem);
2555 1.4.2.3 pgoyette }
2556 1.4.2.3 pgoyette
2557 1.4.2.3 pgoyette static void
2558 1.4.2.3 pgoyette x86_emul_stos(struct nvmm_mem *mem, void (*cb)(struct nvmm_mem *),
2559 1.4.2.3 pgoyette uint64_t *gprs)
2560 1.4.2.3 pgoyette {
2561 1.4.2.3 pgoyette /*
2562 1.4.2.3 pgoyette * Just move, and update RDI.
2563 1.4.2.3 pgoyette */
2564 1.4.2.3 pgoyette (*cb)(mem);
2565 1.4.2.3 pgoyette
2566 1.4.2.3 pgoyette if (gprs[NVMM_X64_GPR_RFLAGS] & PSL_D) {
2567 1.4.2.3 pgoyette gprs[NVMM_X64_GPR_RDI] -= mem->size;
2568 1.4.2.3 pgoyette } else {
2569 1.4.2.3 pgoyette gprs[NVMM_X64_GPR_RDI] += mem->size;
2570 1.4.2.3 pgoyette }
2571 1.4.2.3 pgoyette }
2572 1.4.2.3 pgoyette
2573 1.4.2.3 pgoyette static void
2574 1.4.2.3 pgoyette x86_emul_lods(struct nvmm_mem *mem, void (*cb)(struct nvmm_mem *),
2575 1.4.2.3 pgoyette uint64_t *gprs)
2576 1.4.2.3 pgoyette {
2577 1.4.2.3 pgoyette /*
2578 1.4.2.3 pgoyette * Just move, and update RSI.
2579 1.4.2.3 pgoyette */
2580 1.4.2.3 pgoyette (*cb)(mem);
2581 1.4.2.3 pgoyette
2582 1.4.2.3 pgoyette if (gprs[NVMM_X64_GPR_RFLAGS] & PSL_D) {
2583 1.4.2.3 pgoyette gprs[NVMM_X64_GPR_RSI] -= mem->size;
2584 1.4.2.3 pgoyette } else {
2585 1.4.2.3 pgoyette gprs[NVMM_X64_GPR_RSI] += mem->size;
2586 1.4.2.3 pgoyette }
2587 1.4.2.3 pgoyette }
2588 1.4.2.3 pgoyette
2589 1.4.2.4 pgoyette static void
2590 1.4.2.4 pgoyette x86_emul_movs(struct nvmm_mem *mem, void (*cb)(struct nvmm_mem *),
2591 1.4.2.4 pgoyette uint64_t *gprs)
2592 1.4.2.4 pgoyette {
2593 1.4.2.4 pgoyette /*
2594 1.4.2.4 pgoyette * Special instruction: double memory operand. Don't call the cb,
2595 1.4.2.4 pgoyette * because the storage has already been performed earlier.
2596 1.4.2.4 pgoyette */
2597 1.4.2.4 pgoyette
2598 1.4.2.4 pgoyette if (gprs[NVMM_X64_GPR_RFLAGS] & PSL_D) {
2599 1.4.2.4 pgoyette gprs[NVMM_X64_GPR_RSI] -= mem->size;
2600 1.4.2.4 pgoyette gprs[NVMM_X64_GPR_RDI] -= mem->size;
2601 1.4.2.4 pgoyette } else {
2602 1.4.2.4 pgoyette gprs[NVMM_X64_GPR_RSI] += mem->size;
2603 1.4.2.4 pgoyette gprs[NVMM_X64_GPR_RDI] += mem->size;
2604 1.4.2.4 pgoyette }
2605 1.4.2.4 pgoyette }
2606 1.4.2.4 pgoyette
2607 1.4.2.3 pgoyette /* -------------------------------------------------------------------------- */
2608 1.4.2.3 pgoyette
2609 1.4.2.3 pgoyette static inline uint64_t
2610 1.4.2.3 pgoyette gpr_read_address(struct x86_instr *instr, struct nvmm_x64_state *state, int gpr)
2611 1.4.2.3 pgoyette {
2612 1.4.2.3 pgoyette uint64_t val;
2613 1.4.2.3 pgoyette
2614 1.4.2.3 pgoyette val = state->gprs[gpr];
2615 1.4.2.4 pgoyette val &= size_to_mask(instr->address_size);
2616 1.4.2.3 pgoyette
2617 1.4.2.3 pgoyette return val;
2618 1.4.2.3 pgoyette }
2619 1.4.2.3 pgoyette
2620 1.4.2.3 pgoyette static int
2621 1.4.2.4 pgoyette store_to_gva(struct nvmm_x64_state *state, struct x86_instr *instr,
2622 1.4.2.4 pgoyette struct x86_store *store, gvaddr_t *gvap, size_t size)
2623 1.4.2.3 pgoyette {
2624 1.4.2.3 pgoyette struct x86_sib *sib;
2625 1.4.2.4 pgoyette gvaddr_t gva = 0;
2626 1.4.2.3 pgoyette uint64_t reg;
2627 1.4.2.3 pgoyette int ret, seg;
2628 1.4.2.3 pgoyette
2629 1.4.2.3 pgoyette if (store->type == STORE_SIB) {
2630 1.4.2.3 pgoyette sib = &store->u.sib;
2631 1.4.2.3 pgoyette if (sib->bas != NULL)
2632 1.4.2.3 pgoyette gva += gpr_read_address(instr, state, sib->bas->num);
2633 1.4.2.3 pgoyette if (sib->idx != NULL) {
2634 1.4.2.3 pgoyette reg = gpr_read_address(instr, state, sib->idx->num);
2635 1.4.2.3 pgoyette gva += sib->scale * reg;
2636 1.4.2.3 pgoyette }
2637 1.4.2.3 pgoyette } else if (store->type == STORE_REG) {
2638 1.4.2.4 pgoyette if (store->u.reg == NULL) {
2639 1.4.2.4 pgoyette /* The base is null. Happens with disp32-only. */
2640 1.4.2.4 pgoyette } else {
2641 1.4.2.4 pgoyette gva = gpr_read_address(instr, state, store->u.reg->num);
2642 1.4.2.4 pgoyette }
2643 1.4.2.3 pgoyette } else {
2644 1.4.2.3 pgoyette gva = store->u.dmo;
2645 1.4.2.3 pgoyette }
2646 1.4.2.3 pgoyette
2647 1.4.2.3 pgoyette if (store->disp.type != DISP_NONE) {
2648 1.4.2.4 pgoyette gva += store->disp.data;
2649 1.4.2.3 pgoyette }
2650 1.4.2.3 pgoyette
2651 1.4.2.4 pgoyette if (store->hardseg != 0) {
2652 1.4.2.4 pgoyette seg = store->hardseg;
2653 1.4.2.4 pgoyette } else {
2654 1.4.2.4 pgoyette if (__predict_false(instr->legpref.seg != -1)) {
2655 1.4.2.4 pgoyette seg = instr->legpref.seg;
2656 1.4.2.3 pgoyette } else {
2657 1.4.2.3 pgoyette seg = NVMM_X64_SEG_DS;
2658 1.4.2.3 pgoyette }
2659 1.4.2.4 pgoyette }
2660 1.4.2.3 pgoyette
2661 1.4.2.4 pgoyette if (__predict_true(is_long_mode(state))) {
2662 1.4.2.4 pgoyette if (seg == NVMM_X64_SEG_GS || seg == NVMM_X64_SEG_FS) {
2663 1.4.2.4 pgoyette segment_apply(&state->segs[seg], &gva);
2664 1.4.2.4 pgoyette }
2665 1.4.2.4 pgoyette } else {
2666 1.4.2.4 pgoyette ret = segment_check(&state->segs[seg], gva, size);
2667 1.4.2.3 pgoyette if (ret == -1)
2668 1.4.2.3 pgoyette return -1;
2669 1.4.2.4 pgoyette segment_apply(&state->segs[seg], &gva);
2670 1.4.2.3 pgoyette }
2671 1.4.2.3 pgoyette
2672 1.4.2.4 pgoyette *gvap = gva;
2673 1.4.2.4 pgoyette return 0;
2674 1.4.2.4 pgoyette }
2675 1.4.2.3 pgoyette
2676 1.4.2.4 pgoyette static int
2677 1.4.2.4 pgoyette fetch_segment(struct nvmm_machine *mach, struct nvmm_x64_state *state)
2678 1.4.2.4 pgoyette {
2679 1.4.2.4 pgoyette uint8_t inst_bytes[15], byte;
2680 1.4.2.4 pgoyette size_t i, fetchsize;
2681 1.4.2.4 pgoyette gvaddr_t gva;
2682 1.4.2.4 pgoyette int ret, seg;
2683 1.4.2.4 pgoyette
2684 1.4.2.4 pgoyette fetchsize = sizeof(inst_bytes);
2685 1.4.2.4 pgoyette
2686 1.4.2.4 pgoyette gva = state->gprs[NVMM_X64_GPR_RIP];
2687 1.4.2.4 pgoyette if (__predict_false(!is_long_mode(state))) {
2688 1.4.2.4 pgoyette ret = segment_check(&state->segs[NVMM_X64_SEG_CS], gva,
2689 1.4.2.4 pgoyette fetchsize);
2690 1.4.2.4 pgoyette if (ret == -1)
2691 1.4.2.4 pgoyette return -1;
2692 1.4.2.4 pgoyette segment_apply(&state->segs[NVMM_X64_SEG_CS], &gva);
2693 1.4.2.4 pgoyette }
2694 1.4.2.3 pgoyette
2695 1.4.2.4 pgoyette ret = read_guest_memory(mach, state, gva, inst_bytes, fetchsize);
2696 1.4.2.3 pgoyette if (ret == -1)
2697 1.4.2.3 pgoyette return -1;
2698 1.4.2.3 pgoyette
2699 1.4.2.4 pgoyette seg = NVMM_X64_SEG_DS;
2700 1.4.2.4 pgoyette for (i = 0; i < fetchsize; i++) {
2701 1.4.2.4 pgoyette byte = inst_bytes[i];
2702 1.4.2.3 pgoyette
2703 1.4.2.4 pgoyette if (byte == LEG_OVR_DS) {
2704 1.4.2.4 pgoyette seg = NVMM_X64_SEG_DS;
2705 1.4.2.4 pgoyette } else if (byte == LEG_OVR_ES) {
2706 1.4.2.4 pgoyette seg = NVMM_X64_SEG_ES;
2707 1.4.2.4 pgoyette } else if (byte == LEG_OVR_GS) {
2708 1.4.2.4 pgoyette seg = NVMM_X64_SEG_GS;
2709 1.4.2.4 pgoyette } else if (byte == LEG_OVR_FS) {
2710 1.4.2.4 pgoyette seg = NVMM_X64_SEG_FS;
2711 1.4.2.4 pgoyette } else if (byte == LEG_OVR_CS) {
2712 1.4.2.4 pgoyette seg = NVMM_X64_SEG_CS;
2713 1.4.2.4 pgoyette } else if (byte == LEG_OVR_SS) {
2714 1.4.2.4 pgoyette seg = NVMM_X64_SEG_SS;
2715 1.4.2.4 pgoyette } else if (byte == LEG_OPR_OVR) {
2716 1.4.2.4 pgoyette /* nothing */
2717 1.4.2.4 pgoyette } else if (byte == LEG_ADR_OVR) {
2718 1.4.2.4 pgoyette /* nothing */
2719 1.4.2.4 pgoyette } else if (byte == LEG_REP) {
2720 1.4.2.4 pgoyette /* nothing */
2721 1.4.2.4 pgoyette } else if (byte == LEG_REPN) {
2722 1.4.2.4 pgoyette /* nothing */
2723 1.4.2.4 pgoyette } else if (byte == LEG_LOCK) {
2724 1.4.2.4 pgoyette /* nothing */
2725 1.4.2.4 pgoyette } else {
2726 1.4.2.4 pgoyette return seg;
2727 1.4.2.4 pgoyette }
2728 1.4.2.4 pgoyette }
2729 1.4.2.4 pgoyette
2730 1.4.2.4 pgoyette return seg;
2731 1.4.2.3 pgoyette }
2732 1.4.2.3 pgoyette
2733 1.4.2.3 pgoyette static int
2734 1.4.2.3 pgoyette fetch_instruction(struct nvmm_machine *mach, struct nvmm_x64_state *state,
2735 1.4.2.3 pgoyette struct nvmm_exit *exit)
2736 1.4.2.3 pgoyette {
2737 1.4.2.4 pgoyette size_t fetchsize;
2738 1.4.2.4 pgoyette gvaddr_t gva;
2739 1.4.2.3 pgoyette int ret;
2740 1.4.2.3 pgoyette
2741 1.4.2.3 pgoyette fetchsize = sizeof(exit->u.mem.inst_bytes);
2742 1.4.2.3 pgoyette
2743 1.4.2.3 pgoyette gva = state->gprs[NVMM_X64_GPR_RIP];
2744 1.4.2.4 pgoyette if (__predict_false(!is_long_mode(state))) {
2745 1.4.2.4 pgoyette ret = segment_check(&state->segs[NVMM_X64_SEG_CS], gva,
2746 1.4.2.3 pgoyette fetchsize);
2747 1.4.2.3 pgoyette if (ret == -1)
2748 1.4.2.3 pgoyette return -1;
2749 1.4.2.4 pgoyette segment_apply(&state->segs[NVMM_X64_SEG_CS], &gva);
2750 1.4.2.3 pgoyette }
2751 1.4.2.3 pgoyette
2752 1.4.2.4 pgoyette ret = read_guest_memory(mach, state, gva, exit->u.mem.inst_bytes,
2753 1.4.2.4 pgoyette fetchsize);
2754 1.4.2.3 pgoyette if (ret == -1)
2755 1.4.2.3 pgoyette return -1;
2756 1.4.2.3 pgoyette
2757 1.4.2.4 pgoyette exit->u.mem.inst_len = fetchsize;
2758 1.4.2.3 pgoyette
2759 1.4.2.4 pgoyette return 0;
2760 1.4.2.4 pgoyette }
2761 1.4.2.3 pgoyette
2762 1.4.2.4 pgoyette static int
2763 1.4.2.4 pgoyette assist_mem_double(struct nvmm_machine *mach, struct nvmm_x64_state *state,
2764 1.4.2.4 pgoyette struct x86_instr *instr)
2765 1.4.2.4 pgoyette {
2766 1.4.2.4 pgoyette struct nvmm_mem mem;
2767 1.4.2.4 pgoyette uint8_t data[8];
2768 1.4.2.4 pgoyette gvaddr_t gva;
2769 1.4.2.4 pgoyette size_t size;
2770 1.4.2.4 pgoyette int ret;
2771 1.4.2.3 pgoyette
2772 1.4.2.4 pgoyette size = instr->operand_size;
2773 1.4.2.3 pgoyette
2774 1.4.2.4 pgoyette /* Source. */
2775 1.4.2.4 pgoyette ret = store_to_gva(state, instr, &instr->src, &gva, size);
2776 1.4.2.4 pgoyette if (ret == -1)
2777 1.4.2.4 pgoyette return -1;
2778 1.4.2.4 pgoyette ret = read_guest_memory(mach, state, gva, data, size);
2779 1.4.2.4 pgoyette if (ret == -1)
2780 1.4.2.4 pgoyette return -1;
2781 1.4.2.3 pgoyette
2782 1.4.2.4 pgoyette /* Destination. */
2783 1.4.2.4 pgoyette ret = store_to_gva(state, instr, &instr->dst, &gva, size);
2784 1.4.2.4 pgoyette if (ret == -1)
2785 1.4.2.4 pgoyette return -1;
2786 1.4.2.4 pgoyette ret = write_guest_memory(mach, state, gva, data, size);
2787 1.4.2.4 pgoyette if (ret == -1)
2788 1.4.2.4 pgoyette return -1;
2789 1.4.2.4 pgoyette
2790 1.4.2.4 pgoyette mem.size = size;
2791 1.4.2.4 pgoyette (*instr->emul)(&mem, NULL, state->gprs);
2792 1.4.2.3 pgoyette
2793 1.4.2.3 pgoyette return 0;
2794 1.4.2.3 pgoyette }
2795 1.4.2.3 pgoyette
2796 1.4.2.3 pgoyette #define DISASSEMBLER_BUG() \
2797 1.4.2.3 pgoyette do { \
2798 1.4.2.3 pgoyette errno = EINVAL; \
2799 1.4.2.3 pgoyette return -1; \
2800 1.4.2.3 pgoyette } while (0);
2801 1.4.2.3 pgoyette
2802 1.4.2.4 pgoyette static int
2803 1.4.2.4 pgoyette assist_mem_single(struct nvmm_machine *mach, struct nvmm_x64_state *state,
2804 1.4.2.4 pgoyette struct x86_instr *instr, struct nvmm_exit *exit)
2805 1.4.2.3 pgoyette {
2806 1.4.2.3 pgoyette struct nvmm_mem mem;
2807 1.4.2.4 pgoyette uint8_t membuf[8];
2808 1.4.2.3 pgoyette uint64_t val;
2809 1.4.2.3 pgoyette
2810 1.4.2.4 pgoyette memset(membuf, 0, sizeof(membuf));
2811 1.4.2.3 pgoyette
2812 1.4.2.4 pgoyette mem.gpa = exit->u.mem.gpa;
2813 1.4.2.4 pgoyette mem.size = instr->operand_size;
2814 1.4.2.4 pgoyette mem.data = membuf;
2815 1.4.2.3 pgoyette
2816 1.4.2.4 pgoyette /* Determine the direction. */
2817 1.4.2.4 pgoyette switch (instr->src.type) {
2818 1.4.2.3 pgoyette case STORE_REG:
2819 1.4.2.4 pgoyette if (instr->src.disp.type != DISP_NONE) {
2820 1.4.2.3 pgoyette /* Indirect access. */
2821 1.4.2.3 pgoyette mem.write = false;
2822 1.4.2.3 pgoyette } else {
2823 1.4.2.3 pgoyette /* Direct access. */
2824 1.4.2.3 pgoyette mem.write = true;
2825 1.4.2.3 pgoyette }
2826 1.4.2.3 pgoyette break;
2827 1.4.2.3 pgoyette case STORE_IMM:
2828 1.4.2.3 pgoyette mem.write = true;
2829 1.4.2.3 pgoyette break;
2830 1.4.2.3 pgoyette case STORE_SIB:
2831 1.4.2.3 pgoyette mem.write = false;
2832 1.4.2.3 pgoyette break;
2833 1.4.2.3 pgoyette case STORE_DMO:
2834 1.4.2.3 pgoyette mem.write = false;
2835 1.4.2.3 pgoyette break;
2836 1.4.2.3 pgoyette default:
2837 1.4.2.4 pgoyette DISASSEMBLER_BUG();
2838 1.4.2.3 pgoyette }
2839 1.4.2.3 pgoyette
2840 1.4.2.4 pgoyette if (mem.write) {
2841 1.4.2.4 pgoyette switch (instr->src.type) {
2842 1.4.2.4 pgoyette case STORE_REG:
2843 1.4.2.4 pgoyette if (instr->src.disp.type != DISP_NONE) {
2844 1.4.2.3 pgoyette DISASSEMBLER_BUG();
2845 1.4.2.3 pgoyette }
2846 1.4.2.4 pgoyette val = state->gprs[instr->src.u.reg->num];
2847 1.4.2.4 pgoyette val = __SHIFTOUT(val, instr->src.u.reg->mask);
2848 1.4.2.4 pgoyette memcpy(mem.data, &val, mem.size);
2849 1.4.2.4 pgoyette break;
2850 1.4.2.4 pgoyette case STORE_IMM:
2851 1.4.2.4 pgoyette memcpy(mem.data, &instr->src.u.imm.data, mem.size);
2852 1.4.2.4 pgoyette break;
2853 1.4.2.4 pgoyette default:
2854 1.4.2.4 pgoyette DISASSEMBLER_BUG();
2855 1.4.2.3 pgoyette }
2856 1.4.2.4 pgoyette }
2857 1.4.2.3 pgoyette
2858 1.4.2.4 pgoyette (*instr->emul)(&mem, __callbacks.mem, state->gprs);
2859 1.4.2.3 pgoyette
2860 1.4.2.4 pgoyette if (!mem.write) {
2861 1.4.2.4 pgoyette if (instr->dst.type != STORE_REG) {
2862 1.4.2.3 pgoyette DISASSEMBLER_BUG();
2863 1.4.2.3 pgoyette }
2864 1.4.2.4 pgoyette memcpy(&val, mem.data, sizeof(uint64_t));
2865 1.4.2.4 pgoyette val = __SHIFTIN(val, instr->dst.u.reg->mask);
2866 1.4.2.4 pgoyette state->gprs[instr->dst.u.reg->num] &= ~instr->dst.u.reg->mask;
2867 1.4.2.4 pgoyette state->gprs[instr->dst.u.reg->num] |= val;
2868 1.4.2.4 pgoyette state->gprs[instr->dst.u.reg->num] &= ~instr->zeroextend_mask;
2869 1.4.2.4 pgoyette }
2870 1.4.2.3 pgoyette
2871 1.4.2.4 pgoyette return 0;
2872 1.4.2.4 pgoyette }
2873 1.4.2.4 pgoyette
2874 1.4.2.4 pgoyette int
2875 1.4.2.4 pgoyette nvmm_assist_mem(struct nvmm_machine *mach, nvmm_cpuid_t cpuid,
2876 1.4.2.4 pgoyette struct nvmm_exit *exit)
2877 1.4.2.4 pgoyette {
2878 1.4.2.4 pgoyette struct nvmm_x64_state state;
2879 1.4.2.4 pgoyette struct x86_instr instr;
2880 1.4.2.4 pgoyette uint64_t cnt = 0; /* GCC */
2881 1.4.2.4 pgoyette int ret;
2882 1.4.2.4 pgoyette
2883 1.4.2.4 pgoyette if (__predict_false(exit->reason != NVMM_EXIT_MEMORY)) {
2884 1.4.2.4 pgoyette errno = EINVAL;
2885 1.4.2.4 pgoyette return -1;
2886 1.4.2.4 pgoyette }
2887 1.4.2.4 pgoyette
2888 1.4.2.4 pgoyette ret = nvmm_vcpu_getstate(mach, cpuid, &state,
2889 1.4.2.4 pgoyette NVMM_X64_STATE_GPRS | NVMM_X64_STATE_SEGS |
2890 1.4.2.4 pgoyette NVMM_X64_STATE_CRS | NVMM_X64_STATE_MSRS);
2891 1.4.2.4 pgoyette if (ret == -1)
2892 1.4.2.4 pgoyette return -1;
2893 1.4.2.4 pgoyette
2894 1.4.2.4 pgoyette if (exit->u.mem.inst_len == 0) {
2895 1.4.2.4 pgoyette /*
2896 1.4.2.4 pgoyette * The instruction was not fetched from the kernel. Fetch
2897 1.4.2.4 pgoyette * it ourselves.
2898 1.4.2.4 pgoyette */
2899 1.4.2.4 pgoyette ret = fetch_instruction(mach, &state, exit);
2900 1.4.2.3 pgoyette if (ret == -1)
2901 1.4.2.3 pgoyette return -1;
2902 1.4.2.4 pgoyette }
2903 1.4.2.3 pgoyette
2904 1.4.2.4 pgoyette ret = x86_decode(exit->u.mem.inst_bytes, exit->u.mem.inst_len,
2905 1.4.2.4 pgoyette &instr, &state);
2906 1.4.2.4 pgoyette if (ret == -1) {
2907 1.4.2.4 pgoyette errno = ENODEV;
2908 1.4.2.3 pgoyette return -1;
2909 1.4.2.3 pgoyette }
2910 1.4.2.3 pgoyette
2911 1.4.2.4 pgoyette if (instr.legpref.rep || instr.legpref.repn) {
2912 1.4.2.4 pgoyette cnt = rep_get_cnt(&state, instr.address_size);
2913 1.4.2.4 pgoyette if (__predict_false(cnt == 0)) {
2914 1.4.2.4 pgoyette state.gprs[NVMM_X64_GPR_RIP] += instr.len;
2915 1.4.2.4 pgoyette goto out;
2916 1.4.2.4 pgoyette }
2917 1.4.2.4 pgoyette }
2918 1.4.2.3 pgoyette
2919 1.4.2.4 pgoyette if (instr.opcode->movs) {
2920 1.4.2.4 pgoyette ret = assist_mem_double(mach, &state, &instr);
2921 1.4.2.4 pgoyette } else {
2922 1.4.2.4 pgoyette ret = assist_mem_single(mach, &state, &instr, exit);
2923 1.4.2.4 pgoyette }
2924 1.4.2.4 pgoyette if (ret == -1) {
2925 1.4.2.4 pgoyette errno = ENODEV;
2926 1.4.2.4 pgoyette return -1;
2927 1.4.2.3 pgoyette }
2928 1.4.2.3 pgoyette
2929 1.4.2.4 pgoyette if (instr.legpref.rep || instr.legpref.repn) {
2930 1.4.2.4 pgoyette cnt -= 1;
2931 1.4.2.4 pgoyette rep_set_cnt(&state, instr.address_size, cnt);
2932 1.4.2.4 pgoyette if (cnt == 0) {
2933 1.4.2.3 pgoyette state.gprs[NVMM_X64_GPR_RIP] += instr.len;
2934 1.4.2.4 pgoyette } else if (__predict_false(instr.legpref.repn)) {
2935 1.4.2.4 pgoyette if (state.gprs[NVMM_X64_GPR_RFLAGS] & PSL_Z) {
2936 1.4.2.4 pgoyette state.gprs[NVMM_X64_GPR_RIP] += instr.len;
2937 1.4.2.4 pgoyette }
2938 1.4.2.3 pgoyette }
2939 1.4.2.3 pgoyette } else {
2940 1.4.2.3 pgoyette state.gprs[NVMM_X64_GPR_RIP] += instr.len;
2941 1.4.2.3 pgoyette }
2942 1.4.2.3 pgoyette
2943 1.4.2.4 pgoyette out:
2944 1.4.2.3 pgoyette ret = nvmm_vcpu_setstate(mach, cpuid, &state, NVMM_X64_STATE_GPRS);
2945 1.4.2.3 pgoyette if (ret == -1)
2946 1.4.2.3 pgoyette return -1;
2947 1.4.2.3 pgoyette
2948 1.4.2.3 pgoyette return 0;
2949 1.4.2.2 pgoyette }
2950