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 | |
| 14 | struct x86_emulate_ctxt; |
| 15 | |
| 16 | /* |
| 17 | * x86_emulate_ops: |
| 18 | * |
| 19 | * These operations represent the instruction emulator's interface to memory. |
| 20 | * There are two categories of operation: those that act on ordinary memory |
| 21 | * regions (*_std), and those that act on memory regions known to require |
| 22 | * special treatment or emulation (*_emulated). |
| 23 | * |
| 24 | * The emulator assumes that an instruction accesses only one 'emulated memory' |
| 25 | * location, that this location is the given linear faulting address (cr2), and |
| 26 | * that this is one of the instruction's data operands. Instruction fetches and |
| 27 | * stack operations are assumed never to access emulated memory. The emulator |
| 28 | * automatically deduces which operand of a string-move operation is accessing |
| 29 | * emulated memory, and assumes that the other operand accesses normal memory. |
| 30 | * |
| 31 | * NOTES: |
| 32 | * 1. The emulator isn't very smart about emulated vs. standard memory. |
| 33 | * 'Emulated memory' access addresses should be checked for sanity. |
| 34 | * 'Normal memory' accesses may fault, and the caller must arrange to |
| 35 | * detect and handle reentrancy into the emulator via recursive faults. |
| 36 | * Accesses may be unaligned and may cross page boundaries. |
| 37 | * 2. If the access fails (cannot emulate, or a standard access faults) then |
| 38 | * it is up to the memop to propagate the fault to the guest VM via |
| 39 | * some out-of-band mechanism, unknown to the emulator. The memop signals |
| 40 | * failure by returning X86EMUL_PROPAGATE_FAULT to the emulator, which will |
| 41 | * then immediately bail. |
| 42 | * 3. Valid access sizes are 1, 2, 4 and 8 bytes. On x86/32 systems only |
| 43 | * cmpxchg8b_emulated need support 8-byte accesses. |
| 44 | * 4. The emulator cannot handle 64-bit mode emulation on an x86/32 system. |
| 45 | */ |
| 46 | /* Access completed successfully: continue emulation as normal. */ |
| 47 | #define X86EMUL_CONTINUE 0 |
| 48 | /* Access is unhandleable: bail from emulation and return error to caller. */ |
| 49 | #define X86EMUL_UNHANDLEABLE 1 |
| 50 | /* Terminate emulation but return success to the caller. */ |
| 51 | #define X86EMUL_PROPAGATE_FAULT 2 /* propagate a generated fault to guest */ |
| 52 | #define X86EMUL_RETRY_INSTR 2 /* retry the instruction for some reason */ |
| 53 | #define X86EMUL_CMPXCHG_FAILED 2 /* cmpxchg did not see expected value */ |
| 54 | struct x86_emulate_ops { |
| 55 | /* |
| 56 | * read_std: Read bytes of standard (non-emulated/special) memory. |
Gleb Natapov | 1871c60 | 2010-02-10 14:21:32 +0200 | [diff] [blame] | 57 | * Used for descriptor reading. |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 58 | * @addr: [IN ] Linear address from which to read. |
| 59 | * @val: [OUT] Value read from memory, zero-extended to 'u_long'. |
| 60 | * @bytes: [IN ] Number of bytes to read from memory. |
| 61 | */ |
Avi Kivity | 4c690a1 | 2007-04-22 15:28:19 +0300 | [diff] [blame] | 62 | int (*read_std)(unsigned long addr, void *val, |
Gleb Natapov | 1871c60 | 2010-02-10 14:21:32 +0200 | [diff] [blame] | 63 | unsigned int bytes, struct kvm_vcpu *vcpu, u32 *error); |
| 64 | |
| 65 | /* |
| 66 | * fetch: Read bytes of standard (non-emulated/special) memory. |
| 67 | * Used for instruction fetch. |
| 68 | * @addr: [IN ] Linear address from which to read. |
| 69 | * @val: [OUT] Value read from memory, zero-extended to 'u_long'. |
| 70 | * @bytes: [IN ] Number of bytes to read from memory. |
| 71 | */ |
| 72 | int (*fetch)(unsigned long addr, void *val, |
| 73 | unsigned int bytes, struct kvm_vcpu *vcpu, u32 *error); |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 74 | |
| 75 | /* |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 76 | * read_emulated: Read bytes from emulated/special memory area. |
| 77 | * @addr: [IN ] Linear address from which to read. |
| 78 | * @val: [OUT] Value read from memory, zero-extended to 'u_long'. |
| 79 | * @bytes: [IN ] Number of bytes to read from memory. |
| 80 | */ |
Joe Perches | 0c7825e | 2008-03-23 01:02:35 -0700 | [diff] [blame] | 81 | int (*read_emulated)(unsigned long addr, |
| 82 | void *val, |
| 83 | unsigned int bytes, |
| 84 | struct kvm_vcpu *vcpu); |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 85 | |
| 86 | /* |
Takuya Yoshikawa | 0d17897 | 2010-01-06 17:55:23 +0900 | [diff] [blame] | 87 | * write_emulated: Write bytes to emulated/special memory area. |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 88 | * @addr: [IN ] Linear address to which to write. |
| 89 | * @val: [IN ] Value to write to memory (low-order bytes used as |
| 90 | * required). |
| 91 | * @bytes: [IN ] Number of bytes to write to memory. |
| 92 | */ |
Joe Perches | 0c7825e | 2008-03-23 01:02:35 -0700 | [diff] [blame] | 93 | int (*write_emulated)(unsigned long addr, |
| 94 | const void *val, |
| 95 | unsigned int bytes, |
| 96 | struct kvm_vcpu *vcpu); |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 97 | |
| 98 | /* |
| 99 | * cmpxchg_emulated: Emulate an atomic (LOCKed) CMPXCHG operation on an |
| 100 | * emulated/special memory area. |
| 101 | * @addr: [IN ] Linear address to access. |
| 102 | * @old: [IN ] Value expected to be current at @addr. |
| 103 | * @new: [IN ] Value to write to @addr. |
| 104 | * @bytes: [IN ] Number of bytes to access using CMPXCHG. |
| 105 | */ |
Joe Perches | 0c7825e | 2008-03-23 01:02:35 -0700 | [diff] [blame] | 106 | int (*cmpxchg_emulated)(unsigned long addr, |
| 107 | const void *old, |
| 108 | const void *new, |
| 109 | unsigned int bytes, |
| 110 | struct kvm_vcpu *vcpu); |
Gleb Natapov | 52a4661 | 2010-03-18 15:20:03 +0200 | [diff] [blame^] | 111 | ulong (*get_cr)(int cr, struct kvm_vcpu *vcpu); |
| 112 | void (*set_cr)(int cr, ulong val, struct kvm_vcpu *vcpu); |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 113 | }; |
| 114 | |
Laurent Vivier | e4e03de | 2007-09-18 11:52:50 +0200 | [diff] [blame] | 115 | /* Type, address-of, and value of an instruction's operand. */ |
| 116 | struct operand { |
Laurent Vivier | a01af5e | 2007-09-24 11:10:56 +0200 | [diff] [blame] | 117 | enum { OP_REG, OP_MEM, OP_IMM, OP_NONE } type; |
Laurent Vivier | e4e03de | 2007-09-18 11:52:50 +0200 | [diff] [blame] | 118 | unsigned int bytes; |
| 119 | unsigned long val, orig_val, *ptr; |
| 120 | }; |
| 121 | |
Avi Kivity | 6226686 | 2007-11-20 13:15:52 +0200 | [diff] [blame] | 122 | struct fetch_cache { |
| 123 | u8 data[15]; |
| 124 | unsigned long start; |
| 125 | unsigned long end; |
| 126 | }; |
| 127 | |
Laurent Vivier | e4e03de | 2007-09-18 11:52:50 +0200 | [diff] [blame] | 128 | struct decode_cache { |
| 129 | u8 twobyte; |
| 130 | u8 b; |
| 131 | u8 lock_prefix; |
| 132 | u8 rep_prefix; |
| 133 | u8 op_bytes; |
| 134 | u8 ad_bytes; |
Avi Kivity | 33615aa | 2007-10-31 11:15:56 +0200 | [diff] [blame] | 135 | u8 rex_prefix; |
Laurent Vivier | e4e03de | 2007-09-18 11:52:50 +0200 | [diff] [blame] | 136 | struct operand src; |
Guillaume Thouvenin | 0dc8d10 | 2008-12-04 14:26:42 +0100 | [diff] [blame] | 137 | struct operand src2; |
Laurent Vivier | e4e03de | 2007-09-18 11:52:50 +0200 | [diff] [blame] | 138 | struct operand dst; |
Avi Kivity | 7a5b56d | 2008-06-22 16:22:51 +0300 | [diff] [blame] | 139 | bool has_seg_override; |
| 140 | u8 seg_override; |
Laurent Vivier | e4e03de | 2007-09-18 11:52:50 +0200 | [diff] [blame] | 141 | unsigned int d; |
| 142 | unsigned long regs[NR_VCPU_REGS]; |
Avi Kivity | eb3c79e | 2009-11-24 15:20:15 +0200 | [diff] [blame] | 143 | unsigned long eip, eip_orig; |
Laurent Vivier | e4e03de | 2007-09-18 11:52:50 +0200 | [diff] [blame] | 144 | /* modrm */ |
| 145 | u8 modrm; |
| 146 | u8 modrm_mod; |
| 147 | u8 modrm_reg; |
| 148 | u8 modrm_rm; |
| 149 | u8 use_modrm_ea; |
Avi Kivity | f5b4edc | 2008-06-15 22:09:11 -0700 | [diff] [blame] | 150 | bool rip_relative; |
Laurent Vivier | e4e03de | 2007-09-18 11:52:50 +0200 | [diff] [blame] | 151 | unsigned long modrm_ea; |
Avi Kivity | 107d6d2 | 2008-05-05 14:58:26 +0300 | [diff] [blame] | 152 | void *modrm_ptr; |
Laurent Vivier | e4e03de | 2007-09-18 11:52:50 +0200 | [diff] [blame] | 153 | unsigned long modrm_val; |
Avi Kivity | 6226686 | 2007-11-20 13:15:52 +0200 | [diff] [blame] | 154 | struct fetch_cache fetch; |
Laurent Vivier | e4e03de | 2007-09-18 11:52:50 +0200 | [diff] [blame] | 155 | }; |
| 156 | |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 157 | struct x86_emulate_ctxt { |
| 158 | /* Register state before/after emulation. */ |
| 159 | struct kvm_vcpu *vcpu; |
| 160 | |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 161 | unsigned long eflags; |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 162 | /* Emulated execution mode, represented by an X86EMUL_MODE value. */ |
| 163 | int mode; |
Avi Kivity | 7a5b56d | 2008-06-22 16:22:51 +0300 | [diff] [blame] | 164 | u32 cs_base; |
Laurent Vivier | e4e03de | 2007-09-18 11:52:50 +0200 | [diff] [blame] | 165 | |
Glauber Costa | 310b5d3 | 2009-05-12 16:21:06 -0400 | [diff] [blame] | 166 | /* interruptibility state, as a result of execution of STI or MOV SS */ |
| 167 | int interruptibility; |
| 168 | |
Laurent Vivier | e4e03de | 2007-09-18 11:52:50 +0200 | [diff] [blame] | 169 | /* decode cache */ |
Laurent Vivier | e4e03de | 2007-09-18 11:52:50 +0200 | [diff] [blame] | 170 | struct decode_cache decode; |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 171 | }; |
| 172 | |
Guillaume Thouvenin | 90e0a28 | 2007-11-22 11:32:09 +0100 | [diff] [blame] | 173 | /* Repeat String Operation Prefix */ |
Sheng Yang | d73fa29 | 2008-10-14 15:59:10 +0800 | [diff] [blame] | 174 | #define REPE_PREFIX 1 |
| 175 | #define REPNE_PREFIX 2 |
Guillaume Thouvenin | 90e0a28 | 2007-11-22 11:32:09 +0100 | [diff] [blame] | 176 | |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 177 | /* Execution mode, passed to the emulator. */ |
| 178 | #define X86EMUL_MODE_REAL 0 /* Real mode. */ |
Gleb Natapov | a004475 | 2010-02-10 14:21:31 +0200 | [diff] [blame] | 179 | #define X86EMUL_MODE_VM86 1 /* Virtual 8086 mode. */ |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 180 | #define X86EMUL_MODE_PROT16 2 /* 16-bit protected mode. */ |
| 181 | #define X86EMUL_MODE_PROT32 4 /* 32-bit protected mode. */ |
| 182 | #define X86EMUL_MODE_PROT64 8 /* 64-bit (long) mode. */ |
| 183 | |
| 184 | /* Host execution mode. */ |
Sheng Yang | d73fa29 | 2008-10-14 15:59:10 +0800 | [diff] [blame] | 185 | #if defined(CONFIG_X86_32) |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 186 | #define X86EMUL_MODE_HOST X86EMUL_MODE_PROT32 |
Avi Kivity | 05b3e0c | 2006-12-13 00:33:45 -0800 | [diff] [blame] | 187 | #elif defined(CONFIG_X86_64) |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 188 | #define X86EMUL_MODE_HOST X86EMUL_MODE_PROT64 |
| 189 | #endif |
| 190 | |
Laurent Vivier | 1be3aa4 | 2007-09-18 11:27:27 +0200 | [diff] [blame] | 191 | int x86_decode_insn(struct x86_emulate_ctxt *ctxt, |
| 192 | struct x86_emulate_ops *ops); |
| 193 | int x86_emulate_insn(struct x86_emulate_ctxt *ctxt, |
| 194 | struct x86_emulate_ops *ops); |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 195 | |
H. Peter Anvin | 1965aae | 2008-10-22 22:26:29 -0700 | [diff] [blame] | 196 | #endif /* _ASM_X86_KVM_X86_EMULATE_H */ |