Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 1 | #ifndef VMX_H |
| 2 | #define VMX_H |
| 3 | |
| 4 | /* |
| 5 | * vmx.h: VMX Architecture related definitions |
| 6 | * Copyright (c) 2004, Intel Corporation. |
| 7 | * |
| 8 | * This program is free software; you can redistribute it and/or modify it |
| 9 | * under the terms and conditions of the GNU General Public License, |
| 10 | * version 2, as published by the Free Software Foundation. |
| 11 | * |
| 12 | * This program is distributed in the hope it will be useful, but WITHOUT |
| 13 | * ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or |
| 14 | * FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for |
| 15 | * more details. |
| 16 | * |
| 17 | * You should have received a copy of the GNU General Public License along with |
| 18 | * this program; if not, write to the Free Software Foundation, Inc., 59 Temple |
| 19 | * Place - Suite 330, Boston, MA 02111-1307 USA. |
| 20 | * |
| 21 | * A few random additions are: |
| 22 | * Copyright (C) 2006 Qumranet |
| 23 | * Avi Kivity <avi@qumranet.com> |
| 24 | * Yaniv Kamay <yaniv@qumranet.com> |
| 25 | * |
| 26 | */ |
| 27 | |
Eddie Dong | 8a70cc3 | 2007-11-11 12:27:20 +0200 | [diff] [blame] | 28 | /* |
| 29 | * Definitions of Primary Processor-Based VM-Execution Controls. |
| 30 | */ |
Yang, Sheng | 62b3ffb | 2007-07-25 12:17:06 +0300 | [diff] [blame] | 31 | #define CPU_BASED_VIRTUAL_INTR_PENDING 0x00000004 |
| 32 | #define CPU_BASED_USE_TSC_OFFSETING 0x00000008 |
| 33 | #define CPU_BASED_HLT_EXITING 0x00000080 |
| 34 | #define CPU_BASED_INVLPG_EXITING 0x00000200 |
| 35 | #define CPU_BASED_MWAIT_EXITING 0x00000400 |
| 36 | #define CPU_BASED_RDPMC_EXITING 0x00000800 |
| 37 | #define CPU_BASED_RDTSC_EXITING 0x00001000 |
Sheng Yang | d56f546 | 2008-04-25 10:13:16 +0800 | [diff] [blame] | 38 | #define CPU_BASED_CR3_LOAD_EXITING 0x00008000 |
| 39 | #define CPU_BASED_CR3_STORE_EXITING 0x00010000 |
Yang, Sheng | 62b3ffb | 2007-07-25 12:17:06 +0300 | [diff] [blame] | 40 | #define CPU_BASED_CR8_LOAD_EXITING 0x00080000 |
| 41 | #define CPU_BASED_CR8_STORE_EXITING 0x00100000 |
| 42 | #define CPU_BASED_TPR_SHADOW 0x00200000 |
Sheng Yang | f08864b | 2008-05-15 18:23:25 +0800 | [diff] [blame] | 43 | #define CPU_BASED_VIRTUAL_NMI_PENDING 0x00400000 |
Yang, Sheng | 62b3ffb | 2007-07-25 12:17:06 +0300 | [diff] [blame] | 44 | #define CPU_BASED_MOV_DR_EXITING 0x00800000 |
| 45 | #define CPU_BASED_UNCOND_IO_EXITING 0x01000000 |
| 46 | #define CPU_BASED_USE_IO_BITMAPS 0x02000000 |
| 47 | #define CPU_BASED_USE_MSR_BITMAPS 0x10000000 |
| 48 | #define CPU_BASED_MONITOR_EXITING 0x20000000 |
| 49 | #define CPU_BASED_PAUSE_EXITING 0x40000000 |
| 50 | #define CPU_BASED_ACTIVATE_SECONDARY_CONTROLS 0x80000000 |
Eddie Dong | 8a70cc3 | 2007-11-11 12:27:20 +0200 | [diff] [blame] | 51 | /* |
| 52 | * Definitions of Secondary Processor-Based VM-Execution Controls. |
| 53 | */ |
| 54 | #define SECONDARY_EXEC_VIRTUALIZE_APIC_ACCESSES 0x00000001 |
Sheng Yang | d56f546 | 2008-04-25 10:13:16 +0800 | [diff] [blame] | 55 | #define SECONDARY_EXEC_ENABLE_EPT 0x00000002 |
Sheng Yang | 2384d2b | 2008-01-17 15:14:33 +0800 | [diff] [blame] | 56 | #define SECONDARY_EXEC_ENABLE_VPID 0x00000020 |
Eddie Dong | e5edaa0 | 2007-11-11 12:28:35 +0200 | [diff] [blame] | 57 | #define SECONDARY_EXEC_WBINVD_EXITING 0x00000040 |
Eddie Dong | 8a70cc3 | 2007-11-11 12:27:20 +0200 | [diff] [blame] | 58 | |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 59 | |
Yang, Sheng | 62b3ffb | 2007-07-25 12:17:06 +0300 | [diff] [blame] | 60 | #define PIN_BASED_EXT_INTR_MASK 0x00000001 |
| 61 | #define PIN_BASED_NMI_EXITING 0x00000008 |
| 62 | #define PIN_BASED_VIRTUAL_NMIS 0x00000020 |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 63 | |
Yang, Sheng | 62b3ffb | 2007-07-25 12:17:06 +0300 | [diff] [blame] | 64 | #define VM_EXIT_HOST_ADDR_SPACE_SIZE 0x00000200 |
| 65 | #define VM_EXIT_ACK_INTR_ON_EXIT 0x00008000 |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 66 | |
Yang, Sheng | 62b3ffb | 2007-07-25 12:17:06 +0300 | [diff] [blame] | 67 | #define VM_ENTRY_IA32E_MODE 0x00000200 |
| 68 | #define VM_ENTRY_SMM 0x00000400 |
| 69 | #define VM_ENTRY_DEACT_DUAL_MONITOR 0x00000800 |
| 70 | |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 71 | /* VMCS Encodings */ |
| 72 | enum vmcs_field { |
Sheng Yang | 2384d2b | 2008-01-17 15:14:33 +0800 | [diff] [blame] | 73 | VIRTUAL_PROCESSOR_ID = 0x00000000, |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 74 | GUEST_ES_SELECTOR = 0x00000800, |
| 75 | GUEST_CS_SELECTOR = 0x00000802, |
| 76 | GUEST_SS_SELECTOR = 0x00000804, |
| 77 | GUEST_DS_SELECTOR = 0x00000806, |
| 78 | GUEST_FS_SELECTOR = 0x00000808, |
| 79 | GUEST_GS_SELECTOR = 0x0000080a, |
| 80 | GUEST_LDTR_SELECTOR = 0x0000080c, |
| 81 | GUEST_TR_SELECTOR = 0x0000080e, |
| 82 | HOST_ES_SELECTOR = 0x00000c00, |
| 83 | HOST_CS_SELECTOR = 0x00000c02, |
| 84 | HOST_SS_SELECTOR = 0x00000c04, |
| 85 | HOST_DS_SELECTOR = 0x00000c06, |
| 86 | HOST_FS_SELECTOR = 0x00000c08, |
| 87 | HOST_GS_SELECTOR = 0x00000c0a, |
| 88 | HOST_TR_SELECTOR = 0x00000c0c, |
| 89 | IO_BITMAP_A = 0x00002000, |
| 90 | IO_BITMAP_A_HIGH = 0x00002001, |
| 91 | IO_BITMAP_B = 0x00002002, |
| 92 | IO_BITMAP_B_HIGH = 0x00002003, |
| 93 | MSR_BITMAP = 0x00002004, |
| 94 | MSR_BITMAP_HIGH = 0x00002005, |
| 95 | VM_EXIT_MSR_STORE_ADDR = 0x00002006, |
| 96 | VM_EXIT_MSR_STORE_ADDR_HIGH = 0x00002007, |
| 97 | VM_EXIT_MSR_LOAD_ADDR = 0x00002008, |
| 98 | VM_EXIT_MSR_LOAD_ADDR_HIGH = 0x00002009, |
| 99 | VM_ENTRY_MSR_LOAD_ADDR = 0x0000200a, |
| 100 | VM_ENTRY_MSR_LOAD_ADDR_HIGH = 0x0000200b, |
| 101 | TSC_OFFSET = 0x00002010, |
| 102 | TSC_OFFSET_HIGH = 0x00002011, |
| 103 | VIRTUAL_APIC_PAGE_ADDR = 0x00002012, |
| 104 | VIRTUAL_APIC_PAGE_ADDR_HIGH = 0x00002013, |
Sheng Yang | f78e0e2 | 2007-10-29 09:40:42 +0800 | [diff] [blame] | 105 | APIC_ACCESS_ADDR = 0x00002014, |
| 106 | APIC_ACCESS_ADDR_HIGH = 0x00002015, |
Sheng Yang | d56f546 | 2008-04-25 10:13:16 +0800 | [diff] [blame] | 107 | EPT_POINTER = 0x0000201a, |
| 108 | EPT_POINTER_HIGH = 0x0000201b, |
| 109 | GUEST_PHYSICAL_ADDRESS = 0x00002400, |
| 110 | GUEST_PHYSICAL_ADDRESS_HIGH = 0x00002401, |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 111 | VMCS_LINK_POINTER = 0x00002800, |
| 112 | VMCS_LINK_POINTER_HIGH = 0x00002801, |
| 113 | GUEST_IA32_DEBUGCTL = 0x00002802, |
| 114 | GUEST_IA32_DEBUGCTL_HIGH = 0x00002803, |
Sheng Yang | d56f546 | 2008-04-25 10:13:16 +0800 | [diff] [blame] | 115 | GUEST_PDPTR0 = 0x0000280a, |
| 116 | GUEST_PDPTR0_HIGH = 0x0000280b, |
| 117 | GUEST_PDPTR1 = 0x0000280c, |
| 118 | GUEST_PDPTR1_HIGH = 0x0000280d, |
| 119 | GUEST_PDPTR2 = 0x0000280e, |
| 120 | GUEST_PDPTR2_HIGH = 0x0000280f, |
| 121 | GUEST_PDPTR3 = 0x00002810, |
| 122 | GUEST_PDPTR3_HIGH = 0x00002811, |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 123 | PIN_BASED_VM_EXEC_CONTROL = 0x00004000, |
| 124 | CPU_BASED_VM_EXEC_CONTROL = 0x00004002, |
| 125 | EXCEPTION_BITMAP = 0x00004004, |
| 126 | PAGE_FAULT_ERROR_CODE_MASK = 0x00004006, |
| 127 | PAGE_FAULT_ERROR_CODE_MATCH = 0x00004008, |
| 128 | CR3_TARGET_COUNT = 0x0000400a, |
| 129 | VM_EXIT_CONTROLS = 0x0000400c, |
| 130 | VM_EXIT_MSR_STORE_COUNT = 0x0000400e, |
| 131 | VM_EXIT_MSR_LOAD_COUNT = 0x00004010, |
| 132 | VM_ENTRY_CONTROLS = 0x00004012, |
| 133 | VM_ENTRY_MSR_LOAD_COUNT = 0x00004014, |
| 134 | VM_ENTRY_INTR_INFO_FIELD = 0x00004016, |
| 135 | VM_ENTRY_EXCEPTION_ERROR_CODE = 0x00004018, |
| 136 | VM_ENTRY_INSTRUCTION_LEN = 0x0000401a, |
| 137 | TPR_THRESHOLD = 0x0000401c, |
| 138 | SECONDARY_VM_EXEC_CONTROL = 0x0000401e, |
| 139 | VM_INSTRUCTION_ERROR = 0x00004400, |
| 140 | VM_EXIT_REASON = 0x00004402, |
| 141 | VM_EXIT_INTR_INFO = 0x00004404, |
| 142 | VM_EXIT_INTR_ERROR_CODE = 0x00004406, |
| 143 | IDT_VECTORING_INFO_FIELD = 0x00004408, |
| 144 | IDT_VECTORING_ERROR_CODE = 0x0000440a, |
| 145 | VM_EXIT_INSTRUCTION_LEN = 0x0000440c, |
| 146 | VMX_INSTRUCTION_INFO = 0x0000440e, |
| 147 | GUEST_ES_LIMIT = 0x00004800, |
| 148 | GUEST_CS_LIMIT = 0x00004802, |
| 149 | GUEST_SS_LIMIT = 0x00004804, |
| 150 | GUEST_DS_LIMIT = 0x00004806, |
| 151 | GUEST_FS_LIMIT = 0x00004808, |
| 152 | GUEST_GS_LIMIT = 0x0000480a, |
| 153 | GUEST_LDTR_LIMIT = 0x0000480c, |
| 154 | GUEST_TR_LIMIT = 0x0000480e, |
| 155 | GUEST_GDTR_LIMIT = 0x00004810, |
| 156 | GUEST_IDTR_LIMIT = 0x00004812, |
| 157 | GUEST_ES_AR_BYTES = 0x00004814, |
| 158 | GUEST_CS_AR_BYTES = 0x00004816, |
| 159 | GUEST_SS_AR_BYTES = 0x00004818, |
| 160 | GUEST_DS_AR_BYTES = 0x0000481a, |
| 161 | GUEST_FS_AR_BYTES = 0x0000481c, |
| 162 | GUEST_GS_AR_BYTES = 0x0000481e, |
| 163 | GUEST_LDTR_AR_BYTES = 0x00004820, |
| 164 | GUEST_TR_AR_BYTES = 0x00004822, |
| 165 | GUEST_INTERRUPTIBILITY_INFO = 0x00004824, |
| 166 | GUEST_ACTIVITY_STATE = 0X00004826, |
| 167 | GUEST_SYSENTER_CS = 0x0000482A, |
| 168 | HOST_IA32_SYSENTER_CS = 0x00004c00, |
| 169 | CR0_GUEST_HOST_MASK = 0x00006000, |
| 170 | CR4_GUEST_HOST_MASK = 0x00006002, |
| 171 | CR0_READ_SHADOW = 0x00006004, |
| 172 | CR4_READ_SHADOW = 0x00006006, |
| 173 | CR3_TARGET_VALUE0 = 0x00006008, |
| 174 | CR3_TARGET_VALUE1 = 0x0000600a, |
| 175 | CR3_TARGET_VALUE2 = 0x0000600c, |
| 176 | CR3_TARGET_VALUE3 = 0x0000600e, |
| 177 | EXIT_QUALIFICATION = 0x00006400, |
| 178 | GUEST_LINEAR_ADDRESS = 0x0000640a, |
| 179 | GUEST_CR0 = 0x00006800, |
| 180 | GUEST_CR3 = 0x00006802, |
| 181 | GUEST_CR4 = 0x00006804, |
| 182 | GUEST_ES_BASE = 0x00006806, |
| 183 | GUEST_CS_BASE = 0x00006808, |
| 184 | GUEST_SS_BASE = 0x0000680a, |
| 185 | GUEST_DS_BASE = 0x0000680c, |
| 186 | GUEST_FS_BASE = 0x0000680e, |
| 187 | GUEST_GS_BASE = 0x00006810, |
| 188 | GUEST_LDTR_BASE = 0x00006812, |
| 189 | GUEST_TR_BASE = 0x00006814, |
| 190 | GUEST_GDTR_BASE = 0x00006816, |
| 191 | GUEST_IDTR_BASE = 0x00006818, |
| 192 | GUEST_DR7 = 0x0000681a, |
| 193 | GUEST_RSP = 0x0000681c, |
| 194 | GUEST_RIP = 0x0000681e, |
| 195 | GUEST_RFLAGS = 0x00006820, |
| 196 | GUEST_PENDING_DBG_EXCEPTIONS = 0x00006822, |
| 197 | GUEST_SYSENTER_ESP = 0x00006824, |
| 198 | GUEST_SYSENTER_EIP = 0x00006826, |
| 199 | HOST_CR0 = 0x00006c00, |
| 200 | HOST_CR3 = 0x00006c02, |
| 201 | HOST_CR4 = 0x00006c04, |
| 202 | HOST_FS_BASE = 0x00006c06, |
| 203 | HOST_GS_BASE = 0x00006c08, |
| 204 | HOST_TR_BASE = 0x00006c0a, |
| 205 | HOST_GDTR_BASE = 0x00006c0c, |
| 206 | HOST_IDTR_BASE = 0x00006c0e, |
| 207 | HOST_IA32_SYSENTER_ESP = 0x00006c10, |
| 208 | HOST_IA32_SYSENTER_EIP = 0x00006c12, |
| 209 | HOST_RSP = 0x00006c14, |
| 210 | HOST_RIP = 0x00006c16, |
| 211 | }; |
| 212 | |
| 213 | #define VMX_EXIT_REASONS_FAILED_VMENTRY 0x80000000 |
| 214 | |
| 215 | #define EXIT_REASON_EXCEPTION_NMI 0 |
| 216 | #define EXIT_REASON_EXTERNAL_INTERRUPT 1 |
Avi Kivity | 988ad74 | 2007-02-12 00:54:36 -0800 | [diff] [blame] | 217 | #define EXIT_REASON_TRIPLE_FAULT 2 |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 218 | |
| 219 | #define EXIT_REASON_PENDING_INTERRUPT 7 |
Sheng Yang | f08864b | 2008-05-15 18:23:25 +0800 | [diff] [blame] | 220 | #define EXIT_REASON_NMI_WINDOW 8 |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 221 | #define EXIT_REASON_TASK_SWITCH 9 |
| 222 | #define EXIT_REASON_CPUID 10 |
| 223 | #define EXIT_REASON_HLT 12 |
| 224 | #define EXIT_REASON_INVLPG 14 |
| 225 | #define EXIT_REASON_RDPMC 15 |
| 226 | #define EXIT_REASON_RDTSC 16 |
| 227 | #define EXIT_REASON_VMCALL 18 |
| 228 | #define EXIT_REASON_VMCLEAR 19 |
| 229 | #define EXIT_REASON_VMLAUNCH 20 |
| 230 | #define EXIT_REASON_VMPTRLD 21 |
| 231 | #define EXIT_REASON_VMPTRST 22 |
| 232 | #define EXIT_REASON_VMREAD 23 |
| 233 | #define EXIT_REASON_VMRESUME 24 |
| 234 | #define EXIT_REASON_VMWRITE 25 |
| 235 | #define EXIT_REASON_VMOFF 26 |
| 236 | #define EXIT_REASON_VMON 27 |
| 237 | #define EXIT_REASON_CR_ACCESS 28 |
| 238 | #define EXIT_REASON_DR_ACCESS 29 |
| 239 | #define EXIT_REASON_IO_INSTRUCTION 30 |
| 240 | #define EXIT_REASON_MSR_READ 31 |
| 241 | #define EXIT_REASON_MSR_WRITE 32 |
| 242 | #define EXIT_REASON_MWAIT_INSTRUCTION 36 |
Yang, Sheng | 6e5d865 | 2007-09-12 18:03:11 +0800 | [diff] [blame] | 243 | #define EXIT_REASON_TPR_BELOW_THRESHOLD 43 |
Sheng Yang | f78e0e2 | 2007-10-29 09:40:42 +0800 | [diff] [blame] | 244 | #define EXIT_REASON_APIC_ACCESS 44 |
Sheng Yang | d56f546 | 2008-04-25 10:13:16 +0800 | [diff] [blame] | 245 | #define EXIT_REASON_EPT_VIOLATION 48 |
| 246 | #define EXIT_REASON_EPT_MISCONFIG 49 |
Eddie Dong | e5edaa0 | 2007-11-11 12:28:35 +0200 | [diff] [blame] | 247 | #define EXIT_REASON_WBINVD 54 |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 248 | |
| 249 | /* |
| 250 | * Interruption-information format |
| 251 | */ |
| 252 | #define INTR_INFO_VECTOR_MASK 0xff /* 7:0 */ |
| 253 | #define INTR_INFO_INTR_TYPE_MASK 0x700 /* 10:8 */ |
Ryan Harper | 2e11384 | 2008-02-11 10:26:38 -0600 | [diff] [blame] | 254 | #define INTR_INFO_DELIVER_CODE_MASK 0x800 /* 11 */ |
Sheng Yang | f08864b | 2008-05-15 18:23:25 +0800 | [diff] [blame] | 255 | #define INTR_INFO_UNBLOCK_NMI 0x1000 /* 12 */ |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 256 | #define INTR_INFO_VALID_MASK 0x80000000 /* 31 */ |
Sheng Yang | f08864b | 2008-05-15 18:23:25 +0800 | [diff] [blame] | 257 | #define INTR_INFO_RESVD_BITS_MASK 0x7ffff000 |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 258 | |
| 259 | #define VECTORING_INFO_VECTOR_MASK INTR_INFO_VECTOR_MASK |
| 260 | #define VECTORING_INFO_TYPE_MASK INTR_INFO_INTR_TYPE_MASK |
Ryan Harper | 2e11384 | 2008-02-11 10:26:38 -0600 | [diff] [blame] | 261 | #define VECTORING_INFO_DELIVER_CODE_MASK INTR_INFO_DELIVER_CODE_MASK |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 262 | #define VECTORING_INFO_VALID_MASK INTR_INFO_VALID_MASK |
| 263 | |
| 264 | #define INTR_TYPE_EXT_INTR (0 << 8) /* external interrupt */ |
Sheng Yang | f08864b | 2008-05-15 18:23:25 +0800 | [diff] [blame] | 265 | #define INTR_TYPE_NMI_INTR (2 << 8) /* NMI */ |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 266 | #define INTR_TYPE_EXCEPTION (3 << 8) /* processor exception */ |
Avi Kivity | 9c5623e | 2007-11-08 18:19:20 +0200 | [diff] [blame] | 267 | #define INTR_TYPE_SOFT_INTR (4 << 8) /* software interrupt */ |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 268 | |
Sheng Yang | f08864b | 2008-05-15 18:23:25 +0800 | [diff] [blame] | 269 | /* GUEST_INTERRUPTIBILITY_INFO flags. */ |
| 270 | #define GUEST_INTR_STATE_STI 0x00000001 |
| 271 | #define GUEST_INTR_STATE_MOV_SS 0x00000002 |
| 272 | #define GUEST_INTR_STATE_SMI 0x00000004 |
| 273 | #define GUEST_INTR_STATE_NMI 0x00000008 |
| 274 | |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 275 | /* |
| 276 | * Exit Qualifications for MOV for Control Register Access |
| 277 | */ |
Mike Day | d77c26f | 2007-10-08 09:02:08 -0400 | [diff] [blame] | 278 | #define CONTROL_REG_ACCESS_NUM 0x7 /* 2:0, number of control reg.*/ |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 279 | #define CONTROL_REG_ACCESS_TYPE 0x30 /* 5:4, access type */ |
Mike Day | d77c26f | 2007-10-08 09:02:08 -0400 | [diff] [blame] | 280 | #define CONTROL_REG_ACCESS_REG 0xf00 /* 10:8, general purpose reg. */ |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 281 | #define LMSW_SOURCE_DATA_SHIFT 16 |
| 282 | #define LMSW_SOURCE_DATA (0xFFFF << LMSW_SOURCE_DATA_SHIFT) /* 16:31 lmsw source */ |
| 283 | #define REG_EAX (0 << 8) |
| 284 | #define REG_ECX (1 << 8) |
| 285 | #define REG_EDX (2 << 8) |
| 286 | #define REG_EBX (3 << 8) |
| 287 | #define REG_ESP (4 << 8) |
| 288 | #define REG_EBP (5 << 8) |
| 289 | #define REG_ESI (6 << 8) |
| 290 | #define REG_EDI (7 << 8) |
| 291 | #define REG_R8 (8 << 8) |
| 292 | #define REG_R9 (9 << 8) |
| 293 | #define REG_R10 (10 << 8) |
| 294 | #define REG_R11 (11 << 8) |
| 295 | #define REG_R12 (12 << 8) |
| 296 | #define REG_R13 (13 << 8) |
| 297 | #define REG_R14 (14 << 8) |
| 298 | #define REG_R15 (15 << 8) |
| 299 | |
| 300 | /* |
| 301 | * Exit Qualifications for MOV for Debug Register Access |
| 302 | */ |
Mike Day | d77c26f | 2007-10-08 09:02:08 -0400 | [diff] [blame] | 303 | #define DEBUG_REG_ACCESS_NUM 0x7 /* 2:0, number of debug reg. */ |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 304 | #define DEBUG_REG_ACCESS_TYPE 0x10 /* 4, direction of access */ |
| 305 | #define TYPE_MOV_TO_DR (0 << 4) |
| 306 | #define TYPE_MOV_FROM_DR (1 << 4) |
Mike Day | d77c26f | 2007-10-08 09:02:08 -0400 | [diff] [blame] | 307 | #define DEBUG_REG_ACCESS_REG 0xf00 /* 11:8, general purpose reg. */ |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 308 | |
| 309 | |
| 310 | /* segment AR */ |
| 311 | #define SEGMENT_AR_L_MASK (1 << 13) |
| 312 | |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 313 | #define AR_TYPE_ACCESSES_MASK 1 |
| 314 | #define AR_TYPE_READABLE_MASK (1 << 1) |
| 315 | #define AR_TYPE_WRITEABLE_MASK (1 << 2) |
| 316 | #define AR_TYPE_CODE_MASK (1 << 3) |
| 317 | #define AR_TYPE_MASK 0x0f |
| 318 | #define AR_TYPE_BUSY_64_TSS 11 |
| 319 | #define AR_TYPE_BUSY_32_TSS 11 |
| 320 | #define AR_TYPE_BUSY_16_TSS 3 |
| 321 | #define AR_TYPE_LDT 2 |
| 322 | |
| 323 | #define AR_UNUSABLE_MASK (1 << 16) |
| 324 | #define AR_S_MASK (1 << 4) |
| 325 | #define AR_P_MASK (1 << 7) |
| 326 | #define AR_L_MASK (1 << 13) |
| 327 | #define AR_DB_MASK (1 << 14) |
| 328 | #define AR_G_MASK (1 << 15) |
| 329 | #define AR_DPL_SHIFT 5 |
| 330 | #define AR_DPL(ar) (((ar) >> AR_DPL_SHIFT) & 3) |
| 331 | |
| 332 | #define AR_RESERVD_MASK 0xfffe0f00 |
| 333 | |
Yang, Sheng | 62b3ffb | 2007-07-25 12:17:06 +0300 | [diff] [blame] | 334 | #define MSR_IA32_VMX_BASIC 0x480 |
| 335 | #define MSR_IA32_VMX_PINBASED_CTLS 0x481 |
| 336 | #define MSR_IA32_VMX_PROCBASED_CTLS 0x482 |
| 337 | #define MSR_IA32_VMX_EXIT_CTLS 0x483 |
| 338 | #define MSR_IA32_VMX_ENTRY_CTLS 0x484 |
| 339 | #define MSR_IA32_VMX_MISC 0x485 |
| 340 | #define MSR_IA32_VMX_CR0_FIXED0 0x486 |
| 341 | #define MSR_IA32_VMX_CR0_FIXED1 0x487 |
| 342 | #define MSR_IA32_VMX_CR4_FIXED0 0x488 |
| 343 | #define MSR_IA32_VMX_CR4_FIXED1 0x489 |
| 344 | #define MSR_IA32_VMX_VMCS_ENUM 0x48a |
| 345 | #define MSR_IA32_VMX_PROCBASED_CTLS2 0x48b |
Sheng Yang | d56f546 | 2008-04-25 10:13:16 +0800 | [diff] [blame] | 346 | #define MSR_IA32_VMX_EPT_VPID_CAP 0x48c |
Yang, Sheng | 62b3ffb | 2007-07-25 12:17:06 +0300 | [diff] [blame] | 347 | |
| 348 | #define MSR_IA32_FEATURE_CONTROL 0x3a |
| 349 | #define MSR_IA32_FEATURE_CONTROL_LOCKED 0x1 |
| 350 | #define MSR_IA32_FEATURE_CONTROL_VMXON_ENABLED 0x4 |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 351 | |
Sheng Yang | f78e0e2 | 2007-10-29 09:40:42 +0800 | [diff] [blame] | 352 | #define APIC_ACCESS_PAGE_PRIVATE_MEMSLOT 9 |
Sheng Yang | b7ebfb0 | 2008-04-25 21:44:52 +0800 | [diff] [blame] | 353 | #define IDENTITY_PAGETABLE_PRIVATE_MEMSLOT 10 |
Sheng Yang | f78e0e2 | 2007-10-29 09:40:42 +0800 | [diff] [blame] | 354 | |
Sheng Yang | 2384d2b | 2008-01-17 15:14:33 +0800 | [diff] [blame] | 355 | #define VMX_NR_VPIDS (1 << 16) |
| 356 | #define VMX_VPID_EXTENT_SINGLE_CONTEXT 1 |
| 357 | #define VMX_VPID_EXTENT_ALL_CONTEXT 2 |
| 358 | |
Sheng Yang | d56f546 | 2008-04-25 10:13:16 +0800 | [diff] [blame] | 359 | #define VMX_EPT_EXTENT_INDIVIDUAL_ADDR 0 |
| 360 | #define VMX_EPT_EXTENT_CONTEXT 1 |
| 361 | #define VMX_EPT_EXTENT_GLOBAL 2 |
| 362 | #define VMX_EPT_EXTENT_INDIVIDUAL_BIT (1ull << 24) |
| 363 | #define VMX_EPT_EXTENT_CONTEXT_BIT (1ull << 25) |
| 364 | #define VMX_EPT_EXTENT_GLOBAL_BIT (1ull << 26) |
Sheng Yang | 67253af | 2008-04-25 10:20:22 +0800 | [diff] [blame] | 365 | #define VMX_EPT_DEFAULT_GAW 3 |
Sheng Yang | 1439442 | 2008-04-28 12:24:45 +0800 | [diff] [blame] | 366 | #define VMX_EPT_MAX_GAW 0x4 |
| 367 | #define VMX_EPT_MT_EPTE_SHIFT 3 |
| 368 | #define VMX_EPT_GAW_EPTP_SHIFT 3 |
| 369 | #define VMX_EPT_DEFAULT_MT 0x6ull |
| 370 | #define VMX_EPT_READABLE_MASK 0x1ull |
| 371 | #define VMX_EPT_WRITABLE_MASK 0x2ull |
| 372 | #define VMX_EPT_EXECUTABLE_MASK 0x4ull |
| 373 | #define VMX_EPT_FAKE_ACCESSED_MASK (1ull << 62) |
| 374 | #define VMX_EPT_FAKE_DIRTY_MASK (1ull << 63) |
Sheng Yang | d56f546 | 2008-04-25 10:13:16 +0800 | [diff] [blame] | 375 | |
Sheng Yang | b7ebfb0 | 2008-04-25 21:44:52 +0800 | [diff] [blame] | 376 | #define VMX_EPT_IDENTITY_PAGETABLE_ADDR 0xfffbc000ul |
| 377 | |
Avi Kivity | 6aa8b73 | 2006-12-10 02:21:36 -0800 | [diff] [blame] | 378 | #endif |