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