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