Greg Kroah-Hartman | b244131 | 2017-11-01 15:07:57 +0100 | [diff] [blame] | 1 | /* SPDX-License-Identifier: GPL-2.0 */ |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 2 | /****************************************************************************** |
| 3 | * x86_emulate.h |
| 4 | * |
| 5 | * Generic x86 (32-bit and 64-bit) instruction decoder and emulator. |
| 6 | * |
| 7 | * Copyright (c) 2005 Keir Fraser |
| 8 | * |
| 9 | * From: xen-unstable 10676:af9809f51f81a3c43f276f00c81a52ef558afda4 |
| 10 | */ |
| 11 | |
H. Peter Anvin | 1965aae | 2008-10-22 22:26:29 -0700 | [diff] [blame] | 12 | #ifndef _ASM_X86_KVM_X86_EMULATE_H |
| 13 | #define _ASM_X86_KVM_X86_EMULATE_H |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 14 | |
Gleb Natapov | 38ba30b | 2010-03-18 15:20:17 +0200 | [diff] [blame] | 15 | #include <asm/desc_defs.h> |
| 16 | |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 17 | struct x86_emulate_ctxt; |
Avi Kivity | c4f035c | 2011-04-04 12:39:22 +0200 | [diff] [blame] | 18 | enum x86_intercept; |
| 19 | enum x86_intercept_stage; |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 20 | |
Avi Kivity | da9cb57 | 2010-11-22 17:53:21 +0200 | [diff] [blame] | 21 | struct x86_exception { |
| 22 | u8 vector; |
| 23 | bool error_code_valid; |
| 24 | u16 error_code; |
Avi Kivity | 6389ee9 | 2010-11-29 16:12:30 +0200 | [diff] [blame] | 25 | bool nested_page_fault; |
| 26 | u64 address; /* cr2 or nested page fault gpa */ |
Wanpeng Li | adfe20f | 2017-07-13 18:30:41 -0700 | [diff] [blame] | 27 | u8 async_page_fault; |
Avi Kivity | da9cb57 | 2010-11-22 17:53:21 +0200 | [diff] [blame] | 28 | }; |
| 29 | |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 30 | /* |
Joerg Roedel | 8a76d7f | 2011-04-04 12:39:27 +0200 | [diff] [blame] | 31 | * This struct is used to carry enough information from the instruction |
| 32 | * decoder to main KVM so that a decision can be made whether the |
| 33 | * instruction needs to be intercepted or not. |
| 34 | */ |
| 35 | struct x86_instruction_info { |
| 36 | u8 intercept; /* which intercept */ |
| 37 | u8 rep_prefix; /* rep prefix? */ |
| 38 | u8 modrm_mod; /* mod part of modrm */ |
| 39 | u8 modrm_reg; /* index of register used */ |
| 40 | u8 modrm_rm; /* rm part of modrm */ |
| 41 | u64 src_val; /* value of source operand */ |
Jan Kiszka | 6cbc5f5 | 2014-06-30 12:52:55 +0200 | [diff] [blame] | 42 | u64 dst_val; /* value of destination operand */ |
Joerg Roedel | 8a76d7f | 2011-04-04 12:39:27 +0200 | [diff] [blame] | 43 | u8 src_bytes; /* size of source operand */ |
| 44 | u8 dst_bytes; /* size of destination operand */ |
| 45 | u8 ad_bytes; /* size of src/dst address */ |
| 46 | u64 next_rip; /* rip following the instruction */ |
| 47 | }; |
| 48 | |
| 49 | /* |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 50 | * x86_emulate_ops: |
| 51 | * |
| 52 | * These operations represent the instruction emulator's interface to memory. |
| 53 | * There are two categories of operation: those that act on ordinary memory |
| 54 | * regions (*_std), and those that act on memory regions known to require |
| 55 | * special treatment or emulation (*_emulated). |
| 56 | * |
| 57 | * The emulator assumes that an instruction accesses only one 'emulated memory' |
| 58 | * location, that this location is the given linear faulting address (cr2), and |
| 59 | * that this is one of the instruction's data operands. Instruction fetches and |
| 60 | * stack operations are assumed never to access emulated memory. The emulator |
| 61 | * automatically deduces which operand of a string-move operation is accessing |
| 62 | * emulated memory, and assumes that the other operand accesses normal memory. |
| 63 | * |
| 64 | * NOTES: |
| 65 | * 1. The emulator isn't very smart about emulated vs. standard memory. |
| 66 | * 'Emulated memory' access addresses should be checked for sanity. |
| 67 | * 'Normal memory' accesses may fault, and the caller must arrange to |
| 68 | * detect and handle reentrancy into the emulator via recursive faults. |
| 69 | * Accesses may be unaligned and may cross page boundaries. |
| 70 | * 2. If the access fails (cannot emulate, or a standard access faults) then |
| 71 | * it is up to the memop to propagate the fault to the guest VM via |
| 72 | * some out-of-band mechanism, unknown to the emulator. The memop signals |
| 73 | * failure by returning X86EMUL_PROPAGATE_FAULT to the emulator, which will |
| 74 | * then immediately bail. |
| 75 | * 3. Valid access sizes are 1, 2, 4 and 8 bytes. On x86/32 systems only |
| 76 | * cmpxchg8b_emulated need support 8-byte accesses. |
| 77 | * 4. The emulator cannot handle 64-bit mode emulation on an x86/32 system. |
| 78 | */ |
| 79 | /* Access completed successfully: continue emulation as normal. */ |
| 80 | #define X86EMUL_CONTINUE 0 |
| 81 | /* Access is unhandleable: bail from emulation and return error to caller. */ |
| 82 | #define X86EMUL_UNHANDLEABLE 1 |
| 83 | /* Terminate emulation but return success to the caller. */ |
| 84 | #define X86EMUL_PROPAGATE_FAULT 2 /* propagate a generated fault to guest */ |
Gleb Natapov | e680080 | 2010-04-28 19:15:33 +0300 | [diff] [blame] | 85 | #define X86EMUL_RETRY_INSTR 3 /* retry the instruction for some reason */ |
| 86 | #define X86EMUL_CMPXCHG_FAILED 4 /* cmpxchg did not see expected value */ |
Gleb Natapov | c3cd7ff | 2010-04-28 19:15:35 +0300 | [diff] [blame] | 87 | #define X86EMUL_IO_NEEDED 5 /* IO is needed to complete emulation */ |
Avi Kivity | c4f035c | 2011-04-04 12:39:22 +0200 | [diff] [blame] | 88 | #define X86EMUL_INTERCEPTED 6 /* Intercepted by nested VMCB/VMCS */ |
Gleb Natapov | e680080 | 2010-04-28 19:15:33 +0300 | [diff] [blame] | 89 | |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 90 | struct x86_emulate_ops { |
| 91 | /* |
Avi Kivity | dd856ef | 2012-08-27 23:46:17 +0300 | [diff] [blame] | 92 | * read_gpr: read a general purpose register (rax - r15) |
| 93 | * |
| 94 | * @reg: gpr number. |
| 95 | */ |
| 96 | ulong (*read_gpr)(struct x86_emulate_ctxt *ctxt, unsigned reg); |
| 97 | /* |
| 98 | * write_gpr: write a general purpose register (rax - r15) |
| 99 | * |
| 100 | * @reg: gpr number. |
| 101 | * @val: value to write. |
| 102 | */ |
| 103 | void (*write_gpr)(struct x86_emulate_ctxt *ctxt, unsigned reg, ulong val); |
| 104 | /* |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 105 | * read_std: Read bytes of standard (non-emulated/special) memory. |
Gleb Natapov | 1871c60 | 2010-02-10 14:21:32 +0200 | [diff] [blame] | 106 | * Used for descriptor reading. |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 107 | * @addr: [IN ] Linear address from which to read. |
| 108 | * @val: [OUT] Value read from memory, zero-extended to 'u_long'. |
| 109 | * @bytes: [IN ] Number of bytes to read from memory. |
Paolo Bonzini | 3c9fa24 | 2018-06-06 17:38:09 +0200 | [diff] [blame] | 110 | * @system:[IN ] Whether the access is forced to be at CPL0. |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 111 | */ |
Avi Kivity | 0f65dd7 | 2011-04-20 13:37:53 +0300 | [diff] [blame] | 112 | int (*read_std)(struct x86_emulate_ctxt *ctxt, |
| 113 | unsigned long addr, void *val, |
| 114 | unsigned int bytes, |
Paolo Bonzini | 3c9fa24 | 2018-06-06 17:38:09 +0200 | [diff] [blame] | 115 | struct x86_exception *fault, bool system); |
Gleb Natapov | 1871c60 | 2010-02-10 14:21:32 +0200 | [diff] [blame] | 116 | |
| 117 | /* |
Radim Krčmář | 7a036a6 | 2015-10-30 16:36:24 +0100 | [diff] [blame] | 118 | * read_phys: Read bytes of standard (non-emulated/special) memory. |
| 119 | * Used for descriptor reading. |
| 120 | * @addr: [IN ] Physical address from which to read. |
| 121 | * @val: [OUT] Value read from memory. |
| 122 | * @bytes: [IN ] Number of bytes to read from memory. |
| 123 | */ |
| 124 | int (*read_phys)(struct x86_emulate_ctxt *ctxt, unsigned long addr, |
| 125 | void *val, unsigned int bytes); |
| 126 | |
| 127 | /* |
Gleb Natapov | 2dafc6c | 2010-03-18 15:20:16 +0200 | [diff] [blame] | 128 | * write_std: Write bytes of standard (non-emulated/special) memory. |
| 129 | * Used for descriptor writing. |
| 130 | * @addr: [IN ] Linear address to which to write. |
| 131 | * @val: [OUT] Value write to memory, zero-extended to 'u_long'. |
| 132 | * @bytes: [IN ] Number of bytes to write to memory. |
Paolo Bonzini | 3c9fa24 | 2018-06-06 17:38:09 +0200 | [diff] [blame] | 133 | * @system:[IN ] Whether the access is forced to be at CPL0. |
Gleb Natapov | 2dafc6c | 2010-03-18 15:20:16 +0200 | [diff] [blame] | 134 | */ |
Avi Kivity | 0f65dd7 | 2011-04-20 13:37:53 +0300 | [diff] [blame] | 135 | int (*write_std)(struct x86_emulate_ctxt *ctxt, |
| 136 | unsigned long addr, void *val, unsigned int bytes, |
Paolo Bonzini | 3c9fa24 | 2018-06-06 17:38:09 +0200 | [diff] [blame] | 137 | struct x86_exception *fault, bool system); |
Gleb Natapov | 2dafc6c | 2010-03-18 15:20:16 +0200 | [diff] [blame] | 138 | /* |
Gleb Natapov | 1871c60 | 2010-02-10 14:21:32 +0200 | [diff] [blame] | 139 | * fetch: Read bytes of standard (non-emulated/special) memory. |
| 140 | * Used for instruction fetch. |
| 141 | * @addr: [IN ] Linear address from which to read. |
| 142 | * @val: [OUT] Value read from memory, zero-extended to 'u_long'. |
| 143 | * @bytes: [IN ] Number of bytes to read from memory. |
| 144 | */ |
Avi Kivity | 0f65dd7 | 2011-04-20 13:37:53 +0300 | [diff] [blame] | 145 | int (*fetch)(struct x86_emulate_ctxt *ctxt, |
| 146 | unsigned long addr, void *val, unsigned int bytes, |
Avi Kivity | bcc55cb | 2010-11-22 17:53:22 +0200 | [diff] [blame] | 147 | struct x86_exception *fault); |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 148 | |
| 149 | /* |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 150 | * read_emulated: Read bytes from emulated/special memory area. |
| 151 | * @addr: [IN ] Linear address from which to read. |
| 152 | * @val: [OUT] Value read from memory, zero-extended to 'u_long'. |
| 153 | * @bytes: [IN ] Number of bytes to read from memory. |
| 154 | */ |
Avi Kivity | 0f65dd7 | 2011-04-20 13:37:53 +0300 | [diff] [blame] | 155 | int (*read_emulated)(struct x86_emulate_ctxt *ctxt, |
| 156 | unsigned long addr, void *val, unsigned int bytes, |
| 157 | struct x86_exception *fault); |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 158 | |
| 159 | /* |
Takuya Yoshikawa | 0d17897 | 2010-01-06 17:55:23 +0900 | [diff] [blame] | 160 | * write_emulated: Write bytes to emulated/special memory area. |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 161 | * @addr: [IN ] Linear address to which to write. |
| 162 | * @val: [IN ] Value to write to memory (low-order bytes used as |
| 163 | * required). |
| 164 | * @bytes: [IN ] Number of bytes to write to memory. |
| 165 | */ |
Avi Kivity | 0f65dd7 | 2011-04-20 13:37:53 +0300 | [diff] [blame] | 166 | int (*write_emulated)(struct x86_emulate_ctxt *ctxt, |
| 167 | unsigned long addr, const void *val, |
Joe Perches | 0c7825e | 2008-03-23 01:02:35 -0700 | [diff] [blame] | 168 | unsigned int bytes, |
Avi Kivity | 0f65dd7 | 2011-04-20 13:37:53 +0300 | [diff] [blame] | 169 | struct x86_exception *fault); |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 170 | |
| 171 | /* |
| 172 | * cmpxchg_emulated: Emulate an atomic (LOCKed) CMPXCHG operation on an |
| 173 | * emulated/special memory area. |
| 174 | * @addr: [IN ] Linear address to access. |
| 175 | * @old: [IN ] Value expected to be current at @addr. |
| 176 | * @new: [IN ] Value to write to @addr. |
| 177 | * @bytes: [IN ] Number of bytes to access using CMPXCHG. |
| 178 | */ |
Avi Kivity | 0f65dd7 | 2011-04-20 13:37:53 +0300 | [diff] [blame] | 179 | int (*cmpxchg_emulated)(struct x86_emulate_ctxt *ctxt, |
| 180 | unsigned long addr, |
Joe Perches | 0c7825e | 2008-03-23 01:02:35 -0700 | [diff] [blame] | 181 | const void *old, |
| 182 | const void *new, |
| 183 | unsigned int bytes, |
Avi Kivity | 0f65dd7 | 2011-04-20 13:37:53 +0300 | [diff] [blame] | 184 | struct x86_exception *fault); |
Avi Kivity | 3cb16fe | 2011-04-20 15:38:44 +0300 | [diff] [blame] | 185 | void (*invlpg)(struct x86_emulate_ctxt *ctxt, ulong addr); |
Gleb Natapov | cf8f70b | 2010-03-18 15:20:23 +0200 | [diff] [blame] | 186 | |
Avi Kivity | ca1d4a9 | 2011-04-20 13:37:53 +0300 | [diff] [blame] | 187 | int (*pio_in_emulated)(struct x86_emulate_ctxt *ctxt, |
| 188 | int size, unsigned short port, void *val, |
| 189 | unsigned int count); |
Gleb Natapov | cf8f70b | 2010-03-18 15:20:23 +0200 | [diff] [blame] | 190 | |
Avi Kivity | ca1d4a9 | 2011-04-20 13:37:53 +0300 | [diff] [blame] | 191 | int (*pio_out_emulated)(struct x86_emulate_ctxt *ctxt, |
| 192 | int size, unsigned short port, const void *val, |
| 193 | unsigned int count); |
Gleb Natapov | cf8f70b | 2010-03-18 15:20:23 +0200 | [diff] [blame] | 194 | |
Avi Kivity | 1aa3661 | 2011-04-27 13:20:30 +0300 | [diff] [blame] | 195 | bool (*get_segment)(struct x86_emulate_ctxt *ctxt, u16 *selector, |
| 196 | struct desc_struct *desc, u32 *base3, int seg); |
| 197 | void (*set_segment)(struct x86_emulate_ctxt *ctxt, u16 selector, |
| 198 | struct desc_struct *desc, u32 base3, int seg); |
Avi Kivity | 4bff1e86 | 2011-04-20 13:37:53 +0300 | [diff] [blame] | 199 | unsigned long (*get_cached_segment_base)(struct x86_emulate_ctxt *ctxt, |
| 200 | int seg); |
| 201 | void (*get_gdt)(struct x86_emulate_ctxt *ctxt, struct desc_ptr *dt); |
| 202 | void (*get_idt)(struct x86_emulate_ctxt *ctxt, struct desc_ptr *dt); |
Avi Kivity | 1ac9d0c | 2011-04-20 15:12:00 +0300 | [diff] [blame] | 203 | void (*set_gdt)(struct x86_emulate_ctxt *ctxt, struct desc_ptr *dt); |
| 204 | void (*set_idt)(struct x86_emulate_ctxt *ctxt, struct desc_ptr *dt); |
Avi Kivity | 717746e | 2011-04-20 13:37:53 +0300 | [diff] [blame] | 205 | ulong (*get_cr)(struct x86_emulate_ctxt *ctxt, int cr); |
| 206 | int (*set_cr)(struct x86_emulate_ctxt *ctxt, int cr, ulong val); |
| 207 | int (*cpl)(struct x86_emulate_ctxt *ctxt); |
| 208 | int (*get_dr)(struct x86_emulate_ctxt *ctxt, int dr, ulong *dest); |
| 209 | int (*set_dr)(struct x86_emulate_ctxt *ctxt, int dr, ulong value); |
Paolo Bonzini | 64d6067 | 2015-05-07 11:36:11 +0200 | [diff] [blame] | 210 | u64 (*get_smbase)(struct x86_emulate_ctxt *ctxt); |
| 211 | void (*set_smbase)(struct x86_emulate_ctxt *ctxt, u64 smbase); |
Avi Kivity | 717746e | 2011-04-20 13:37:53 +0300 | [diff] [blame] | 212 | int (*set_msr)(struct x86_emulate_ctxt *ctxt, u32 msr_index, u64 data); |
| 213 | int (*get_msr)(struct x86_emulate_ctxt *ctxt, u32 msr_index, u64 *pdata); |
Nadav Amit | 67f4d42 | 2014-06-02 18:34:09 +0300 | [diff] [blame] | 214 | int (*check_pmc)(struct x86_emulate_ctxt *ctxt, u32 pmc); |
Avi Kivity | 222d21a | 2011-11-10 14:57:30 +0200 | [diff] [blame] | 215 | int (*read_pmc)(struct x86_emulate_ctxt *ctxt, u32 pmc, u64 *pdata); |
Avi Kivity | 6c3287f | 2011-04-20 15:43:05 +0300 | [diff] [blame] | 216 | void (*halt)(struct x86_emulate_ctxt *ctxt); |
Avi Kivity | bcaf5cc | 2011-04-20 15:53:23 +0300 | [diff] [blame] | 217 | void (*wbinvd)(struct x86_emulate_ctxt *ctxt); |
Avi Kivity | d6aa100 | 2011-04-20 15:47:13 +0300 | [diff] [blame] | 218 | int (*fix_hypercall)(struct x86_emulate_ctxt *ctxt); |
Avi Kivity | 2953538 | 2011-04-20 13:37:53 +0300 | [diff] [blame] | 219 | int (*intercept)(struct x86_emulate_ctxt *ctxt, |
Joerg Roedel | 8a76d7f | 2011-04-04 12:39:27 +0200 | [diff] [blame] | 220 | struct x86_instruction_info *info, |
Avi Kivity | c4f035c | 2011-04-04 12:39:22 +0200 | [diff] [blame] | 221 | enum x86_intercept_stage stage); |
Stephan Bärwolf | bdb42f5 | 2012-01-12 16:43:03 +0100 | [diff] [blame] | 222 | |
Yu Zhang | e911eb3 | 2017-08-24 20:27:52 +0800 | [diff] [blame] | 223 | bool (*get_cpuid)(struct x86_emulate_ctxt *ctxt, u32 *eax, u32 *ebx, |
Sean Christopherson | f91af51 | 2020-03-04 17:34:37 -0800 | [diff] [blame] | 224 | u32 *ecx, u32 *edx, bool exact_only); |
Sean Christopherson | 5ae78e9 | 2019-12-17 13:32:38 -0800 | [diff] [blame] | 225 | bool (*guest_has_long_mode)(struct x86_emulate_ctxt *ctxt); |
| 226 | bool (*guest_has_movbe)(struct x86_emulate_ctxt *ctxt); |
| 227 | bool (*guest_has_fxsr)(struct x86_emulate_ctxt *ctxt); |
Hou Wenlong | a24479c | 2022-03-02 21:15:14 +0800 | [diff] [blame] | 228 | bool (*guest_has_rdpid)(struct x86_emulate_ctxt *ctxt); |
Sean Christopherson | 5ae78e9 | 2019-12-17 13:32:38 -0800 | [diff] [blame] | 229 | |
Nadav Amit | 801806d | 2015-01-26 09:32:23 +0200 | [diff] [blame] | 230 | void (*set_nmi_mask)(struct x86_emulate_ctxt *ctxt, bool masked); |
Ladi Prosek | 6ed071f | 2017-04-25 16:42:44 +0200 | [diff] [blame] | 231 | |
| 232 | unsigned (*get_hflags)(struct x86_emulate_ctxt *ctxt); |
| 233 | void (*set_hflags)(struct x86_emulate_ctxt *ctxt, unsigned hflags); |
Sean Christopherson | ed19321 | 2019-04-02 08:03:09 -0700 | [diff] [blame] | 234 | int (*pre_leave_smm)(struct x86_emulate_ctxt *ctxt, |
| 235 | const char *smstate); |
Sean Christopherson | c5833c7 | 2019-04-02 08:03:10 -0700 | [diff] [blame] | 236 | void (*post_leave_smm)(struct x86_emulate_ctxt *ctxt); |
Vitaly Kuznetsov | 02d4160 | 2019-08-13 15:53:32 +0200 | [diff] [blame] | 237 | int (*set_xcr)(struct x86_emulate_ctxt *ctxt, u32 index, u64 xcr); |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 238 | }; |
| 239 | |
Avi Kivity | 1253791d | 2011-03-29 11:41:27 +0200 | [diff] [blame] | 240 | typedef u32 __attribute__((vector_size(16))) sse128_t; |
| 241 | |
Laurent Vivier | e4e03de | 2007-09-18 11:52:50 +0200 | [diff] [blame] | 242 | /* Type, address-of, and value of an instruction's operand. */ |
| 243 | struct operand { |
Gleb Natapov | b3356bf | 2012-09-03 15:24:29 +0300 | [diff] [blame] | 244 | enum { OP_REG, OP_MEM, OP_MEM_STR, OP_IMM, OP_XMM, OP_MM, OP_NONE } type; |
Laurent Vivier | e4e03de | 2007-09-18 11:52:50 +0200 | [diff] [blame] | 245 | unsigned int bytes; |
Gleb Natapov | b3356bf | 2012-09-03 15:24:29 +0300 | [diff] [blame] | 246 | unsigned int count; |
Avi Kivity | 16518d5 | 2010-08-26 14:31:30 +0300 | [diff] [blame] | 247 | union { |
| 248 | unsigned long orig_val; |
| 249 | u64 orig_val64; |
| 250 | }; |
Avi Kivity | 1a6440aef | 2010-08-01 12:35:10 +0300 | [diff] [blame] | 251 | union { |
| 252 | unsigned long *reg; |
Avi Kivity | 90de84f | 2010-11-17 15:28:21 +0200 | [diff] [blame] | 253 | struct segmented_address { |
| 254 | ulong ea; |
| 255 | unsigned seg; |
| 256 | } mem; |
Avi Kivity | 1253791d | 2011-03-29 11:41:27 +0200 | [diff] [blame] | 257 | unsigned xmm; |
Avi Kivity | cbe2c9d | 2012-04-09 18:40:02 +0300 | [diff] [blame] | 258 | unsigned mm; |
Avi Kivity | 1a6440aef | 2010-08-01 12:35:10 +0300 | [diff] [blame] | 259 | } addr; |
Gleb Natapov | 414e627 | 2010-04-28 19:15:26 +0300 | [diff] [blame] | 260 | union { |
| 261 | unsigned long val; |
Avi Kivity | 16518d5 | 2010-08-26 14:31:30 +0300 | [diff] [blame] | 262 | u64 val64; |
Paolo Bonzini | 54cfdb3 | 2014-03-27 11:36:25 +0100 | [diff] [blame] | 263 | char valptr[sizeof(sse128_t)]; |
Avi Kivity | 1253791d | 2011-03-29 11:41:27 +0200 | [diff] [blame] | 264 | sse128_t vec_val; |
Avi Kivity | cbe2c9d | 2012-04-09 18:40:02 +0300 | [diff] [blame] | 265 | u64 mm_val; |
Gleb Natapov | b3356bf | 2012-09-03 15:24:29 +0300 | [diff] [blame] | 266 | void *data; |
Gleb Natapov | 414e627 | 2010-04-28 19:15:26 +0300 | [diff] [blame] | 267 | }; |
Laurent Vivier | e4e03de | 2007-09-18 11:52:50 +0200 | [diff] [blame] | 268 | }; |
| 269 | |
Avi Kivity | 6226686 | 2007-11-20 13:15:52 +0200 | [diff] [blame] | 270 | struct fetch_cache { |
| 271 | u8 data[15]; |
Paolo Bonzini | 17052f1 | 2014-05-06 16:33:01 +0200 | [diff] [blame] | 272 | u8 *ptr; |
| 273 | u8 *end; |
Avi Kivity | 6226686 | 2007-11-20 13:15:52 +0200 | [diff] [blame] | 274 | }; |
| 275 | |
Gleb Natapov | 7b262e9 | 2010-03-18 15:20:27 +0200 | [diff] [blame] | 276 | struct read_cache { |
| 277 | u8 data[1024]; |
| 278 | unsigned long pos; |
| 279 | unsigned long end; |
| 280 | }; |
| 281 | |
Gleb Natapov | 9d1b39a | 2012-09-03 15:24:27 +0300 | [diff] [blame] | 282 | /* Execution mode, passed to the emulator. */ |
| 283 | enum x86emul_mode { |
| 284 | X86EMUL_MODE_REAL, /* Real mode. */ |
| 285 | X86EMUL_MODE_VM86, /* Virtual 8086 mode. */ |
| 286 | X86EMUL_MODE_PROT16, /* 16-bit protected mode. */ |
| 287 | X86EMUL_MODE_PROT32, /* 32-bit protected mode. */ |
| 288 | X86EMUL_MODE_PROT64, /* 64-bit (long) mode. */ |
| 289 | }; |
| 290 | |
Paolo Bonzini | a584539 | 2015-04-01 18:18:53 +0200 | [diff] [blame] | 291 | /* These match some of the HF_* flags defined in kvm_host.h */ |
| 292 | #define X86EMUL_GUEST_MASK (1 << 5) /* VCPU is in guest-mode */ |
Paolo Bonzini | 64d6067 | 2015-05-07 11:36:11 +0200 | [diff] [blame] | 293 | #define X86EMUL_SMM_MASK (1 << 6) |
| 294 | #define X86EMUL_SMM_INSIDE_NMI_MASK (1 << 7) |
Paolo Bonzini | a584539 | 2015-04-01 18:18:53 +0200 | [diff] [blame] | 295 | |
Qian Cai | b78a855 | 2020-02-17 11:48:26 -0500 | [diff] [blame] | 296 | /* |
| 297 | * fastop functions are declared as taking a never-defined fastop parameter, |
| 298 | * so they can't be called from C directly. |
| 299 | */ |
| 300 | struct fastop; |
| 301 | |
| 302 | typedef void (*fastop_t)(struct fastop *); |
| 303 | |
Avi Kivity | 9dac77f | 2011-06-01 15:34:25 +0300 | [diff] [blame] | 304 | struct x86_emulate_ctxt { |
Sean Christopherson | c9b8b07 | 2020-02-18 15:29:48 -0800 | [diff] [blame] | 305 | void *vcpu; |
Mathias Krause | 0225fb5 | 2012-08-30 01:30:16 +0200 | [diff] [blame] | 306 | const struct x86_emulate_ops *ops; |
Avi Kivity | 9dac77f | 2011-06-01 15:34:25 +0300 | [diff] [blame] | 307 | |
| 308 | /* Register state before/after emulation. */ |
| 309 | unsigned long eflags; |
| 310 | unsigned long eip; /* eip before instruction emulation */ |
| 311 | /* Emulated execution mode, represented by an X86EMUL_MODE value. */ |
Gleb Natapov | 9d1b39a | 2012-09-03 15:24:27 +0300 | [diff] [blame] | 312 | enum x86emul_mode mode; |
Avi Kivity | 9dac77f | 2011-06-01 15:34:25 +0300 | [diff] [blame] | 313 | |
| 314 | /* interruptibility state, as a result of execution of STI or MOV SS */ |
| 315 | int interruptibility; |
| 316 | |
Avi Kivity | 9dac77f | 2011-06-01 15:34:25 +0300 | [diff] [blame] | 317 | bool perm_ok; /* do not check permissions if true */ |
Borislav Petkov | b51e974 | 2013-09-22 16:44:52 +0200 | [diff] [blame] | 318 | bool ud; /* inject an #UD if host doesn't support insn */ |
Paolo Bonzini | c8401dd | 2017-06-07 15:13:14 +0200 | [diff] [blame] | 319 | bool tf; /* TF value before instruction (after for syscall/sysret) */ |
Avi Kivity | 9dac77f | 2011-06-01 15:34:25 +0300 | [diff] [blame] | 320 | |
| 321 | bool have_exception; |
| 322 | struct x86_exception exception; |
| 323 | |
Sean Christopherson | 744e699 | 2020-02-18 15:03:09 -0800 | [diff] [blame] | 324 | /* GPA available */ |
| 325 | bool gpa_available; |
| 326 | gpa_t gpa_val; |
| 327 | |
Borislav Petkov | 1ce19dc | 2013-09-22 16:44:51 +0200 | [diff] [blame] | 328 | /* |
| 329 | * decode cache |
| 330 | */ |
| 331 | |
| 332 | /* current opcode length in bytes */ |
| 333 | u8 opcode_len; |
Laurent Vivier | e4e03de | 2007-09-18 11:52:50 +0200 | [diff] [blame] | 334 | u8 b; |
Avi Kivity | c4f035c | 2011-04-04 12:39:22 +0200 | [diff] [blame] | 335 | u8 intercept; |
Laurent Vivier | e4e03de | 2007-09-18 11:52:50 +0200 | [diff] [blame] | 336 | u8 op_bytes; |
| 337 | u8 ad_bytes; |
Qian Cai | b78a855 | 2020-02-17 11:48:26 -0500 | [diff] [blame] | 338 | union { |
| 339 | int (*execute)(struct x86_emulate_ctxt *ctxt); |
| 340 | fastop_t fop; |
| 341 | }; |
Joerg Roedel | d09beab | 2011-04-04 12:39:25 +0200 | [diff] [blame] | 342 | int (*check_perm)(struct x86_emulate_ctxt *ctxt); |
Bandan Das | 41061cd | 2014-04-16 12:46:14 -0400 | [diff] [blame] | 343 | /* |
| 344 | * The following six fields are cleared together, |
| 345 | * the rest are initialized unconditionally in x86_decode_insn |
| 346 | * or elsewhere |
| 347 | */ |
Bandan Das | c44b4c6 | 2014-04-16 12:46:12 -0400 | [diff] [blame] | 348 | bool rip_relative; |
| 349 | u8 rex_prefix; |
| 350 | u8 lock_prefix; |
| 351 | u8 rep_prefix; |
Bandan Das | c44b4c6 | 2014-04-16 12:46:12 -0400 | [diff] [blame] | 352 | /* bitmaps of registers in _regs[] that can be read */ |
| 353 | u32 regs_valid; |
| 354 | /* bitmaps of registers in _regs[] that have been written */ |
| 355 | u32 regs_dirty; |
Laurent Vivier | e4e03de | 2007-09-18 11:52:50 +0200 | [diff] [blame] | 356 | /* modrm */ |
| 357 | u8 modrm; |
| 358 | u8 modrm_mod; |
| 359 | u8 modrm_reg; |
| 360 | u8 modrm_rm; |
Avi Kivity | 09ee57c | 2010-08-01 12:07:29 +0300 | [diff] [blame] | 361 | u8 modrm_seg; |
Bandan Das | 573e80f | 2014-04-16 12:46:13 -0400 | [diff] [blame] | 362 | u8 seg_override; |
Bandan Das | c44b4c6 | 2014-04-16 12:46:12 -0400 | [diff] [blame] | 363 | u64 d; |
Avi Kivity | 36dd9bb | 2011-06-01 15:34:24 +0300 | [diff] [blame] | 364 | unsigned long _eip; |
Sean Christopherson | 06add25 | 2020-02-18 15:29:50 -0800 | [diff] [blame] | 365 | |
| 366 | /* Here begins the usercopy section. */ |
| 367 | struct operand src; |
| 368 | struct operand src2; |
| 369 | struct operand dst; |
Avi Kivity | cbd27ee | 2012-06-10 17:11:00 +0300 | [diff] [blame] | 370 | struct operand memop; |
Avi Kivity | dd856ef | 2012-08-27 23:46:17 +0300 | [diff] [blame] | 371 | unsigned long _regs[NR_VCPU_REGS]; |
Avi Kivity | f09ed83 | 2011-09-13 10:45:40 +0300 | [diff] [blame] | 372 | struct operand *memopp; |
Avi Kivity | 6226686 | 2007-11-20 13:15:52 +0200 | [diff] [blame] | 373 | struct fetch_cache fetch; |
Gleb Natapov | 7b262e9 | 2010-03-18 15:20:27 +0200 | [diff] [blame] | 374 | struct read_cache io_read; |
Gleb Natapov | 9de4157 | 2010-04-28 19:15:22 +0300 | [diff] [blame] | 375 | struct read_cache mem_read; |
Laurent Vivier | e4e03de | 2007-09-18 11:52:50 +0200 | [diff] [blame] | 376 | }; |
| 377 | |
Guillaume Thouvenin | 90e0a28 | 2007-11-22 11:32:09 +0100 | [diff] [blame] | 378 | /* Repeat String Operation Prefix */ |
Avi Kivity | 1d6b114 | 2010-01-20 16:00:35 +0200 | [diff] [blame] | 379 | #define REPE_PREFIX 0xf3 |
| 380 | #define REPNE_PREFIX 0xf2 |
Guillaume Thouvenin | 90e0a28 | 2007-11-22 11:32:09 +0100 | [diff] [blame] | 381 | |
Stephan Bärwolf | c2226fc | 2012-01-12 16:43:04 +0100 | [diff] [blame] | 382 | /* CPUID vendors */ |
| 383 | #define X86EMUL_CPUID_VENDOR_AuthenticAMD_ebx 0x68747541 |
| 384 | #define X86EMUL_CPUID_VENDOR_AuthenticAMD_ecx 0x444d4163 |
| 385 | #define X86EMUL_CPUID_VENDOR_AuthenticAMD_edx 0x69746e65 |
| 386 | |
| 387 | #define X86EMUL_CPUID_VENDOR_AMDisbetterI_ebx 0x69444d41 |
| 388 | #define X86EMUL_CPUID_VENDOR_AMDisbetterI_ecx 0x21726574 |
| 389 | #define X86EMUL_CPUID_VENDOR_AMDisbetterI_edx 0x74656273 |
| 390 | |
Pu Wen | b8f4abb | 2018-09-23 17:36:31 +0800 | [diff] [blame] | 391 | #define X86EMUL_CPUID_VENDOR_HygonGenuine_ebx 0x6f677948 |
| 392 | #define X86EMUL_CPUID_VENDOR_HygonGenuine_ecx 0x656e6975 |
| 393 | #define X86EMUL_CPUID_VENDOR_HygonGenuine_edx 0x6e65476e |
| 394 | |
Stephan Bärwolf | c2226fc | 2012-01-12 16:43:04 +0100 | [diff] [blame] | 395 | #define X86EMUL_CPUID_VENDOR_GenuineIntel_ebx 0x756e6547 |
| 396 | #define X86EMUL_CPUID_VENDOR_GenuineIntel_ecx 0x6c65746e |
| 397 | #define X86EMUL_CPUID_VENDOR_GenuineIntel_edx 0x49656e69 |
| 398 | |
Sean Christopherson | 8d89231 | 2020-03-04 17:34:34 -0800 | [diff] [blame] | 399 | #define X86EMUL_CPUID_VENDOR_CentaurHauls_ebx 0x746e6543 |
| 400 | #define X86EMUL_CPUID_VENDOR_CentaurHauls_ecx 0x736c7561 |
| 401 | #define X86EMUL_CPUID_VENDOR_CentaurHauls_edx 0x48727561 |
| 402 | |
Sean Christopherson | 15608ed | 2020-03-04 17:34:32 -0800 | [diff] [blame] | 403 | static inline bool is_guest_vendor_intel(u32 ebx, u32 ecx, u32 edx) |
| 404 | { |
| 405 | return ebx == X86EMUL_CPUID_VENDOR_GenuineIntel_ebx && |
| 406 | ecx == X86EMUL_CPUID_VENDOR_GenuineIntel_ecx && |
| 407 | edx == X86EMUL_CPUID_VENDOR_GenuineIntel_edx; |
| 408 | } |
| 409 | |
| 410 | static inline bool is_guest_vendor_amd(u32 ebx, u32 ecx, u32 edx) |
| 411 | { |
| 412 | return (ebx == X86EMUL_CPUID_VENDOR_AuthenticAMD_ebx && |
| 413 | ecx == X86EMUL_CPUID_VENDOR_AuthenticAMD_ecx && |
| 414 | edx == X86EMUL_CPUID_VENDOR_AuthenticAMD_edx) || |
| 415 | (ebx == X86EMUL_CPUID_VENDOR_AMDisbetterI_ebx && |
| 416 | ecx == X86EMUL_CPUID_VENDOR_AMDisbetterI_ecx && |
| 417 | edx == X86EMUL_CPUID_VENDOR_AMDisbetterI_edx); |
| 418 | } |
| 419 | |
| 420 | static inline bool is_guest_vendor_hygon(u32 ebx, u32 ecx, u32 edx) |
| 421 | { |
| 422 | return ebx == X86EMUL_CPUID_VENDOR_HygonGenuine_ebx && |
| 423 | ecx == X86EMUL_CPUID_VENDOR_HygonGenuine_ecx && |
| 424 | edx == X86EMUL_CPUID_VENDOR_HygonGenuine_edx; |
| 425 | } |
| 426 | |
Avi Kivity | c4f035c | 2011-04-04 12:39:22 +0200 | [diff] [blame] | 427 | enum x86_intercept_stage { |
Avi Kivity | 40e19b5 | 2011-04-21 12:35:41 +0300 | [diff] [blame] | 428 | X86_ICTP_NONE = 0, /* Allow zero-init to not match anything */ |
Avi Kivity | c4f035c | 2011-04-04 12:39:22 +0200 | [diff] [blame] | 429 | X86_ICPT_PRE_EXCEPT, |
| 430 | X86_ICPT_POST_EXCEPT, |
| 431 | X86_ICPT_POST_MEMACCESS, |
| 432 | }; |
| 433 | |
| 434 | enum x86_intercept { |
| 435 | x86_intercept_none, |
Joerg Roedel | cfec82c | 2011-04-04 12:39:28 +0200 | [diff] [blame] | 436 | x86_intercept_cr_read, |
| 437 | x86_intercept_cr_write, |
| 438 | x86_intercept_clts, |
Avi Kivity | 3c6e276 | 2011-04-04 12:39:23 +0200 | [diff] [blame] | 439 | x86_intercept_lmsw, |
| 440 | x86_intercept_smsw, |
Joerg Roedel | 3b88e41 | 2011-04-04 12:39:29 +0200 | [diff] [blame] | 441 | x86_intercept_dr_read, |
| 442 | x86_intercept_dr_write, |
Avi Kivity | 3c6e276 | 2011-04-04 12:39:23 +0200 | [diff] [blame] | 443 | x86_intercept_lidt, |
| 444 | x86_intercept_sidt, |
| 445 | x86_intercept_lgdt, |
| 446 | x86_intercept_sgdt, |
| 447 | x86_intercept_lldt, |
| 448 | x86_intercept_sldt, |
| 449 | x86_intercept_ltr, |
| 450 | x86_intercept_str, |
| 451 | x86_intercept_rdtsc, |
| 452 | x86_intercept_rdpmc, |
| 453 | x86_intercept_pushf, |
| 454 | x86_intercept_popf, |
| 455 | x86_intercept_cpuid, |
| 456 | x86_intercept_rsm, |
| 457 | x86_intercept_iret, |
| 458 | x86_intercept_intn, |
| 459 | x86_intercept_invd, |
| 460 | x86_intercept_pause, |
| 461 | x86_intercept_hlt, |
| 462 | x86_intercept_invlpg, |
| 463 | x86_intercept_invlpga, |
| 464 | x86_intercept_vmrun, |
| 465 | x86_intercept_vmload, |
| 466 | x86_intercept_vmsave, |
| 467 | x86_intercept_vmmcall, |
| 468 | x86_intercept_stgi, |
| 469 | x86_intercept_clgi, |
| 470 | x86_intercept_skinit, |
| 471 | x86_intercept_rdtscp, |
Sean Christopherson | 2f86dd3 | 2021-05-04 10:17:23 -0700 | [diff] [blame] | 472 | x86_intercept_rdpid, |
Avi Kivity | 3c6e276 | 2011-04-04 12:39:23 +0200 | [diff] [blame] | 473 | x86_intercept_icebp, |
| 474 | x86_intercept_wbinvd, |
| 475 | x86_intercept_monitor, |
| 476 | x86_intercept_mwait, |
Joerg Roedel | 8061252 | 2011-04-04 12:39:33 +0200 | [diff] [blame] | 477 | x86_intercept_rdmsr, |
| 478 | x86_intercept_wrmsr, |
Joerg Roedel | f651193 | 2011-04-04 12:39:35 +0200 | [diff] [blame] | 479 | x86_intercept_in, |
| 480 | x86_intercept_ins, |
| 481 | x86_intercept_out, |
| 482 | x86_intercept_outs, |
Vitaly Kuznetsov | 02d4160 | 2019-08-13 15:53:32 +0200 | [diff] [blame] | 483 | x86_intercept_xsetbv, |
Avi Kivity | c4f035c | 2011-04-04 12:39:22 +0200 | [diff] [blame] | 484 | |
| 485 | nr_x86_intercepts |
| 486 | }; |
| 487 | |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 488 | /* Host execution mode. */ |
Sheng Yang | d73fa29 | 2008-10-14 15:59:10 +0800 | [diff] [blame] | 489 | #if defined(CONFIG_X86_32) |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 490 | #define X86EMUL_MODE_HOST X86EMUL_MODE_PROT32 |
Avi Kivity | 05b3e0c | 2006-12-13 00:33:45 -0800 | [diff] [blame] | 491 | #elif defined(CONFIG_X86_64) |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 492 | #define X86EMUL_MODE_HOST X86EMUL_MODE_PROT64 |
| 493 | #endif |
| 494 | |
Andre Przywara | dc25e89 | 2010-12-21 11:12:07 +0100 | [diff] [blame] | 495 | int x86_decode_insn(struct x86_emulate_ctxt *ctxt, void *insn, int insn_len); |
Xiao Guangrong | 1cb3f3a | 2011-09-22 17:02:48 +0800 | [diff] [blame] | 496 | bool x86_page_table_writing_insn(struct x86_emulate_ctxt *ctxt); |
Gleb Natapov | d2ddd1c | 2010-08-25 12:47:43 +0300 | [diff] [blame] | 497 | #define EMULATION_FAILED -1 |
| 498 | #define EMULATION_OK 0 |
| 499 | #define EMULATION_RESTART 1 |
Joerg Roedel | 775fde8 | 2011-04-04 12:39:24 +0200 | [diff] [blame] | 500 | #define EMULATION_INTERCEPTED 2 |
Bandan Das | 1498507 | 2014-04-16 12:46:09 -0400 | [diff] [blame] | 501 | void init_decode_cache(struct x86_emulate_ctxt *ctxt); |
Avi Kivity | 9aabc88f | 2010-07-29 15:11:50 +0300 | [diff] [blame] | 502 | int x86_emulate_insn(struct x86_emulate_ctxt *ctxt); |
Gleb Natapov | 38ba30b | 2010-03-18 15:20:17 +0200 | [diff] [blame] | 503 | int emulator_task_switch(struct x86_emulate_ctxt *ctxt, |
Kevin Wolf | 7f3d35f | 2012-02-08 14:34:38 +0100 | [diff] [blame] | 504 | u16 tss_selector, int idt_index, int reason, |
Jan Kiszka | e269fb2 | 2010-04-14 15:51:09 +0200 | [diff] [blame] | 505 | bool has_error_code, u32 error_code); |
Takuya Yoshikawa | 7b105ca | 2011-05-15 01:00:52 +0900 | [diff] [blame] | 506 | int emulate_int_real(struct x86_emulate_ctxt *ctxt, int irq); |
Avi Kivity | dd856ef | 2012-08-27 23:46:17 +0300 | [diff] [blame] | 507 | void emulator_invalidate_register_cache(struct x86_emulate_ctxt *ctxt); |
| 508 | void emulator_writeback_register_cache(struct x86_emulate_ctxt *ctxt); |
Tom Lendacky | 0f89b20 | 2016-12-14 14:59:23 -0500 | [diff] [blame] | 509 | bool emulator_can_use_gpa(struct x86_emulate_ctxt *ctxt); |
Avi Kivity | dd856ef | 2012-08-27 23:46:17 +0300 | [diff] [blame] | 510 | |
H. Peter Anvin | 1965aae | 2008-10-22 22:26:29 -0700 | [diff] [blame] | 511 | #endif /* _ASM_X86_KVM_X86_EMULATE_H */ |