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 */ |
| 54 | #define X86EMUL_RETRY_INSTR 2 /* retry the instruction for some reason */ |
| 55 | #define X86EMUL_CMPXCHG_FAILED 2 /* cmpxchg did not see expected value */ |
| 56 | struct x86_emulate_ops { |
| 57 | /* |
| 58 | * read_std: Read bytes of standard (non-emulated/special) memory. |
Gleb Natapov | 1871c60 | 2010-02-10 14:21:32 +0200 | [diff] [blame] | 59 | * Used for descriptor reading. |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 60 | * @addr: [IN ] Linear address from which to read. |
| 61 | * @val: [OUT] Value read from memory, zero-extended to 'u_long'. |
| 62 | * @bytes: [IN ] Number of bytes to read from memory. |
| 63 | */ |
Avi Kivity | 4c690a1 | 2007-04-22 15:28:19 +0300 | [diff] [blame] | 64 | int (*read_std)(unsigned long addr, void *val, |
Gleb Natapov | 1871c60 | 2010-02-10 14:21:32 +0200 | [diff] [blame] | 65 | unsigned int bytes, struct kvm_vcpu *vcpu, u32 *error); |
| 66 | |
| 67 | /* |
Gleb Natapov | 2dafc6c | 2010-03-18 15:20:16 +0200 | [diff] [blame] | 68 | * write_std: Write bytes of standard (non-emulated/special) memory. |
| 69 | * Used for descriptor writing. |
| 70 | * @addr: [IN ] Linear address to which to write. |
| 71 | * @val: [OUT] Value write to memory, zero-extended to 'u_long'. |
| 72 | * @bytes: [IN ] Number of bytes to write to memory. |
| 73 | */ |
| 74 | int (*write_std)(unsigned long addr, void *val, |
| 75 | unsigned int bytes, struct kvm_vcpu *vcpu, u32 *error); |
| 76 | /* |
Gleb Natapov | 1871c60 | 2010-02-10 14:21:32 +0200 | [diff] [blame] | 77 | * fetch: Read bytes of standard (non-emulated/special) memory. |
| 78 | * Used for instruction fetch. |
| 79 | * @addr: [IN ] Linear address from which to read. |
| 80 | * @val: [OUT] Value read from memory, zero-extended to 'u_long'. |
| 81 | * @bytes: [IN ] Number of bytes to read from memory. |
| 82 | */ |
| 83 | int (*fetch)(unsigned long addr, void *val, |
| 84 | unsigned int bytes, struct kvm_vcpu *vcpu, u32 *error); |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 85 | |
| 86 | /* |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 87 | * read_emulated: Read bytes from emulated/special memory area. |
| 88 | * @addr: [IN ] Linear address from which to read. |
| 89 | * @val: [OUT] Value read from memory, zero-extended to 'u_long'. |
| 90 | * @bytes: [IN ] Number of bytes to read from memory. |
| 91 | */ |
Joe Perches | 0c7825e | 2008-03-23 01:02:35 -0700 | [diff] [blame] | 92 | int (*read_emulated)(unsigned long addr, |
| 93 | void *val, |
| 94 | unsigned int bytes, |
| 95 | struct kvm_vcpu *vcpu); |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 96 | |
| 97 | /* |
Takuya Yoshikawa | 0d17897 | 2010-01-06 17:55:23 +0900 | [diff] [blame] | 98 | * write_emulated: Write bytes to emulated/special memory area. |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 99 | * @addr: [IN ] Linear address to which to write. |
| 100 | * @val: [IN ] Value to write to memory (low-order bytes used as |
| 101 | * required). |
| 102 | * @bytes: [IN ] Number of bytes to write to memory. |
| 103 | */ |
Joe Perches | 0c7825e | 2008-03-23 01:02:35 -0700 | [diff] [blame] | 104 | int (*write_emulated)(unsigned long addr, |
| 105 | const void *val, |
| 106 | unsigned int bytes, |
| 107 | struct kvm_vcpu *vcpu); |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 108 | |
| 109 | /* |
| 110 | * cmpxchg_emulated: Emulate an atomic (LOCKed) CMPXCHG operation on an |
| 111 | * emulated/special memory area. |
| 112 | * @addr: [IN ] Linear address to access. |
| 113 | * @old: [IN ] Value expected to be current at @addr. |
| 114 | * @new: [IN ] Value to write to @addr. |
| 115 | * @bytes: [IN ] Number of bytes to access using CMPXCHG. |
| 116 | */ |
Joe Perches | 0c7825e | 2008-03-23 01:02:35 -0700 | [diff] [blame] | 117 | int (*cmpxchg_emulated)(unsigned long addr, |
| 118 | const void *old, |
| 119 | const void *new, |
| 120 | unsigned int bytes, |
| 121 | struct kvm_vcpu *vcpu); |
Gleb Natapov | cf8f70b | 2010-03-18 15:20:23 +0200 | [diff] [blame] | 122 | |
| 123 | int (*pio_in_emulated)(int size, unsigned short port, void *val, |
| 124 | unsigned int count, struct kvm_vcpu *vcpu); |
| 125 | |
| 126 | int (*pio_out_emulated)(int size, unsigned short port, const void *val, |
| 127 | unsigned int count, struct kvm_vcpu *vcpu); |
| 128 | |
Gleb Natapov | 2dafc6c | 2010-03-18 15:20:16 +0200 | [diff] [blame] | 129 | bool (*get_cached_descriptor)(struct desc_struct *desc, |
| 130 | int seg, struct kvm_vcpu *vcpu); |
| 131 | void (*set_cached_descriptor)(struct desc_struct *desc, |
| 132 | int seg, struct kvm_vcpu *vcpu); |
| 133 | u16 (*get_segment_selector)(int seg, struct kvm_vcpu *vcpu); |
| 134 | void (*set_segment_selector)(u16 sel, int seg, struct kvm_vcpu *vcpu); |
| 135 | void (*get_gdt)(struct desc_ptr *dt, struct kvm_vcpu *vcpu); |
Gleb Natapov | 52a4661 | 2010-03-18 15:20:03 +0200 | [diff] [blame] | 136 | ulong (*get_cr)(int cr, struct kvm_vcpu *vcpu); |
| 137 | void (*set_cr)(int cr, ulong val, struct kvm_vcpu *vcpu); |
Gleb Natapov | 9c53724 | 2010-03-18 15:20:05 +0200 | [diff] [blame] | 138 | int (*cpl)(struct kvm_vcpu *vcpu); |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 139 | }; |
| 140 | |
Laurent Vivier | e4e03de | 2007-09-18 11:52:50 +0200 | [diff] [blame] | 141 | /* Type, address-of, and value of an instruction's operand. */ |
| 142 | struct operand { |
Laurent Vivier | a01af5e | 2007-09-24 11:10:56 +0200 | [diff] [blame] | 143 | enum { OP_REG, OP_MEM, OP_IMM, OP_NONE } type; |
Laurent Vivier | e4e03de | 2007-09-18 11:52:50 +0200 | [diff] [blame] | 144 | unsigned int bytes; |
| 145 | unsigned long val, orig_val, *ptr; |
| 146 | }; |
| 147 | |
Avi Kivity | 6226686 | 2007-11-20 13:15:52 +0200 | [diff] [blame] | 148 | struct fetch_cache { |
| 149 | u8 data[15]; |
| 150 | unsigned long start; |
| 151 | unsigned long end; |
| 152 | }; |
| 153 | |
Laurent Vivier | e4e03de | 2007-09-18 11:52:50 +0200 | [diff] [blame] | 154 | struct decode_cache { |
| 155 | u8 twobyte; |
| 156 | u8 b; |
| 157 | u8 lock_prefix; |
| 158 | u8 rep_prefix; |
| 159 | u8 op_bytes; |
| 160 | u8 ad_bytes; |
Avi Kivity | 33615aa | 2007-10-31 11:15:56 +0200 | [diff] [blame] | 161 | u8 rex_prefix; |
Laurent Vivier | e4e03de | 2007-09-18 11:52:50 +0200 | [diff] [blame] | 162 | struct operand src; |
Guillaume Thouvenin | 0dc8d10 | 2008-12-04 14:26:42 +0100 | [diff] [blame] | 163 | struct operand src2; |
Laurent Vivier | e4e03de | 2007-09-18 11:52:50 +0200 | [diff] [blame] | 164 | struct operand dst; |
Avi Kivity | 7a5b56d | 2008-06-22 16:22:51 +0300 | [diff] [blame] | 165 | bool has_seg_override; |
| 166 | u8 seg_override; |
Laurent Vivier | e4e03de | 2007-09-18 11:52:50 +0200 | [diff] [blame] | 167 | unsigned int d; |
| 168 | unsigned long regs[NR_VCPU_REGS]; |
Gleb Natapov | 063db06 | 2010-03-18 15:20:06 +0200 | [diff] [blame] | 169 | unsigned long eip; |
Laurent Vivier | e4e03de | 2007-09-18 11:52:50 +0200 | [diff] [blame] | 170 | /* modrm */ |
| 171 | u8 modrm; |
| 172 | u8 modrm_mod; |
| 173 | u8 modrm_reg; |
| 174 | u8 modrm_rm; |
| 175 | u8 use_modrm_ea; |
Avi Kivity | f5b4edc | 2008-06-15 22:09:11 -0700 | [diff] [blame] | 176 | bool rip_relative; |
Laurent Vivier | e4e03de | 2007-09-18 11:52:50 +0200 | [diff] [blame] | 177 | unsigned long modrm_ea; |
Avi Kivity | 107d6d2 | 2008-05-05 14:58:26 +0300 | [diff] [blame] | 178 | void *modrm_ptr; |
Laurent Vivier | e4e03de | 2007-09-18 11:52:50 +0200 | [diff] [blame] | 179 | unsigned long modrm_val; |
Avi Kivity | 6226686 | 2007-11-20 13:15:52 +0200 | [diff] [blame] | 180 | struct fetch_cache fetch; |
Laurent Vivier | e4e03de | 2007-09-18 11:52:50 +0200 | [diff] [blame] | 181 | }; |
| 182 | |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 183 | struct x86_emulate_ctxt { |
| 184 | /* Register state before/after emulation. */ |
| 185 | struct kvm_vcpu *vcpu; |
| 186 | |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 187 | unsigned long eflags; |
Gleb Natapov | 063db06 | 2010-03-18 15:20:06 +0200 | [diff] [blame] | 188 | unsigned long eip; /* eip before instruction emulation */ |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 189 | /* Emulated execution mode, represented by an X86EMUL_MODE value. */ |
| 190 | int mode; |
Avi Kivity | 7a5b56d | 2008-06-22 16:22:51 +0300 | [diff] [blame] | 191 | u32 cs_base; |
Laurent Vivier | e4e03de | 2007-09-18 11:52:50 +0200 | [diff] [blame] | 192 | |
Glauber Costa | 310b5d3 | 2009-05-12 16:21:06 -0400 | [diff] [blame] | 193 | /* interruptibility state, as a result of execution of STI or MOV SS */ |
| 194 | int interruptibility; |
| 195 | |
Gleb Natapov | 5cd2191 | 2010-03-18 15:20:26 +0200 | [diff] [blame^] | 196 | bool restart; /* restart string instruction after writeback */ |
Laurent Vivier | e4e03de | 2007-09-18 11:52:50 +0200 | [diff] [blame] | 197 | /* decode cache */ |
Laurent Vivier | e4e03de | 2007-09-18 11:52:50 +0200 | [diff] [blame] | 198 | struct decode_cache decode; |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 199 | }; |
| 200 | |
Guillaume Thouvenin | 90e0a28 | 2007-11-22 11:32:09 +0100 | [diff] [blame] | 201 | /* Repeat String Operation Prefix */ |
Sheng Yang | d73fa29 | 2008-10-14 15:59:10 +0800 | [diff] [blame] | 202 | #define REPE_PREFIX 1 |
| 203 | #define REPNE_PREFIX 2 |
Guillaume Thouvenin | 90e0a28 | 2007-11-22 11:32:09 +0100 | [diff] [blame] | 204 | |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 205 | /* Execution mode, passed to the emulator. */ |
| 206 | #define X86EMUL_MODE_REAL 0 /* Real mode. */ |
Gleb Natapov | a004475 | 2010-02-10 14:21:31 +0200 | [diff] [blame] | 207 | #define X86EMUL_MODE_VM86 1 /* Virtual 8086 mode. */ |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 208 | #define X86EMUL_MODE_PROT16 2 /* 16-bit protected mode. */ |
| 209 | #define X86EMUL_MODE_PROT32 4 /* 32-bit protected mode. */ |
| 210 | #define X86EMUL_MODE_PROT64 8 /* 64-bit (long) mode. */ |
| 211 | |
| 212 | /* Host execution mode. */ |
Sheng Yang | d73fa29 | 2008-10-14 15:59:10 +0800 | [diff] [blame] | 213 | #if defined(CONFIG_X86_32) |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 214 | #define X86EMUL_MODE_HOST X86EMUL_MODE_PROT32 |
Avi Kivity | 05b3e0c | 2006-12-13 00:33:45 -0800 | [diff] [blame] | 215 | #elif defined(CONFIG_X86_64) |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 216 | #define X86EMUL_MODE_HOST X86EMUL_MODE_PROT64 |
| 217 | #endif |
| 218 | |
Laurent Vivier | 1be3aa4 | 2007-09-18 11:27:27 +0200 | [diff] [blame] | 219 | int x86_decode_insn(struct x86_emulate_ctxt *ctxt, |
| 220 | struct x86_emulate_ops *ops); |
| 221 | int x86_emulate_insn(struct x86_emulate_ctxt *ctxt, |
| 222 | struct x86_emulate_ops *ops); |
Gleb Natapov | 38ba30b | 2010-03-18 15:20:17 +0200 | [diff] [blame] | 223 | int emulator_task_switch(struct x86_emulate_ctxt *ctxt, |
| 224 | struct x86_emulate_ops *ops, |
| 225 | u16 tss_selector, int reason); |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 226 | |
H. Peter Anvin | 1965aae | 2008-10-22 22:26:29 -0700 | [diff] [blame] | 227 | #endif /* _ASM_X86_KVM_X86_EMULATE_H */ |