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; |
| 17 | |
| 18 | /* |
| 19 | * x86_emulate_ops: |
| 20 | * |
| 21 | * These operations represent the instruction emulator's interface to memory. |
| 22 | * There are two categories of operation: those that act on ordinary memory |
| 23 | * regions (*_std), and those that act on memory regions known to require |
| 24 | * special treatment or emulation (*_emulated). |
| 25 | * |
| 26 | * The emulator assumes that an instruction accesses only one 'emulated memory' |
| 27 | * location, that this location is the given linear faulting address (cr2), and |
| 28 | * that this is one of the instruction's data operands. Instruction fetches and |
| 29 | * stack operations are assumed never to access emulated memory. The emulator |
| 30 | * automatically deduces which operand of a string-move operation is accessing |
| 31 | * emulated memory, and assumes that the other operand accesses normal memory. |
| 32 | * |
| 33 | * NOTES: |
| 34 | * 1. The emulator isn't very smart about emulated vs. standard memory. |
| 35 | * 'Emulated memory' access addresses should be checked for sanity. |
| 36 | * 'Normal memory' accesses may fault, and the caller must arrange to |
| 37 | * detect and handle reentrancy into the emulator via recursive faults. |
| 38 | * Accesses may be unaligned and may cross page boundaries. |
| 39 | * 2. If the access fails (cannot emulate, or a standard access faults) then |
| 40 | * it is up to the memop to propagate the fault to the guest VM via |
| 41 | * some out-of-band mechanism, unknown to the emulator. The memop signals |
| 42 | * failure by returning X86EMUL_PROPAGATE_FAULT to the emulator, which will |
| 43 | * then immediately bail. |
| 44 | * 3. Valid access sizes are 1, 2, 4 and 8 bytes. On x86/32 systems only |
| 45 | * cmpxchg8b_emulated need support 8-byte accesses. |
| 46 | * 4. The emulator cannot handle 64-bit mode emulation on an x86/32 system. |
| 47 | */ |
| 48 | /* Access completed successfully: continue emulation as normal. */ |
| 49 | #define X86EMUL_CONTINUE 0 |
| 50 | /* Access is unhandleable: bail from emulation and return error to caller. */ |
| 51 | #define X86EMUL_UNHANDLEABLE 1 |
| 52 | /* Terminate emulation but return success to the caller. */ |
| 53 | #define X86EMUL_PROPAGATE_FAULT 2 /* propagate a generated fault to guest */ |
Gleb Natapov | e680080 | 2010-04-28 19:15:33 +0300 | [diff] [blame] | 54 | #define X86EMUL_RETRY_INSTR 3 /* retry the instruction for some reason */ |
| 55 | #define X86EMUL_CMPXCHG_FAILED 4 /* cmpxchg did not see expected value */ |
Gleb Natapov | c3cd7ff | 2010-04-28 19:15:35 +0300 | [diff] [blame] | 56 | #define X86EMUL_IO_NEEDED 5 /* IO is needed to complete emulation */ |
Gleb Natapov | e680080 | 2010-04-28 19:15:33 +0300 | [diff] [blame] | 57 | |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 58 | struct x86_emulate_ops { |
| 59 | /* |
| 60 | * read_std: Read bytes of standard (non-emulated/special) memory. |
Gleb Natapov | 1871c60 | 2010-02-10 14:21:32 +0200 | [diff] [blame] | 61 | * Used for descriptor reading. |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 62 | * @addr: [IN ] Linear address from which to read. |
| 63 | * @val: [OUT] Value read from memory, zero-extended to 'u_long'. |
| 64 | * @bytes: [IN ] Number of bytes to read from memory. |
| 65 | */ |
Avi Kivity | 4c690a1 | 2007-04-22 15:28:19 +0300 | [diff] [blame] | 66 | int (*read_std)(unsigned long addr, void *val, |
Gleb Natapov | 1871c60 | 2010-02-10 14:21:32 +0200 | [diff] [blame] | 67 | unsigned int bytes, struct kvm_vcpu *vcpu, u32 *error); |
| 68 | |
| 69 | /* |
Gleb Natapov | 2dafc6c | 2010-03-18 15:20:16 +0200 | [diff] [blame] | 70 | * write_std: Write bytes of standard (non-emulated/special) memory. |
| 71 | * Used for descriptor writing. |
| 72 | * @addr: [IN ] Linear address to which to write. |
| 73 | * @val: [OUT] Value write to memory, zero-extended to 'u_long'. |
| 74 | * @bytes: [IN ] Number of bytes to write to memory. |
| 75 | */ |
| 76 | int (*write_std)(unsigned long addr, void *val, |
| 77 | unsigned int bytes, struct kvm_vcpu *vcpu, u32 *error); |
| 78 | /* |
Gleb Natapov | 1871c60 | 2010-02-10 14:21:32 +0200 | [diff] [blame] | 79 | * fetch: Read bytes of standard (non-emulated/special) memory. |
| 80 | * Used for instruction fetch. |
| 81 | * @addr: [IN ] Linear address from which to read. |
| 82 | * @val: [OUT] Value read from memory, zero-extended to 'u_long'. |
| 83 | * @bytes: [IN ] Number of bytes to read from memory. |
| 84 | */ |
| 85 | int (*fetch)(unsigned long addr, void *val, |
| 86 | unsigned int bytes, struct kvm_vcpu *vcpu, u32 *error); |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 87 | |
| 88 | /* |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 89 | * read_emulated: Read bytes from emulated/special memory area. |
| 90 | * @addr: [IN ] Linear address from which to read. |
| 91 | * @val: [OUT] Value read from memory, zero-extended to 'u_long'. |
| 92 | * @bytes: [IN ] Number of bytes to read from memory. |
| 93 | */ |
Joe Perches | 0c7825e | 2008-03-23 01:02:35 -0700 | [diff] [blame] | 94 | int (*read_emulated)(unsigned long addr, |
| 95 | void *val, |
| 96 | unsigned int bytes, |
Gleb Natapov | 8fe681e | 2010-04-28 19:15:37 +0300 | [diff] [blame] | 97 | unsigned int *error, |
Joe Perches | 0c7825e | 2008-03-23 01:02:35 -0700 | [diff] [blame] | 98 | struct kvm_vcpu *vcpu); |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 99 | |
| 100 | /* |
Takuya Yoshikawa | 0d17897 | 2010-01-06 17:55:23 +0900 | [diff] [blame] | 101 | * write_emulated: Write bytes to emulated/special memory area. |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 102 | * @addr: [IN ] Linear address to which to write. |
| 103 | * @val: [IN ] Value to write to memory (low-order bytes used as |
| 104 | * required). |
| 105 | * @bytes: [IN ] Number of bytes to write to memory. |
| 106 | */ |
Joe Perches | 0c7825e | 2008-03-23 01:02:35 -0700 | [diff] [blame] | 107 | int (*write_emulated)(unsigned long addr, |
| 108 | const void *val, |
| 109 | unsigned int bytes, |
Gleb Natapov | 8fe681e | 2010-04-28 19:15:37 +0300 | [diff] [blame] | 110 | unsigned int *error, |
Joe Perches | 0c7825e | 2008-03-23 01:02:35 -0700 | [diff] [blame] | 111 | struct kvm_vcpu *vcpu); |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 112 | |
| 113 | /* |
| 114 | * cmpxchg_emulated: Emulate an atomic (LOCKed) CMPXCHG operation on an |
| 115 | * emulated/special memory area. |
| 116 | * @addr: [IN ] Linear address to access. |
| 117 | * @old: [IN ] Value expected to be current at @addr. |
| 118 | * @new: [IN ] Value to write to @addr. |
| 119 | * @bytes: [IN ] Number of bytes to access using CMPXCHG. |
| 120 | */ |
Joe Perches | 0c7825e | 2008-03-23 01:02:35 -0700 | [diff] [blame] | 121 | int (*cmpxchg_emulated)(unsigned long addr, |
| 122 | const void *old, |
| 123 | const void *new, |
| 124 | unsigned int bytes, |
Gleb Natapov | 8fe681e | 2010-04-28 19:15:37 +0300 | [diff] [blame] | 125 | unsigned int *error, |
Joe Perches | 0c7825e | 2008-03-23 01:02:35 -0700 | [diff] [blame] | 126 | struct kvm_vcpu *vcpu); |
Gleb Natapov | cf8f70b | 2010-03-18 15:20:23 +0200 | [diff] [blame] | 127 | |
| 128 | int (*pio_in_emulated)(int size, unsigned short port, void *val, |
| 129 | unsigned int count, struct kvm_vcpu *vcpu); |
| 130 | |
| 131 | int (*pio_out_emulated)(int size, unsigned short port, const void *val, |
| 132 | unsigned int count, struct kvm_vcpu *vcpu); |
| 133 | |
Gleb Natapov | 2dafc6c | 2010-03-18 15:20:16 +0200 | [diff] [blame] | 134 | bool (*get_cached_descriptor)(struct desc_struct *desc, |
| 135 | int seg, struct kvm_vcpu *vcpu); |
| 136 | void (*set_cached_descriptor)(struct desc_struct *desc, |
| 137 | int seg, struct kvm_vcpu *vcpu); |
| 138 | u16 (*get_segment_selector)(int seg, struct kvm_vcpu *vcpu); |
| 139 | void (*set_segment_selector)(u16 sel, int seg, struct kvm_vcpu *vcpu); |
Gleb Natapov | 5951c44 | 2010-04-28 19:15:29 +0300 | [diff] [blame] | 140 | unsigned long (*get_cached_segment_base)(int seg, struct kvm_vcpu *vcpu); |
Gleb Natapov | 2dafc6c | 2010-03-18 15:20:16 +0200 | [diff] [blame] | 141 | void (*get_gdt)(struct desc_ptr *dt, struct kvm_vcpu *vcpu); |
Gleb Natapov | 52a4661 | 2010-03-18 15:20:03 +0200 | [diff] [blame] | 142 | ulong (*get_cr)(int cr, struct kvm_vcpu *vcpu); |
Gleb Natapov | 0f12244 | 2010-04-28 19:15:31 +0300 | [diff] [blame] | 143 | int (*set_cr)(int cr, ulong val, struct kvm_vcpu *vcpu); |
Gleb Natapov | 9c53724 | 2010-03-18 15:20:05 +0200 | [diff] [blame] | 144 | int (*cpl)(struct kvm_vcpu *vcpu); |
Gleb Natapov | 35aa537 | 2010-04-28 19:15:27 +0300 | [diff] [blame] | 145 | int (*get_dr)(int dr, unsigned long *dest, struct kvm_vcpu *vcpu); |
| 146 | int (*set_dr)(int dr, unsigned long value, struct kvm_vcpu *vcpu); |
Gleb Natapov | 3fb1b5d | 2010-04-28 19:15:28 +0300 | [diff] [blame] | 147 | int (*set_msr)(struct kvm_vcpu *vcpu, u32 msr_index, u64 data); |
| 148 | int (*get_msr)(struct kvm_vcpu *vcpu, u32 msr_index, u64 *pdata); |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 149 | }; |
| 150 | |
Laurent Vivier | e4e03de | 2007-09-18 11:52:50 +0200 | [diff] [blame] | 151 | /* Type, address-of, and value of an instruction's operand. */ |
| 152 | struct operand { |
Laurent Vivier | a01af5e | 2007-09-24 11:10:56 +0200 | [diff] [blame] | 153 | enum { OP_REG, OP_MEM, OP_IMM, OP_NONE } type; |
Laurent Vivier | e4e03de | 2007-09-18 11:52:50 +0200 | [diff] [blame] | 154 | unsigned int bytes; |
Avi Kivity | 16518d5 | 2010-08-26 14:31:30 +0300 | [diff] [blame] | 155 | union { |
| 156 | unsigned long orig_val; |
| 157 | u64 orig_val64; |
| 158 | }; |
| 159 | unsigned long *ptr; |
Gleb Natapov | 414e627 | 2010-04-28 19:15:26 +0300 | [diff] [blame] | 160 | union { |
| 161 | unsigned long val; |
Avi Kivity | 16518d5 | 2010-08-26 14:31:30 +0300 | [diff] [blame] | 162 | u64 val64; |
Gleb Natapov | 414e627 | 2010-04-28 19:15:26 +0300 | [diff] [blame] | 163 | char valptr[sizeof(unsigned long) + 2]; |
| 164 | }; |
Laurent Vivier | e4e03de | 2007-09-18 11:52:50 +0200 | [diff] [blame] | 165 | }; |
| 166 | |
Avi Kivity | 6226686 | 2007-11-20 13:15:52 +0200 | [diff] [blame] | 167 | struct fetch_cache { |
| 168 | u8 data[15]; |
| 169 | unsigned long start; |
| 170 | unsigned long end; |
| 171 | }; |
| 172 | |
Gleb Natapov | 7b262e9 | 2010-03-18 15:20:27 +0200 | [diff] [blame] | 173 | struct read_cache { |
| 174 | u8 data[1024]; |
| 175 | unsigned long pos; |
| 176 | unsigned long end; |
| 177 | }; |
| 178 | |
Laurent Vivier | e4e03de | 2007-09-18 11:52:50 +0200 | [diff] [blame] | 179 | struct decode_cache { |
| 180 | u8 twobyte; |
| 181 | u8 b; |
| 182 | u8 lock_prefix; |
| 183 | u8 rep_prefix; |
| 184 | u8 op_bytes; |
| 185 | u8 ad_bytes; |
Avi Kivity | 33615aa | 2007-10-31 11:15:56 +0200 | [diff] [blame] | 186 | u8 rex_prefix; |
Laurent Vivier | e4e03de | 2007-09-18 11:52:50 +0200 | [diff] [blame] | 187 | struct operand src; |
Guillaume Thouvenin | 0dc8d10 | 2008-12-04 14:26:42 +0100 | [diff] [blame] | 188 | struct operand src2; |
Laurent Vivier | e4e03de | 2007-09-18 11:52:50 +0200 | [diff] [blame] | 189 | struct operand dst; |
Avi Kivity | 7a5b56d | 2008-06-22 16:22:51 +0300 | [diff] [blame] | 190 | bool has_seg_override; |
| 191 | u8 seg_override; |
Laurent Vivier | e4e03de | 2007-09-18 11:52:50 +0200 | [diff] [blame] | 192 | unsigned int d; |
Avi Kivity | ef65c88 | 2010-07-29 15:11:51 +0300 | [diff] [blame^] | 193 | int (*execute)(struct x86_emulate_ctxt *ctxt); |
Laurent Vivier | e4e03de | 2007-09-18 11:52:50 +0200 | [diff] [blame] | 194 | unsigned long regs[NR_VCPU_REGS]; |
Gleb Natapov | 063db06 | 2010-03-18 15:20:06 +0200 | [diff] [blame] | 195 | unsigned long eip; |
Laurent Vivier | e4e03de | 2007-09-18 11:52:50 +0200 | [diff] [blame] | 196 | /* modrm */ |
| 197 | u8 modrm; |
| 198 | u8 modrm_mod; |
| 199 | u8 modrm_reg; |
| 200 | u8 modrm_rm; |
| 201 | u8 use_modrm_ea; |
Avi Kivity | f5b4edc | 2008-06-15 22:09:11 -0700 | [diff] [blame] | 202 | bool rip_relative; |
Laurent Vivier | e4e03de | 2007-09-18 11:52:50 +0200 | [diff] [blame] | 203 | unsigned long modrm_ea; |
Avi Kivity | 107d6d2 | 2008-05-05 14:58:26 +0300 | [diff] [blame] | 204 | void *modrm_ptr; |
Laurent Vivier | e4e03de | 2007-09-18 11:52:50 +0200 | [diff] [blame] | 205 | unsigned long modrm_val; |
Avi Kivity | 6226686 | 2007-11-20 13:15:52 +0200 | [diff] [blame] | 206 | struct fetch_cache fetch; |
Gleb Natapov | 7b262e9 | 2010-03-18 15:20:27 +0200 | [diff] [blame] | 207 | struct read_cache io_read; |
Gleb Natapov | 9de4157 | 2010-04-28 19:15:22 +0300 | [diff] [blame] | 208 | struct read_cache mem_read; |
Laurent Vivier | e4e03de | 2007-09-18 11:52:50 +0200 | [diff] [blame] | 209 | }; |
| 210 | |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 211 | struct x86_emulate_ctxt { |
Avi Kivity | 9aabc88f | 2010-07-29 15:11:50 +0300 | [diff] [blame] | 212 | struct x86_emulate_ops *ops; |
| 213 | |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 214 | /* Register state before/after emulation. */ |
| 215 | struct kvm_vcpu *vcpu; |
| 216 | |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 217 | unsigned long eflags; |
Gleb Natapov | 063db06 | 2010-03-18 15:20:06 +0200 | [diff] [blame] | 218 | unsigned long eip; /* eip before instruction emulation */ |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 219 | /* Emulated execution mode, represented by an X86EMUL_MODE value. */ |
| 220 | int mode; |
Avi Kivity | 7a5b56d | 2008-06-22 16:22:51 +0300 | [diff] [blame] | 221 | u32 cs_base; |
Laurent Vivier | e4e03de | 2007-09-18 11:52:50 +0200 | [diff] [blame] | 222 | |
Glauber Costa | 310b5d3 | 2009-05-12 16:21:06 -0400 | [diff] [blame] | 223 | /* interruptibility state, as a result of execution of STI or MOV SS */ |
| 224 | int interruptibility; |
| 225 | |
Gleb Natapov | 5cd2191 | 2010-03-18 15:20:26 +0200 | [diff] [blame] | 226 | bool restart; /* restart string instruction after writeback */ |
Gleb Natapov | 54b8486 | 2010-04-28 19:15:44 +0300 | [diff] [blame] | 227 | |
| 228 | int exception; /* exception that happens during emulation or -1 */ |
| 229 | u32 error_code; /* error code for exception */ |
| 230 | bool error_code_valid; |
| 231 | unsigned long cr2; /* faulted address in case of #PF */ |
| 232 | |
Laurent Vivier | e4e03de | 2007-09-18 11:52:50 +0200 | [diff] [blame] | 233 | /* decode cache */ |
Laurent Vivier | e4e03de | 2007-09-18 11:52:50 +0200 | [diff] [blame] | 234 | struct decode_cache decode; |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 235 | }; |
| 236 | |
Guillaume Thouvenin | 90e0a28 | 2007-11-22 11:32:09 +0100 | [diff] [blame] | 237 | /* Repeat String Operation Prefix */ |
Sheng Yang | d73fa29 | 2008-10-14 15:59:10 +0800 | [diff] [blame] | 238 | #define REPE_PREFIX 1 |
| 239 | #define REPNE_PREFIX 2 |
Guillaume Thouvenin | 90e0a28 | 2007-11-22 11:32:09 +0100 | [diff] [blame] | 240 | |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 241 | /* Execution mode, passed to the emulator. */ |
| 242 | #define X86EMUL_MODE_REAL 0 /* Real mode. */ |
Gleb Natapov | a004475 | 2010-02-10 14:21:31 +0200 | [diff] [blame] | 243 | #define X86EMUL_MODE_VM86 1 /* Virtual 8086 mode. */ |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 244 | #define X86EMUL_MODE_PROT16 2 /* 16-bit protected mode. */ |
| 245 | #define X86EMUL_MODE_PROT32 4 /* 32-bit protected mode. */ |
| 246 | #define X86EMUL_MODE_PROT64 8 /* 64-bit (long) mode. */ |
| 247 | |
| 248 | /* Host execution mode. */ |
Sheng Yang | d73fa29 | 2008-10-14 15:59:10 +0800 | [diff] [blame] | 249 | #if defined(CONFIG_X86_32) |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 250 | #define X86EMUL_MODE_HOST X86EMUL_MODE_PROT32 |
Avi Kivity | 05b3e0c | 2006-12-13 00:33:45 -0800 | [diff] [blame] | 251 | #elif defined(CONFIG_X86_64) |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 252 | #define X86EMUL_MODE_HOST X86EMUL_MODE_PROT64 |
| 253 | #endif |
| 254 | |
Avi Kivity | 9aabc88f | 2010-07-29 15:11:50 +0300 | [diff] [blame] | 255 | int x86_decode_insn(struct x86_emulate_ctxt *ctxt); |
| 256 | int x86_emulate_insn(struct x86_emulate_ctxt *ctxt); |
Gleb Natapov | 38ba30b | 2010-03-18 15:20:17 +0200 | [diff] [blame] | 257 | int emulator_task_switch(struct x86_emulate_ctxt *ctxt, |
Jan Kiszka | e269fb2 | 2010-04-14 15:51:09 +0200 | [diff] [blame] | 258 | u16 tss_selector, int reason, |
| 259 | bool has_error_code, u32 error_code); |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 260 | |
H. Peter Anvin | 1965aae | 2008-10-22 22:26:29 -0700 | [diff] [blame] | 261 | #endif /* _ASM_X86_KVM_X86_EMULATE_H */ |