hm_vmx.h@ 73771

Last change on this file since 73771 was 73771, checked in by vboxsync, 6 years ago
hm_vmx.h: Nested VMX: bugref:9180 Define VMCS field widths, add inline function for getting the width given the encoding.
Property svn:eol-style set to `native` Property svn:keywords set to `Author Date Id Revision`
File size: 149.9 KB

Line
1	/** @file
2	* HM - VMX Structures and Definitions. (VMM)
3	*/
4
5	/*
6	* Copyright (C) 2006-2017 Oracle Corporation
7	*
8	* This file is part of VirtualBox Open Source Edition (OSE), as
9	* available from http://www.virtualbox.org. This file is free software;
10	* you can redistribute it and/or modify it under the terms of the GNU
11	* General Public License (GPL) as published by the Free Software
12	* Foundation, in version 2 as it comes in the "COPYING" file of the
13	* VirtualBox OSE distribution. VirtualBox OSE is distributed in the
14	* hope that it will be useful, but WITHOUT ANY WARRANTY of any kind.
15	*
16	* The contents of this file may alternatively be used under the terms
17	* of the Common Development and Distribution License Version 1.0
18	* (CDDL) only, as it comes in the "COPYING.CDDL" file of the
19	* VirtualBox OSE distribution, in which case the provisions of the
20	* CDDL are applicable instead of those of the GPL.
21	*
22	* You may elect to license modified versions of this file under the
23	* terms and conditions of either the GPL or the CDDL or both.
24	*/
25
26	#ifndef ___VBox_vmm_vmx_h
27	#define ___VBox_vmm_vmx_h
28
29	#include <VBox/types.h>
30	#include <VBox/err.h>
31	#include <iprt/x86.h>
32	#include <iprt/assert.h>
33
34	/* In Visual C++ versions prior to 2012, the vmx intrinsics are only available
35	when targeting AMD64. */
36	#if RT_INLINE_ASM_USES_INTRIN >= 16 && defined(RT_ARCH_AMD64)
37	# pragma warning(push)
38	# pragma warning(disable:4668) /* Several incorrect __cplusplus uses. */
39	# pragma warning(disable:4255) /* Incorrect __slwpcb prototype. */
40	# include <intrin.h>
41	# pragma warning(pop)
42	/* We always want them as intrinsics, no functions. */
43	# pragma intrinsic(__vmx_on)
44	# pragma intrinsic(__vmx_off)
45	# pragma intrinsic(__vmx_vmclear)
46	# pragma intrinsic(__vmx_vmptrld)
47	# pragma intrinsic(__vmx_vmread)
48	# pragma intrinsic(__vmx_vmwrite)
49	# define VMX_USE_MSC_INTRINSICS 1
50	#else
51	# define VMX_USE_MSC_INTRINSICS 0
52	#endif
53
54
55	/** @defgroup grp_hm_vmx VMX Types and Definitions
56	* @ingroup grp_hm
57	* @{
58	*/
59
60	/** @name Host-state restoration flags.
61	* @note If you change these values don't forget to update the assembly
62	* defines as well!
63	* @{
64	*/
65	#define VMX_RESTORE_HOST_SEL_DS RT_BIT(0)
66	#define VMX_RESTORE_HOST_SEL_ES RT_BIT(1)
67	#define VMX_RESTORE_HOST_SEL_FS RT_BIT(2)
68	#define VMX_RESTORE_HOST_SEL_GS RT_BIT(3)
69	#define VMX_RESTORE_HOST_SEL_TR RT_BIT(4)
70	#define VMX_RESTORE_HOST_GDTR RT_BIT(5)
71	#define VMX_RESTORE_HOST_IDTR RT_BIT(6)
72	#define VMX_RESTORE_HOST_GDT_READ_ONLY RT_BIT(7)
73	#define VMX_RESTORE_HOST_REQUIRED RT_BIT(8)
74	#define VMX_RESTORE_HOST_GDT_NEED_WRITABLE RT_BIT(9)
75	/** @} */
76
77	/**
78	* Host-state restoration structure.
79	* This holds host-state fields that require manual restoration.
80	* Assembly version found in hm_vmx.mac (should be automatically verified).
81	*/
82	typedef struct VMXRESTOREHOST
83	{
84	RTSEL uHostSelDS; /* 0x00 */
85	RTSEL uHostSelES; /* 0x02 */
86	RTSEL uHostSelFS; /* 0x04 */
87	RTSEL uHostSelGS; /* 0x06 */
88	RTSEL uHostSelTR; /* 0x08 */
89	uint8_t abPadding0[4];
90	X86XDTR64 HostGdtr; /*< 0x0e - should be aligned by it's 64-bit member. /
91	uint8_t abPadding1[6];
92	X86XDTR64 HostGdtrRw; /*< 0x1e - should be aligned by it's 64-bit member. /
93	uint8_t abPadding2[6];
94	X86XDTR64 HostIdtr; /*< 0x2e - should be aligned by it's 64-bit member. /
95	uint64_t uHostFSBase; /* 0x38 */
96	uint64_t uHostGSBase; /* 0x40 */
97	} VMXRESTOREHOST;
98	/** Pointer to VMXRESTOREHOST. */
99	typedef VMXRESTOREHOST *PVMXRESTOREHOST;
100	AssertCompileSize(X86XDTR64, 10);
101	AssertCompileMemberOffset(VMXRESTOREHOST, HostGdtr.uAddr, 16);
102	AssertCompileMemberOffset(VMXRESTOREHOST, HostGdtrRw.uAddr, 32);
103	AssertCompileMemberOffset(VMXRESTOREHOST, HostIdtr.uAddr, 48);
104	AssertCompileMemberOffset(VMXRESTOREHOST, uHostFSBase, 56);
105	AssertCompileSize(VMXRESTOREHOST, 72);
106	AssertCompileSizeAlignment(VMXRESTOREHOST, 8);
107
108	/** @name Host-state MSR lazy-restoration flags.
109	* @{
110	*/
111	/** The host MSRs have been saved. */
112	#define VMX_LAZY_MSRS_SAVED_HOST RT_BIT(0)
113	/** The guest MSRs are loaded and in effect. */
114	#define VMX_LAZY_MSRS_LOADED_GUEST RT_BIT(1)
115	/** @} */
116
117	/** @name VMX HM-error codes for VERR_HM_UNSUPPORTED_CPU_FEATURE_COMBO.
118	* UFC = Unsupported Feature Combination.
119	* @{
120	*/
121	/** Unsupported pin-based VM-execution controls combo. */
122	#define VMX_UFC_CTRL_PIN_EXEC 1
123	/** Unsupported processor-based VM-execution controls combo. */
124	#define VMX_UFC_CTRL_PROC_EXEC 2
125	/** Unsupported move debug register VM-exit combo. */
126	#define VMX_UFC_CTRL_PROC_MOV_DRX_EXIT 3
127	/** Unsupported VM-entry controls combo. */
128	#define VMX_UFC_CTRL_ENTRY 4
129	/** Unsupported VM-exit controls combo. */
130	#define VMX_UFC_CTRL_EXIT 5
131	/** MSR storage capacity of the VMCS autoload/store area is not sufficient
132	* for storing host MSRs. */
133	#define VMX_UFC_INSUFFICIENT_HOST_MSR_STORAGE 6
134	/** MSR storage capacity of the VMCS autoload/store area is not sufficient
135	* for storing guest MSRs. */
136	#define VMX_UFC_INSUFFICIENT_GUEST_MSR_STORAGE 7
137	/** Invalid VMCS size. */
138	#define VMX_UFC_INVALID_VMCS_SIZE 8
139	/** Unsupported secondary processor-based VM-execution controls combo. */
140	#define VMX_UFC_CTRL_PROC_EXEC2 9
141	/** Invalid unrestricted-guest execution controls combo. */
142	#define VMX_UFC_INVALID_UX_COMBO 10
143	/** EPT flush type not supported. */
144	#define VMX_UFC_EPT_FLUSH_TYPE_UNSUPPORTED 11
145	/** EPT paging structure memory type is not write-back. */
146	#define VMX_UFC_EPT_MEM_TYPE_NOT_WB 12
147	/** EPT requires INVEPT instr. support but it's not available. */
148	#define VMX_UFC_EPT_INVEPT_UNAVAILABLE 13
149	/** EPT requires page-walk length of 4. */
150	#define VMX_UFC_EPT_PAGE_WALK_LENGTH_UNSUPPORTED 14
151	/** @} */
152
153	/** @name VMX HM-error codes for VERR_VMX_VMCS_FIELD_CACHE_INVALID.
154	* VCI = VMCS-field Cache Invalid.
155	* @{
156	*/
157	/** Cache of VM-entry controls invalid. */
158	#define VMX_VCI_CTRL_ENTRY 300
159	/** Cache of VM-exit controls invalid. */
160	#define VMX_VCI_CTRL_EXIT 301
161	/** Cache of pin-based VM-execution controls invalid. */
162	#define VMX_VCI_CTRL_PIN_EXEC 302
163	/** Cache of processor-based VM-execution controls invalid. */
164	#define VMX_VCI_CTRL_PROC_EXEC 303
165	/** Cache of secondary processor-based VM-execution controls invalid. */
166	#define VMX_VCI_CTRL_PROC_EXEC2 304
167	/** Cache of exception bitmap invalid. */
168	#define VMX_VCI_CTRL_XCPT_BITMAP 305
169	/** Cache of TSC offset invalid. */
170	#define VMX_VCI_CTRL_TSC_OFFSET 306
171	/** @} */
172
173	/** @name VMX HM-error codes for VERR_VMX_INVALID_GUEST_STATE.
174	* IGS = Invalid Guest State.
175	* @{
176	*/
177	/** An error occurred while checking invalid-guest-state. */
178	#define VMX_IGS_ERROR 500
179	/** The invalid guest-state checks did not find any reason why. */
180	#define VMX_IGS_REASON_NOT_FOUND 501
181	/** CR0 fixed1 bits invalid. */
182	#define VMX_IGS_CR0_FIXED1 502
183	/** CR0 fixed0 bits invalid. */
184	#define VMX_IGS_CR0_FIXED0 503
185	/** CR0.PE and CR0.PE invalid VT-x/host combination. */
186	#define VMX_IGS_CR0_PG_PE_COMBO 504
187	/** CR4 fixed1 bits invalid. */
188	#define VMX_IGS_CR4_FIXED1 505
189	/** CR4 fixed0 bits invalid. */
190	#define VMX_IGS_CR4_FIXED0 506
191	/** Reserved bits in VMCS' DEBUGCTL MSR field not set to 0 when
192	* VMX_VMCS_CTRL_ENTRY_LOAD_DEBUG is used. */
193	#define VMX_IGS_DEBUGCTL_MSR_RESERVED 507
194	/** CR0.PG not set for long-mode when not using unrestricted guest. */
195	#define VMX_IGS_CR0_PG_LONGMODE 508
196	/** CR4.PAE not set for long-mode guest when not using unrestricted guest. */
197	#define VMX_IGS_CR4_PAE_LONGMODE 509
198	/** CR4.PCIDE set for 32-bit guest. */
199	#define VMX_IGS_CR4_PCIDE 510
200	/** VMCS' DR7 reserved bits not set to 0. */
201	#define VMX_IGS_DR7_RESERVED 511
202	/** VMCS' PERF_GLOBAL MSR reserved bits not set to 0. */
203	#define VMX_IGS_PERF_GLOBAL_MSR_RESERVED 512
204	/** VMCS' EFER MSR reserved bits not set to 0. */
205	#define VMX_IGS_EFER_MSR_RESERVED 513
206	/** VMCS' EFER MSR.LMA does not match the IA32e mode guest control. */
207	#define VMX_IGS_EFER_LMA_GUEST_MODE_MISMATCH 514
208	/** VMCS' EFER MSR.LMA does not match EFER.LME of the guest when using paging
209	* without unrestricted guest. */
210	#define VMX_IGS_EFER_LMA_LME_MISMATCH 515
211	/** CS.Attr.P bit invalid. */
212	#define VMX_IGS_CS_ATTR_P_INVALID 516
213	/** CS.Attr reserved bits not set to 0. */
214	#define VMX_IGS_CS_ATTR_RESERVED 517
215	/** CS.Attr.G bit invalid. */
216	#define VMX_IGS_CS_ATTR_G_INVALID 518
217	/** CS is unusable. */
218	#define VMX_IGS_CS_ATTR_UNUSABLE 519
219	/** CS and SS DPL unequal. */
220	#define VMX_IGS_CS_SS_ATTR_DPL_UNEQUAL 520
221	/** CS and SS DPL mismatch. */
222	#define VMX_IGS_CS_SS_ATTR_DPL_MISMATCH 521
223	/** CS Attr.Type invalid. */
224	#define VMX_IGS_CS_ATTR_TYPE_INVALID 522
225	/** CS and SS RPL unequal. */
226	#define VMX_IGS_SS_CS_RPL_UNEQUAL 523
227	/** SS.Attr.DPL and SS RPL unequal. */
228	#define VMX_IGS_SS_ATTR_DPL_RPL_UNEQUAL 524
229	/** SS.Attr.DPL invalid for segment type. */
230	#define VMX_IGS_SS_ATTR_DPL_INVALID 525
231	/** SS.Attr.Type invalid. */
232	#define VMX_IGS_SS_ATTR_TYPE_INVALID 526
233	/** SS.Attr.P bit invalid. */
234	#define VMX_IGS_SS_ATTR_P_INVALID 527
235	/** SS.Attr reserved bits not set to 0. */
236	#define VMX_IGS_SS_ATTR_RESERVED 528
237	/** SS.Attr.G bit invalid. */
238	#define VMX_IGS_SS_ATTR_G_INVALID 529
239	/** DS.Attr.A bit invalid. */
240	#define VMX_IGS_DS_ATTR_A_INVALID 530
241	/** DS.Attr.P bit invalid. */
242	#define VMX_IGS_DS_ATTR_P_INVALID 531
243	/** DS.Attr.DPL and DS RPL unequal. */
244	#define VMX_IGS_DS_ATTR_DPL_RPL_UNEQUAL 532
245	/** DS.Attr reserved bits not set to 0. */
246	#define VMX_IGS_DS_ATTR_RESERVED 533
247	/** DS.Attr.G bit invalid. */
248	#define VMX_IGS_DS_ATTR_G_INVALID 534
249	/** DS.Attr.Type invalid. */
250	#define VMX_IGS_DS_ATTR_TYPE_INVALID 535
251	/** ES.Attr.A bit invalid. */
252	#define VMX_IGS_ES_ATTR_A_INVALID 536
253	/** ES.Attr.P bit invalid. */
254	#define VMX_IGS_ES_ATTR_P_INVALID 537
255	/** ES.Attr.DPL and DS RPL unequal. */
256	#define VMX_IGS_ES_ATTR_DPL_RPL_UNEQUAL 538
257	/** ES.Attr reserved bits not set to 0. */
258	#define VMX_IGS_ES_ATTR_RESERVED 539
259	/** ES.Attr.G bit invalid. */
260	#define VMX_IGS_ES_ATTR_G_INVALID 540
261	/** ES.Attr.Type invalid. */
262	#define VMX_IGS_ES_ATTR_TYPE_INVALID 541
263	/** FS.Attr.A bit invalid. */
264	#define VMX_IGS_FS_ATTR_A_INVALID 542
265	/** FS.Attr.P bit invalid. */
266	#define VMX_IGS_FS_ATTR_P_INVALID 543
267	/** FS.Attr.DPL and DS RPL unequal. */
268	#define VMX_IGS_FS_ATTR_DPL_RPL_UNEQUAL 544
269	/** FS.Attr reserved bits not set to 0. */
270	#define VMX_IGS_FS_ATTR_RESERVED 545
271	/** FS.Attr.G bit invalid. */
272	#define VMX_IGS_FS_ATTR_G_INVALID 546
273	/** FS.Attr.Type invalid. */
274	#define VMX_IGS_FS_ATTR_TYPE_INVALID 547
275	/** GS.Attr.A bit invalid. */
276	#define VMX_IGS_GS_ATTR_A_INVALID 548
277	/** GS.Attr.P bit invalid. */
278	#define VMX_IGS_GS_ATTR_P_INVALID 549
279	/** GS.Attr.DPL and DS RPL unequal. */
280	#define VMX_IGS_GS_ATTR_DPL_RPL_UNEQUAL 550
281	/** GS.Attr reserved bits not set to 0. */
282	#define VMX_IGS_GS_ATTR_RESERVED 551
283	/** GS.Attr.G bit invalid. */
284	#define VMX_IGS_GS_ATTR_G_INVALID 552
285	/** GS.Attr.Type invalid. */
286	#define VMX_IGS_GS_ATTR_TYPE_INVALID 553
287	/** V86 mode CS.Base invalid. */
288	#define VMX_IGS_V86_CS_BASE_INVALID 554
289	/** V86 mode CS.Limit invalid. */
290	#define VMX_IGS_V86_CS_LIMIT_INVALID 555
291	/** V86 mode CS.Attr invalid. */
292	#define VMX_IGS_V86_CS_ATTR_INVALID 556
293	/** V86 mode SS.Base invalid. */
294	#define VMX_IGS_V86_SS_BASE_INVALID 557
295	/** V86 mode SS.Limit invalid. */
296	#define VMX_IGS_V86_SS_LIMIT_INVALID 558
297	/** V86 mode SS.Attr invalid. */
298	#define VMX_IGS_V86_SS_ATTR_INVALID 559
299	/** V86 mode DS.Base invalid. */
300	#define VMX_IGS_V86_DS_BASE_INVALID 560
301	/** V86 mode DS.Limit invalid. */
302	#define VMX_IGS_V86_DS_LIMIT_INVALID 561
303	/** V86 mode DS.Attr invalid. */
304	#define VMX_IGS_V86_DS_ATTR_INVALID 562
305	/** V86 mode ES.Base invalid. */
306	#define VMX_IGS_V86_ES_BASE_INVALID 563
307	/** V86 mode ES.Limit invalid. */
308	#define VMX_IGS_V86_ES_LIMIT_INVALID 564
309	/** V86 mode ES.Attr invalid. */
310	#define VMX_IGS_V86_ES_ATTR_INVALID 565
311	/** V86 mode FS.Base invalid. */
312	#define VMX_IGS_V86_FS_BASE_INVALID 566
313	/** V86 mode FS.Limit invalid. */
314	#define VMX_IGS_V86_FS_LIMIT_INVALID 567
315	/** V86 mode FS.Attr invalid. */
316	#define VMX_IGS_V86_FS_ATTR_INVALID 568
317	/** V86 mode GS.Base invalid. */
318	#define VMX_IGS_V86_GS_BASE_INVALID 569
319	/** V86 mode GS.Limit invalid. */
320	#define VMX_IGS_V86_GS_LIMIT_INVALID 570
321	/** V86 mode GS.Attr invalid. */
322	#define VMX_IGS_V86_GS_ATTR_INVALID 571
323	/** Longmode CS.Base invalid. */
324	#define VMX_IGS_LONGMODE_CS_BASE_INVALID 572
325	/** Longmode SS.Base invalid. */
326	#define VMX_IGS_LONGMODE_SS_BASE_INVALID 573
327	/** Longmode DS.Base invalid. */
328	#define VMX_IGS_LONGMODE_DS_BASE_INVALID 574
329	/** Longmode ES.Base invalid. */
330	#define VMX_IGS_LONGMODE_ES_BASE_INVALID 575
331	/** SYSENTER ESP is not canonical. */
332	#define VMX_IGS_SYSENTER_ESP_NOT_CANONICAL 576
333	/** SYSENTER EIP is not canonical. */
334	#define VMX_IGS_SYSENTER_EIP_NOT_CANONICAL 577
335	/** PAT MSR invalid. */
336	#define VMX_IGS_PAT_MSR_INVALID 578
337	/** PAT MSR reserved bits not set to 0. */
338	#define VMX_IGS_PAT_MSR_RESERVED 579
339	/** GDTR.Base is not canonical. */
340	#define VMX_IGS_GDTR_BASE_NOT_CANONICAL 580
341	/** IDTR.Base is not canonical. */
342	#define VMX_IGS_IDTR_BASE_NOT_CANONICAL 581
343	/** GDTR.Limit invalid. */
344	#define VMX_IGS_GDTR_LIMIT_INVALID 582
345	/** IDTR.Limit invalid. */
346	#define VMX_IGS_IDTR_LIMIT_INVALID 583
347	/** Longmode RIP is invalid. */
348	#define VMX_IGS_LONGMODE_RIP_INVALID 584
349	/** RFLAGS reserved bits not set to 0. */
350	#define VMX_IGS_RFLAGS_RESERVED 585
351	/** RFLAGS RA1 reserved bits not set to 1. */
352	#define VMX_IGS_RFLAGS_RESERVED1 586
353	/** RFLAGS.VM (V86 mode) invalid. */
354	#define VMX_IGS_RFLAGS_VM_INVALID 587
355	/** RFLAGS.IF invalid. */
356	#define VMX_IGS_RFLAGS_IF_INVALID 588
357	/** Activity state invalid. */
358	#define VMX_IGS_ACTIVITY_STATE_INVALID 589
359	/** Activity state HLT invalid when SS.Attr.DPL is not zero. */
360	#define VMX_IGS_ACTIVITY_STATE_HLT_INVALID 590
361	/** Activity state ACTIVE invalid when block-by-STI or MOV SS. */
362	#define VMX_IGS_ACTIVITY_STATE_ACTIVE_INVALID 591
363	/** Activity state SIPI WAIT invalid. */
364	#define VMX_IGS_ACTIVITY_STATE_SIPI_WAIT_INVALID 592
365	/** Interruptibility state reserved bits not set to 0. */
366	#define VMX_IGS_INTERRUPTIBILITY_STATE_RESERVED 593
367	/** Interruptibility state cannot be block-by-STI -and- MOV SS. */
368	#define VMX_IGS_INTERRUPTIBILITY_STATE_STI_MOVSS_INVALID 594
369	/** Interruptibility state block-by-STI invalid for EFLAGS. */
370	#define VMX_IGS_INTERRUPTIBILITY_STATE_STI_EFL_INVALID 595
371	/** Interruptibility state invalid while trying to deliver external
372	* interrupt. */
373	#define VMX_IGS_INTERRUPTIBILITY_STATE_EXT_INT_INVALID 596
374	/** Interruptibility state block-by-MOVSS invalid while trying to deliver an
375	* NMI. */
376	#define VMX_IGS_INTERRUPTIBILITY_STATE_MOVSS_INVALID 597
377	/** Interruptibility state block-by-SMI invalid when CPU is not in SMM. */
378	#define VMX_IGS_INTERRUPTIBILITY_STATE_SMI_INVALID 598
379	/** Interruptibility state block-by-SMI invalid when trying to enter SMM. */
380	#define VMX_IGS_INTERRUPTIBILITY_STATE_SMI_SMM_INVALID 599
381	/** Interruptibility state block-by-STI (maybe) invalid when trying to
382	* deliver an NMI. */
383	#define VMX_IGS_INTERRUPTIBILITY_STATE_STI_INVALID 600
384	/** Interruptibility state block-by-NMI invalid when virtual-NMIs control is
385	* active. */
386	#define VMX_IGS_INTERRUPTIBILITY_STATE_NMI_INVALID 601
387	/** Pending debug exceptions reserved bits not set to 0. */
388	#define VMX_IGS_PENDING_DEBUG_RESERVED 602
389	/** Longmode pending debug exceptions reserved bits not set to 0. */
390	#define VMX_IGS_LONGMODE_PENDING_DEBUG_RESERVED 603
391	/** Pending debug exceptions.BS bit is not set when it should be. */
392	#define VMX_IGS_PENDING_DEBUG_XCPT_BS_NOT_SET 604
393	/** Pending debug exceptions.BS bit is not clear when it should be. */
394	#define VMX_IGS_PENDING_DEBUG_XCPT_BS_NOT_CLEAR 605
395	/** VMCS link pointer reserved bits not set to 0. */
396	#define VMX_IGS_VMCS_LINK_PTR_RESERVED 606
397	/** TR cannot index into LDT, TI bit MBZ. */
398	#define VMX_IGS_TR_TI_INVALID 607
399	/** LDTR cannot index into LDT. TI bit MBZ. */
400	#define VMX_IGS_LDTR_TI_INVALID 608
401	/** TR.Base is not canonical. */
402	#define VMX_IGS_TR_BASE_NOT_CANONICAL 609
403	/** FS.Base is not canonical. */
404	#define VMX_IGS_FS_BASE_NOT_CANONICAL 610
405	/** GS.Base is not canonical. */
406	#define VMX_IGS_GS_BASE_NOT_CANONICAL 611
407	/** LDTR.Base is not canonical. */
408	#define VMX_IGS_LDTR_BASE_NOT_CANONICAL 612
409	/** TR is unusable. */
410	#define VMX_IGS_TR_ATTR_UNUSABLE 613
411	/** TR.Attr.S bit invalid. */
412	#define VMX_IGS_TR_ATTR_S_INVALID 614
413	/** TR is not present. */
414	#define VMX_IGS_TR_ATTR_P_INVALID 615
415	/** TR.Attr reserved bits not set to 0. */
416	#define VMX_IGS_TR_ATTR_RESERVED 616
417	/** TR.Attr.G bit invalid. */
418	#define VMX_IGS_TR_ATTR_G_INVALID 617
419	/** Longmode TR.Attr.Type invalid. */
420	#define VMX_IGS_LONGMODE_TR_ATTR_TYPE_INVALID 618
421	/** TR.Attr.Type invalid. */
422	#define VMX_IGS_TR_ATTR_TYPE_INVALID 619
423	/** CS.Attr.S invalid. */
424	#define VMX_IGS_CS_ATTR_S_INVALID 620
425	/** CS.Attr.DPL invalid. */
426	#define VMX_IGS_CS_ATTR_DPL_INVALID 621
427	/** PAE PDPTE reserved bits not set to 0. */
428	#define VMX_IGS_PAE_PDPTE_RESERVED 623
429	/** @} */
430
431	/** @name VMX VMCS-Read cache indices.
432	* @{
433	*/
434	#define VMX_VMCS_GUEST_ES_BASE_CACHE_IDX 0
435	#define VMX_VMCS_GUEST_CS_BASE_CACHE_IDX 1
436	#define VMX_VMCS_GUEST_SS_BASE_CACHE_IDX 2
437	#define VMX_VMCS_GUEST_DS_BASE_CACHE_IDX 3
438	#define VMX_VMCS_GUEST_FS_BASE_CACHE_IDX 4
439	#define VMX_VMCS_GUEST_GS_BASE_CACHE_IDX 5
440	#define VMX_VMCS_GUEST_LDTR_BASE_CACHE_IDX 6
441	#define VMX_VMCS_GUEST_TR_BASE_CACHE_IDX 7
442	#define VMX_VMCS_GUEST_GDTR_BASE_CACHE_IDX 8
443	#define VMX_VMCS_GUEST_IDTR_BASE_CACHE_IDX 9
444	#define VMX_VMCS_GUEST_RSP_CACHE_IDX 10
445	#define VMX_VMCS_GUEST_RIP_CACHE_IDX 11
446	#define VMX_VMCS_GUEST_SYSENTER_ESP_CACHE_IDX 12
447	#define VMX_VMCS_GUEST_SYSENTER_EIP_CACHE_IDX 13
448	#define VMX_VMCS_RO_EXIT_QUALIFICATION_CACHE_IDX 14
449	#define VMX_VMCS_MAX_CACHE_IDX (VMX_VMCS_RO_EXIT_QUALIFICATION_CACHE_IDX + 1)
450	#define VMX_VMCS_GUEST_CR3_CACHE_IDX 15
451	#define VMX_VMCS_MAX_NESTED_PAGING_CACHE_IDX (VMX_VMCS_GUEST_CR3_CACHE_IDX + 1)
452	/** @} */
453
454	/** @name VMX EPT paging structures
455	* @{
456	*/
457
458	/**
459	* Number of page table entries in the EPT. (PDPTE/PDE/PTE)
460	*/
461	#define EPT_PG_ENTRIES X86_PG_PAE_ENTRIES
462
463	/**
464	* EPT Page Directory Pointer Entry. Bit view.
465	* @todo uint64_t isn't safe for bitfields (gcc pedantic warnings, and IIRC,
466	* this did cause trouble with one compiler/version).
467	*/
468	typedef struct EPTPML4EBITS
469	{
470	/** Present bit. */
471	uint64_t u1Present : 1;
472	/** Writable bit. */
473	uint64_t u1Write : 1;
474	/** Executable bit. */
475	uint64_t u1Execute : 1;
476	/** Reserved (must be 0). */
477	uint64_t u5Reserved : 5;
478	/** Available for software. */
479	uint64_t u4Available : 4;
480	/** Physical address of the next level (PD). Restricted by maximum physical address width of the cpu. */
481	uint64_t u40PhysAddr : 40;
482	/** Available for software. */
483	uint64_t u12Available : 12;
484	} EPTPML4EBITS;
485	AssertCompileSize(EPTPML4EBITS, 8);
486
487	/** Bits 12-51 - - EPT - Physical Page number of the next level. */
488	#define EPT_PML4E_PG_MASK X86_PML4E_PG_MASK
489	/** The page shift to get the PML4 index. */
490	#define EPT_PML4_SHIFT X86_PML4_SHIFT
491	/** The PML4 index mask (apply to a shifted page address). */
492	#define EPT_PML4_MASK X86_PML4_MASK
493
494	/**
495	* EPT PML4E.
496	*/
497	typedef union EPTPML4E
498	{
499	/** Normal view. */
500	EPTPML4EBITS n;
501	/** Unsigned integer view. */
502	X86PGPAEUINT u;
503	/** 64 bit unsigned integer view. */
504	uint64_t au64[1];
505	/** 32 bit unsigned integer view. */
506	uint32_t au32[2];
507	} EPTPML4E;
508	AssertCompileSize(EPTPML4E, 8);
509	/** Pointer to a PML4 table entry. */
510	typedef EPTPML4E *PEPTPML4E;
511	/** Pointer to a const PML4 table entry. */
512	typedef const EPTPML4E *PCEPTPML4E;
513
514	/**
515	* EPT PML4 Table.
516	*/
517	typedef struct EPTPML4
518	{
519	EPTPML4E a[EPT_PG_ENTRIES];
520	} EPTPML4;
521	AssertCompileSize(EPTPML4, 0x1000);
522	/** Pointer to an EPT PML4 Table. */
523	typedef EPTPML4 *PEPTPML4;
524	/** Pointer to a const EPT PML4 Table. */
525	typedef const EPTPML4 *PCEPTPML4;
526
527	/**
528	* EPT Page Directory Pointer Entry. Bit view.
529	*/
530	typedef struct EPTPDPTEBITS
531	{
532	/** Present bit. */
533	uint64_t u1Present : 1;
534	/** Writable bit. */
535	uint64_t u1Write : 1;
536	/** Executable bit. */
537	uint64_t u1Execute : 1;
538	/** Reserved (must be 0). */
539	uint64_t u5Reserved : 5;
540	/** Available for software. */
541	uint64_t u4Available : 4;
542	/** Physical address of the next level (PD). Restricted by maximum physical address width of the cpu. */
543	uint64_t u40PhysAddr : 40;
544	/** Available for software. */
545	uint64_t u12Available : 12;
546	} EPTPDPTEBITS;
547	AssertCompileSize(EPTPDPTEBITS, 8);
548
549	/** Bits 12-51 - - EPT - Physical Page number of the next level. */
550	#define EPT_PDPTE_PG_MASK X86_PDPE_PG_MASK
551	/** The page shift to get the PDPT index. */
552	#define EPT_PDPT_SHIFT X86_PDPT_SHIFT
553	/** The PDPT index mask (apply to a shifted page address). */
554	#define EPT_PDPT_MASK X86_PDPT_MASK_AMD64
555
556	/**
557	* EPT Page Directory Pointer.
558	*/
559	typedef union EPTPDPTE
560	{
561	/** Normal view. */
562	EPTPDPTEBITS n;
563	/** Unsigned integer view. */
564	X86PGPAEUINT u;
565	/** 64 bit unsigned integer view. */
566	uint64_t au64[1];
567	/** 32 bit unsigned integer view. */
568	uint32_t au32[2];
569	} EPTPDPTE;
570	AssertCompileSize(EPTPDPTE, 8);
571	/** Pointer to an EPT Page Directory Pointer Entry. */
572	typedef EPTPDPTE *PEPTPDPTE;
573	/** Pointer to a const EPT Page Directory Pointer Entry. */
574	typedef const EPTPDPTE *PCEPTPDPTE;
575
576	/**
577	* EPT Page Directory Pointer Table.
578	*/
579	typedef struct EPTPDPT
580	{
581	EPTPDPTE a[EPT_PG_ENTRIES];
582	} EPTPDPT;
583	AssertCompileSize(EPTPDPT, 0x1000);
584	/** Pointer to an EPT Page Directory Pointer Table. */
585	typedef EPTPDPT *PEPTPDPT;
586	/** Pointer to a const EPT Page Directory Pointer Table. */
587	typedef const EPTPDPT *PCEPTPDPT;
588
589	/**
590	* EPT Page Directory Table Entry. Bit view.
591	*/
592	typedef struct EPTPDEBITS
593	{
594	/** Present bit. */
595	uint64_t u1Present : 1;
596	/** Writable bit. */
597	uint64_t u1Write : 1;
598	/** Executable bit. */
599	uint64_t u1Execute : 1;
600	/** Reserved (must be 0). */
601	uint64_t u4Reserved : 4;
602	/** Big page (must be 0 here). */
603	uint64_t u1Size : 1;
604	/** Available for software. */
605	uint64_t u4Available : 4;
606	/** Physical address of page table. Restricted by maximum physical address width of the cpu. */
607	uint64_t u40PhysAddr : 40;
608	/** Available for software. */
609	uint64_t u12Available : 12;
610	} EPTPDEBITS;
611	AssertCompileSize(EPTPDEBITS, 8);
612
613	/** Bits 12-51 - - EPT - Physical Page number of the next level. */
614	#define EPT_PDE_PG_MASK X86_PDE_PAE_PG_MASK
615	/** The page shift to get the PD index. */
616	#define EPT_PD_SHIFT X86_PD_PAE_SHIFT
617	/** The PD index mask (apply to a shifted page address). */
618	#define EPT_PD_MASK X86_PD_PAE_MASK
619
620	/**
621	* EPT 2MB Page Directory Table Entry. Bit view.
622	*/
623	typedef struct EPTPDE2MBITS
624	{
625	/** Present bit. */
626	uint64_t u1Present : 1;
627	/** Writable bit. */
628	uint64_t u1Write : 1;
629	/** Executable bit. */
630	uint64_t u1Execute : 1;
631	/** EPT Table Memory Type. MBZ for non-leaf nodes. */
632	uint64_t u3EMT : 3;
633	/** Ignore PAT memory type */
634	uint64_t u1IgnorePAT : 1;
635	/** Big page (must be 1 here). */
636	uint64_t u1Size : 1;
637	/** Available for software. */
638	uint64_t u4Available : 4;
639	/** Reserved (must be 0). */
640	uint64_t u9Reserved : 9;
641	/** Physical address of the 2MB page. Restricted by maximum physical address width of the cpu. */
642	uint64_t u31PhysAddr : 31;
643	/** Available for software. */
644	uint64_t u12Available : 12;
645	} EPTPDE2MBITS;
646	AssertCompileSize(EPTPDE2MBITS, 8);
647
648	/** Bits 21-51 - - EPT - Physical Page number of the next level. */
649	#define EPT_PDE2M_PG_MASK X86_PDE2M_PAE_PG_MASK
650
651	/**
652	* EPT Page Directory Table Entry.
653	*/
654	typedef union EPTPDE
655	{
656	/** Normal view. */
657	EPTPDEBITS n;
658	/** 2MB view (big). */
659	EPTPDE2MBITS b;
660	/** Unsigned integer view. */
661	X86PGPAEUINT u;
662	/** 64 bit unsigned integer view. */
663	uint64_t au64[1];
664	/** 32 bit unsigned integer view. */
665	uint32_t au32[2];
666	} EPTPDE;
667	AssertCompileSize(EPTPDE, 8);
668	/** Pointer to an EPT Page Directory Table Entry. */
669	typedef EPTPDE *PEPTPDE;
670	/** Pointer to a const EPT Page Directory Table Entry. */
671	typedef const EPTPDE *PCEPTPDE;
672
673	/**
674	* EPT Page Directory Table.
675	*/
676	typedef struct EPTPD
677	{
678	EPTPDE a[EPT_PG_ENTRIES];
679	} EPTPD;
680	AssertCompileSize(EPTPD, 0x1000);
681	/** Pointer to an EPT Page Directory Table. */
682	typedef EPTPD *PEPTPD;
683	/** Pointer to a const EPT Page Directory Table. */
684	typedef const EPTPD *PCEPTPD;
685
686	/**
687	* EPT Page Table Entry. Bit view.
688	*/
689	typedef struct EPTPTEBITS
690	{
691	/** 0 - Present bit.
692	* @remarks This is a convenience "misnomer". The bit actually indicates read access
693	* and the CPU will consider an entry with any of the first three bits set
694	* as present. Since all our valid entries will have this bit set, it can
695	* be used as a present indicator and allow some code sharing. */
696	uint64_t u1Present : 1;
697	/** 1 - Writable bit. */
698	uint64_t u1Write : 1;
699	/** 2 - Executable bit. */
700	uint64_t u1Execute : 1;
701	/** 5:3 - EPT Memory Type. MBZ for non-leaf nodes. */
702	uint64_t u3EMT : 3;
703	/** 6 - Ignore PAT memory type */
704	uint64_t u1IgnorePAT : 1;
705	/** 11:7 - Available for software. */
706	uint64_t u5Available : 5;
707	/** 51:12 - Physical address of page. Restricted by maximum physical
708	* address width of the cpu. */
709	uint64_t u40PhysAddr : 40;
710	/** 63:52 - Available for software. */
711	uint64_t u12Available : 12;
712	} EPTPTEBITS;
713	AssertCompileSize(EPTPTEBITS, 8);
714
715	/** Bits 12-51 - - EPT - Physical Page number of the next level. */
716	#define EPT_PTE_PG_MASK X86_PTE_PAE_PG_MASK
717	/** The page shift to get the EPT PTE index. */
718	#define EPT_PT_SHIFT X86_PT_PAE_SHIFT
719	/** The EPT PT index mask (apply to a shifted page address). */
720	#define EPT_PT_MASK X86_PT_PAE_MASK
721
722	/**
723	* EPT Page Table Entry.
724	*/
725	typedef union EPTPTE
726	{
727	/** Normal view. */
728	EPTPTEBITS n;
729	/** Unsigned integer view. */
730	X86PGPAEUINT u;
731	/** 64 bit unsigned integer view. */
732	uint64_t au64[1];
733	/** 32 bit unsigned integer view. */
734	uint32_t au32[2];
735	} EPTPTE;
736	AssertCompileSize(EPTPTE, 8);
737	/** Pointer to an EPT Page Directory Table Entry. */
738	typedef EPTPTE *PEPTPTE;
739	/** Pointer to a const EPT Page Directory Table Entry. */
740	typedef const EPTPTE *PCEPTPTE;
741
742	/**
743	* EPT Page Table.
744	*/
745	typedef struct EPTPT
746	{
747	EPTPTE a[EPT_PG_ENTRIES];
748	} EPTPT;
749	AssertCompileSize(EPTPT, 0x1000);
750	/** Pointer to an extended page table. */
751	typedef EPTPT *PEPTPT;
752	/** Pointer to a const extended table. */
753	typedef const EPTPT *PCEPTPT;
754
755	/** @} */
756
757	/**
758	* VMX VPID flush types.
759	* @note Valid enum members are in accordance to the VT-x spec.
760	*/
761	typedef enum
762	{
763	/** Invalidate a specific page. */
764	VMXTLBFLUSHVPID_INDIV_ADDR = 0,
765	/** Invalidate one context (specific VPID). */
766	VMXTLBFLUSHVPID_SINGLE_CONTEXT = 1,
767	/** Invalidate all contexts (all VPIDs). */
768	VMXTLBFLUSHVPID_ALL_CONTEXTS = 2,
769	/** Invalidate a single VPID context retaining global mappings. */
770	VMXTLBFLUSHVPID_SINGLE_CONTEXT_RETAIN_GLOBALS = 3,
771	/** Unsupported by VirtualBox. */
772	VMXTLBFLUSHVPID_NOT_SUPPORTED = 0xbad0,
773	/** Unsupported by CPU. */
774	VMXTLBFLUSHVPID_NONE = 0xbad1
775	} VMXTLBFLUSHVPID;
776	AssertCompileSize(VMXTLBFLUSHVPID, 4);
777
778	/**
779	* VMX EPT flush types.
780	* @note Valid enums values are in accordance to the VT-x spec.
781	*/
782	typedef enum
783	{
784	/** Invalidate one context (specific EPT). */
785	VMXTLBFLUSHEPT_SINGLE_CONTEXT = 1,
786	/* Invalidate all contexts (all EPTs) */
787	VMXTLBFLUSHEPT_ALL_CONTEXTS = 2,
788	/** Unsupported by VirtualBox. */
789	VMXTLBFLUSHEPT_NOT_SUPPORTED = 0xbad0,
790	/** Unsupported by CPU. */
791	VMXTLBFLUSHEPT_NONE = 0xbad1
792	} VMXTLBFLUSHEPT;
793	AssertCompileSize(VMXTLBFLUSHEPT, 4);
794
795	/**
796	* VMX Posted Interrupt Descriptor.
797	* In accordance to the VT-x spec.
798	*/
799	typedef struct VMXPOSTEDINTRDESC
800	{
801	uint32_t aVectorBitmap[8];
802	uint32_t fOutstandingNotification : 1;
803	uint32_t uReserved0 : 31;
804	uint8_t au8Reserved0[28];
805	} VMXPOSTEDINTRDESC;
806	AssertCompileMemberSize(VMXPOSTEDINTRDESC, aVectorBitmap, 32);
807	AssertCompileSize(VMXPOSTEDINTRDESC, 64);
808	/** Pointer to a posted interrupt descriptor. */
809	typedef VMXPOSTEDINTRDESC *PVMXPOSTEDINTRDESC;
810	/** Pointer to a const posted interrupt descriptor. */
811	typedef const VMXPOSTEDINTRDESC *PCVMXPOSTEDINTRDESC;
812
813	/**
814	* VMX VMCS revision identifier.
815	*/
816	typedef union
817	{
818	struct
819	{
820	/** Revision identifier. */
821	uint32_t u31RevisionId : 31;
822	/** Whether this is a shadow VMCS. */
823	uint32_t fIsShadowVmcs : 1;
824	} n;
825	/* The unsigned integer view. */
826	uint32_t u;
827	} VMXVMCSREVID;
828	AssertCompileSize(VMXVMCSREVID, 4);
829	/** Pointer to the VMXVMCSREVID union. */
830	typedef VMXVMCSREVID *PVMXVMCSREVID;
831	/** Pointer to a const VMXVVMCSREVID union. */
832	typedef const VMXVMCSREVID *PCVMXVMCSREVID;
833
834	/**
835	* VMX VM-exit instruction information.
836	*/
837	typedef union
838	{
839	/** Plain unsigned int representation. */
840	uint32_t u;
841	/** INS and OUTS information. */
842	struct
843	{
844	uint32_t u7Reserved0 : 7;
845	/** The address size; 0=16-bit, 1=32-bit, 2=64-bit, rest undefined. */
846	uint32_t u3AddrSize : 3;
847	uint32_t u5Reserved1 : 5;
848	/** The segment register (X86_SREG_XXX). */
849	uint32_t iSegReg : 3;
850	uint32_t uReserved2 : 14;
851	} StrIo;
852	struct
853	{
854	/** Scaling; 0=no scaling, 1=scale-by-2, 2=scale-by-4, 3=scale-by-8. */
855	uint32_t u2Scaling : 2;
856	uint32_t u5Undef0 : 5;
857	/** The address size; 0=16-bit, 1=32-bit, 2=64-bit, rest undefined. */
858	uint32_t u3AddrSize : 3;
859	/** Cleared to 0. */
860	uint32_t u1Cleared0 : 1;
861	uint32_t u4Undef0 : 4;
862	/** The segment register (X86_SREG_XXX). */
863	uint32_t iSegReg : 3;
864	/** The index register (X86_GREG_XXX). */
865	uint32_t iIdxReg : 4;
866	/** Set if index register is invalid. */
867	uint32_t fIdxRegInvalid : 1;
868	/** The base register (X86_GREG_XXX). */
869	uint32_t iBaseReg : 4;
870	/** Set if base register is invalid. */
871	uint32_t fBaseRegInvalid : 1;
872	/** Register 2 (X86_GREG_XXX). */
873	uint32_t iReg2 : 4;
874	} Inv;
875	/** VMCLEAR, VMPTRLD, VMPTRST, VMXON, XRSTORS, XSAVES information. */
876	struct
877	{
878	/** Scaling; 0=no scaling, 1=scale-by-2, 2=scale-by-4, 3=scale-by-8. */
879	uint32_t u2Scaling : 2;
880	uint32_t u5Reserved0 : 5;
881	/** The address size; 0=16-bit, 1=32-bit, 2=64-bit, rest undefined. */
882	uint32_t u3AddrSize : 3;
883	/** Cleared to 0. */
884	uint32_t u1Cleared0 : 1;
885	uint32_t u4Reserved0 : 4;
886	/** The segment register (X86_SREG_XXX). */
887	uint32_t iSegReg : 3;
888	/** The index register (X86_GREG_XXX). */
889	uint32_t iIdxReg : 4;
890	/** Set if index register is invalid. */
891	uint32_t fIdxRegInvalid : 1;
892	/** The base register (X86_GREG_XXX). */
893	uint32_t iBaseReg : 4;
894	/** Set if base register is invalid. */
895	uint32_t fBaseRegInvalid : 1;
896	/** Register 2 (X86_GREG_XXX). */
897	uint32_t iReg2 : 4;
898	} VmxXsave;
899	/** LIDT, LGDT, SIDT, SGDT information. */
900	struct
901	{
902	/** Scaling; 0=no scaling, 1=scale-by-2, 2=scale-by-4, 3=scale-by-8. */
903	uint32_t u2Scaling : 2;
904	uint32_t u5Undef0 : 5;
905	/** The address size; 0=16-bit, 1=32-bit, 2=64-bit, rest undefined. */
906	uint32_t u3AddrSize : 3;
907	/** Always cleared to 0. */
908	uint32_t u1Cleared0 : 1;
909	/** Operand size; 0=16-bit, 1=32-bit, undefined for 64-bit. */
910	uint32_t uOperandSize : 1;
911	uint32_t u3Undef0 : 3;
912	/** The segment register (X86_SREG_XXX). */
913	uint32_t iSegReg : 3;
914	/** The index register (X86_GREG_XXX). */
915	uint32_t iIdxReg : 4;
916	/** Set if index register is invalid. */
917	uint32_t fIdxRegInvalid : 1;
918	/** The base register (X86_GREG_XXX). */
919	uint32_t iBaseReg : 4;
920	/** Set if base register is invalid. */
921	uint32_t fBaseRegInvalid : 1;
922	/** Instruction identity (VMX_INSTR_ID_XXX). */
923	uint32_t u2InstrId : 2;
924	uint32_t u2Undef0 : 2;
925	} GdtIdt;
926	/** LLDT, LTR, SLDT, STR information. */
927	struct
928	{
929	/** Scaling; 0=no scaling, 1=scale-by-2, 2=scale-by-4, 3=scale-by-8. */
930	uint32_t u2Scaling : 2;
931	uint32_t u1Undef0 : 1;
932	/** Register 1 (X86_GREG_XXX). */
933	uint32_t iReg1 : 4;
934	/** The address size; 0=16-bit, 1=32-bit, 2=64-bit, rest undefined. */
935	uint32_t u3AddrSize : 3;
936	/** Memory/Register - Always cleared to 0 to indicate memory operand. */
937	uint32_t fIsRegOperand : 1;
938	uint32_t u4Undef0 : 4;
939	/** The segment register (X86_SREG_XXX). */
940	uint32_t iSegReg : 3;
941	/** The index register (X86_GREG_XXX). */
942	uint32_t iIdxReg : 4;
943	/** Set if index register is invalid. */
944	uint32_t fIdxRegInvalid : 1;
945	/** The base register (X86_GREG_XXX). */
946	uint32_t iBaseReg : 4;
947	/** Set if base register is invalid. */
948	uint32_t fBaseRegInvalid : 1;
949	/** Instruction identity (VMX_INSTR_ID_XXX). */
950	uint32_t u2InstrId : 2;
951	uint32_t u2Undef0 : 2;
952	} LdtTr;
953	/** RDRAND, RDSEED information. */
954	struct
955	{
956	/** Scaling; 0=no scaling, 1=scale-by-2, 2=scale-by-4, 3=scale-by-8. */
957	uint32_t u2Undef0 : 2;
958	/** Destination register (X86_GREG_XXX). */
959	uint32_t iReg1 : 4;
960	uint32_t u4Undef0 : 4;
961	/** Operand size; 0=16-bit, 1=32-bit, 2=64-bit, 3=unused. */
962	uint32_t u2OperandSize : 2;
963	uint32_t u19Def0 : 20;
964	} RdrandRdseed;
965	struct
966	{
967	/** Scaling; 0=no scaling, 1=scale-by-2, 2=scale-by-4, 3=scale-by-8. */
968	uint32_t u2Scaling : 2;
969	uint32_t u1Undef0 : 1;
970	/** Register 1 (X86_GREG_XXX). */
971	uint32_t iReg1 : 4;
972	/** The address size; 0=16-bit, 1=32-bit, 2=64-bit, rest undefined. */
973	uint32_t u3AddrSize : 3;
974	/** Memory/Register - Always cleared to 0 to indicate memory operand. */
975	uint32_t fIsRegOperand : 1;
976	/** Operand size; 0=16-bit, 1=32-bit, 2=64-bit, 3=unused. */
977	uint32_t u4Undef0 : 4;
978	/** The segment register (X86_SREG_XXX). */
979	uint32_t iSegReg : 3;
980	/** The index register (X86_GREG_XXX). */
981	uint32_t iIdxReg : 4;
982	/** Set if index register is invalid. */
983	uint32_t fIdxRegInvalid : 1;
984	/** The base register (X86_GREG_XXX). */
985	uint32_t iBaseReg : 4;
986	/** Set if base register is invalid. */
987	uint32_t fBaseRegInvalid : 1;
988	/** Register 2 (X86_GREG_XXX). */
989	uint32_t iReg2 : 4;
990	} VmreadVmwrite;
991	/** This is a combination field of all instruction information. Note! Not all field
992	* combinations are valid (e.g., iReg1 is undefined for memory operands). */
993	struct
994	{
995	/** Scaling; 0=no scaling, 1=scale-by-2, 2=scale-by-4, 3=scale-by-8. */
996	uint32_t u2Scaling : 2;
997	uint32_t u1Undef0 : 1;
998	/** Register 1 (X86_GREG_XXX). */
999	uint32_t iReg1 : 4;
1000	/** The address size; 0=16-bit, 1=32-bit, 2=64-bit, rest undefined. */
1001	uint32_t u3AddrSize : 3;
1002	/** Memory/Register - Always cleared to 0 to indicate memory operand. */
1003	uint32_t fIsRegOperand : 1;
1004	/** Operand size; 0=16-bit, 1=32-bit, 2=64-bit, 3=unused. */
1005	uint32_t uOperandSize : 2;
1006	uint32_t u2Undef0 : 2;
1007	/** The segment register (X86_SREG_XXX). */
1008	uint32_t iSegReg : 3;
1009	/** The index register (X86_GREG_XXX). */
1010	uint32_t iIdxReg : 4;
1011	/** Set if index register is invalid. */
1012	uint32_t fIdxRegInvalid : 1;
1013	/** The base register (X86_GREG_XXX). */
1014	uint32_t iBaseReg : 4;
1015	/** Set if base register is invalid. */
1016	uint32_t fBaseRegInvalid : 1;
1017	/** Register 2 (X86_GREG_XXX) or instruction identity. */
1018	uint32_t iReg2 : 4;
1019	} All;
1020	} VMXEXITINSTRINFO;
1021	AssertCompileSize(VMXEXITINSTRINFO, 4);
1022	/** Pointer to a VMX VM-exit instruction info. struct. */
1023	typedef VMXEXITINSTRINFO *PVMXEXITINSTRINFO;
1024	/** Pointer to a const VMX VM-exit instruction info. struct. */
1025	typedef const VMXEXITINSTRINFO *PCVMXEXITINSTRINFO;
1026
1027	/**
1028	* VMX MSR autoload/store element.
1029	* In accordance to the VT-x spec.
1030	*/
1031	typedef struct VMXAUTOMSR
1032	{
1033	/** The MSR Id. */
1034	uint32_t u32Msr;
1035	/** Reserved (MBZ). */
1036	uint32_t u32Reserved;
1037	/** The MSR value. */
1038	uint64_t u64Value;
1039	} VMXAUTOMSR;
1040	AssertCompileSize(VMXAUTOMSR, 16);
1041	/** Pointer to an MSR load/store element. */
1042	typedef VMXAUTOMSR *PVMXAUTOMSR;
1043	/** Pointer to a const MSR load/store element. */
1044	typedef const VMXAUTOMSR *PCVMXAUTOMSR;
1045
1046	/**
1047	* VMX tagged-TLB flush types.
1048	*/
1049	typedef enum
1050	{
1051	VMXTLBFLUSHTYPE_EPT,
1052	VMXTLBFLUSHTYPE_VPID,
1053	VMXTLBFLUSHTYPE_EPT_VPID,
1054	VMXTLBFLUSHTYPE_NONE
1055	} VMXTLBFLUSHTYPE;
1056	/** Pointer to a VMXTLBFLUSHTYPE enum. */
1057	typedef VMXTLBFLUSHTYPE *PVMXTLBFLUSHTYPE;
1058	/** Pointer to a const VMXTLBFLUSHTYPE enum. */
1059	typedef const VMXTLBFLUSHTYPE *PCVMXTLBFLUSHTYPE;
1060
1061	/**
1062	* VMX controls MSR.
1063	*/
1064	typedef union
1065	{
1066	struct
1067	{
1068	/** Bits set here -must- be set in the corresponding VM-execution controls. */
1069	uint32_t disallowed0;
1070	/** Bits cleared here -must- be cleared in the corresponding VM-execution
1071	* controls. */
1072	uint32_t allowed1;
1073	} n;
1074	uint64_t u;
1075	} VMXCTLSMSR;
1076	AssertCompileSize(VMXCTLSMSR, 8);
1077	/** Pointer to a VMXCTLSMSR union. */
1078	typedef VMXCTLSMSR *PVMXCTLSMSR;
1079	/** Pointer to a const VMXCTLSMSR union. */
1080	typedef const VMXCTLSMSR *PCVMXCTLSMSR;
1081
1082	/**
1083	* VMX MSRs.
1084	* @remarks Although treated as a plain-old data (POD) in several places, please
1085	* update HMVmxGetHostMsr() if new MSRs are added here.
1086	*/
1087	typedef struct VMXMSRS
1088	{
1089	uint64_t u64FeatCtrl;
1090	uint64_t u64Basic;
1091	VMXCTLSMSR PinCtls;
1092	VMXCTLSMSR ProcCtls;
1093	VMXCTLSMSR ProcCtls2;
1094	VMXCTLSMSR ExitCtls;
1095	VMXCTLSMSR EntryCtls;
1096	VMXCTLSMSR TruePinCtls;
1097	VMXCTLSMSR TrueProcCtls;
1098	VMXCTLSMSR TrueEntryCtls;
1099	VMXCTLSMSR TrueExitCtls;
1100	uint64_t u64Misc;
1101	uint64_t u64Cr0Fixed0;
1102	uint64_t u64Cr0Fixed1;
1103	uint64_t u64Cr4Fixed0;
1104	uint64_t u64Cr4Fixed1;
1105	uint64_t u64VmcsEnum;
1106	uint64_t u64VmFunc;
1107	uint64_t u64EptVpidCaps;
1108	uint64_t a_u64Reserved[2];
1109	} VMXMSRS;
1110	AssertCompileSizeAlignment(VMXMSRS, 8);
1111	AssertCompileSize(VMXMSRS, 168);
1112	/** Pointer to a VMXMSRS struct. */
1113	typedef VMXMSRS *PVMXMSRS;
1114	/** Pointer to a const VMXMSRS struct. */
1115	typedef const VMXMSRS *PCVMXMSRS;
1116
1117	/** @name VMX Basic Exit Reasons.
1118	* @{
1119	*/
1120	/** -1 Invalid exit code */
1121	#define VMX_EXIT_INVALID (-1)
1122	/** 0 Exception or non-maskable interrupt (NMI). */
1123	#define VMX_EXIT_XCPT_OR_NMI 0
1124	/** 1 External interrupt. */
1125	#define VMX_EXIT_EXT_INT 1
1126	/** 2 Triple fault. */
1127	#define VMX_EXIT_TRIPLE_FAULT 2
1128	/** 3 INIT signal. */
1129	#define VMX_EXIT_INIT_SIGNAL 3
1130	/** 4 Start-up IPI (SIPI). */
1131	#define VMX_EXIT_SIPI 4
1132	/** 5 I/O system-management interrupt (SMI). */
1133	#define VMX_EXIT_IO_SMI 5
1134	/** 6 Other SMI. */
1135	#define VMX_EXIT_SMI 6
1136	/** 7 Interrupt window exiting. */
1137	#define VMX_EXIT_INT_WINDOW 7
1138	/** 8 NMI window exiting. */
1139	#define VMX_EXIT_NMI_WINDOW 8
1140	/** 9 Task switch. */
1141	#define VMX_EXIT_TASK_SWITCH 9
1142	/** 10 Guest software attempted to execute CPUID. */
1143	#define VMX_EXIT_CPUID 10
1144	/** 11 Guest software attempted to execute GETSEC. */
1145	#define VMX_EXIT_GETSEC 11
1146	/** 12 Guest software attempted to execute HLT. */
1147	#define VMX_EXIT_HLT 12
1148	/** 13 Guest software attempted to execute INVD. */
1149	#define VMX_EXIT_INVD 13
1150	/** 14 Guest software attempted to execute INVLPG. */
1151	#define VMX_EXIT_INVLPG 14
1152	/** 15 Guest software attempted to execute RDPMC. */
1153	#define VMX_EXIT_RDPMC 15
1154	/** 16 Guest software attempted to execute RDTSC. */
1155	#define VMX_EXIT_RDTSC 16
1156	/** 17 Guest software attempted to execute RSM in SMM. */
1157	#define VMX_EXIT_RSM 17
1158	/** 18 Guest software executed VMCALL. */
1159	#define VMX_EXIT_VMCALL 18
1160	/** 19 Guest software executed VMCLEAR. */
1161	#define VMX_EXIT_VMCLEAR 19
1162	/** 20 Guest software executed VMLAUNCH. */
1163	#define VMX_EXIT_VMLAUNCH 20
1164	/** 21 Guest software executed VMPTRLD. */
1165	#define VMX_EXIT_VMPTRLD 21
1166	/** 22 Guest software executed VMPTRST. */
1167	#define VMX_EXIT_VMPTRST 22
1168	/** 23 Guest software executed VMREAD. */
1169	#define VMX_EXIT_VMREAD 23
1170	/** 24 Guest software executed VMRESUME. */
1171	#define VMX_EXIT_VMRESUME 24
1172	/** 25 Guest software executed VMWRITE. */
1173	#define VMX_EXIT_VMWRITE 25
1174	/** 26 Guest software executed VMXOFF. */
1175	#define VMX_EXIT_VMXOFF 26
1176	/** 27 Guest software executed VMXON. */
1177	#define VMX_EXIT_VMXON 27
1178	/** 28 Control-register accesses. */
1179	#define VMX_EXIT_MOV_CRX 28
1180	/** 29 Debug-register accesses. */
1181	#define VMX_EXIT_MOV_DRX 29
1182	/** 30 I/O instruction. */
1183	#define VMX_EXIT_IO_INSTR 30
1184	/** 31 RDMSR. Guest software attempted to execute RDMSR. */
1185	#define VMX_EXIT_RDMSR 31
1186	/** 32 WRMSR. Guest software attempted to execute WRMSR. */
1187	#define VMX_EXIT_WRMSR 32
1188	/** 33 VM-entry failure due to invalid guest state. */
1189	#define VMX_EXIT_ERR_INVALID_GUEST_STATE 33
1190	/** 34 VM-entry failure due to MSR loading. */
1191	#define VMX_EXIT_ERR_MSR_LOAD 34
1192	/** 36 Guest software executed MWAIT. */
1193	#define VMX_EXIT_MWAIT 36
1194	/** 37 VM-exit due to monitor trap flag. */
1195	#define VMX_EXIT_MTF 37
1196	/** 39 Guest software attempted to execute MONITOR. */
1197	#define VMX_EXIT_MONITOR 39
1198	/** 40 Guest software attempted to execute PAUSE. */
1199	#define VMX_EXIT_PAUSE 40
1200	/** 41 VM-entry failure due to machine-check. */
1201	#define VMX_EXIT_ERR_MACHINE_CHECK 41
1202	/** 43 TPR below threshold. Guest software executed MOV to CR8. */
1203	#define VMX_EXIT_TPR_BELOW_THRESHOLD 43
1204	/** 44 APIC access. Guest software attempted to access memory at a physical
1205	* address on the APIC-access page. */
1206	#define VMX_EXIT_APIC_ACCESS 44
1207	/** 45 Virtualized EOI. EOI virtualization was performed for a virtual
1208	* interrupt whose vector indexed a bit set in the EOI-exit bitmap. */
1209	#define VMX_EXIT_VIRTUALIZED_EOI 45
1210	/** 46 Access to GDTR or IDTR. Guest software attempted to execute LGDT, LIDT,
1211	* SGDT, or SIDT. */
1212	#define VMX_EXIT_XDTR_ACCESS 46
1213	/** 47 Access to LDTR or TR. Guest software attempted to execute LLDT, LTR,
1214	* SLDT, or STR. */
1215	#define VMX_EXIT_TR_ACCESS 47
1216	/** 48 EPT violation. An attempt to access memory with a guest-physical address
1217	* was disallowed by the configuration of the EPT paging structures. */
1218	#define VMX_EXIT_EPT_VIOLATION 48
1219	/** 49 EPT misconfiguration. An attempt to access memory with a guest-physical
1220	* address encountered a misconfigured EPT paging-structure entry. */
1221	#define VMX_EXIT_EPT_MISCONFIG 49
1222	/** 50 INVEPT. Guest software attempted to execute INVEPT. */
1223	#define VMX_EXIT_INVEPT 50
1224	/** 51 RDTSCP. Guest software attempted to execute RDTSCP. */
1225	#define VMX_EXIT_RDTSCP 51
1226	/** 52 VMX-preemption timer expired. The preemption timer counted down to zero. */
1227	#define VMX_EXIT_PREEMPT_TIMER 52
1228	/** 53 INVVPID. Guest software attempted to execute INVVPID. */
1229	#define VMX_EXIT_INVVPID 53
1230	/** 54 WBINVD. Guest software attempted to execute WBINVD. */
1231	#define VMX_EXIT_WBINVD 54
1232	/** 55 XSETBV. Guest software attempted to execute XSETBV. */
1233	#define VMX_EXIT_XSETBV 55
1234	/** 56 APIC write. Guest completed write to virtual-APIC. */
1235	#define VMX_EXIT_APIC_WRITE 56
1236	/** 57 RDRAND. Guest software attempted to execute RDRAND. */
1237	#define VMX_EXIT_RDRAND 57
1238	/** 58 INVPCID. Guest software attempted to execute INVPCID. */
1239	#define VMX_EXIT_INVPCID 58
1240	/** 59 VMFUNC. Guest software attempted to execute VMFUNC. */
1241	#define VMX_EXIT_VMFUNC 59
1242	/** 60 ENCLS. Guest software attempted to execute ENCLS. */
1243	#define VMX_EXIT_ENCLS 60
1244	/** 61 - RDSEED - Guest software attempted to executed RDSEED and exiting was
1245	* enabled. */
1246	#define VMX_EXIT_RDSEED 61
1247	/** 62 - Page-modification log full. */
1248	#define VMX_EXIT_PML_FULL 62
1249	/** 63 - XSAVES - Guest software attempted to executed XSAVES and exiting was
1250	* enabled (XSAVES/XRSTORS was enabled too, of course). */
1251	#define VMX_EXIT_XSAVES 63
1252	/** 63 - XRSTORS - Guest software attempted to executed XRSTORS and exiting
1253	* was enabled (XSAVES/XRSTORS was enabled too, of course). */
1254	#define VMX_EXIT_XRSTORS 64
1255	/** The maximum exit value (inclusive). */
1256	#define VMX_EXIT_MAX (VMX_EXIT_XRSTORS)
1257	/** @} */
1258
1259
1260	/** @name VM Instruction Errors.
1261	* See Intel spec. "30.4 VM Instruction Error Numbers"
1262	* @{
1263	*/
1264	typedef enum
1265	{
1266	/** VMCALL executed in VMX root operation. */
1267	VMXINSTRERR_VMCALL_VMXROOTMODE = 1,
1268	/** VMCLEAR with invalid physical address. */
1269	VMXINSTRERR_VMCLEAR_INVALID_PHYSADDR = 2,
1270	/** VMCLEAR with VMXON pointer. */
1271	VMXINSTRERR_VMCLEAR_VMXON_PTR = 3,
1272	/** VMLAUNCH with non-clear VMCS. */
1273	VMXINSTRERR_VMLAUNCH_NON_CLEAR_VMCS = 4,
1274	/** VMRESUME with non-launched VMCS. */
1275	VMXINSTRERR_VMRESUME_NON_LAUNCHED_VMCS = 5,
1276	/** VMRESUME after VMXOFF (VMXOFF and VMXON between VMLAUNCH and VMRESUME). */
1277	VMXINSTRERR_VMRESUME_AFTER_VMXOFF = 6,
1278	/** VM-entry with invalid control field(s). */
1279	VMXINSTRERR_VMENTRY_INVALID_CTL = 7,
1280	/** VM-entry with invalid host-state field(s). */
1281	VMXINSTRERR_VMENTRY_INVALID_HOST_STATE = 8,
1282	/** VMPTRLD with invalid physical address. */
1283	VMXINSTRERR_VMPTRLD_INVALID_PHYSADDR = 9,
1284	/** VMPTRLD with VMXON pointer. */
1285	VMXINSTRERR_VMPTRLD_VMXON_PTR = 10,
1286	/** VMPTRLD with incorrect VMCS revision identifier. */
1287	VMXINSTRERR_VMPTRLD_INCORRECT_VMCS_REV = 11,
1288	/** VMREAD from unsupported VMCS component. */
1289	VMXINSTRERR_VMREAD_INVALID_COMPONENT = 12,
1290	/** VMWRITE to unsupported VMCS component. */
1291	VMXINSTRERR_VMWRITE_INVALID_COMPONENT = 12,
1292	/** VMWRITE to read-only VMCS component. */
1293	VMXINSTRERR_VMWRITE_RO_COMPONENT = 13,
1294	/** VMXON executed in VMX root operation. */
1295	VMXINSTRERR_VMXON_IN_VMXROOTMODE = 15,
1296	/** VM-entry with invalid executive-VMCS pointer. */
1297	VMXINSTRERR_VMENTRY_INVALID_VMCS_PTR = 16,
1298	/** VM-entry with non-launched executive VMCS. */
1299	VMXINSTRERR_VMENTRY_NON_LAUNCHED_VMCS = 17,
1300	/** VM-entry with executive-VMCS pointer not VMXON pointer. */
1301	VMXINSTRERR_VMENTRY_VMCS_PTR = 18,
1302	/** VMCALL with non-clear VMCS. */
1303	VMXINSTRERR_VMCALL_NON_CLEAR_VMCS = 19,
1304	/** VMCALL with invalid VM-exit control fields. */
1305	VMXINSTRERR_VMCALL_INVALID_EXITCTLS = 20,
1306	/** VMCALL with incorrect MSEG revision identifier. */
1307	VMXINSTRERR_VMCALL_INVALID_MSEG_ID = 22,
1308	/** VMXOFF under dual-monitor treatment of SMIs and SMM. */
1309	VMXINSTRERR_VMXOFF_DUAL_MON = 23,
1310	/** VMCALL with invalid SMM-monitor features. */
1311	VMXINSTRERR_VMCALL_INVALID_SMMCTLS = 24,
1312	/** VM-entry with invalid VM-execution control fields in executive VMCS. */
1313	VMXINSTRERR_VMENTRY_INVALID_EXECTLS = 25,
1314	/** VM-entry with events blocked by MOV SS. */
1315	VMXINSTRERR_VMENTRY_BLOCK_MOVSS = 26,
1316	/** Invalid operand to INVEPT/INVVPID. */
1317	VMXINSTRERR_INVEPT_INVVPID_INVALID_OPERAND = 28
1318	} VMXINSTRERR;
1319	/** @} */
1320
1321
1322	/** @name VMX MSR - Basic VMX information.
1323	* @{
1324	*/
1325	/** VMCS (and related regions) memory type - Uncacheable. */
1326	#define VMX_BASIC_MEM_TYPE_UC 0
1327	/** VMCS (and related regions) memory type - Write back. */
1328	#define VMX_BASIC_MEM_TYPE_WB 6
1329
1330	/** Bit fields for MSR_IA32_VMX_BASIC. */
1331	/** VMCS revision identifier used by the processor. */
1332	#define VMX_BF_BASIC_VMCS_ID_SHIFT 0
1333	#define VMX_BF_BASIC_VMCS_ID_MASK UINT64_C(0x000000007fffffff)
1334	/** Bit 31 is reserved and RAZ. */
1335	#define VMX_BF_BASIC_RSVD_32_SHIFT 31
1336	#define VMX_BF_BASIC_RSVD_32_MASK UINT64_C(0x0000000080000000)
1337	/** VMCS size in bytes. */
1338	#define VMX_BF_BASIC_VMCS_SIZE_SHIFT 32
1339	#define VMX_BF_BASIC_VMCS_SIZE_MASK UINT64_C(0x00001fff00000000)
1340	/** Bits 45:47 are reserved. */
1341	#define VMX_BF_BASIC_RSVD_45_47_SHIFT 45
1342	#define VMX_BF_BASIC_RSVD_45_47_MASK UINT64_C(0x0000e00000000000)
1343	/** Width of physical addresses used for the VMCS and associated memory regions
1344	* (always 0 on CPUs that support Intel 64 architecture). */
1345	#define VMX_BF_BASIC_PHYSADDR_WIDTH_SHIFT 48
1346	#define VMX_BF_BASIC_PHYSADDR_WIDTH_MASK UINT64_C(0x0001000000000000)
1347	/** Dual-monitor treatment of SMI and SMM supported. */
1348	#define VMX_BF_BASIC_DUAL_MON_SHIFT 49
1349	#define VMX_BF_BASIC_DUAL_MON_MASK UINT64_C(0x0002000000000000)
1350	/** Memory type that must be used for the VMCS and associated memory regions. */
1351	#define VMX_BF_BASIC_VMCS_MEM_TYPE_SHIFT 50
1352	#define VMX_BF_BASIC_VMCS_MEM_TYPE_MASK UINT64_C(0x003c000000000000)
1353	/** VM-exit instruction information for INS/OUTS. */
1354	#define VMX_BF_BASIC_VMCS_INS_OUTS_SHIFT 54
1355	#define VMX_BF_BASIC_VMCS_INS_OUTS_MASK UINT64_C(0x0040000000000000)
1356	/** Whether 'true' VMX controls MSRs are supported for handling of default1 class
1357	* bits in VMX control MSRs. */
1358	#define VMX_BF_BASIC_TRUE_CTLS_SHIFT 55
1359	#define VMX_BF_BASIC_TRUE_CTLS_MASK UINT64_C(0x0080000000000000)
1360	/** Bits 56:63 are reserved and RAZ. */
1361	#define VMX_BF_BASIC_RSVD_56_63_SHIFT 56
1362	#define VMX_BF_BASIC_RSVD_56_63_MASK UINT64_C(0xff00000000000000)
1363	RT_BF_ASSERT_COMPILE_CHECKS(VMX_BF_BASIC_, UINT64_C(0), UINT64_MAX,
1364	(VMCS_ID, RSVD_32, VMCS_SIZE, RSVD_45_47, PHYSADDR_WIDTH, DUAL_MON, VMCS_MEM_TYPE,
1365	VMCS_INS_OUTS, TRUE_CTLS, RSVD_56_63));
1366	/** @} */
1367
1368
1369	/** @name VMX MSR - Miscellaneous data.
1370	* Bit fields for MSR_IA32_VMX_MISC.
1371	* @{
1372	*/
1373	/** Whether VM-exit stores EFER.LMA into the "IA32e mode guest" field. */
1374	#define VMX_MISC_EXIT_STORE_EFER_LMA RT_BIT(5)
1375	/** Whether VMWRITE to any valid VMCS field incl. read-only fields, otherwise
1376	* VMWRITE cannot modify read-only VM-exit information fields. */
1377	#define VMX_MISC_VMWRITE_ALL RT_BIT(29)
1378	/** Whether VM-entry can inject software interrupts, INT1 (ICEBP) with 0-length
1379	* instructions. */
1380	#define VMX_MISC_ENTRY_INJECT_SOFT_INT RT_BIT(30)
1381	/** Maximum number of MSRs in the auto-load/store MSR areas, (n+1) * 512. */
1382	#define VMX_MISC_MAX_MSRS(a_MiscMsr) (512 * (RT_BF_GET((a_MiscMsr), VMX_BF_MISC_MAX_MSRS) + 1))
1383	/** Maximum CR3-target count supported by the CPU. */
1384	#define VMX_MISC_CR3_TARGET_COUNT(a_MiscMsr) (((a) >> 16) & 0xff)
1385	/** Relationship between the preemption timer and tsc. */
1386	#define VMX_BF_MISC_PREEMPT_TIMER_TSC_SHIFT 0
1387	#define VMX_BF_MISC_PREEMPT_TIMER_TSC_MASK UINT64_C(0x000000000000001f)
1388	/** Whether VM-exit stores EFER.LMA into the "IA32e mode guest" field. */
1389	#define VMX_BF_MISC_EXIT_STORE_EFER_LMA_SHIFT 5
1390	#define VMX_BF_MISC_EXIT_STORE_EFER_LMA_MASK UINT64_C(0x0000000000000020)
1391	/** Activity states supported by the implementation. */
1392	#define VMX_BF_MISC_ACTIVITY_STATES_SHIFT 6
1393	#define VMX_BF_MISC_ACTIVITY_STATES_MASK UINT64_C(0x00000000000001c0)
1394	/** Bits 9:13 is reserved and RAZ. */
1395	#define VMX_BF_MISC_RSVD_9_13_SHIFT 9
1396	#define VMX_BF_MISC_RSVD_9_13_MASK UINT64_C(0x0000000000003e00)
1397	/** Whether Intel PT (Processor Trace) can be used in VMX operation. */
1398	#define VMX_BF_MISC_PT_SHIFT 14
1399	#define VMX_BF_MISC_PT_MASK UINT64_C(0x0000000000004000)
1400	/** Whether RDMSR can be used to read IA32_SMBASE MSR in SMM. */
1401	#define VMX_BF_MISC_SMM_READ_SMBASE_MSR_SHIFT 15
1402	#define VMX_BF_MISC_SMM_READ_SMBASE_MSR_MASK UINT64_C(0x0000000000008000)
1403	/** Number of CR3 target values supported by the processor. (0-256) */
1404	#define VMX_BF_MISC_CR3_TARGET_SHIFT 16
1405	#define VMX_BF_MISC_CR3_TARGET_MASK UINT64_C(0x0000000001ff0000)
1406	/** Maximum number of MSRs in the VMCS. */
1407	#define VMX_BF_MISC_MAX_MSRS_SHIFT 25
1408	#define VMX_BF_MISC_MAX_MSRS_MASK UINT64_C(0x000000000e000000)
1409	/** Whether IA32_SMM_MONITOR_CTL MSR can be modified to allow VMXOFF to block
1410	* SMIs. */
1411	#define VMX_BF_MISC_VMXOFF_BLOCK_SMI_SHIFT 28
1412	#define VMX_BF_MISC_VMXOFF_BLOCK_SMI_MASK UINT64_C(0x0000000010000000)
1413	/** Whether VMWRITE to any valid VMCS field incl. read-only fields, otherwise
1414	* VMWRITE cannot modify read-only VM-exit information fields. */
1415	#define VMX_BF_MISC_VMWRITE_ALL_SHIFT 29
1416	#define VMX_BF_MISC_VMWRITE_ALL_MASK UINT64_C(0x0000000020000000)
1417	/** Whether VM-entry can inject software interrupts, INT1 (ICEBP) with 0-length
1418	* instructions. */
1419	#define VMX_BF_MISC_ENTRY_INJECT_SOFT_INT_SHIFT 30
1420	#define VMX_BF_MISC_ENTRY_INJECT_SOFT_INT_MASK UINT64_C(0x0000000040000000)
1421	/** Bit 31 is reserved and RAZ. */
1422	#define VMX_BF_MISC_RSVD_31_SHIFT 31
1423	#define VMX_BF_MISC_RSVD_31_MASK UINT64_C(0x0000000080000000)
1424	/** 32-bit MSEG revision ID used by the processor. */
1425	#define VMX_BF_MISC_MSEG_ID_SHIFT 32
1426	#define VMX_BF_MISC_MSEG_ID_MASK UINT64_C(0xffffffff00000000)
1427	RT_BF_ASSERT_COMPILE_CHECKS(VMX_BF_MISC_, UINT64_C(0), UINT64_MAX,
1428	(PREEMPT_TIMER_TSC, EXIT_STORE_EFER_LMA, ACTIVITY_STATES, RSVD_9_13, PT, SMM_READ_SMBASE_MSR,
1429	CR3_TARGET, MAX_MSRS, VMXOFF_BLOCK_SMI, VMWRITE_ALL, ENTRY_INJECT_SOFT_INT, RSVD_31, MSEG_ID));
1430	/** @} */
1431
1432	/** Maximum number of CR3 target supported by VT-x */
1433	#define VMX_VMCS_CTRL_CR3_TARGET_COUNT_MAX 4
1434
1435	/** @name VMX MSR - VMCS enumeration.
1436	* Bit fields for MSR_IA32_VMX_VMCS_ENUM.
1437	* @{
1438	*/
1439	/** Bit 0 is reserved and RAZ. */
1440	#define VMX_BF_VMCS_ENUM_RSVD_0_SHIFT 0
1441	#define VMX_BF_VMCS_ENUM_RSVD_0_MASK UINT64_C(0x0000000000000001)
1442	/** Highest index value used in VMCS field encoding. */
1443	#define VMX_BF_VMCS_ENUM_HIGHEST_IDX_SHIFT 1
1444	#define VMX_BF_VMCS_ENUM_HIGHEST_IDX_MASK UINT64_C(0x00000000000003fe)
1445	/** Bit 10:63 is reserved and RAZ. */
1446	#define VMX_BF_VMCS_ENUM_RSVD_10_63_SHIFT 10
1447	#define VMX_BF_VMCS_ENUM_RSVD_10_63_MASK UINT64_C(0xfffffffffffffc00)
1448	RT_BF_ASSERT_COMPILE_CHECKS(VMX_BF_VMCS_ENUM_, UINT64_C(0), UINT64_MAX,
1449	(RSVD_0, HIGHEST_IDX, RSVD_10_63));
1450	/** @} */
1451
1452
1453	/** @name VMX MSR - VM Functions.
1454	* Bit fields for MSR_IA32_VMX_VMFUNC.
1455	* @{
1456	*/
1457	/** EPTP-switching function changes the value of the EPTP to one chosen from the EPTP list. */
1458	#define VMX_BF_VMFUNC_EPTP_SWITCHING_SHIFT 0
1459	#define VMX_BF_VMFUNC_EPTP_SWITCHING_MASK UINT64_C(0x0000000000000001)
1460	/** Bits 1:63 are reserved and RAZ. */
1461	#define VMX_BF_VMFUNC_RSVD_1_63_SHIFT 1
1462	#define VMX_BF_VMFUNC_RSVD_1_63_MASK UINT64_C(0xfffffffffffffffe)
1463	RT_BF_ASSERT_COMPILE_CHECKS(VMX_BF_VMFUNC_, UINT64_C(0), UINT64_MAX,
1464	(EPTP_SWITCHING, RSVD_1_63));
1465	/** @} */
1466
1467
1468	/** @name VMX MSR - EPT/VPID capabilities.
1469	* @{
1470	*/
1471	#define MSR_IA32_VMX_EPT_VPID_CAP_RWX_X_ONLY RT_BIT_64(0)
1472	#define MSR_IA32_VMX_EPT_VPID_CAP_PAGE_WALK_LENGTH_4 RT_BIT_64(6)
1473	#define MSR_IA32_VMX_EPT_VPID_CAP_EMT_UC RT_BIT_64(8)
1474	#define MSR_IA32_VMX_EPT_VPID_CAP_EMT_WB RT_BIT_64(14)
1475	#define MSR_IA32_VMX_EPT_VPID_CAP_PDE_2M RT_BIT_64(16)
1476	#define MSR_IA32_VMX_EPT_VPID_CAP_PDPTE_1G RT_BIT_64(17)
1477	#define MSR_IA32_VMX_EPT_VPID_CAP_INVEPT RT_BIT_64(20)
1478	#define MSR_IA32_VMX_EPT_VPID_CAP_EPT_ACCESS_DIRTY RT_BIT_64(21)
1479	#define MSR_IA32_VMX_EPT_VPID_CAP_INVEPT_SINGLE_CONTEXT RT_BIT_64(25)
1480	#define MSR_IA32_VMX_EPT_VPID_CAP_INVEPT_ALL_CONTEXTS RT_BIT_64(26)
1481	#define MSR_IA32_VMX_EPT_VPID_CAP_INVVPID RT_BIT_64(32)
1482	#define MSR_IA32_VMX_EPT_VPID_CAP_INVVPID_INDIV_ADDR RT_BIT_64(40)
1483	#define MSR_IA32_VMX_EPT_VPID_CAP_INVVPID_SINGLE_CONTEXT RT_BIT_64(41)
1484	#define MSR_IA32_VMX_EPT_VPID_CAP_INVVPID_ALL_CONTEXTS RT_BIT_64(42)
1485	#define MSR_IA32_VMX_EPT_VPID_CAP_INVVPID_SINGLE_CONTEXT_RETAIN_GLOBALS RT_BIT_64(43)
1486	/** @} */
1487
1488
1489	/** @name Extended Page Table Pointer (EPTP)
1490	* @{
1491	*/
1492	/** Uncachable EPT paging structure memory type. */
1493	#define VMX_EPT_MEMTYPE_UC 0
1494	/** Write-back EPT paging structure memory type. */
1495	#define VMX_EPT_MEMTYPE_WB 6
1496	/** Shift value to get the EPT page walk length (bits 5-3) */
1497	#define VMX_EPT_PAGE_WALK_LENGTH_SHIFT 3
1498	/** Mask value to get the EPT page walk length (bits 5-3) */
1499	#define VMX_EPT_PAGE_WALK_LENGTH_MASK 7
1500	/** Default EPT page-walk length (1 less than the actual EPT page-walk
1501	* length) */
1502	#define VMX_EPT_PAGE_WALK_LENGTH_DEFAULT 3
1503	/** @} */
1504
1505
1506	/** @name VMCS field encoding: 16-bit guest fields.
1507	* @{
1508	*/
1509	#define VMX_VMCS16_VPID 0x0000
1510	#define VMX_VMCS16_POSTED_INT_NOTIFY_VECTOR 0x0002
1511	#define VMX_VMCS16_EPTP_INDEX 0x0004
1512	#define VMX_VMCS16_GUEST_ES_SEL 0x0800
1513	#define VMX_VMCS16_GUEST_CS_SEL 0x0802
1514	#define VMX_VMCS16_GUEST_SS_SEL 0x0804
1515	#define VMX_VMCS16_GUEST_DS_SEL 0x0806
1516	#define VMX_VMCS16_GUEST_FS_SEL 0x0808
1517	#define VMX_VMCS16_GUEST_GS_SEL 0x080a
1518	#define VMX_VMCS16_GUEST_LDTR_SEL 0x080c
1519	#define VMX_VMCS16_GUEST_TR_SEL 0x080e
1520	#define VMX_VMCS16_GUEST_INTR_STATUS 0x0810
1521	#define VMX_VMCS16_GUEST_PML_INDEX 0x0812
1522	/** @} */
1523
1524
1525	/** @name VMCS field encoding: 16-bits host fields.
1526	* @{
1527	*/
1528	#define VMX_VMCS16_HOST_ES_SEL 0x0c00
1529	#define VMX_VMCS16_HOST_CS_SEL 0x0c02
1530	#define VMX_VMCS16_HOST_SS_SEL 0x0c04
1531	#define VMX_VMCS16_HOST_DS_SEL 0x0c06
1532	#define VMX_VMCS16_HOST_FS_SEL 0x0c08
1533	#define VMX_VMCS16_HOST_GS_SEL 0x0c0a
1534	#define VMX_VMCS16_HOST_TR_SEL 0x0c0c
1535	/** @} */
1536
1537
1538	/** @name VMCS field encoding: 64-bit control fields.
1539	* @{
1540	*/
1541	#define VMX_VMCS64_CTRL_IO_BITMAP_A_FULL 0x2000
1542	#define VMX_VMCS64_CTRL_IO_BITMAP_A_HIGH 0x2001
1543	#define VMX_VMCS64_CTRL_IO_BITMAP_B_FULL 0x2002
1544	#define VMX_VMCS64_CTRL_IO_BITMAP_B_HIGH 0x2003
1545	#define VMX_VMCS64_CTRL_MSR_BITMAP_FULL 0x2004
1546	#define VMX_VMCS64_CTRL_MSR_BITMAP_HIGH 0x2005
1547	#define VMX_VMCS64_CTRL_EXIT_MSR_STORE_FULL 0x2006
1548	#define VMX_VMCS64_CTRL_EXIT_MSR_STORE_HIGH 0x2007
1549	#define VMX_VMCS64_CTRL_EXIT_MSR_LOAD_FULL 0x2008
1550	#define VMX_VMCS64_CTRL_EXIT_MSR_LOAD_HIGH 0x2009
1551	#define VMX_VMCS64_CTRL_ENTRY_MSR_LOAD_FULL 0x200a
1552	#define VMX_VMCS64_CTRL_ENTRY_MSR_LOAD_HIGH 0x200b
1553	#define VMX_VMCS64_CTRL_EXEC_VMCS_PTR_FULL 0x200c
1554	#define VMX_VMCS64_CTRL_EXEC_VMCS_PTR_HIGH 0x200d
1555	#define VMX_VMCS64_CTRL_TSC_OFFSET_FULL 0x2010
1556	#define VMX_VMCS64_CTRL_TSC_OFFSET_HIGH 0x2011
1557	#define VMX_VMCS64_CTRL_VIRT_APIC_PAGEADDR_FULL 0x2012
1558	#define VMX_VMCS64_CTRL_VIRT_APIC_PAGEADDR_HIGH 0x2013
1559	#define VMX_VMCS64_CTRL_APIC_ACCESSADDR_FULL 0x2014
1560	#define VMX_VMCS64_CTRL_APIC_ACCESSADDR_HIGH 0x2015
1561	#define VMX_VMCS64_CTRL_POSTED_INTR_DESC_FULL 0x2016
1562	#define VMX_VMCS64_CTRL_POSTED_INTR_DESC_HIGH 0x2017
1563	#define VMX_VMCS64_CTRL_VMFUNC_CTRLS_FULL 0x2018
1564	#define VMX_VMCS64_CTRL_VMFUNC_CTRLS_HIGH 0x2019
1565	#define VMX_VMCS64_CTRL_EPTP_FULL 0x201a
1566	#define VMX_VMCS64_CTRL_EPTP_HIGH 0x201b
1567	#define VMX_VMCS64_CTRL_EOI_BITMAP_0_FULL 0x201c
1568	#define VMX_VMCS64_CTRL_EOI_BITMAP_0_HIGH 0x201d
1569	#define VMX_VMCS64_CTRL_EOI_BITMAP_1_FULL 0x201e
1570	#define VMX_VMCS64_CTRL_EOI_BITMAP_1_HIGH 0x201f
1571	#define VMX_VMCS64_CTRL_EOI_BITMAP_2_FULL 0x2020
1572	#define VMX_VMCS64_CTRL_EOI_BITMAP_2_HIGH 0x2021
1573	#define VMX_VMCS64_CTRL_EOI_BITMAP_3_FULL 0x2022
1574	#define VMX_VMCS64_CTRL_EOI_BITMAP_3_HIGH 0x2023
1575	#define VMX_VMCS64_CTRL_EPTP_LIST_FULL 0x2024
1576	#define VMX_VMCS64_CTRL_EPTP_LIST_HIGH 0x2025
1577	#define VMX_VMCS64_CTRL_VMREAD_BITMAP_FULL 0x2026
1578	#define VMX_VMCS64_CTRL_VMREAD_BITMAP_HIGH 0x2027
1579	#define VMX_VMCS64_CTRL_VMWRITE_BITMAP_FULL 0x2028
1580	#define VMX_VMCS64_CTRL_VMWRITE_BITMAP_HIGH 0x2029
1581	#define VMX_VMCS64_CTRL_VIRTXCPT_INFO_ADDR_FULL 0x202a
1582	#define VMX_VMCS64_CTRL_VIRTXCPT_INFO_ADDR_HIGH 0x202b
1583	#define VMX_VMCS64_CTRL_XSS_EXITING_BITMAP_FULL 0x202c
1584	#define VMX_VMCS64_CTRL_XSS_EXITING_BITMAP_HIGH 0x202d
1585	#define VMX_VMCS64_CTRL_ENCLS_EXITING_BITMAP_FULL 0x202e
1586	#define VMX_VMCS64_CTRL_ENCLS_EXITING_BITMAP_HIGH 0x202f
1587	#define VMX_VMCS64_CTRL_TSC_MULTIPLIER_FULL 0x2032
1588	#define VMX_VMCS64_CTRL_TSC_MULTIPLIER_HIGH 0x2033
1589	/** @} */
1590
1591
1592	/** @name VMCS field encoding: 64-bit read-only data fields.
1593	* @{
1594	*/
1595	#define VMX_VMCS64_RO_GUEST_PHYS_ADDR_FULL 0x2400
1596	#define VMX_VMCS64_RO_GUEST_PHYS_ADDR_HIGH 0x2401
1597	/** @} */
1598
1599
1600	/** @name VMCS field encoding: 64-bit guest fields.
1601	* @{
1602	*/
1603	#define VMX_VMCS64_GUEST_VMCS_LINK_PTR_FULL 0x2800
1604	#define VMX_VMCS64_GUEST_VMCS_LINK_PTR_HIGH 0x2801
1605	#define VMX_VMCS64_GUEST_DEBUGCTL_FULL 0x2802
1606	#define VMX_VMCS64_GUEST_DEBUGCTL_HIGH 0x2803
1607	#define VMX_VMCS64_GUEST_PAT_FULL 0x2804
1608	#define VMX_VMCS64_GUEST_PAT_HIGH 0x2805
1609	#define VMX_VMCS64_GUEST_EFER_FULL 0x2806
1610	#define VMX_VMCS64_GUEST_EFER_HIGH 0x2807
1611	#define VMX_VMCS64_GUEST_PERF_GLOBAL_CTRL_FULL 0x2808
1612	#define VMX_VMCS64_GUEST_PERF_GLOBAL_CTRL_HIGH 0x2809
1613	#define VMX_VMCS64_GUEST_PDPTE0_FULL 0x280a
1614	#define VMX_VMCS64_GUEST_PDPTE0_HIGH 0x280b
1615	#define VMX_VMCS64_GUEST_PDPTE1_FULL 0x280c
1616	#define VMX_VMCS64_GUEST_PDPTE1_HIGH 0x280d
1617	#define VMX_VMCS64_GUEST_PDPTE2_FULL 0x280e
1618	#define VMX_VMCS64_GUEST_PDPTE2_HIGH 0x280f
1619	#define VMX_VMCS64_GUEST_PDPTE3_FULL 0x2810
1620	#define VMX_VMCS64_GUEST_PDPTE3_HIGH 0x2811
1621	#define VMX_VMCS64_GUEST_BNDCFGS_FULL 0x2812
1622	#define VMX_VMCS64_GUEST_BNDCFGS_HIGH 0x2813
1623	/** @} */
1624
1625
1626	/** @name VMCS field encoding: 64-bit host fields.
1627	* @{
1628	*/
1629	#define VMX_VMCS64_HOST_PAT_FULL 0x2c00
1630	#define VMX_VMCS64_HOST_PAT_HIGH 0x2c01
1631	#define VMX_VMCS64_HOST_EFER_FULL 0x2c02
1632	#define VMX_VMCS64_HOST_EFER_HIGH 0x2c03
1633	#define VMX_VMCS64_HOST_PERF_GLOBAL_CTRL_FULL 0x2c04
1634	#define VMX_VMCS64_HOST_PERF_GLOBAL_CTRL_HIGH 0x2c05
1635	/** @} */
1636
1637
1638	/** @name VMCS field encoding: 32-bit control fields.
1639	* @{
1640	*/
1641	#define VMX_VMCS32_CTRL_PIN_EXEC 0x4000
1642	#define VMX_VMCS32_CTRL_PROC_EXEC 0x4002
1643	#define VMX_VMCS32_CTRL_EXCEPTION_BITMAP 0x4004
1644	#define VMX_VMCS32_CTRL_PAGEFAULT_ERROR_MASK 0x4006
1645	#define VMX_VMCS32_CTRL_PAGEFAULT_ERROR_MATCH 0x4008
1646	#define VMX_VMCS32_CTRL_CR3_TARGET_COUNT 0x400a
1647	#define VMX_VMCS32_CTRL_EXIT 0x400c
1648	#define VMX_VMCS32_CTRL_EXIT_MSR_STORE_COUNT 0x400e
1649	#define VMX_VMCS32_CTRL_EXIT_MSR_LOAD_COUNT 0x4010
1650	#define VMX_VMCS32_CTRL_ENTRY 0x4012
1651	#define VMX_VMCS32_CTRL_ENTRY_MSR_LOAD_COUNT 0x4014
1652	#define VMX_VMCS32_CTRL_ENTRY_INTERRUPTION_INFO 0x4016
1653	#define VMX_VMCS32_CTRL_ENTRY_EXCEPTION_ERRCODE 0x4018
1654	#define VMX_VMCS32_CTRL_ENTRY_INSTR_LENGTH 0x401a
1655	#define VMX_VMCS32_CTRL_TPR_THRESHOLD 0x401c
1656	#define VMX_VMCS32_CTRL_PROC_EXEC2 0x401e
1657	#define VMX_VMCS32_CTRL_PLE_GAP 0x4020
1658	#define VMX_VMCS32_CTRL_PLE_WINDOW 0x4022
1659	/** @} */
1660
1661
1662	/** @name VMCS field encoding: 32-bits read-only fields.
1663	* @{
1664	*/
1665	#define VMX_VMCS32_RO_VM_INSTR_ERROR 0x4400
1666	#define VMX_VMCS32_RO_EXIT_REASON 0x4402
1667	#define VMX_VMCS32_RO_EXIT_INTERRUPTION_INFO 0x4404
1668	#define VMX_VMCS32_RO_EXIT_INTERRUPTION_ERROR_CODE 0x4406
1669	#define VMX_VMCS32_RO_IDT_VECTORING_INFO 0x4408
1670	#define VMX_VMCS32_RO_IDT_VECTORING_ERROR_CODE 0x440a
1671	#define VMX_VMCS32_RO_EXIT_INSTR_LENGTH 0x440c
1672	#define VMX_VMCS32_RO_EXIT_INSTR_INFO 0x440e
1673	/** @} */
1674
1675
1676	/** @name VMCS field encoding: 32-bit guest-state fields.
1677	* @{
1678	*/
1679	#define VMX_VMCS32_GUEST_ES_LIMIT 0x4800
1680	#define VMX_VMCS32_GUEST_CS_LIMIT 0x4802
1681	#define VMX_VMCS32_GUEST_SS_LIMIT 0x4804
1682	#define VMX_VMCS32_GUEST_DS_LIMIT 0x4806
1683	#define VMX_VMCS32_GUEST_FS_LIMIT 0x4808
1684	#define VMX_VMCS32_GUEST_GS_LIMIT 0x480a
1685	#define VMX_VMCS32_GUEST_LDTR_LIMIT 0x480c
1686	#define VMX_VMCS32_GUEST_TR_LIMIT 0x480e
1687	#define VMX_VMCS32_GUEST_GDTR_LIMIT 0x4810
1688	#define VMX_VMCS32_GUEST_IDTR_LIMIT 0x4812
1689	#define VMX_VMCS32_GUEST_ES_ACCESS_RIGHTS 0x4814
1690	#define VMX_VMCS32_GUEST_CS_ACCESS_RIGHTS 0x4816
1691	#define VMX_VMCS32_GUEST_SS_ACCESS_RIGHTS 0x4818
1692	#define VMX_VMCS32_GUEST_DS_ACCESS_RIGHTS 0x481a
1693	#define VMX_VMCS32_GUEST_FS_ACCESS_RIGHTS 0x481c
1694	#define VMX_VMCS32_GUEST_GS_ACCESS_RIGHTS 0x481e
1695	#define VMX_VMCS32_GUEST_LDTR_ACCESS_RIGHTS 0x4820
1696	#define VMX_VMCS32_GUEST_TR_ACCESS_RIGHTS 0x4822
1697	#define VMX_VMCS32_GUEST_INT_STATE 0x4824
1698	#define VMX_VMCS32_GUEST_ACTIVITY_STATE 0x4826
1699	#define VMX_VMCS32_GUEST_SMBASE 0x4828
1700	#define VMX_VMCS32_GUEST_SYSENTER_CS 0x482a
1701	#define VMX_VMCS32_PREEMPT_TIMER_VALUE 0x482e
1702	/** @} */
1703
1704
1705	/** @name VMCS field encoding: 32-bit host-state fields.
1706	* @{
1707	*/
1708	#define VMX_VMCS32_HOST_SYSENTER_CS 0x4C00
1709	/** @} */
1710
1711
1712	/** @name Natural width control fields.
1713	* @{
1714	*/
1715	#define VMX_VMCS_CTRL_CR0_MASK 0x6000
1716	#define VMX_VMCS_CTRL_CR4_MASK 0x6002
1717	#define VMX_VMCS_CTRL_CR0_READ_SHADOW 0x6004
1718	#define VMX_VMCS_CTRL_CR4_READ_SHADOW 0x6006
1719	#define VMX_VMCS_CTRL_CR3_TARGET_VAL0 0x6008
1720	#define VMX_VMCS_CTRL_CR3_TARGET_VAL1 0x600a
1721	#define VMX_VMCS_CTRL_CR3_TARGET_VAL2 0x600c
1722	#define VMX_VMCS_CTRL_CR3_TARGET_VAL3 0x600e
1723	/** @} */
1724
1725
1726	/** @name Natural width read-only data fields.
1727	* @{
1728	*/
1729	#define VMX_VMCS_RO_EXIT_QUALIFICATION 0x6400
1730	#define VMX_VMCS_RO_IO_RCX 0x6402
1731	#define VMX_VMCS_RO_IO_RSX 0x6404
1732	#define VMX_VMCS_RO_IO_RDI 0x6406
1733	#define VMX_VMCS_RO_IO_RIP 0x6408
1734	#define VMX_VMCS_RO_EXIT_GUEST_LINEAR_ADDR 0x640a
1735	/** @} */
1736
1737
1738	/** @name VMCS field encoding: Natural width guest-state fields.
1739	* @{
1740	*/
1741	#define VMX_VMCS_GUEST_CR0 0x6800
1742	#define VMX_VMCS_GUEST_CR3 0x6802
1743	#define VMX_VMCS_GUEST_CR4 0x6804
1744	#define VMX_VMCS_GUEST_ES_BASE 0x6806
1745	#define VMX_VMCS_GUEST_CS_BASE 0x6808
1746	#define VMX_VMCS_GUEST_SS_BASE 0x680a
1747	#define VMX_VMCS_GUEST_DS_BASE 0x680c
1748	#define VMX_VMCS_GUEST_FS_BASE 0x680e
1749	#define VMX_VMCS_GUEST_GS_BASE 0x6810
1750	#define VMX_VMCS_GUEST_LDTR_BASE 0x6812
1751	#define VMX_VMCS_GUEST_TR_BASE 0x6814
1752	#define VMX_VMCS_GUEST_GDTR_BASE 0x6816
1753	#define VMX_VMCS_GUEST_IDTR_BASE 0x6818
1754	#define VMX_VMCS_GUEST_DR7 0x681a
1755	#define VMX_VMCS_GUEST_RSP 0x681c
1756	#define VMX_VMCS_GUEST_RIP 0x681e
1757	#define VMX_VMCS_GUEST_RFLAGS 0x6820
1758	#define VMX_VMCS_GUEST_PENDING_DEBUG_XCPTS 0x6822
1759	#define VMX_VMCS_GUEST_SYSENTER_ESP 0x6824
1760	#define VMX_VMCS_GUEST_SYSENTER_EIP 0x6826
1761	/** @} */
1762
1763
1764	/** @name VMCS field encoding: Natural width host-state fields.
1765	* @{
1766	*/
1767	#define VMX_VMCS_HOST_CR0 0x6c00
1768	#define VMX_VMCS_HOST_CR3 0x6c02
1769	#define VMX_VMCS_HOST_CR4 0x6c04
1770	#define VMX_VMCS_HOST_FS_BASE 0x6c06
1771	#define VMX_VMCS_HOST_GS_BASE 0x6c08
1772	#define VMX_VMCS_HOST_TR_BASE 0x6c0a
1773	#define VMX_VMCS_HOST_GDTR_BASE 0x6c0c
1774	#define VMX_VMCS_HOST_IDTR_BASE 0x6c0e
1775	#define VMX_VMCS_HOST_SYSENTER_ESP 0x6c10
1776	#define VMX_VMCS_HOST_SYSENTER_EIP 0x6c12
1777	#define VMX_VMCS_HOST_RSP 0x6c14
1778	#define VMX_VMCS_HOST_RIP 0x6c16
1779	/** @} */
1780
1781
1782	/** @name VMCS field encoding: Widths
1783	* @{ */
1784	typedef enum
1785	{
1786	VMXVMCSFIELDWIDTH_16BIT = 0,
1787	VMXVMCSFIELDWIDTH_64BIT,
1788	VMXVMCSFIELDWIDTH_32BIT,
1789	VMXVMCSFIELDWIDTH_NATURAL
1790	} VMXVMCSFIELDWIDTH;
1791	AssertCompileSize(VMXVMCSFIELDWIDTH, 4);
1792	/** @} */
1793
1794
1795	/** @name Pin-based VM-execution controls.
1796	* @{
1797	*/
1798	/** External interrupts cause VM-exits if set; otherwise dispatched through the
1799	* guest's IDT. */
1800	#define VMX_PIN_CTLS_EXT_INT_EXIT RT_BIT(0)
1801	/** Non-maskable interrupts cause VM-exits if set; otherwise dispatched through
1802	* the guest's IDT. */
1803	#define VMX_PIN_CTLS_NMI_EXIT RT_BIT(3)
1804	/** Virtual NMIs. */
1805	#define VMX_PIN_CTLS_VIRT_NMI RT_BIT(5)
1806	/** Activate VMX preemption timer. */
1807	#define VMX_PIN_CTLS_PREEMPT_TIMER RT_BIT(6)
1808	/** Process interrupts with the posted-interrupt notification vector. */
1809	#define VMX_PIN_CTLS_POSTED_INT RT_BIT(7)
1810	/** Default1 class when true capability MSRs are not supported. */
1811	#define VMX_PIN_CTLS_DEFAULT1 UINT32_C(0x00000016)
1812
1813	/** Bit fields for MSR_IA32_VMX_PINBASED_CTLS and Pin-based VM-execution
1814	* controls field in the VMCS. */
1815	#define VMX_BF_PIN_CTLS_EXT_INT_EXIT_SHIFT 0
1816	#define VMX_BF_PIN_CTLS_EXT_INT_EXIT_MASK UINT32_C(0x00000001)
1817	#define VMX_BF_PIN_CTLS_UNDEF_1_2_SHIFT 1
1818	#define VMX_BF_PIN_CTLS_UNDEF_1_2_MASK UINT32_C(0x00000006)
1819	#define VMX_BF_PIN_CTLS_NMI_EXIT_SHIFT 3
1820	#define VMX_BF_PIN_CTLS_NMI_EXIT_MASK UINT32_C(0x00000008)
1821	#define VMX_BF_PIN_CTLS_UNDEF_4_SHIFT 4
1822	#define VMX_BF_PIN_CTLS_UNDEF_4_MASK UINT32_C(0x00000010)
1823	#define VMX_BF_PIN_CTLS_VIRT_NMI_SHIFT 5
1824	#define VMX_BF_PIN_CTLS_VIRT_NMI_MASK UINT32_C(0x00000020)
1825	#define VMX_BF_PIN_CTLS_PREEMPT_TIMER_SHIFT 6
1826	#define VMX_BF_PIN_CTLS_PREEMPT_TIMER_MASK UINT32_C(0x00000040)
1827	#define VMX_BF_PIN_CTLS_POSTED_INT_SHIFT 7
1828	#define VMX_BF_PIN_CTLS_POSTED_INT_MASK UINT32_C(0x00000080)
1829	#define VMX_BF_PIN_CTLS_UNDEF_8_31_SHIFT 8
1830	#define VMX_BF_PIN_CTLS_UNDEF_8_31_MASK UINT32_C(0xffffff00)
1831	RT_BF_ASSERT_COMPILE_CHECKS(VMX_BF_PIN_CTLS_, UINT32_C(0), UINT32_MAX,
1832	(EXT_INT_EXIT, UNDEF_1_2, NMI_EXIT, UNDEF_4, VIRT_NMI, PREEMPT_TIMER, POSTED_INT, UNDEF_8_31));
1833	/** @} */
1834
1835
1836	/** @name Processor-based VM-execution controls.
1837	* @{
1838	*/
1839	/** VM-exit as soon as RFLAGS.IF=1 and no blocking is active. */
1840	#define VMX_PROC_CTLS_INT_WINDOW_EXIT RT_BIT(2)
1841	/** Use timestamp counter offset. */
1842	#define VMX_PROC_CTLS_USE_TSC_OFFSETTING RT_BIT(3)
1843	/** VM-exit when executing the HLT instruction. */
1844	#define VMX_PROC_CTLS_HLT_EXIT RT_BIT(7)
1845	/** VM-exit when executing the INVLPG instruction. */
1846	#define VMX_PROC_CTLS_INVLPG_EXIT RT_BIT(9)
1847	/** VM-exit when executing the MWAIT instruction. */
1848	#define VMX_PROC_CTLS_MWAIT_EXIT RT_BIT(10)
1849	/** VM-exit when executing the RDPMC instruction. */
1850	#define VMX_PROC_CTLS_RDPMC_EXIT RT_BIT(11)
1851	/** VM-exit when executing the RDTSC/RDTSCP instruction. */
1852	#define VMX_PROC_CTLS_RDTSC_EXIT RT_BIT(12)
1853	/** VM-exit when executing the MOV to CR3 instruction. (forced to 1 on the
1854	* 'first' VT-x capable CPUs; this actually includes the newest Nehalem CPUs) */
1855	#define VMX_PROC_CTLS_CR3_LOAD_EXIT RT_BIT(15)
1856	/** VM-exit when executing the MOV from CR3 instruction. (forced to 1 on the
1857	* 'first' VT-x capable CPUs; this actually includes the newest Nehalem CPUs) */
1858	#define VMX_PROC_CTLS_CR3_STORE_EXIT RT_BIT(16)
1859	/** VM-exit on CR8 loads. */
1860	#define VMX_PROC_CTLS_CR8_LOAD_EXIT RT_BIT(19)
1861	/** VM-exit on CR8 stores. */
1862	#define VMX_PROC_CTLS_CR8_STORE_EXIT RT_BIT(20)
1863	/** Use TPR shadow. */
1864	#define VMX_PROC_CTLS_USE_TPR_SHADOW RT_BIT(21)
1865	/** VM-exit when virtual NMI blocking is disabled. */
1866	#define VMX_PROC_CTLS_NMI_WINDOW_EXIT RT_BIT(22)
1867	/** VM-exit when executing a MOV DRx instruction. */
1868	#define VMX_PROC_CTLS_MOV_DR_EXIT RT_BIT(23)
1869	/** VM-exit when executing IO instructions. */
1870	#define VMX_PROC_CTLS_UNCOND_IO_EXIT RT_BIT(24)
1871	/** Use IO bitmaps. */
1872	#define VMX_PROC_CTLS_USE_IO_BITMAPS RT_BIT(25)
1873	/** Monitor trap flag. */
1874	#define VMX_PROC_CTLS_MONITOR_TRAP_FLAG RT_BIT(27)
1875	/** Use MSR bitmaps. */
1876	#define VMX_PROC_CTLS_USE_MSR_BITMAPS RT_BIT(28)
1877	/** VM-exit when executing the MONITOR instruction. */
1878	#define VMX_PROC_CTLS_MONITOR_EXIT RT_BIT(29)
1879	/** VM-exit when executing the PAUSE instruction. */
1880	#define VMX_PROC_CTLS_PAUSE_EXIT RT_BIT(30)
1881	/** Whether the secondary processor based VM-execution controls are used. */
1882	#define VMX_PROC_CTLS_USE_SECONDARY_CTLS RT_BIT(31)
1883	/** Default1 class when true-capability MSRs are not supported. */
1884	#define VMX_PROC_CTLS_DEFAULT1 UINT32_C(0x0401e172)
1885
1886	/** Bit fields for MSR_IA32_VMX_PROCBASED_CTLS and Processor-based VM-execution
1887	* controls field in the VMCS. */
1888	#define VMX_BF_PROC_CTLS_UNDEF_0_1_SHIFT 0
1889	#define VMX_BF_PROC_CTLS_UNDEF_0_1_MASK UINT32_C(0x00000003)
1890	#define VMX_BF_PROC_CTLS_INT_WINDOW_EXIT_SHIFT 2
1891	#define VMX_BF_PROC_CTLS_INT_WINDOW_EXIT_MASK UINT32_C(0x00000004)
1892	#define VMX_BF_PROC_CTLS_USE_TSC_OFFSETTING_SHIFT 3
1893	#define VMX_BF_PROC_CTLS_USE_TSC_OFFSETTING_MASK UINT32_C(0x00000008)
1894	#define VMX_BF_PROC_CTLS_UNDEF_4_6_SHIFT 4
1895	#define VMX_BF_PROC_CTLS_UNDEF_4_6_MASK UINT32_C(0x00000070)
1896	#define VMX_BF_PROC_CTLS_HLT_EXIT_SHIFT 7
1897	#define VMX_BF_PROC_CTLS_HLT_EXIT_MASK UINT32_C(0x00000080)
1898	#define VMX_BF_PROC_CTLS_UNDEF_8_SHIFT 8
1899	#define VMX_BF_PROC_CTLS_UNDEF_8_MASK UINT32_C(0x00000100)
1900	#define VMX_BF_PROC_CTLS_INVLPG_EXIT_SHIFT 9
1901	#define VMX_BF_PROC_CTLS_INVLPG_EXIT_MASK UINT32_C(0x00000200)
1902	#define VMX_BF_PROC_CTLS_MWAIT_EXIT_SHIFT 10
1903	#define VMX_BF_PROC_CTLS_MWAIT_EXIT_MASK UINT32_C(0x00000400)
1904	#define VMX_BF_PROC_CTLS_RDPMC_EXIT_SHIFT 11
1905	#define VMX_BF_PROC_CTLS_RDPMC_EXIT_MASK UINT32_C(0x00000800)
1906	#define VMX_BF_PROC_CTLS_RDTSC_EXIT_SHIFT 12
1907	#define VMX_BF_PROC_CTLS_RDTSC_EXIT_MASK UINT32_C(0x00001000)
1908	#define VMX_BF_PROC_CTLS_UNDEF_13_14_SHIFT 13
1909	#define VMX_BF_PROC_CTLS_UNDEF_13_14_MASK UINT32_C(0x00006000)
1910	#define VMX_BF_PROC_CTLS_CR3_LOAD_EXIT_SHIFT 15
1911	#define VMX_BF_PROC_CTLS_CR3_LOAD_EXIT_MASK UINT32_C(0x00008000)
1912	#define VMX_BF_PROC_CTLS_CR3_STORE_EXIT_SHIFT 16
1913	#define VMX_BF_PROC_CTLS_CR3_STORE_EXIT_MASK UINT32_C(0x00010000)
1914	#define VMX_BF_PROC_CTLS_UNDEF_17_18_SHIFT 17
1915	#define VMX_BF_PROC_CTLS_UNDEF_17_18_MASK UINT32_C(0x00060000)
1916	#define VMX_BF_PROC_CTLS_CR8_LOAD_EXIT_SHIFT 19
1917	#define VMX_BF_PROC_CTLS_CR8_LOAD_EXIT_MASK UINT32_C(0x00080000)
1918	#define VMX_BF_PROC_CTLS_CR8_STORE_EXIT_SHIFT 20
1919	#define VMX_BF_PROC_CTLS_CR8_STORE_EXIT_MASK UINT32_C(0x00100000)
1920	#define VMX_BF_PROC_CTLS_USE_TPR_SHADOW_SHIFT 21
1921	#define VMX_BF_PROC_CTLS_USE_TPR_SHADOW_MASK UINT32_C(0x00200000)
1922	#define VMX_BF_PROC_CTLS_NMI_WINDOW_EXIT_SHIFT 22
1923	#define VMX_BF_PROC_CTLS_NMI_WINDOW_EXIT_MASK UINT32_C(0x00400000)
1924	#define VMX_BF_PROC_CTLS_MOV_DR_EXIT_SHIFT 23
1925	#define VMX_BF_PROC_CTLS_MOV_DR_EXIT_MASK UINT32_C(0x00800000)
1926	#define VMX_BF_PROC_CTLS_UNCOND_IO_EXIT_SHIFT 24
1927	#define VMX_BF_PROC_CTLS_UNCOND_IO_EXIT_MASK UINT32_C(0x01000000)
1928	#define VMX_BF_PROC_CTLS_USE_IO_BITMAPS_SHIFT 25
1929	#define VMX_BF_PROC_CTLS_USE_IO_BITMAPS_MASK UINT32_C(0x02000000)
1930	#define VMX_BF_PROC_CTLS_UNDEF_26_SHIFT 26
1931	#define VMX_BF_PROC_CTLS_UNDEF_26_MASK UINT32_C(0x4000000)
1932	#define VMX_BF_PROC_CTLS_MONITOR_TRAP_FLAG_SHIFT 27
1933	#define VMX_BF_PROC_CTLS_MONITOR_TRAP_FLAG_MASK UINT32_C(0x08000000)
1934	#define VMX_BF_PROC_CTLS_USE_MSR_BITMAPS_SHIFT 28
1935	#define VMX_BF_PROC_CTLS_USE_MSR_BITMAPS_MASK UINT32_C(0x10000000)
1936	#define VMX_BF_PROC_CTLS_MONITOR_EXIT_SHIFT 29
1937	#define VMX_BF_PROC_CTLS_MONITOR_EXIT_MASK UINT32_C(0x20000000)
1938	#define VMX_BF_PROC_CTLS_PAUSE_EXIT_SHIFT 30
1939	#define VMX_BF_PROC_CTLS_PAUSE_EXIT_MASK UINT32_C(0x40000000)
1940	#define VMX_BF_PROC_CTLS_USE_SECONDARY_CTLS_SHIFT 31
1941	#define VMX_BF_PROC_CTLS_USE_SECONDARY_CTLS_MASK UINT32_C(0x80000000)
1942	RT_BF_ASSERT_COMPILE_CHECKS(VMX_BF_PROC_CTLS_, UINT32_C(0), UINT32_MAX,
1943	(UNDEF_0_1, INT_WINDOW_EXIT, USE_TSC_OFFSETTING, UNDEF_4_6, HLT_EXIT, UNDEF_8, INVLPG_EXIT,
1944	MWAIT_EXIT, RDPMC_EXIT, RDTSC_EXIT, UNDEF_13_14, CR3_LOAD_EXIT, CR3_STORE_EXIT, UNDEF_17_18,
1945	CR8_LOAD_EXIT, CR8_STORE_EXIT, USE_TPR_SHADOW, NMI_WINDOW_EXIT, MOV_DR_EXIT, UNCOND_IO_EXIT,
1946	USE_IO_BITMAPS, UNDEF_26, MONITOR_TRAP_FLAG, USE_MSR_BITMAPS, MONITOR_EXIT, PAUSE_EXIT,
1947	USE_SECONDARY_CTLS));
1948	/** @} */
1949
1950
1951	/** @name Secondary Processor-based VM-execution controls.
1952	* @{
1953	*/
1954	/** Virtualize APIC access. */
1955	#define VMX_PROC_CTLS2_VIRT_APIC_ACCESS RT_BIT(0)
1956	/** EPT supported/enabled. */
1957	#define VMX_PROC_CTLS2_EPT RT_BIT(1)
1958	/** Descriptor table instructions cause VM-exits. */
1959	#define VMX_PROC_CTLS2_DESC_TABLE_EXIT RT_BIT(2)
1960	/** RDTSCP supported/enabled. */
1961	#define VMX_PROC_CTLS2_RDTSCP RT_BIT(3)
1962	/** Virtualize x2APIC mode. */
1963	#define VMX_PROC_CTLS2_VIRT_X2APIC_ACCESS RT_BIT(4)
1964	/** VPID supported/enabled. */
1965	#define VMX_PROC_CTLS2_VPID RT_BIT(5)
1966	/** VM-exit when executing the WBINVD instruction. */
1967	#define VMX_PROC_CTLS2_WBINVD_EXIT RT_BIT(6)
1968	/** Unrestricted guest execution. */
1969	#define VMX_PROC_CTLS2_UNRESTRICTED_GUEST RT_BIT(7)
1970	/** APIC register virtualization. */
1971	#define VMX_PROC_CTLS2_APIC_REG_VIRT RT_BIT(8)
1972	/** Virtual-interrupt delivery. */
1973	#define VMX_PROC_CTLS2_VIRT_INT_DELIVERY RT_BIT(9)
1974	/** A specified number of pause loops cause a VM-exit. */
1975	#define VMX_PROC_CTLS2_PAUSE_LOOP_EXIT RT_BIT(10)
1976	/** VM-exit when executing RDRAND instructions. */
1977	#define VMX_PROC_CTLS2_RDRAND_EXIT RT_BIT(11)
1978	/** Enables INVPCID instructions. */
1979	#define VMX_PROC_CTLS2_INVPCID RT_BIT(12)
1980	/** Enables VMFUNC instructions. */
1981	#define VMX_PROC_CTLS2_VMFUNC RT_BIT(13)
1982	/** Enables VMCS shadowing. */
1983	#define VMX_PROC_CTLS2_VMCS_SHADOWING RT_BIT(14)
1984	/** Enables ENCLS VM-exits. */
1985	#define VMX_PROC_CTLS2_ENCLS_EXIT RT_BIT(15)
1986	/** VM-exit when executing RDSEED. */
1987	#define VMX_PROC_CTLS2_RDSEED_EXIT RT_BIT(16)
1988	/** Enables page-modification logging. */
1989	#define VMX_PROC_CTLS2_PML RT_BIT(17)
1990	/** Controls whether EPT-violations may cause \#VE instead of exits. */
1991	#define VMX_PROC_CTLS2_EPT_VE RT_BIT(18)
1992	/** Conceal VMX non-root operation from Intel processor trace (PT). */
1993	#define VMX_PROC_CTLS2_CONCEAL_FROM_PT RT_BIT(19)
1994	/** Enables XSAVES/XRSTORS instructions. */
1995	#define VMX_PROC_CTLS2_XSAVES_XRSTORS RT_BIT(20)
1996	/** Use TSC scaling. */
1997	#define VMX_PROC_CTLS2_TSC_SCALING RT_BIT(25)
1998
1999	/** Bit fields for MSR_IA32_VMX_PROCBASED_CTLS2 and Secondary processor-based
2000	* VM-execution controls field in the VMCS. */
2001	#define VMX_BF_PROC_CTLS2_VIRT_APIC_ACCESS_SHIFT 0
2002	#define VMX_BF_PROC_CTLS2_VIRT_APIC_ACCESS_MASK UINT32_C(0x00000001)
2003	#define VMX_BF_PROC_CTLS2_EPT_SHIFT 1
2004	#define VMX_BF_PROC_CTLS2_EPT_MASK UINT32_C(0x00000002)
2005	#define VMX_BF_PROC_CTLS2_DESC_TABLE_EXIT_SHIFT 2
2006	#define VMX_BF_PROC_CTLS2_DESC_TABLE_EXIT_MASK UINT32_C(0x00000004)
2007	#define VMX_BF_PROC_CTLS2_RDTSCP_SHIFT 3
2008	#define VMX_BF_PROC_CTLS2_RDTSCP_MASK UINT32_C(0x00000008)
2009	#define VMX_BF_PROC_CTLS2_VIRT_X2APIC_ACCESS_SHIFT 4
2010	#define VMX_BF_PROC_CTLS2_VIRT_X2APIC_ACCESS_MASK UINT32_C(0x00000010)
2011	#define VMX_BF_PROC_CTLS2_VPID_SHIFT 5
2012	#define VMX_BF_PROC_CTLS2_VPID_MASK UINT32_C(0x00000020)
2013	#define VMX_BF_PROC_CTLS2_WBINVD_EXIT_SHIFT 6
2014	#define VMX_BF_PROC_CTLS2_WBINVD_EXIT_MASK UINT32_C(0x00000040)
2015	#define VMX_BF_PROC_CTLS2_UNRESTRICTED_GUEST_SHIFT 7
2016	#define VMX_BF_PROC_CTLS2_UNRESTRICTED_GUEST_MASK UINT32_C(0x00000080)
2017	#define VMX_BF_PROC_CTLS2_APIC_REG_VIRT_SHIFT 8
2018	#define VMX_BF_PROC_CTLS2_APIC_REG_VIRT_MASK UINT32_C(0x00000100)
2019	#define VMX_BF_PROC_CTLS2_VIRT_INT_DELIVERY_SHIFT 9
2020	#define VMX_BF_PROC_CTLS2_VIRT_INT_DELIVERY_MASK UINT32_C(0x00000200)
2021	#define VMX_BF_PROC_CTLS2_PAUSE_LOOP_EXIT_SHIFT 10
2022	#define VMX_BF_PROC_CTLS2_PAUSE_LOOP_EXIT_MASK UINT32_C(0x00000400)
2023	#define VMX_BF_PROC_CTLS2_RDRAND_EXIT_SHIFT 11
2024	#define VMX_BF_PROC_CTLS2_RDRAND_EXIT_MASK UINT32_C(0x00000800)
2025	#define VMX_BF_PROC_CTLS2_INVPCID_SHIFT 12
2026	#define VMX_BF_PROC_CTLS2_INVPCID_MASK UINT32_C(0x00001000)
2027	#define VMX_BF_PROC_CTLS2_VMFUNC_SHIFT 13
2028	#define VMX_BF_PROC_CTLS2_VMFUNC_MASK UINT32_C(0x00002000)
2029	#define VMX_BF_PROC_CTLS2_VMCS_SHADOWING_SHIFT 14
2030	#define VMX_BF_PROC_CTLS2_VMCS_SHADOWING_MASK UINT32_C(0x00004000)
2031	#define VMX_BF_PROC_CTLS2_ENCLS_EXIT_SHIFT 15
2032	#define VMX_BF_PROC_CTLS2_ENCLS_EXIT_MASK UINT32_C(0x00008000)
2033	#define VMX_BF_PROC_CTLS2_RDSEED_EXIT_SHIFT 16
2034	#define VMX_BF_PROC_CTLS2_RDSEED_EXIT_MASK UINT32_C(0x00010000)
2035	#define VMX_BF_PROC_CTLS2_PML_SHIFT 17
2036	#define VMX_BF_PROC_CTLS2_PML_MASK UINT32_C(0x00020000)
2037	#define VMX_BF_PROC_CTLS2_EPT_VE_SHIFT 18
2038	#define VMX_BF_PROC_CTLS2_EPT_VE_MASK UINT32_C(0x00040000)
2039	#define VMX_BF_PROC_CTLS2_CONCEAL_FROM_PT_SHIFT 19
2040	#define VMX_BF_PROC_CTLS2_CONCEAL_FROM_PT_MASK UINT32_C(0x00080000)
2041	#define VMX_BF_PROC_CTLS2_XSAVES_XRSTORS_SHIFT 20
2042	#define VMX_BF_PROC_CTLS2_XSAVES_XRSTORS_MASK UINT32_C(0x00100000)
2043	#define VMX_BF_PROC_CTLS2_UNDEF_21_24_SHIFT 21
2044	#define VMX_BF_PROC_CTLS2_UNDEF_21_24_MASK UINT32_C(0x01e00000)
2045	#define VMX_BF_PROC_CTLS2_TSC_SCALING_SHIFT 25
2046	#define VMX_BF_PROC_CTLS2_TSC_SCALING_MASK UINT32_C(0x02000000)
2047	#define VMX_BF_PROC_CTLS2_UNDEF_26_31_SHIFT 26
2048	#define VMX_BF_PROC_CTLS2_UNDEF_26_31_MASK UINT32_C(0xfc000000)
2049	RT_BF_ASSERT_COMPILE_CHECKS(VMX_BF_PROC_CTLS2_, UINT32_C(0), UINT32_MAX,
2050	(VIRT_APIC_ACCESS, EPT, DESC_TABLE_EXIT, RDTSCP, VIRT_X2APIC_ACCESS, VPID, WBINVD_EXIT,
2051	UNRESTRICTED_GUEST, APIC_REG_VIRT, VIRT_INT_DELIVERY, PAUSE_LOOP_EXIT, RDRAND_EXIT, INVPCID, VMFUNC,
2052	VMCS_SHADOWING, ENCLS_EXIT, RDSEED_EXIT, PML, EPT_VE, CONCEAL_FROM_PT, XSAVES_XRSTORS, UNDEF_21_24,
2053	TSC_SCALING, UNDEF_26_31));
2054	/** @} */
2055
2056
2057	/** @name VM-entry controls.
2058	* @{
2059	*/
2060	/** Load guest debug controls (dr7 & IA32_DEBUGCTL_MSR) (forced to 1 on the
2061	* 'first' VT-x capable CPUs; this actually includes the newest Nehalem CPUs) */
2062	#define VMX_ENTRY_CTLS_LOAD_DEBUG RT_BIT(2)
2063	/** 64-bit guest mode. Must be 0 for CPUs that don't support AMD64. */
2064	#define VMX_ENTRY_CTLS_IA32E_MODE_GUEST RT_BIT(9)
2065	/** In SMM mode after VM-entry. */
2066	#define VMX_ENTRY_CTLS_ENTRY_TO_SMM RT_BIT(10)
2067	/** Disable dual treatment of SMI and SMM; must be zero for VM-entry outside of SMM. */
2068	#define VMX_ENTRY_CTLS_DEACTIVATE_DUAL_MON RT_BIT(11)
2069	/** Whether the guest IA32_PERF_GLOBAL_CTRL MSR is loaded on VM-entry. */
2070	#define VMX_ENTRY_CTLS_LOAD_PERF_MSR RT_BIT(13)
2071	/** Whether the guest IA32_PAT MSR is loaded on VM-entry. */
2072	#define VMX_ENTRY_CTLS_LOAD_PAT_MSR RT_BIT(14)
2073	/** Whether the guest IA32_EFER MSR is loaded on VM-entry. */
2074	#define VMX_ENTRY_CTLS_LOAD_EFER_MSR RT_BIT(15)
2075	/** Default1 class when true-capability MSRs are not supported. */
2076	#define VMX_ENTRY_CTLS_DEFAULT1 UINT32_C(0x000011ff)
2077
2078	/** Bit fields for MSR_IA32_VMX_ENTRY_CTLS and VM-entry controls field in the
2079	* VMCS. */
2080	#define VMX_BF_ENTRY_CTLS_UNDEF_0_1_SHIFT 0
2081	#define VMX_BF_ENTRY_CTLS_UNDEF_0_1_MASK UINT32_C(0x00000003)
2082	#define VMX_BF_ENTRY_CTLS_LOAD_DEBUG_SHIFT 2
2083	#define VMX_BF_ENTRY_CTLS_LOAD_DEBUG_MASK UINT32_C(0x00000004)
2084	#define VMX_BF_ENTRY_CTLS_UNDEF_3_8_SHIFT 3
2085	#define VMX_BF_ENTRY_CTLS_UNDEF_3_8_MASK UINT32_C(0x000001f8)
2086	#define VMX_BF_ENTRY_CTLS_IA32E_MODE_GUEST_SHIFT 9
2087	#define VMX_BF_ENTRY_CTLS_IA32E_MODE_GUEST_MASK UINT32_C(0x00000200)
2088	#define VMX_BF_ENTRY_CTLS_ENTRY_SMM_SHIFT 10
2089	#define VMX_BF_ENTRY_CTLS_ENTRY_SMM_MASK UINT32_C(0x00000400)
2090	#define VMX_BF_ENTRY_CTLS_DEACTIVATE_DUAL_MON_SHIFT 11
2091	#define VMX_BF_ENTRY_CTLS_DEACTIVATE_DUAL_MON_MASK UINT32_C(0x00000800)
2092	#define VMX_BF_ENTRY_CTLS_UNDEF_12_SHIFT 12
2093	#define VMX_BF_ENTRY_CTLS_UNDEF_12_MASK UINT32_C(0x00001000)
2094	#define VMX_BF_ENTRY_CTLS_LOAD_PERF_MSR_SHIFT 13
2095	#define VMX_BF_ENTRY_CTLS_LOAD_PERF_MSR_MASK UINT32_C(0x00002000)
2096	#define VMX_BF_ENTRY_CTLS_LOAD_PAT_MSR_SHIFT 14
2097	#define VMX_BF_ENTRY_CTLS_LOAD_PAT_MSR_MASK UINT32_C(0x00004000)
2098	#define VMX_BF_ENTRY_CTLS_LOAD_EFER_MSR_SHIFT 15
2099	#define VMX_BF_ENTRY_CTLS_LOAD_EFER_MSR_MASK UINT32_C(0x00008000)
2100	#define VMX_BF_ENTRY_CTLS_UNDEF_16_31_SHIFT 16
2101	#define VMX_BF_ENTRY_CTLS_UNDEF_16_31_MASK UINT32_C(0xffff0000)
2102	RT_BF_ASSERT_COMPILE_CHECKS(VMX_BF_ENTRY_CTLS_, UINT32_C(0), UINT32_MAX,
2103	(UNDEF_0_1, LOAD_DEBUG, UNDEF_3_8, IA32E_MODE_GUEST, ENTRY_SMM, DEACTIVATE_DUAL_MON, UNDEF_12,
2104	LOAD_PERF_MSR, LOAD_PAT_MSR, LOAD_EFER_MSR, UNDEF_16_31));
2105	/** @} */
2106
2107
2108	/** @name VM-exit controls.
2109	* @{
2110	*/
2111	/** Save guest debug controls (dr7 & IA32_DEBUGCTL_MSR) (forced to 1 on the
2112	* 'first' VT-x capable CPUs; this actually includes the newest Nehalem CPUs) */
2113	#define VMX_EXIT_CTLS_SAVE_DEBUG RT_BIT(2)
2114	/** Return to long mode after a VM-exit. */
2115	#define VMX_EXIT_CTLS_HOST_ADDR_SPACE_SIZE RT_BIT(9)
2116	/** Whether the guest IA32_PERF_GLOBAL_CTRL MSR is loaded on VM-exit. */
2117	#define VMX_EXIT_CTLS_LOAD_PERF_MSR RT_BIT(12)
2118	/** Acknowledge external interrupts with the irq controller if one caused a VM-exit. */
2119	#define VMX_EXIT_CTLS_ACK_EXT_INT RT_BIT(15)
2120	/** Whether the guest IA32_PAT MSR is saved on VM-exit. */
2121	#define VMX_EXIT_CTLS_SAVE_PAT_MSR RT_BIT(18)
2122	/** Whether the host IA32_PAT MSR is loaded on VM-exit. */
2123	#define VMX_EXIT_CTLS_LOAD_PAT_MSR RT_BIT(19)
2124	/** Whether the guest IA32_EFER MSR is saved on VM-exit. */
2125	#define VMX_EXIT_CTLS_SAVE_EFER_MSR RT_BIT(20)
2126	/** Whether the host IA32_EFER MSR is loaded on VM-exit. */
2127	#define VMX_EXIT_CTLS_LOAD_EFER_MSR RT_BIT(21)
2128	/** Whether the value of the VMX preemption timer is saved on every VM-exit. */
2129	#define VMX_EXIT_CTLS_SAVE_VMX_PREEMPT_TIMER RT_BIT(22)
2130	/** Default1 class when true-capability MSRs are not supported. */
2131	#define VMX_EXIT_CTLS_DEFAULT1 UINT32_C(0x00036dff)
2132
2133	/** Bit fields for MSR_IA32_VMX_EXIT_CTLS and VM-exit controls field in the
2134	* VMCS. */
2135	#define VMX_BF_EXIT_CTLS_UNDEF_0_1_SHIFT 0
2136	#define VMX_BF_EXIT_CTLS_UNDEF_0_1_MASK UINT32_C(0x00000003)
2137	#define VMX_BF_EXIT_CTLS_SAVE_DEBUG_SHIFT 2
2138	#define VMX_BF_EXIT_CTLS_SAVE_DEBUG_MASK UINT32_C(0x00000004)
2139	#define VMX_BF_EXIT_CTLS_UNDEF_3_8_SHIFT 3
2140	#define VMX_BF_EXIT_CTLS_UNDEF_3_8_MASK UINT32_C(0x000001f8)
2141	#define VMX_BF_EXIT_CTLS_HOST_ADDR_SPACE_SIZE_SHIFT 9
2142	#define VMX_BF_EXIT_CTLS_HOST_ADDR_SPACE_SIZE_MASK UINT32_C(0x00000200)
2143	#define VMX_BF_EXIT_CTLS_UNDEF_10_11_SHIFT 10
2144	#define VMX_BF_EXIT_CTLS_UNDEF_10_11_MASK UINT32_C(0x00000c00)
2145	#define VMX_BF_EXIT_CTLS_LOAD_PERF_MSR_SHIFT 12
2146	#define VMX_BF_EXIT_CTLS_LOAD_PERF_MSR_MASK UINT32_C(0x00001000)
2147	#define VMX_BF_EXIT_CTLS_UNDEF_13_14_SHIFT 13
2148	#define VMX_BF_EXIT_CTLS_UNDEF_13_14_MASK UINT32_C(0x00006000)
2149	#define VMX_BF_EXIT_CTLS_ACK_EXT_INT_SHIFT 15
2150	#define VMX_BF_EXIT_CTLS_ACK_EXT_INT_MASK UINT32_C(0x00008000)
2151	#define VMX_BF_EXIT_CTLS_UNDEF_16_17_SHIFT 16
2152	#define VMX_BF_EXIT_CTLS_UNDEF_16_17_MASK UINT32_C(0x00030000)
2153	#define VMX_BF_EXIT_CTLS_SAVE_PAT_MSR_SHIFT 18
2154	#define VMX_BF_EXIT_CTLS_SAVE_PAT_MSR_MASK UINT32_C(0x00040000)
2155	#define VMX_BF_EXIT_CTLS_LOAD_PAT_MSR_SHIFT 19
2156	#define VMX_BF_EXIT_CTLS_LOAD_PAT_MSR_MASK UINT32_C(0x00080000)
2157	#define VMX_BF_EXIT_CTLS_SAVE_EFER_MSR_SHIFT 20
2158	#define VMX_BF_EXIT_CTLS_SAVE_EFER_MSR_MASK UINT32_C(0x00100000)
2159	#define VMX_BF_EXIT_CTLS_LOAD_EFER_MSR_SHIFT 21
2160	#define VMX_BF_EXIT_CTLS_LOAD_EFER_MSR_MASK UINT32_C(0x00200000)
2161	#define VMX_BF_EXIT_CTLS_SAVE_PREEMPT_TIMER_SHIFT 22
2162	#define VMX_BF_EXIT_CTLS_SAVE_PREEMPT_TIMER_MASK UINT32_C(0x00400000)
2163	#define VMX_BF_EXIT_CTLS_UNDEF_23_31_SHIFT 23
2164	#define VMX_BF_EXIT_CTLS_UNDEF_23_31_MASK UINT32_C(0xff800000)
2165	RT_BF_ASSERT_COMPILE_CHECKS(VMX_BF_EXIT_CTLS_, UINT32_C(0), UINT32_MAX,
2166	(UNDEF_0_1, SAVE_DEBUG, UNDEF_3_8, HOST_ADDR_SPACE_SIZE, UNDEF_10_11, LOAD_PERF_MSR, UNDEF_13_14,
2167	ACK_EXT_INT, UNDEF_16_17, SAVE_PAT_MSR, LOAD_PAT_MSR, SAVE_EFER_MSR, LOAD_EFER_MSR,
2168	SAVE_PREEMPT_TIMER, UNDEF_23_31));
2169	/** @} */
2170
2171
2172	/** @name VM-exit reason.
2173	* @{
2174	*/
2175	#define VMX_EXIT_REASON_BASIC(a) ((a) & 0xffff)
2176	/** @} */
2177
2178
2179	/** @name VM-entry interruption information.
2180	* @{
2181	*/
2182	#define VMX_ENTRY_INT_INFO_IS_VALID(a) (((a) >> 31) & 1)
2183	#define VMX_ENTRY_INT_INFO_TYPE_SHIFT 8
2184	#define VMX_ENTRY_INT_INFO_TYPE(a) (((a) >> 8) & 7)
2185	/** @} */
2186
2187
2188	/** @name VM-entry interruption information.
2189	* @{ */
2190	#define VMX_ENTRY_INT_INFO_VECTOR(a) ((a) & 0xff)
2191	#define VMX_ENTRY_INT_INFO_TYPE_SHIFT 8
2192	#define VMX_ENTRY_INT_INFO_TYPE(a) (((a) >> 8) & 7)
2193	#define VMX_ENTRY_INT_INFO_ERROR_CODE_VALID RT_BIT(11)
2194	#define VMX_ENTRY_INT_INFO_IS_ERROR_CODE_VALID(a) (((a) >> 11) & 1)
2195	#define VMX_ENTRY_INT_INFO_NMI_UNBLOCK_IRET 12
2196	#define VMX_ENTRY_INT_INFO_IS_NMI_UNBLOCK_IRET(a) (((a) >> 12) & 1)
2197	#define VMX_ENTRY_INT_INFO_VALID RT_BIT(31)
2198	#define VMX_ENTRY_INT_INFO_IS_VALID(a) (((a) >> 31) & 1)
2199	/** Construct an VM-entry interruption information field from a VM-exit interruption
2200	* info value (same except that bit 12 is reserved). */
2201	#define VMX_ENTRY_INT_INFO_FROM_EXIT_INT_INFO(a) ((a) & ~RT_BIT(12))
2202	/** Construct a VM-entry interruption information field from an IDT-vectoring
2203	* information field (same except that bit 12 is reserved). */
2204	#define VMX_ENTRY_INT_INFO_FROM_EXIT_IDT_INFO(a) ((a) & ~RT_BIT(12))
2205
2206	/** Bit fields for VM-entry interruption information. */
2207	#define VMX_BF_ENTRY_INT_INFO_VECTOR_SHIFT 0
2208	#define VMX_BF_ENTRY_INT_INFO_VECTOR_MASK UINT32_C(0x000000ff)
2209	#define VMX_BF_ENTRY_INT_INFO_TYPE_SHIFT 8
2210	#define VMX_BF_ENTRY_INT_INFO_TYPE_MASK UINT32_C(0x00000700)
2211	#define VMX_BF_ENTRY_INT_INFO_ERR_CODE_VALID_SHIFT 11
2212	#define VMX_BF_ENTRY_INT_INFO_ERR_CODE_VALID_MASK UINT32_C(0x00000800)
2213	#define VMX_BF_ENTRY_INT_INFO_RSVD_12_30_SHIFT 12
2214	#define VMX_BF_ENTRY_INT_INFO_RSVD_12_30_MASK UINT32_C(0x7ffff000)
2215	#define VMX_BF_ENTRY_INT_INFO_VALID_SHIFT 31
2216	#define VMX_BF_ENTRY_INT_INFO_VALID_MASK UINT32_C(0x80000000)
2217	RT_BF_ASSERT_COMPILE_CHECKS(VMX_BF_ENTRY_INT_INFO_, UINT32_C(0), UINT32_MAX,
2218	(VECTOR, TYPE, ERR_CODE_VALID, RSVD_12_30, VALID));
2219	/** @} */
2220
2221
2222	/** @name VM-entry interruption information types.
2223	* @{
2224	*/
2225	#define VMX_ENTRY_INT_INFO_TYPE_EXT_INT 0
2226	#define VMX_ENTRY_INT_INFO_TYPE_NMI 2
2227	#define VMX_ENTRY_INT_INFO_TYPE_HW_XCPT 3
2228	#define VMX_ENTRY_INT_INFO_TYPE_SW_INT 4
2229	#define VMX_ENTRY_INT_INFO_TYPE_PRIV_SW_XCPT 5
2230	#define VMX_ENTRY_INT_INFO_TYPE_SW_XCPT 6
2231	#define VMX_ENTRY_INT_INFO_TYPE_OTHER_EVENT 7
2232	/** @} */
2233
2234
2235	/** @name VM-exit interruption information.
2236	* @{
2237	*/
2238	#define VMX_EXIT_INT_INFO_VECTOR(a) ((a) & 0xff)
2239	#define VMX_EXIT_INT_INFO_TYPE_SHIFT 8
2240	#define VMX_EXIT_INT_INFO_TYPE(a) (((a) >> 8) & 7)
2241	#define VMX_EXIT_INT_INFO_ERROR_CODE_VALID RT_BIT(11)
2242	#define VMX_EXIT_INT_INFO_IS_ERROR_CODE_VALID(a) (((a) >> 11) & 1)
2243	#define VMX_EXIT_INT_INFO_NMI_UNBLOCK_IRET 12
2244	#define VMX_EXIT_INT_INFO_IS_NMI_UNBLOCK_IRET(a) (((a) >> 12) & 1)
2245	#define VMX_EXIT_INT_INFO_VALID RT_BIT(31)
2246	#define VMX_EXIT_INT_INFO_IS_VALID(a) (((a) >> 31) & 1)
2247
2248	/** Bit fields for VM-exit interruption infomration. */
2249	#define VMX_BF_EXIT_INT_INFO_VECTOR_SHIFT 0
2250	#define VMX_BF_EXIT_INT_INFO_VECTOR_MASK UINT32_C(0x000000ff)
2251	#define VMX_BF_EXIT_INT_INFO_TYPE_SHIFT 8
2252	#define VMX_BF_EXIT_INT_INFO_TYPE_MASK UINT32_C(0x00000700)
2253	#define VMX_BF_EXIT_INT_INFO_ERR_CODE_VALID_SHIFT 11
2254	#define VMX_BF_EXIT_INT_INFO_ERR_CODE_VALID_MASK UINT32_C(0x00000800)
2255	#define VMX_BF_EXIT_INT_INFO_NMI_UNBLOCK_IRET_SHIFT 12
2256	#define VMX_BF_EXIT_INT_INFO_NMI_UNBLOCK_IRET_MASK UINT32_C(0x00001000)
2257	#define VMX_BF_EXIT_INT_INFO_RSVD_13_30_SHIFT 13
2258	#define VMX_BF_EXIT_INT_INFO_RSVD_13_30_MASK UINT32_C(0x7fffe000)
2259	#define VMX_BF_EXIT_INT_INFO_VALID_SHIFT 31
2260	#define VMX_BF_EXIT_INT_INFO_VALID_MASK UINT32_C(0x80000000)
2261	RT_BF_ASSERT_COMPILE_CHECKS(VMX_BF_EXIT_INT_INFO_, UINT32_C(0), UINT32_MAX,
2262	(VECTOR, TYPE, ERR_CODE_VALID, NMI_UNBLOCK_IRET, RSVD_13_30, VALID));
2263	/** @} */
2264
2265
2266	/** @name VM-exit interruption information types.
2267	* @{
2268	*/
2269	#define VMX_EXIT_INT_INFO_TYPE_EXT_INT 0
2270	#define VMX_EXIT_INT_INFO_TYPE_NMI 2
2271	#define VMX_EXIT_INT_INFO_TYPE_HW_XCPT 3
2272	#define VMX_EXIT_INT_INFO_TYPE_SW_INT 4
2273	#define VMX_EXIT_INT_INFO_TYPE_PRIV_SW_XCPT 5
2274	#define VMX_EXIT_INT_INFO_TYPE_SW_XCPT 6
2275	#define VMX_EXIT_INT_INFO_TYPE_UNUSED 7
2276	/** @} */
2277
2278
2279	/** @name VM-exit instruction identity.
2280	*
2281	* These are found in VM-exit instruction information fields for certain
2282	* instructions.
2283	* @{ */
2284	typedef uint8_t VMXINSTRID;
2285	#define VMX_INSTR_ID_VALID RT_BIT(7)
2286	#define VMX_INSTR_ID_IS_VALID(a) (((a) >> 7) & 1)
2287	#define VMX_INSTR_ID_GET_ID(a) ((a) & ~VMX_INSTR_ID_VALID)
2288	#define VMX_INSTR_ID_NONE 0x7f
2289	/** The following values are in accordance to the VT-x spec: */
2290	#define VMX_INSTR_ID_SGDT ((VMX_INSTR_ID_VALID) \| 0)
2291	#define VMX_INSTR_ID_SIDT ((VMX_INSTR_ID_VALID) \| 1)
2292	#define VMX_INSTR_ID_LGDT ((VMX_INSTR_ID_VALID) \| 2)
2293	#define VMX_INSTR_ID_LIDT ((VMX_INSTR_ID_VALID) \| 3)
2294
2295	#define VMX_INSTR_ID_SLDT ((VMX_INSTR_ID_VALID) \| 0)
2296	#define VMX_INSTR_ID_STR ((VMX_INSTR_ID_VALID) \| 1)
2297	#define VMX_INSTR_ID_LLDT ((VMX_INSTR_ID_VALID) \| 2)
2298	#define VMX_INSTR_ID_LTR ((VMX_INSTR_ID_VALID) \| 3)
2299	/** @} */
2300
2301
2302	/** @name IDT-vectoring information.
2303	* @{
2304	*/
2305	#define VMX_IDT_VECTORING_INFO_VECTOR(a) ((a) & 0xff)
2306	#define VMX_IDT_VECTORING_INFO_TYPE(a) (((a) >> 8) & 7)
2307	#define VMX_IDT_VECTORING_INFO_IS_ERROR_CODE_VALID(a) (((a) >> 11) & 1)
2308	#define VMX_IDT_VECTORING_INFO_IS_VALID(a) (((a) >> 31) & 1)
2309
2310	/** Bit fields for IDT-vectoring information. */
2311	#define VMX_BF_IDT_VECTORING_INFO_VECTOR_SHIFT 0
2312	#define VMX_BF_IDT_VECTORING_INFO_VECTOR_MASK UINT32_C(0x000000ff)
2313	#define VMX_BF_IDT_VECTORING_INFO_TYPE_SHIFT 8
2314	#define VMX_BF_IDT_VECTORING_INFO_TYPE_MASK UINT32_C(0x00000700)
2315	#define VMX_BF_IDT_VECTORING_INFO_ERR_CODE_VALID_SHIFT 11
2316	#define VMX_BF_IDT_VECTORING_INFO_ERR_CODE_VALID_MASK UINT32_C(0x00000800)
2317	#define VMX_BF_IDT_VECTORING_INFO_UNDEF_12_SHIFT 12
2318	#define VMX_BF_IDT_VECTORING_INFO_UNDEF_12_MASK UINT32_C(0x00001000)
2319	#define VMX_BF_IDT_VECTORING_INFO_RSVD_13_30_SHIFT 13
2320	#define VMX_BF_IDT_VECTORING_INFO_RSVD_13_30_MASK UINT32_C(0x7fffe000)
2321	#define VMX_BF_IDT_VECTORING_INFO_VALID_SHIFT 31
2322	#define VMX_BF_IDT_VECTORING_INFO_VALID_MASK UINT32_C(0x80000000)
2323	RT_BF_ASSERT_COMPILE_CHECKS(VMX_BF_IDT_VECTORING_INFO_, UINT32_C(0), UINT32_MAX,
2324	(VECTOR, TYPE, ERR_CODE_VALID, UNDEF_12, RSVD_13_30, VALID));
2325	/** @} */
2326
2327
2328	/** @name IDT-vectoring information vector types.
2329	* @{
2330	*/
2331	#define VMX_IDT_VECTORING_INFO_TYPE_EXT_INT 0
2332	#define VMX_IDT_VECTORING_INFO_TYPE_NMI 2
2333	#define VMX_IDT_VECTORING_INFO_TYPE_HW_XCPT 3
2334	#define VMX_IDT_VECTORING_INFO_TYPE_SW_INT 4
2335	#define VMX_IDT_VECTORING_INFO_TYPE_PRIV_SW_XCPT 5
2336	#define VMX_IDT_VECTORING_INFO_TYPE_SW_XCPT 6
2337	#define VMX_IDT_VECTORING_INFO_TYPE_SW_UNUSED 7
2338	/** @} */
2339
2340
2341	/** @name Guest-activity states.
2342	* @{
2343	*/
2344	/** The logical processor is active. */
2345	#define VMX_VMCS_GUEST_ACTIVITY_ACTIVE 0x0
2346	/** The logical processor is inactive, because executed a HLT instruction. */
2347	#define VMX_VMCS_GUEST_ACTIVITY_HLT 0x1
2348	/** The logical processor is inactive, because of a triple fault or other serious error. */
2349	#define VMX_VMCS_GUEST_ACTIVITY_SHUTDOWN 0x2
2350	/** The logical processor is inactive, because it's waiting for a startup-IPI */
2351	#define VMX_VMCS_GUEST_ACTIVITY_SIPI_WAIT 0x3
2352	/** @} */
2353
2354
2355	/** @name Guest-interruptibility states.
2356	* @{
2357	*/
2358	#define VMX_VMCS_GUEST_INT_STATE_BLOCK_STI RT_BIT(0)
2359	#define VMX_VMCS_GUEST_INT_STATE_BLOCK_MOVSS RT_BIT(1)
2360	#define VMX_VMCS_GUEST_INT_STATE_BLOCK_SMI RT_BIT(2)
2361	#define VMX_VMCS_GUEST_INT_STATE_BLOCK_NMI RT_BIT(3)
2362	/** @} */
2363
2364
2365	/** @name Exit qualification for Mov DRx.
2366	* @{
2367	*/
2368	/** 0-2: Debug register number */
2369	#define VMX_EXIT_QUAL_DRX_REGISTER(a) ((a) & 7)
2370	/** 3: Reserved; cleared to 0. */
2371	#define VMX_EXIT_QUAL_DRX_RES1(a) (((a) >> 3) & 1)
2372	/** 4: Direction of move (0 = write, 1 = read) */
2373	#define VMX_EXIT_QUAL_DRX_DIRECTION(a) (((a) >> 4) & 1)
2374	/** 5-7: Reserved; cleared to 0. */
2375	#define VMX_EXIT_QUAL_DRX_RES2(a) (((a) >> 5) & 7)
2376	/** 8-11: General purpose register number. */
2377	#define VMX_EXIT_QUAL_DRX_GENREG(a) (((a) >> 8) & 0xf)
2378	/** Rest: reserved. */
2379	/** @} */
2380
2381
2382	/** @name Exit qualification for debug exceptions types.
2383	* @{
2384	*/
2385	#define VMX_EXIT_QUAL_DRX_DIRECTION_WRITE 0
2386	#define VMX_EXIT_QUAL_DRX_DIRECTION_READ 1
2387	/** @} */
2388
2389
2390	/** @name Exit qualification for control-register accesses.
2391	* @{
2392	*/
2393	/** 0-3: Control register number (0 for CLTS & LMSW) */
2394	#define VMX_EXIT_QUAL_CRX_REGISTER(a) ((a) & 0xf)
2395	/** 4-5: Access type. */
2396	#define VMX_EXIT_QUAL_CRX_ACCESS(a) (((a) >> 4) & 3)
2397	/** 6: LMSW operand type */
2398	#define VMX_EXIT_QUAL_CRX_LMSW_OP(a) (((a) >> 6) & 1)
2399	/** 7: Reserved; cleared to 0. */
2400	#define VMX_EXIT_QUAL_CRX_RES1(a) (((a) >> 7) & 1)
2401	/** 8-11: General purpose register number (0 for CLTS & LMSW). */
2402	#define VMX_EXIT_QUAL_CRX_GENREG(a) (((a) >> 8) & 0xf)
2403	/** 12-15: Reserved; cleared to 0. */
2404	#define VMX_EXIT_QUAL_CRX_RES2(a) (((a) >> 12) & 0xf)
2405	/** 16-31: LMSW source data (else 0). */
2406	#define VMX_EXIT_QUAL_CRX_LMSW_DATA(a) (((a) >> 16) & 0xffff)
2407	/* Rest: reserved. */
2408	/** @} */
2409
2410
2411	/** @name Exit qualification for control-register access types.
2412	* @{
2413	*/
2414	#define VMX_EXIT_QUAL_CRX_ACCESS_WRITE 0
2415	#define VMX_EXIT_QUAL_CRX_ACCESS_READ 1
2416	#define VMX_EXIT_QUAL_CRX_ACCESS_CLTS 2
2417	#define VMX_EXIT_QUAL_CRX_ACCESS_LMSW 3
2418	/** @} */
2419
2420
2421	/** @name Exit qualification for task switch.
2422	* @{
2423	*/
2424	#define VMX_EXIT_QUAL_TASK_SWITCH_SELECTOR(a) ((a) & 0xffff)
2425	#define VMX_EXIT_QUAL_TASK_SWITCH_TYPE(a) (((a) >> 30) & 0x3)
2426	/** Task switch caused by a call instruction. */
2427	#define VMX_EXIT_QUAL_TASK_SWITCH_TYPE_CALL 0
2428	/** Task switch caused by an iret instruction. */
2429	#define VMX_EXIT_QUAL_TASK_SWITCH_TYPE_IRET 1
2430	/** Task switch caused by a jmp instruction. */
2431	#define VMX_EXIT_QUAL_TASK_SWITCH_TYPE_JMP 2
2432	/** Task switch caused by an interrupt gate. */
2433	#define VMX_EXIT_QUAL_TASK_SWITCH_TYPE_IDT 3
2434	/** @} */
2435
2436
2437	/** @name Exit qualification for EPT violations.
2438	* @{
2439	*/
2440	/** Set if the violation was caused by a data read. */
2441	#define VMX_EXIT_QUAL_EPT_DATA_READ RT_BIT(0)
2442	/** Set if the violation was caused by a data write. */
2443	#define VMX_EXIT_QUAL_EPT_DATA_WRITE RT_BIT(1)
2444	/** Set if the violation was caused by an instruction fetch. */
2445	#define VMX_EXIT_QUAL_EPT_INSTR_FETCH RT_BIT(2)
2446	/** AND of the present bit of all EPT structures. */
2447	#define VMX_EXIT_QUAL_EPT_ENTRY_PRESENT RT_BIT(3)
2448	/** AND of the write bit of all EPT structures. */
2449	#define VMX_EXIT_QUAL_EPT_ENTRY_WRITE RT_BIT(4)
2450	/** AND of the execute bit of all EPT structures. */
2451	#define VMX_EXIT_QUAL_EPT_ENTRY_EXECUTE RT_BIT(5)
2452	/** Set if the guest linear address field contains the faulting address. */
2453	#define VMX_EXIT_QUAL_EPT_GUEST_ADDR_VALID RT_BIT(7)
2454	/** If bit 7 is one: (reserved otherwise)
2455	* 1 - violation due to physical address access.
2456	* 0 - violation caused by page walk or access/dirty bit updates
2457	*/
2458	#define VMX_EXIT_QUAL_EPT_TRANSLATED_ACCESS RT_BIT(8)
2459	/** @} */
2460
2461
2462	/** @name Exit qualification for I/O instructions.
2463	* @{
2464	*/
2465	/** 0-2: IO operation width. */
2466	#define VMX_EXIT_QUAL_IO_WIDTH(a) ((a) & 7)
2467	/** 3: IO operation direction. */
2468	#define VMX_EXIT_QUAL_IO_DIRECTION(a) (((a) >> 3) & 1)
2469	/** 4: String IO operation (INS / OUTS). */
2470	#define VMX_EXIT_QUAL_IO_IS_STRING(a) (((a) >> 4) & 1)
2471	/** 5: Repeated IO operation. */
2472	#define VMX_EXIT_QUAL_IO_IS_REP(a) (((a) >> 5) & 1)
2473	/** 6: Operand encoding. */
2474	#define VMX_EXIT_QUAL_IO_ENCODING(a) (((a) >> 6) & 1)
2475	/** 16-31: IO Port (0-0xffff). */
2476	#define VMX_EXIT_QUAL_IO_PORT(a) (((a) >> 16) & 0xffff)
2477	/* Rest reserved. */
2478	/** @} */
2479
2480
2481	/** @name Exit qualification for I/O instruction types.
2482	* @{
2483	*/
2484	#define VMX_EXIT_QUAL_IO_DIRECTION_OUT 0
2485	#define VMX_EXIT_QUAL_IO_DIRECTION_IN 1
2486	/** @} */
2487
2488
2489	/** @name Exit qualification for I/O instruction encoding.
2490	* @{
2491	*/
2492	#define VMX_EXIT_QUAL_IO_ENCODING_DX 0
2493	#define VMX_EXIT_QUAL_IO_ENCODING_IMM 1
2494	/** @} */
2495
2496
2497	/** @name Exit qualification for APIC-access VM-exits from linear and
2498	* guest-physical accesses.
2499	* @{
2500	*/
2501	/** 0-11: If the APIC-access VM-exit is due to a linear access, the offset of
2502	* access within the APIC page. */
2503	#define VMX_EXIT_QUAL_APIC_ACCESS_OFFSET(a) ((a) & 0xfff)
2504	/** 12-15: Access type. */
2505	#define VMX_EXIT_QUAL_APIC_ACCESS_TYPE(a) (((a) & 0xf000) >> 12)
2506	/* Rest reserved. */
2507	/** @} */
2508
2509
2510	/** @name Exit qualification for linear address APIC-access types.
2511	* @{
2512	*/
2513	/** Linear read access. */
2514	#define VMX_APIC_ACCESS_TYPE_LINEAR_READ 0
2515	/** Linear write access. */
2516	#define VMX_APIC_ACCESS_TYPE_LINEAR_WRITE 1
2517	/** Linear instruction fetch access. */
2518	#define VMX_APIC_ACCESS_TYPE_LINEAR_INSTR_FETCH 2
2519	/** Linear read/write access during event delivery. */
2520	#define VMX_APIC_ACCESS_TYPE_LINEAR_EVENT_DELIVERY 3
2521	/** Physical read/write access during event delivery. */
2522	#define VMX_APIC_ACCESS_TYPE_PHYSICAL_EVENT_DELIVERY 10
2523	/** Physical access for an instruction fetch or during instruction execution. */
2524	#define VMX_APIC_ACCESS_TYPE_PHYSICAL_INSTR 15
2525	/** @} */
2526
2527
2528	/** @name VMX_BF_XXTR_INSINFO_XXX - VMX_EXIT_XDTR_ACCESS instruction information.
2529	* Found in VMX_VMCS32_RO_EXIT_INSTR_INFO.
2530	* @{
2531	*/
2532	/** Address calculation scaling field (powers of two). */
2533	#define VMX_BF_XDTR_INSINFO_SCALE_SHIFT 0
2534	#define VMX_BF_XDTR_INSINFO_SCALE_MASK UINT32_C(0x00000003)
2535	/** Bits 2 thru 6 are undefined. */
2536	#define VMX_BF_XDTR_INSINFO_UNDEF_2_6_SHIFT 2
2537	#define VMX_BF_XDTR_INSINFO_UNDEF_2_6_MASK UINT32_C(0x0000007c)
2538	/** Address size, only 0(=16), 1(=32) and 2(=64) are defined.
2539	* @remarks anyone's guess why this is a 3 bit field... */
2540	#define VMX_BF_XDTR_INSINFO_ADDR_SIZE_SHIFT 7
2541	#define VMX_BF_XDTR_INSINFO_ADDR_SIZE_MASK UINT32_C(0x00000380)
2542	/** Bit 10 is defined as zero. */
2543	#define VMX_BF_XDTR_INSINFO_ZERO_10_SHIFT 10
2544	#define VMX_BF_XDTR_INSINFO_ZERO_10_MASK UINT32_C(0x00000400)
2545	/** Operand size, either (1=)32-bit or (0=)16-bit, but get this, it's undefined
2546	* for exits from 64-bit code as the operand size there is fixed. */
2547	#define VMX_BF_XDTR_INSINFO_OP_SIZE_SHIFT 11
2548	#define VMX_BF_XDTR_INSINFO_OP_SIZE_MASK UINT32_C(0x00000800)
2549	/** Bits 12 thru 14 are undefined. */
2550	#define VMX_BF_XDTR_INSINFO_UNDEF_12_14_SHIFT 12
2551	#define VMX_BF_XDTR_INSINFO_UNDEF_12_14_MASK UINT32_C(0x00007000)
2552	/** Applicable segment register (X86_SREG_XXX values). */
2553	#define VMX_BF_XDTR_INSINFO_SREG_SHIFT 15
2554	#define VMX_BF_XDTR_INSINFO_SREG_MASK UINT32_C(0x00038000)
2555	/** Index register (X86_GREG_XXX values). Undefined if HAS_INDEX_REG is clear. */
2556	#define VMX_BF_XDTR_INSINFO_INDEX_REG_SHIFT 18
2557	#define VMX_BF_XDTR_INSINFO_INDEX_REG_MASK UINT32_C(0x003c0000)
2558	/** Is VMX_BF_XDTR_INSINFO_INDEX_REG_XXX valid (=1) or not (=0). */
2559	#define VMX_BF_XDTR_INSINFO_HAS_INDEX_REG_SHIFT 22
2560	#define VMX_BF_XDTR_INSINFO_HAS_INDEX_REG_MASK UINT32_C(0x00400000)
2561	/** Base register (X86_GREG_XXX values). Undefined if HAS_BASE_REG is clear. */
2562	#define VMX_BF_XDTR_INSINFO_BASE_REG_SHIFT 23
2563	#define VMX_BF_XDTR_INSINFO_BASE_REG_MASK UINT32_C(0x07800000)
2564	/** Is VMX_XDTR_INSINFO_BASE_REG_XXX valid (=1) or not (=0). */
2565	#define VMX_BF_XDTR_INSINFO_HAS_BASE_REG_SHIFT 27
2566	#define VMX_BF_XDTR_INSINFO_HAS_BASE_REG_MASK UINT32_C(0x08000000)
2567	/** The instruction identity (VMX_XDTR_INSINFO_II_XXX values). */
2568	#define VMX_BF_XDTR_INSINFO_INSTR_ID_SHIFT 28
2569	#define VMX_BF_XDTR_INSINFO_INSTR_ID_MASK UINT32_C(0x30000000)
2570	#define VMX_XDTR_INSINFO_II_SGDT 0 /*< Instruction ID: SGDT /
2571	#define VMX_XDTR_INSINFO_II_SIDT 1 /*< Instruction ID: SIDT /
2572	#define VMX_XDTR_INSINFO_II_LGDT 2 /*< Instruction ID: LGDT /
2573	#define VMX_XDTR_INSINFO_II_LIDT 3 /*< Instruction ID: LIDT /
2574	/** Bits 30 & 31 are undefined. */
2575	#define VMX_BF_XDTR_INSINFO_UNDEF_30_31_SHIFT 30
2576	#define VMX_BF_XDTR_INSINFO_UNDEF_30_31_MASK UINT32_C(0xc0000000)
2577	RT_BF_ASSERT_COMPILE_CHECKS(VMX_BF_XDTR_INSINFO_, UINT32_C(0), UINT32_MAX,
2578	(SCALE, UNDEF_2_6, ADDR_SIZE, ZERO_10, OP_SIZE, UNDEF_12_14, SREG, INDEX_REG, HAS_INDEX_REG,
2579	BASE_REG, HAS_BASE_REG, INSTR_ID, UNDEF_30_31));
2580	/** @} */
2581
2582
2583	/** @name VMX_BF_YYTR_INSINFO_XXX - VMX_EXIT_TR_ACCESS instruction information.
2584	* Found in VMX_VMCS32_RO_EXIT_INSTR_INFO.
2585	* This is similar to VMX_BF_XDTR_INSINFO_XXX.
2586	* @{
2587	*/
2588	/** Address calculation scaling field (powers of two). */
2589	#define VMX_BF_YYTR_INSINFO_SCALE_SHIFT 0
2590	#define VMX_BF_YYTR_INSINFO_SCALE_MASK UINT32_C(0x00000003)
2591	/** Bit 2 is undefined. */
2592	#define VMX_BF_YYTR_INSINFO_UNDEF_2_SHIFT 2
2593	#define VMX_BF_YYTR_INSINFO_UNDEF_2_MASK UINT32_C(0x00000004)
2594	/** Register operand 1. Undefined if VMX_YYTR_INSINFO_HAS_REG1 is clear. */
2595	#define VMX_BF_YYTR_INSINFO_REG1_SHIFT 3
2596	#define VMX_BF_YYTR_INSINFO_REG1_MASK UINT32_C(0x00000078)
2597	/** Address size, only 0(=16), 1(=32) and 2(=64) are defined.
2598	* @remarks anyone's guess why this is a 3 bit field... */
2599	#define VMX_BF_YYTR_INSINFO_ADDR_SIZE_SHIFT 7
2600	#define VMX_BF_YYTR_INSINFO_ADDR_SIZE_MASK UINT32_C(0x00000380)
2601	/** Is VMX_YYTR_INSINFO_REG1_XXX valid (=1) or not (=0). */
2602	#define VMX_BF_YYTR_INSINFO_HAS_REG1_SHIFT 10
2603	#define VMX_BF_YYTR_INSINFO_HAS_REG1_MASK UINT32_C(0x00000400)
2604	/** Bits 11 thru 14 are undefined. */
2605	#define VMX_BF_YYTR_INSINFO_UNDEF_11_14_SHIFT 11
2606	#define VMX_BF_YYTR_INSINFO_UNDEF_11_14_MASK UINT32_C(0x00007800)
2607	/** Applicable segment register (X86_SREG_XXX values). */
2608	#define VMX_BF_YYTR_INSINFO_SREG_SHIFT 15
2609	#define VMX_BF_YYTR_INSINFO_SREG_MASK UINT32_C(0x00038000)
2610	/** Index register (X86_GREG_XXX values). Undefined if HAS_INDEX_REG is clear. */
2611	#define VMX_BF_YYTR_INSINFO_INDEX_REG_SHIFT 18
2612	#define VMX_BF_YYTR_INSINFO_INDEX_REG_MASK UINT32_C(0x003c0000)
2613	/** Is VMX_YYTR_INSINFO_INDEX_REG_XXX valid (=1) or not (=0). */
2614	#define VMX_BF_YYTR_INSINFO_HAS_INDEX_REG_SHIFT 22
2615	#define VMX_BF_YYTR_INSINFO_HAS_INDEX_REG_MASK UINT32_C(0x00400000)
2616	/** Base register (X86_GREG_XXX values). Undefined if HAS_BASE_REG is clear. */
2617	#define VMX_BF_YYTR_INSINFO_BASE_REG_SHIFT 23
2618	#define VMX_BF_YYTR_INSINFO_BASE_REG_MASK UINT32_C(0x07800000)
2619	/** Is VMX_YYTR_INSINFO_BASE_REG_XXX valid (=1) or not (=0). */
2620	#define VMX_BF_YYTR_INSINFO_HAS_BASE_REG_SHIFT 27
2621	#define VMX_BF_YYTR_INSINFO_HAS_BASE_REG_MASK UINT32_C(0x08000000)
2622	/** The instruction identity (VMX_YYTR_INSINFO_II_XXX values) */
2623	#define VMX_BF_YYTR_INSINFO_INSTR_ID_SHIFT 28
2624	#define VMX_BF_YYTR_INSINFO_INSTR_ID_MASK UINT32_C(0x30000000)
2625	#define VMX_YYTR_INSINFO_II_SLDT 0 /*< Instruction ID: SLDT /
2626	#define VMX_YYTR_INSINFO_II_STR 1 /*< Instruction ID: STR /
2627	#define VMX_YYTR_INSINFO_II_LLDT 2 /*< Instruction ID: LLDT /
2628	#define VMX_YYTR_INSINFO_II_LTR 3 /*< Instruction ID: LTR /
2629	/** Bits 30 & 31 are undefined. */
2630	#define VMX_BF_YYTR_INSINFO_UNDEF_30_31_SHIFT 30
2631	#define VMX_BF_YYTR_INSINFO_UNDEF_30_31_MASK UINT32_C(0xc0000000)
2632	RT_BF_ASSERT_COMPILE_CHECKS(VMX_BF_YYTR_INSINFO_, UINT32_C(0), UINT32_MAX,
2633	(SCALE, UNDEF_2, REG1, ADDR_SIZE, HAS_REG1, UNDEF_11_14, SREG, INDEX_REG, HAS_INDEX_REG,
2634	BASE_REG, HAS_BASE_REG, INSTR_ID, UNDEF_30_31));
2635	/** @} */
2636
2637
2638	/** @name Format of Pending-Debug-Exceptions.
2639	* Bits 4-11, 13, 15 and 17-63 are reserved.
2640	* @{
2641	*/
2642	/** Hardware breakpoint 0 was met. */
2643	#define VMX_VMCS_GUEST_PENDING_DEBUG_XCPT_BP0 RT_BIT(0)
2644	/** Hardware breakpoint 1 was met. */
2645	#define VMX_VMCS_GUEST_PENDING_DEBUG_XCPT_BP1 RT_BIT(1)
2646	/** Hardware breakpoint 2 was met. */
2647	#define VMX_VMCS_GUEST_PENDING_DEBUG_XCPT_BP2 RT_BIT(2)
2648	/** Hardware breakpoint 3 was met. */
2649	#define VMX_VMCS_GUEST_PENDING_DEBUG_XCPT_BP3 RT_BIT(3)
2650	/** At least one data or IO breakpoint was hit. */
2651	#define VMX_VMCS_GUEST_PENDING_DEBUG_XCPT_EN_BP RT_BIT(12)
2652	/** A debug exception would have been triggered by single-step execution mode. */
2653	#define VMX_VMCS_GUEST_PENDING_DEBUG_XCPT_BS RT_BIT(14)
2654	/** A debug exception occurred inside an RTM region. */
2655	#define VMX_VMCS_GUEST_PENDING_DEBUG_RTM RT_BIT(16)
2656	/** @} */
2657
2658
2659	/** @name VMCS field encoding.
2660	* @{ */
2661	#define VMX_VMCS_ENC_GET_INDEX(a)
2662
2663	#define VMX_BF_VMCS_ENC_ACCESS_TYPE_SHIFT 0
2664	#define VMX_BF_VMCS_ENC_ACCESS_TYPE_MASK UINT32_C(0x00000001)
2665	#define VMX_BF_VMCS_ENC_INDEX_SHIFT 1
2666	#define VMX_BF_VMCS_ENC_INDEX_MASK UINT32_C(0x000003fe)
2667	#define VMX_BF_VMCS_ENC_TYPE_SHIFT 10
2668	#define VMX_BF_VMCS_ENC_TYPE_MASK UINT32_C(0x00000c00)
2669	#define VMX_BF_VMCS_ENC_RSVD_12_SHIFT 12
2670	#define VMX_BF_VMCS_ENC_RSVD_12_MASK UINT32_C(0x00001000)
2671	#define VMX_BF_VMCS_ENC_WIDTH_SHIFT 13
2672	#define VMX_BF_VMCS_ENC_WIDTH_MASK UINT32_C(0x00006000)
2673	#define VMX_BF_VMCS_ENC_RSVD_15_31_SHIFT 15
2674	#define VMX_BF_VMCS_ENC_RSVD_15_31_MASK UINT32_C(0xffff8000)
2675	RT_BF_ASSERT_COMPILE_CHECKS(VMX_BF_VMCS_ENC_, UINT32_C(0), UINT32_MAX,
2676	(ACCESS_TYPE, INDEX, TYPE, RSVD_12, WIDTH, RSVD_15_31));
2677	/** @} */
2678
2679
2680	/** @defgroup grp_hm_vmx_virt VMX virtualization.
2681	* @{
2682	*/
2683
2684	/** CR0 bits set here must always be set when in VMX operation. */
2685	#define VMX_V_CR0_FIXED0 (X86_CR0_PE \| X86_CR0_NE \| X86_CR0_PG)
2686	/** VMX_V_CR0_FIXED0 when unrestricted-guest execution is supported for the guest. */
2687	#define VMX_V_CR0_FIXED0_UX (VMX_V_CR0_FIXED0 & ~(X86_CR0_PE \| X86_CR0_PG))
2688	/** CR4 bits set here must always be set when in VMX operation. */
2689	#define VMX_V_CR4_FIXED0 (X86_CR4_VMXE)
2690
2691	/** Virtual VMCS revision ID. Bump this arbitarily chosen identifier if incompatible
2692	* changes to the layout of VMXVVMCS is done. Bit 31 MBZ. */
2693	#define VMX_V_VMCS_REVISION_ID UINT32_C(0x1d000001)
2694	AssertCompile(!(VMX_V_VMCS_REVISION_ID & RT_BIT(31)));
2695
2696	/** The size of the virtual VMCS region (we use the maximum allowed size to avoid
2697	* complications when teleporation may be implemented). */
2698	#define VMX_V_VMCS_SIZE X86_PAGE_4K_SIZE
2699	/** The size of the virtual VMCS region (in pages). */
2700	#define VMX_V_VMCS_PAGES 1
2701
2702	/** The highest index value used for supported virtual VMCS field encoding. */
2703	#define VMX_V_VMCS_MAX_INDEX RT_BF_GET(VMX_VMCS32_PREEMPT_TIMER_VALUE, VMX_BF_VMCS_ENC_INDEX)
2704
2705	/** Whether physical addresses of VMXON and VMCS related structures (I/O bitmap
2706	* etc.) are limited to 32-bits (4G). Always 0 on 64-bit CPUs. */
2707	#define VMX_V_VMCS_PHYSADDR_4G_LIMIT 0
2708
2709	/** @name Virtual VMX MSR - Miscellaneous data.
2710	* @{ */
2711	/** Number of CR3-target values supported. */
2712	#define VMX_V_CR3_TARGET_COUNT 4
2713	/** Activity states supported. */
2714	#define VMX_V_GUEST_ACTIVITY_STATE_MASK (VMX_VMCS_GUEST_ACTIVITY_HLT)
2715	/** VMX preemption-timer shift (Core i7-2600 taken as reference). */
2716	#define VMX_V_PREEMPT_TIMER_SHIFT 5
2717	/** Maximum number of MSRs in the auto-load/store MSR areas, (n+1) * 512. */
2718	#define VMX_V_MAX_MSRS 0
2719	/** SMM MSEG revision ID. */
2720	#define VMX_V_MSEG_REV_ID 0
2721	/** @} */
2722
2723	/**
2724	* Virtual VMX-instruction diagnostics.
2725	*
2726	* These are not the same as VM instruction errors that are enumerated in the Intel
2727	* spec. These are purely internal, fine-grained definitions used for diagnostic
2728	* purposes and are not reported to guest software under the VM-instruction error
2729	* field in its VMCS.
2730	*
2731	* @note Members of this enum are used as array indices, so no gaps are allowed.
2732	* Please update g_apszVmxInstrDiagDesc when you add new fields to this
2733	* enum.
2734	*/
2735	typedef enum
2736	{
2737	/* Internal processing errors. */
2738	kVmxVInstrDiag_Ipe_1 = 0,
2739	kVmxVInstrDiag_Ipe_2,
2740	kVmxVInstrDiag_Ipe_3,
2741	kVmxVInstrDiag_Ipe_4,
2742	kVmxVInstrDiag_Ipe_5,
2743	kVmxVInstrDiag_Ipe_6,
2744	kVmxVInstrDiag_Ipe_7,
2745	kVmxVInstrDiag_Ipe_8,
2746	kVmxVInstrDiag_Ipe_9,
2747	/* VMXON. */
2748	kVmxVInstrDiag_Vmxon_A20M,
2749	kVmxVInstrDiag_Vmxon_Cpl,
2750	kVmxVInstrDiag_Vmxon_Cr0Fixed0,
2751	kVmxVInstrDiag_Vmxon_Cr4Fixed0,
2752	kVmxVInstrDiag_Vmxon_Intercept,
2753	kVmxVInstrDiag_Vmxon_LongModeCS,
2754	kVmxVInstrDiag_Vmxon_MsrFeatCtl,
2755	kVmxVInstrDiag_Vmxon_PtrAbnormal,
2756	kVmxVInstrDiag_Vmxon_PtrAlign,
2757	kVmxVInstrDiag_Vmxon_PtrMap,
2758	kVmxVInstrDiag_Vmxon_PtrReadPhys,
2759	kVmxVInstrDiag_Vmxon_PtrWidth,
2760	kVmxVInstrDiag_Vmxon_RealOrV86Mode,
2761	kVmxVInstrDiag_Vmxon_ShadowVmcs,
2762	kVmxVInstrDiag_Vmxon_Success,
2763	kVmxVInstrDiag_Vmxon_Vmxe,
2764	kVmxVInstrDiag_Vmxon_VmcsRevId,
2765	kVmxVInstrDiag_Vmxon_VmxRoot,
2766	kVmxVInstrDiag_Vmxon_VmxRootCpl,
2767	/* VMXOFF. */
2768	kVmxVInstrDiag_Vmxoff_Cpl,
2769	kVmxVInstrDiag_Vmxoff_Intercept,
2770	kVmxVInstrDiag_Vmxoff_LongModeCS,
2771	kVmxVInstrDiag_Vmxoff_RealOrV86Mode,
2772	kVmxVInstrDiag_Vmxoff_Success,
2773	kVmxVInstrDiag_Vmxoff_Vmxe,
2774	kVmxVInstrDiag_Vmxoff_VmxRoot,
2775	/* VMPTRLD. */
2776	kVmxVInstrDiag_Vmptrld_Cpl,
2777	kVmxVInstrDiag_Vmptrld_PtrAbnormal,
2778	kVmxVInstrDiag_Vmptrld_PtrAlign,
2779	kVmxVInstrDiag_Vmptrld_PtrMap,
2780	kVmxVInstrDiag_Vmptrld_PtrReadPhys,
2781	kVmxVInstrDiag_Vmptrld_PtrVmxon,
2782	kVmxVInstrDiag_Vmptrld_PtrWidth,
2783	kVmxVInstrDiag_Vmptrld_ShadowVmcs,
2784	kVmxVInstrDiag_Vmptrld_Success,
2785	kVmxVInstrDiag_Vmptrld_VmcsRevId,
2786	/* VMPTRST. */
2787	kVmxVInstrDiag_Vmptrst_Cpl,
2788	kVmxVInstrDiag_Vmptrst_PtrMap,
2789	/* VMCLEAR. */
2790	kVmxVInstrDiag_Vmclear_Cpl,
2791	/* Last member for determining array index limit. */
2792	kVmxVInstrDiag_Last
2793	} VMXVINSTRDIAG;
2794	AssertCompileSize(VMXVINSTRDIAG, 4);
2795
2796	/**
2797	* Virtual VMCS.
2798	* This is our custom format and merged into the actual VMCS (/shadow) when we
2799	* execute nested-guest code using hardware-assisted VMX.
2800	*
2801	* The first 8 bytes are as per Intel spec. 24.2 "Format of the VMCS Region".
2802	*/
2803	#pragma pack(1)
2804	typedef struct
2805	{
2806	/** VMX VMCS revision identifier. */
2807	VMXVMCSREVID u32VmcsRevId;
2808	/** VMX-abort indicator. */
2809	uint32_t u32VmxAbortId;
2810	/** @todo VMCS data. We can use RTUINT64U for the full/high 64-bit VMCS fields. */
2811	uint8_t abPadding0[X86_PAGE_4K_SIZE - 8];
2812	} VMXVVMCS;
2813	#pragma pack()
2814	AssertCompileSize(VMXVVMCS, X86_PAGE_4K_SIZE);
2815	AssertCompileMemberOffset(VMXVVMCS, u32VmxAbortId, 4);
2816	/** Pointer to the VMXVVMCS struct. */
2817	typedef VMXVVMCS *PVMXVVMCS;
2818	/** Pointer to a const VMXVVMCS struct. */
2819	typedef const VMXVVMCS *PCVMXVVMCS;
2820
2821	/** @} */
2822
2823
2824	/** @defgroup grp_hm_vmx_inline VMX Inline Helpers
2825	* @{
2826	*/
2827	/**
2828	* Gets the width of a VMCS field given it's encoding.
2829	*
2830	* @returns The VMCS field width.
2831	* @param uFieldEnc The VMCS field encoding.
2832	*
2833	* @remarks Warning! This function does not verify the encoding is for a valid and
2834	* supported VMCS field.
2835	*/
2836	DECLINLINE(uint32_t) HMVmxGetVmcsFieldWidth(uint32_t uFieldEnc)
2837	{
2838	/* Only the "HIGH" parts of all 64-bit fields have bit 0 set. */
2839	if (uFieldEnc & RT_BIT(0))
2840	return VMXVMCSFIELDWIDTH_32BIT;
2841
2842	/* Bits 13:14 contains the width of the VMCS field, see VMXVMCSFIELDWIDTH_XXX. */
2843	return (uFieldEnc >> 13) & 0x3;
2844	}
2845	/** @} */
2846
2847
2848	/** @defgroup grp_hm_vmx_asm VMX Assembly Helpers
2849	* @{
2850	*/
2851
2852	/**
2853	* Restores some host-state fields that need not be done on every VM-exit.
2854	*
2855	* @returns VBox status code.
2856	* @param fRestoreHostFlags Flags of which host registers needs to be
2857	* restored.
2858	* @param pRestoreHost Pointer to the host-restore structure.
2859	*/
2860	DECLASM(int) VMXRestoreHostState(uint32_t fRestoreHostFlags, PVMXRESTOREHOST pRestoreHost);
2861
2862
2863	/**
2864	* Dispatches an NMI to the host.
2865	*/
2866	DECLASM(int) VMXDispatchHostNmi(void);
2867
2868
2869	/**
2870	* Executes VMXON.
2871	*
2872	* @returns VBox status code.
2873	* @param HCPhysVmxOn Physical address of VMXON structure.
2874	*/
2875	#if ((RT_INLINE_ASM_EXTERNAL \|\| !defined(RT_ARCH_X86)) && !VMX_USE_MSC_INTRINSICS)
2876	DECLASM(int) VMXEnable(RTHCPHYS HCPhysVmxOn);
2877	#else
2878	DECLINLINE(int) VMXEnable(RTHCPHYS HCPhysVmxOn)
2879	{
2880	# if RT_INLINE_ASM_GNU_STYLE
2881	int rc = VINF_SUCCESS;
2882	__asm__ __volatile__ (
2883	"push %3 \n\t"
2884	"push %2 \n\t"
2885	".byte 0xf3, 0x0f, 0xc7, 0x34, 0x24 # VMXON [esp] \n\t"
2886	"ja 2f \n\t"
2887	"je 1f \n\t"
2888	"movl $" RT_XSTR(VERR_VMX_INVALID_VMXON_PTR)", %0 \n\t"
2889	"jmp 2f \n\t"
2890	"1: \n\t"
2891	"movl $" RT_XSTR(VERR_VMX_VMXON_FAILED)", %0 \n\t"
2892	"2: \n\t"
2893	"add $8, %%esp \n\t"
2894	:"=rm"(rc)
2895	:"0"(VINF_SUCCESS),
2896	"ir"((uint32_t)HCPhysVmxOn), /* don't allow direct memory reference here, */
2897	"ir"((uint32_t)(HCPhysVmxOn >> 32)) /* this would not work with -fomit-frame-pointer */
2898	:"memory"
2899	);
2900	return rc;
2901
2902	# elif VMX_USE_MSC_INTRINSICS
2903	unsigned char rcMsc = __vmx_on(&HCPhysVmxOn);
2904	if (RT_LIKELY(rcMsc == 0))
2905	return VINF_SUCCESS;
2906	return rcMsc == 2 ? VERR_VMX_INVALID_VMXON_PTR : VERR_VMX_VMXON_FAILED;
2907
2908	# else
2909	int rc = VINF_SUCCESS;
2910	__asm
2911	{
2912	push dword ptr [HCPhysVmxOn + 4]
2913	push dword ptr [HCPhysVmxOn]
2914	_emit 0xf3
2915	_emit 0x0f
2916	_emit 0xc7
2917	_emit 0x34
2918	_emit 0x24 /* VMXON [esp] */
2919	jnc vmxon_good
2920	mov dword ptr [rc], VERR_VMX_INVALID_VMXON_PTR
2921	jmp the_end
2922
2923	vmxon_good:
2924	jnz the_end
2925	mov dword ptr [rc], VERR_VMX_VMXON_FAILED
2926	the_end:
2927	add esp, 8
2928	}
2929	return rc;
2930	# endif
2931	}
2932	#endif
2933
2934
2935	/**
2936	* Executes VMXOFF.
2937	*/
2938	#if ((RT_INLINE_ASM_EXTERNAL \|\| !defined(RT_ARCH_X86)) && !VMX_USE_MSC_INTRINSICS)
2939	DECLASM(void) VMXDisable(void);
2940	#else
2941	DECLINLINE(void) VMXDisable(void)
2942	{
2943	# if RT_INLINE_ASM_GNU_STYLE
2944	__asm__ __volatile__ (
2945	".byte 0x0f, 0x01, 0xc4 # VMXOFF \n\t"
2946	);
2947
2948	# elif VMX_USE_MSC_INTRINSICS
2949	__vmx_off();
2950
2951	# else
2952	__asm
2953	{
2954	_emit 0x0f
2955	_emit 0x01
2956	_emit 0xc4 /* VMXOFF */
2957	}
2958	# endif
2959	}
2960	#endif
2961
2962
2963	/**
2964	* Executes VMCLEAR.
2965	*
2966	* @returns VBox status code.
2967	* @param HCPhysVmcs Physical address of VM control structure.
2968	*/
2969	#if ((RT_INLINE_ASM_EXTERNAL \|\| !defined(RT_ARCH_X86)) && !VMX_USE_MSC_INTRINSICS)
2970	DECLASM(int) VMXClearVmcs(RTHCPHYS HCPhysVmcs);
2971	#else
2972	DECLINLINE(int) VMXClearVmcs(RTHCPHYS HCPhysVmcs)
2973	{
2974	# if RT_INLINE_ASM_GNU_STYLE
2975	int rc = VINF_SUCCESS;
2976	__asm__ __volatile__ (
2977	"push %3 \n\t"
2978	"push %2 \n\t"
2979	".byte 0x66, 0x0f, 0xc7, 0x34, 0x24 # VMCLEAR [esp] \n\t"
2980	"jnc 1f \n\t"
2981	"movl $" RT_XSTR(VERR_VMX_INVALID_VMCS_PTR)", %0 \n\t"
2982	"1: \n\t"
2983	"add $8, %%esp \n\t"
2984	:"=rm"(rc)
2985	:"0"(VINF_SUCCESS),
2986	"ir"((uint32_t)HCPhysVmcs), /* don't allow direct memory reference here, */
2987	"ir"((uint32_t)(HCPhysVmcs >> 32)) /* this would not work with -fomit-frame-pointer */
2988	:"memory"
2989	);
2990	return rc;
2991
2992	# elif VMX_USE_MSC_INTRINSICS
2993	unsigned char rcMsc = __vmx_vmclear(&HCPhysVmcs);
2994	if (RT_LIKELY(rcMsc == 0))
2995	return VINF_SUCCESS;
2996	return VERR_VMX_INVALID_VMCS_PTR;
2997
2998	# else
2999	int rc = VINF_SUCCESS;
3000	__asm
3001	{
3002	push dword ptr [HCPhysVmcs + 4]
3003	push dword ptr [HCPhysVmcs]
3004	_emit 0x66
3005	_emit 0x0f
3006	_emit 0xc7
3007	_emit 0x34
3008	_emit 0x24 /* VMCLEAR [esp] */
3009	jnc success
3010	mov dword ptr [rc], VERR_VMX_INVALID_VMCS_PTR
3011	success:
3012	add esp, 8
3013	}
3014	return rc;
3015	# endif
3016	}
3017	#endif
3018
3019
3020	/**
3021	* Executes VMPTRLD.
3022	*
3023	* @returns VBox status code.
3024	* @param HCPhysVmcs Physical address of VMCS structure.
3025	*/
3026	#if ((RT_INLINE_ASM_EXTERNAL \|\| !defined(RT_ARCH_X86)) && !VMX_USE_MSC_INTRINSICS)
3027	DECLASM(int) VMXActivateVmcs(RTHCPHYS HCPhysVmcs);
3028	#else
3029	DECLINLINE(int) VMXActivateVmcs(RTHCPHYS HCPhysVmcs)
3030	{
3031	# if RT_INLINE_ASM_GNU_STYLE
3032	int rc = VINF_SUCCESS;
3033	__asm__ __volatile__ (
3034	"push %3 \n\t"
3035	"push %2 \n\t"
3036	".byte 0x0f, 0xc7, 0x34, 0x24 # VMPTRLD [esp] \n\t"
3037	"jnc 1f \n\t"
3038	"movl $" RT_XSTR(VERR_VMX_INVALID_VMCS_PTR)", %0 \n\t"
3039	"1: \n\t"
3040	"add $8, %%esp \n\t"
3041	:"=rm"(rc)
3042	:"0"(VINF_SUCCESS),
3043	"ir"((uint32_t)HCPhysVmcs), /* don't allow direct memory reference here, */
3044	"ir"((uint32_t)(HCPhysVmcs >> 32)) /* this will not work with -fomit-frame-pointer */
3045	);
3046	return rc;
3047
3048	# elif VMX_USE_MSC_INTRINSICS
3049	unsigned char rcMsc = __vmx_vmptrld(&HCPhysVmcs);
3050	if (RT_LIKELY(rcMsc == 0))
3051	return VINF_SUCCESS;
3052	return VERR_VMX_INVALID_VMCS_PTR;
3053
3054	# else
3055	int rc = VINF_SUCCESS;
3056	__asm
3057	{
3058	push dword ptr [HCPhysVmcs + 4]
3059	push dword ptr [HCPhysVmcs]
3060	_emit 0x0f
3061	_emit 0xc7
3062	_emit 0x34
3063	_emit 0x24 /* VMPTRLD [esp] */
3064	jnc success
3065	mov dword ptr [rc], VERR_VMX_INVALID_VMCS_PTR
3066
3067	success:
3068	add esp, 8
3069	}
3070	return rc;
3071	# endif
3072	}
3073	#endif
3074
3075
3076	/**
3077	* Executes VMPTRST.
3078	*
3079	* @returns VBox status code.
3080	* @param pHCPhysVmcs Where to store the physical address of the current
3081	* VMCS.
3082	*/
3083	DECLASM(int) VMXGetActivatedVmcs(RTHCPHYS *pHCPhysVmcs);
3084
3085
3086	/**
3087	* Executes VMWRITE.
3088	*
3089	* @returns VBox status code.
3090	* @retval VINF_SUCCESS.
3091	* @retval VERR_VMX_INVALID_VMCS_PTR.
3092	* @retval VERR_VMX_INVALID_VMCS_FIELD.
3093	*
3094	* @param idxField VMCS index.
3095	* @param u32Val 32-bit value.
3096	*
3097	* @remarks The values of the two status codes can be OR'ed together, the result
3098	* will be VERR_VMX_INVALID_VMCS_PTR.
3099	*/
3100	#if ((RT_INLINE_ASM_EXTERNAL \|\| !defined(RT_ARCH_X86)) && !VMX_USE_MSC_INTRINSICS)
3101	DECLASM(int) VMXWriteVmcs32(uint32_t idxField, uint32_t u32Val);
3102	#else
3103	DECLINLINE(int) VMXWriteVmcs32(uint32_t idxField, uint32_t u32Val)
3104	{
3105	# if RT_INLINE_ASM_GNU_STYLE
3106	int rc = VINF_SUCCESS;
3107	__asm__ __volatile__ (
3108	".byte 0x0f, 0x79, 0xc2 # VMWRITE eax, edx \n\t"
3109	"ja 2f \n\t"
3110	"je 1f \n\t"
3111	"movl $" RT_XSTR(VERR_VMX_INVALID_VMCS_PTR)", %0 \n\t"
3112	"jmp 2f \n\t"
3113	"1: \n\t"
3114	"movl $" RT_XSTR(VERR_VMX_INVALID_VMCS_FIELD)", %0 \n\t"
3115	"2: \n\t"
3116	:"=rm"(rc)
3117	:"0"(VINF_SUCCESS),
3118	"a"(idxField),
3119	"d"(u32Val)
3120	);
3121	return rc;
3122
3123	# elif VMX_USE_MSC_INTRINSICS
3124	unsigned char rcMsc = __vmx_vmwrite(idxField, u32Val);
3125	if (RT_LIKELY(rcMsc == 0))
3126	return VINF_SUCCESS;
3127	return rcMsc == 2 ? VERR_VMX_INVALID_VMCS_PTR : VERR_VMX_INVALID_VMCS_FIELD;
3128
3129	#else
3130	int rc = VINF_SUCCESS;
3131	__asm
3132	{
3133	push dword ptr [u32Val]
3134	mov eax, [idxField]
3135	_emit 0x0f
3136	_emit 0x79
3137	_emit 0x04
3138	_emit 0x24 /* VMWRITE eax, [esp] */
3139	jnc valid_vmcs
3140	mov dword ptr [rc], VERR_VMX_INVALID_VMCS_PTR
3141	jmp the_end
3142
3143	valid_vmcs:
3144	jnz the_end
3145	mov dword ptr [rc], VERR_VMX_INVALID_VMCS_FIELD
3146	the_end:
3147	add esp, 4
3148	}
3149	return rc;
3150	# endif
3151	}
3152	#endif
3153
3154	/**
3155	* Executes VMWRITE.
3156	*
3157	* @returns VBox status code.
3158	* @retval VINF_SUCCESS.
3159	* @retval VERR_VMX_INVALID_VMCS_PTR.
3160	* @retval VERR_VMX_INVALID_VMCS_FIELD.
3161	*
3162	* @param idxField VMCS index.
3163	* @param u64Val 16, 32 or 64-bit value.
3164	*
3165	* @remarks The values of the two status codes can be OR'ed together, the result
3166	* will be VERR_VMX_INVALID_VMCS_PTR.
3167	*/
3168	#if !defined(RT_ARCH_X86)
3169	# if !VMX_USE_MSC_INTRINSICS \|\| ARCH_BITS != 64
3170	DECLASM(int) VMXWriteVmcs64(uint32_t idxField, uint64_t u64Val);
3171	# else /* VMX_USE_MSC_INTRINSICS */
3172	DECLINLINE(int) VMXWriteVmcs64(uint32_t idxField, uint64_t u64Val)
3173	{
3174	unsigned char rcMsc = __vmx_vmwrite(idxField, u64Val);
3175	if (RT_LIKELY(rcMsc == 0))
3176	return VINF_SUCCESS;
3177	return rcMsc == 2 ? VERR_VMX_INVALID_VMCS_PTR : VERR_VMX_INVALID_VMCS_FIELD;
3178	}
3179	# endif /* VMX_USE_MSC_INTRINSICS */
3180	#else
3181	# define VMXWriteVmcs64(idxField, u64Val) VMXWriteVmcs64Ex(pVCpu, idxField, u64Val) /** @todo dead ugly, picking up pVCpu like this */
3182	VMMR0DECL(int) VMXWriteVmcs64Ex(PVMCPU pVCpu, uint32_t idxField, uint64_t u64Val);
3183	#endif
3184
3185	#if ARCH_BITS == 32
3186	# define VMXWriteVmcsHstN VMXWriteVmcs32
3187	# define VMXWriteVmcsGstN(idxField, u64Val) VMXWriteVmcs64Ex(pVCpu, idxField, u64Val)
3188	#else /* ARCH_BITS == 64 */
3189	# define VMXWriteVmcsHstN VMXWriteVmcs64
3190	# define VMXWriteVmcsGstN VMXWriteVmcs64
3191	#endif
3192
3193
3194	/**
3195	* Invalidate a page using INVEPT.
3196	*
3197	* @returns VBox status code.
3198	* @param enmFlush Type of flush.
3199	* @param pDescriptor Pointer to the descriptor.
3200	*/
3201	DECLASM(int) VMXR0InvEPT(VMXTLBFLUSHEPT enmFlush, uint64_t *pDescriptor);
3202
3203
3204	/**
3205	* Invalidate a page using INVVPID.
3206	*
3207	* @returns VBox status code.
3208	* @param enmFlush Type of flush.
3209	* @param pDescriptor Pointer to the descriptor.
3210	*/
3211	DECLASM(int) VMXR0InvVPID(VMXTLBFLUSHVPID enmFlush, uint64_t *pDescriptor);
3212
3213
3214	/**
3215	* Executes VMREAD.
3216	*
3217	* @returns VBox status code.
3218	* @retval VINF_SUCCESS.
3219	* @retval VERR_VMX_INVALID_VMCS_PTR.
3220	* @retval VERR_VMX_INVALID_VMCS_FIELD.
3221	*
3222	* @param idxField VMCS index.
3223	* @param pData Where to store VM field value.
3224	*
3225	* @remarks The values of the two status codes can be OR'ed together, the result
3226	* will be VERR_VMX_INVALID_VMCS_PTR.
3227	*/
3228	#if ((RT_INLINE_ASM_EXTERNAL \|\| !defined(RT_ARCH_X86)) && !VMX_USE_MSC_INTRINSICS)
3229	DECLASM(int) VMXReadVmcs32(uint32_t idxField, uint32_t *pData);
3230	#else
3231	DECLINLINE(int) VMXReadVmcs32(uint32_t idxField, uint32_t *pData)
3232	{
3233	# if RT_INLINE_ASM_GNU_STYLE
3234	int rc = VINF_SUCCESS;
3235	__asm__ __volatile__ (
3236	"movl $" RT_XSTR(VINF_SUCCESS)", %0 \n\t"
3237	".byte 0x0f, 0x78, 0xc2 # VMREAD eax, edx \n\t"
3238	"ja 2f \n\t"
3239	"je 1f \n\t"
3240	"movl $" RT_XSTR(VERR_VMX_INVALID_VMCS_PTR)", %0 \n\t"
3241	"jmp 2f \n\t"
3242	"1: \n\t"
3243	"movl $" RT_XSTR(VERR_VMX_INVALID_VMCS_FIELD)", %0 \n\t"
3244	"2: \n\t"
3245	:"=&r"(rc),
3246	"=d"(*pData)
3247	:"a"(idxField),
3248	"d"(0)
3249	);
3250	return rc;
3251
3252	# elif VMX_USE_MSC_INTRINSICS
3253	unsigned char rcMsc;
3254	# if ARCH_BITS == 32
3255	rcMsc = __vmx_vmread(idxField, pData);
3256	# else
3257	uint64_t u64Tmp;
3258	rcMsc = __vmx_vmread(idxField, &u64Tmp);
3259	*pData = (uint32_t)u64Tmp;
3260	# endif
3261	if (RT_LIKELY(rcMsc == 0))
3262	return VINF_SUCCESS;
3263	return rcMsc == 2 ? VERR_VMX_INVALID_VMCS_PTR : VERR_VMX_INVALID_VMCS_FIELD;
3264
3265	#else
3266	int rc = VINF_SUCCESS;
3267	__asm
3268	{
3269	sub esp, 4
3270	mov dword ptr [esp], 0
3271	mov eax, [idxField]
3272	_emit 0x0f
3273	_emit 0x78
3274	_emit 0x04
3275	_emit 0x24 /* VMREAD eax, [esp] */
3276	mov edx, pData
3277	pop dword ptr [edx]
3278	jnc valid_vmcs
3279	mov dword ptr [rc], VERR_VMX_INVALID_VMCS_PTR
3280	jmp the_end
3281
3282	valid_vmcs:
3283	jnz the_end
3284	mov dword ptr [rc], VERR_VMX_INVALID_VMCS_FIELD
3285	the_end:
3286	}
3287	return rc;
3288	# endif
3289	}
3290	#endif
3291
3292	/**
3293	* Executes VMREAD.
3294	*
3295	* @returns VBox status code.
3296	* @retval VINF_SUCCESS.
3297	* @retval VERR_VMX_INVALID_VMCS_PTR.
3298	* @retval VERR_VMX_INVALID_VMCS_FIELD.
3299	*
3300	* @param idxField VMCS index.
3301	* @param pData Where to store VM field value.
3302	*
3303	* @remarks The values of the two status codes can be OR'ed together, the result
3304	* will be VERR_VMX_INVALID_VMCS_PTR.
3305	*/
3306	#if (!defined(RT_ARCH_X86) && !VMX_USE_MSC_INTRINSICS)
3307	DECLASM(int) VMXReadVmcs64(uint32_t idxField, uint64_t *pData);
3308	#else
3309	DECLINLINE(int) VMXReadVmcs64(uint32_t idxField, uint64_t *pData)
3310	{
3311	# if VMX_USE_MSC_INTRINSICS
3312	unsigned char rcMsc;
3313	# if ARCH_BITS == 32
3314	size_t uLow;
3315	size_t uHigh;
3316	rcMsc = __vmx_vmread(idxField, &uLow);
3317	rcMsc \|= __vmx_vmread(idxField + 1, &uHigh);
3318	*pData = RT_MAKE_U64(uLow, uHigh);
3319	# else
3320	rcMsc = __vmx_vmread(idxField, pData);
3321	# endif
3322	if (RT_LIKELY(rcMsc == 0))
3323	return VINF_SUCCESS;
3324	return rcMsc == 2 ? VERR_VMX_INVALID_VMCS_PTR : VERR_VMX_INVALID_VMCS_FIELD;
3325
3326	# elif ARCH_BITS == 32
3327	int rc;
3328	uint32_t val_hi, val;
3329	rc = VMXReadVmcs32(idxField, &val);
3330	rc \|= VMXReadVmcs32(idxField + 1, &val_hi);
3331	AssertRC(rc);
3332	*pData = RT_MAKE_U64(val, val_hi);
3333	return rc;
3334
3335	# else
3336	# error "Shouldn't be here..."
3337	# endif
3338	}
3339	#endif
3340
3341
3342	/**
3343	* Gets the last instruction error value from the current VMCS.
3344	*
3345	* @returns VBox status code.
3346	*/
3347	DECLINLINE(uint32_t) VMXGetLastError(void)
3348	{
3349	#if ARCH_BITS == 64
3350	uint64_t uLastError = 0;
3351	int rc = VMXReadVmcs64(VMX_VMCS32_RO_VM_INSTR_ERROR, &uLastError);
3352	AssertRC(rc);
3353	return (uint32_t)uLastError;
3354
3355	#else /* 32-bit host: */
3356	uint32_t uLastError = 0;
3357	int rc = VMXReadVmcs32(VMX_VMCS32_RO_VM_INSTR_ERROR, &uLastError);
3358	AssertRC(rc);
3359	return uLastError;
3360	#endif
3361	}
3362
3363	/** @} */
3364
3365	/** @} */
3366
3367	#endif
3368

Note: See TracBrowser for help on using the repository browser.

source: vbox/trunk/include/VBox/vmm/hm_vmx.h@ 73771

Download in other formats: