KVM
vmcs12.h
Go to the documentation of this file.
1 /* SPDX-License-Identifier: GPL-2.0 */
2 #ifndef __KVM_X86_VMX_VMCS12_H
3 #define __KVM_X86_VMX_VMCS12_H
4 
5 #include <linux/build_bug.h>
6 
7 #include "vmcs.h"
8 
9 /*
10  * struct vmcs12 describes the state that our guest hypervisor (L1) keeps for a
11  * single nested guest (L2), hence the name vmcs12. Any VMX implementation has
12  * a VMCS structure, and vmcs12 is our emulated VMX's VMCS. This structure is
13  * stored in guest memory specified by VMPTRLD, but is opaque to the guest,
14  * which must access it using VMREAD/VMWRITE/VMCLEAR instructions.
15  * More than one of these structures may exist, if L1 runs multiple L2 guests.
16  * nested_vmx_run() will use the data here to build the vmcs02: a VMCS for the
17  * underlying hardware which will be used to run L2.
18  * This structure is packed to ensure that its layout is identical across
19  * machines (necessary for live migration).
20  *
21  * IMPORTANT: Changing the layout of existing fields in this structure
22  * will break save/restore compatibility with older kvm releases. When
23  * adding new fields, either use space in the reserved padding* arrays
24  * or add the new fields to the end of the structure.
25  */
26 typedef u64 natural_width;
27 struct __packed vmcs12 {
28  /* According to the Intel spec, a VMCS region must start with the
29  * following two fields. Then follow implementation-specific data.
30  */
31  struct vmcs_hdr hdr;
32  u32 abort;
33 
34  u32 launch_state; /* set to 0 by VMCLEAR, to 1 by VMLAUNCH */
35  u32 padding[7]; /* room for future expansion */
36 
74  u64 padding64[1]; /* room for future expansion */
75  /*
76  * To allow migration of L1 (complete with its L2 guests) between
77  * machines of different natural widths (32 or 64 bit), we cannot have
78  * unsigned long fields with no explicit size. We use u64 (aliased
79  * natural_width) instead. Luckily, x86 is little-endian.
80  */
85  natural_width dead_space[4]; /* Last remnants of cr3_target_value[0-3]. */
120  natural_width paddingl[8]; /* room for future expansion */
168  u32 padding32[7]; /* room for future expansion */
188 };
189 
190 /*
191  * VMCS12_REVISION is an arbitrary id that should be changed if the content or
192  * layout of struct vmcs12 is changed. MSR_IA32_VMX_BASIC returns this id, and
193  * VMPTRLD verifies that the VMCS region that L1 is loading contains this id.
194  *
195  * IMPORTANT: Changing this value will break save/restore compatibility with
196  * older kvm releases.
197  */
198 #define VMCS12_REVISION 0x11e57ed0
199 
200 /*
201  * VMCS12_SIZE is the number of bytes L1 should allocate for the VMXON region
202  * and any VMCS region. Although only sizeof(struct vmcs12) are used by the
203  * current implementation, 4K are reserved to avoid future complications and
204  * to preserve userspace ABI.
205  */
206 #define VMCS12_SIZE KVM_STATE_NESTED_VMX_VMCS_SIZE
207 
208 /*
209  * For save/restore compatibility, the vmcs12 field offsets must not change.
210  */
211 #define CHECK_OFFSET(field, loc) \
212  ASSERT_STRUCT_OFFSET(struct vmcs12, field, loc)
213 
214 static inline void vmx_check_vmcs12_offsets(void)
215 {
216  CHECK_OFFSET(hdr, 0);
217  CHECK_OFFSET(abort, 4);
218  CHECK_OFFSET(launch_state, 8);
219  CHECK_OFFSET(io_bitmap_a, 40);
220  CHECK_OFFSET(io_bitmap_b, 48);
221  CHECK_OFFSET(msr_bitmap, 56);
222  CHECK_OFFSET(vm_exit_msr_store_addr, 64);
223  CHECK_OFFSET(vm_exit_msr_load_addr, 72);
224  CHECK_OFFSET(vm_entry_msr_load_addr, 80);
225  CHECK_OFFSET(tsc_offset, 88);
226  CHECK_OFFSET(virtual_apic_page_addr, 96);
227  CHECK_OFFSET(apic_access_addr, 104);
228  CHECK_OFFSET(posted_intr_desc_addr, 112);
229  CHECK_OFFSET(ept_pointer, 120);
230  CHECK_OFFSET(eoi_exit_bitmap0, 128);
231  CHECK_OFFSET(eoi_exit_bitmap1, 136);
232  CHECK_OFFSET(eoi_exit_bitmap2, 144);
233  CHECK_OFFSET(eoi_exit_bitmap3, 152);
234  CHECK_OFFSET(xss_exit_bitmap, 160);
235  CHECK_OFFSET(guest_physical_address, 168);
236  CHECK_OFFSET(vmcs_link_pointer, 176);
237  CHECK_OFFSET(guest_ia32_debugctl, 184);
238  CHECK_OFFSET(guest_ia32_pat, 192);
239  CHECK_OFFSET(guest_ia32_efer, 200);
240  CHECK_OFFSET(guest_ia32_perf_global_ctrl, 208);
241  CHECK_OFFSET(guest_pdptr0, 216);
242  CHECK_OFFSET(guest_pdptr1, 224);
243  CHECK_OFFSET(guest_pdptr2, 232);
244  CHECK_OFFSET(guest_pdptr3, 240);
245  CHECK_OFFSET(guest_bndcfgs, 248);
246  CHECK_OFFSET(host_ia32_pat, 256);
247  CHECK_OFFSET(host_ia32_efer, 264);
248  CHECK_OFFSET(host_ia32_perf_global_ctrl, 272);
249  CHECK_OFFSET(vmread_bitmap, 280);
250  CHECK_OFFSET(vmwrite_bitmap, 288);
251  CHECK_OFFSET(vm_function_control, 296);
252  CHECK_OFFSET(eptp_list_address, 304);
253  CHECK_OFFSET(pml_address, 312);
254  CHECK_OFFSET(encls_exiting_bitmap, 320);
255  CHECK_OFFSET(tsc_multiplier, 328);
256  CHECK_OFFSET(cr0_guest_host_mask, 344);
257  CHECK_OFFSET(cr4_guest_host_mask, 352);
258  CHECK_OFFSET(cr0_read_shadow, 360);
259  CHECK_OFFSET(cr4_read_shadow, 368);
260  CHECK_OFFSET(dead_space, 376);
261  CHECK_OFFSET(exit_qualification, 408);
262  CHECK_OFFSET(guest_linear_address, 416);
263  CHECK_OFFSET(guest_cr0, 424);
264  CHECK_OFFSET(guest_cr3, 432);
265  CHECK_OFFSET(guest_cr4, 440);
266  CHECK_OFFSET(guest_es_base, 448);
267  CHECK_OFFSET(guest_cs_base, 456);
268  CHECK_OFFSET(guest_ss_base, 464);
269  CHECK_OFFSET(guest_ds_base, 472);
270  CHECK_OFFSET(guest_fs_base, 480);
271  CHECK_OFFSET(guest_gs_base, 488);
272  CHECK_OFFSET(guest_ldtr_base, 496);
273  CHECK_OFFSET(guest_tr_base, 504);
274  CHECK_OFFSET(guest_gdtr_base, 512);
275  CHECK_OFFSET(guest_idtr_base, 520);
276  CHECK_OFFSET(guest_dr7, 528);
277  CHECK_OFFSET(guest_rsp, 536);
278  CHECK_OFFSET(guest_rip, 544);
279  CHECK_OFFSET(guest_rflags, 552);
280  CHECK_OFFSET(guest_pending_dbg_exceptions, 560);
281  CHECK_OFFSET(guest_sysenter_esp, 568);
282  CHECK_OFFSET(guest_sysenter_eip, 576);
283  CHECK_OFFSET(host_cr0, 584);
284  CHECK_OFFSET(host_cr3, 592);
285  CHECK_OFFSET(host_cr4, 600);
286  CHECK_OFFSET(host_fs_base, 608);
287  CHECK_OFFSET(host_gs_base, 616);
288  CHECK_OFFSET(host_tr_base, 624);
289  CHECK_OFFSET(host_gdtr_base, 632);
290  CHECK_OFFSET(host_idtr_base, 640);
291  CHECK_OFFSET(host_ia32_sysenter_esp, 648);
292  CHECK_OFFSET(host_ia32_sysenter_eip, 656);
293  CHECK_OFFSET(host_rsp, 664);
294  CHECK_OFFSET(host_rip, 672);
295  CHECK_OFFSET(pin_based_vm_exec_control, 744);
296  CHECK_OFFSET(cpu_based_vm_exec_control, 748);
297  CHECK_OFFSET(exception_bitmap, 752);
298  CHECK_OFFSET(page_fault_error_code_mask, 756);
299  CHECK_OFFSET(page_fault_error_code_match, 760);
300  CHECK_OFFSET(cr3_target_count, 764);
301  CHECK_OFFSET(vm_exit_controls, 768);
302  CHECK_OFFSET(vm_exit_msr_store_count, 772);
303  CHECK_OFFSET(vm_exit_msr_load_count, 776);
304  CHECK_OFFSET(vm_entry_controls, 780);
305  CHECK_OFFSET(vm_entry_msr_load_count, 784);
306  CHECK_OFFSET(vm_entry_intr_info_field, 788);
307  CHECK_OFFSET(vm_entry_exception_error_code, 792);
308  CHECK_OFFSET(vm_entry_instruction_len, 796);
309  CHECK_OFFSET(tpr_threshold, 800);
310  CHECK_OFFSET(secondary_vm_exec_control, 804);
311  CHECK_OFFSET(vm_instruction_error, 808);
312  CHECK_OFFSET(vm_exit_reason, 812);
313  CHECK_OFFSET(vm_exit_intr_info, 816);
314  CHECK_OFFSET(vm_exit_intr_error_code, 820);
315  CHECK_OFFSET(idt_vectoring_info_field, 824);
316  CHECK_OFFSET(idt_vectoring_error_code, 828);
317  CHECK_OFFSET(vm_exit_instruction_len, 832);
318  CHECK_OFFSET(vmx_instruction_info, 836);
319  CHECK_OFFSET(guest_es_limit, 840);
320  CHECK_OFFSET(guest_cs_limit, 844);
321  CHECK_OFFSET(guest_ss_limit, 848);
322  CHECK_OFFSET(guest_ds_limit, 852);
323  CHECK_OFFSET(guest_fs_limit, 856);
324  CHECK_OFFSET(guest_gs_limit, 860);
325  CHECK_OFFSET(guest_ldtr_limit, 864);
326  CHECK_OFFSET(guest_tr_limit, 868);
327  CHECK_OFFSET(guest_gdtr_limit, 872);
328  CHECK_OFFSET(guest_idtr_limit, 876);
329  CHECK_OFFSET(guest_es_ar_bytes, 880);
330  CHECK_OFFSET(guest_cs_ar_bytes, 884);
331  CHECK_OFFSET(guest_ss_ar_bytes, 888);
332  CHECK_OFFSET(guest_ds_ar_bytes, 892);
333  CHECK_OFFSET(guest_fs_ar_bytes, 896);
334  CHECK_OFFSET(guest_gs_ar_bytes, 900);
335  CHECK_OFFSET(guest_ldtr_ar_bytes, 904);
336  CHECK_OFFSET(guest_tr_ar_bytes, 908);
337  CHECK_OFFSET(guest_interruptibility_info, 912);
338  CHECK_OFFSET(guest_activity_state, 916);
339  CHECK_OFFSET(guest_sysenter_cs, 920);
340  CHECK_OFFSET(host_ia32_sysenter_cs, 924);
341  CHECK_OFFSET(vmx_preemption_timer_value, 928);
342  CHECK_OFFSET(virtual_processor_id, 960);
343  CHECK_OFFSET(posted_intr_nv, 962);
344  CHECK_OFFSET(guest_es_selector, 964);
345  CHECK_OFFSET(guest_cs_selector, 966);
346  CHECK_OFFSET(guest_ss_selector, 968);
347  CHECK_OFFSET(guest_ds_selector, 970);
348  CHECK_OFFSET(guest_fs_selector, 972);
349  CHECK_OFFSET(guest_gs_selector, 974);
350  CHECK_OFFSET(guest_ldtr_selector, 976);
351  CHECK_OFFSET(guest_tr_selector, 978);
352  CHECK_OFFSET(guest_intr_status, 980);
353  CHECK_OFFSET(host_es_selector, 982);
354  CHECK_OFFSET(host_cs_selector, 984);
355  CHECK_OFFSET(host_ss_selector, 986);
356  CHECK_OFFSET(host_ds_selector, 988);
357  CHECK_OFFSET(host_fs_selector, 990);
358  CHECK_OFFSET(host_gs_selector, 992);
359  CHECK_OFFSET(host_tr_selector, 994);
360  CHECK_OFFSET(guest_pml_index, 996);
361 }
362 
363 extern const unsigned short vmcs12_field_offsets[];
364 extern const unsigned int nr_vmcs12_fields;
365 
366 static inline short get_vmcs12_field_offset(unsigned long field)
367 {
368  unsigned short offset;
369  unsigned int index;
370 
371  if (field >> 15)
372  return -ENOENT;
373 
374  index = ROL16(field, 6);
375  if (index >= nr_vmcs12_fields)
376  return -ENOENT;
377 
378  index = array_index_nospec(index, nr_vmcs12_fields);
379  offset = vmcs12_field_offsets[index];
380  if (offset == 0)
381  return -ENOENT;
382  return offset;
383 }
384 
385 static inline u64 vmcs12_read_any(struct vmcs12 *vmcs12, unsigned long field,
386  u16 offset)
387 {
388  char *p = (char *)vmcs12 + offset;
389 
390  switch (vmcs_field_width(field)) {
392  return *((natural_width *)p);
394  return *((u16 *)p);
396  return *((u32 *)p);
398  return *((u64 *)p);
399  default:
400  WARN_ON_ONCE(1);
401  return -1;
402  }
403 }
404 
405 static inline void vmcs12_write_any(struct vmcs12 *vmcs12, unsigned long field,
406  u16 offset, u64 field_value)
407 {
408  char *p = (char *)vmcs12 + offset;
409 
410  switch (vmcs_field_width(field)) {
412  *(u16 *)p = field_value;
413  break;
415  *(u32 *)p = field_value;
416  break;
418  *(u64 *)p = field_value;
419  break;
421  *(natural_width *)p = field_value;
422  break;
423  default:
424  WARN_ON_ONCE(1);
425  break;
426  }
427 }
428 
429 #endif /* __KVM_X86_VMX_VMCS12_H */
Definition: vmcs12.h:27
natural_width guest_rsp
Definition: vmcs12.h:102
u64 eoi_exit_bitmap0
Definition: vmcs12.h:48
u32 page_fault_error_code_mask
Definition: vmcs12.h:124
u64 posted_intr_desc_addr
Definition: vmcs12.h:46
u64 guest_ia32_efer
Definition: vmcs12.h:57
u32 vm_exit_reason
Definition: vmcs12.h:138
u16 guest_gs_selector
Definition: vmcs12.h:176
u16 guest_ss_selector
Definition: vmcs12.h:173
natural_width guest_sysenter_eip
Definition: vmcs12.h:107
natural_width guest_ldtr_base
Definition: vmcs12.h:97
natural_width guest_es_base
Definition: vmcs12.h:91
u64 eptp_list_address
Definition: vmcs12.h:70
natural_width guest_cr4
Definition: vmcs12.h:90
u32 vm_entry_msr_load_count
Definition: vmcs12.h:131
natural_width guest_tr_base
Definition: vmcs12.h:98
natural_width host_cr4
Definition: vmcs12.h:110
u32 vm_entry_controls
Definition: vmcs12.h:130
u64 guest_ia32_pat
Definition: vmcs12.h:56
u32 vmx_instruction_info
Definition: vmcs12.h:144
natural_width guest_gs_base
Definition: vmcs12.h:96
u16 posted_intr_nv
Definition: vmcs12.h:170
u32 vm_exit_intr_info
Definition: vmcs12.h:139
u32 vm_entry_exception_error_code
Definition: vmcs12.h:133
natural_width cr0_read_shadow
Definition: vmcs12.h:83
u32 page_fault_error_code_match
Definition: vmcs12.h:125
u64 vmread_bitmap
Definition: vmcs12.h:67
natural_width guest_rip
Definition: vmcs12.h:103
u16 host_tr_selector
Definition: vmcs12.h:186
u32 guest_es_limit
Definition: vmcs12.h:145
u64 xss_exit_bitmap
Definition: vmcs12.h:52
u16 guest_ldtr_selector
Definition: vmcs12.h:177
natural_width host_ia32_sysenter_eip
Definition: vmcs12.h:117
u32 cpu_based_vm_exec_control
Definition: vmcs12.h:122
natural_width host_fs_base
Definition: vmcs12.h:111
u64 io_bitmap_a
Definition: vmcs12.h:37
u32 exception_bitmap
Definition: vmcs12.h:123
u16 host_ss_selector
Definition: vmcs12.h:182
u32 guest_ldtr_ar_bytes
Definition: vmcs12.h:161
natural_width guest_cs_base
Definition: vmcs12.h:92
u64 eoi_exit_bitmap2
Definition: vmcs12.h:50
u32 tpr_threshold
Definition: vmcs12.h:135
u32 vm_exit_instruction_len
Definition: vmcs12.h:143
natural_width host_idtr_base
Definition: vmcs12.h:115
u16 host_gs_selector
Definition: vmcs12.h:185
natural_width host_gdtr_base
Definition: vmcs12.h:114
u64 guest_pdptr1
Definition: vmcs12.h:60
u32 vm_exit_controls
Definition: vmcs12.h:127
u32 secondary_vm_exec_control
Definition: vmcs12.h:136
u32 vm_instruction_error
Definition: vmcs12.h:137
natural_width guest_ss_base
Definition: vmcs12.h:93
u32 abort
Definition: vmcs12.h:32
natural_width guest_linear_address
Definition: vmcs12.h:87
u64 guest_pdptr0
Definition: vmcs12.h:59
u32 guest_cs_limit
Definition: vmcs12.h:146
u64 pml_address
Definition: vmcs12.h:71
natural_width guest_cr0
Definition: vmcs12.h:88
u64 guest_ia32_debugctl
Definition: vmcs12.h:55
natural_width host_rip
Definition: vmcs12.h:119
natural_width host_ia32_sysenter_esp
Definition: vmcs12.h:116
u32 vm_entry_intr_info_field
Definition: vmcs12.h:132
u64 guest_bndcfgs
Definition: vmcs12.h:63
u16 host_ds_selector
Definition: vmcs12.h:183
u64 vm_exit_msr_load_addr
Definition: vmcs12.h:41
u32 idt_vectoring_info_field
Definition: vmcs12.h:141
u32 vmx_preemption_timer_value
Definition: vmcs12.h:167
u32 guest_ds_limit
Definition: vmcs12.h:148
u32 vm_entry_instruction_len
Definition: vmcs12.h:134
natural_width guest_idtr_base
Definition: vmcs12.h:100
u64 guest_physical_address
Definition: vmcs12.h:53
u32 vm_exit_msr_store_count
Definition: vmcs12.h:128
natural_width host_tr_base
Definition: vmcs12.h:113
u64 guest_pdptr3
Definition: vmcs12.h:62
u64 host_ia32_efer
Definition: vmcs12.h:65
u16 guest_es_selector
Definition: vmcs12.h:171
u64 encls_exiting_bitmap
Definition: vmcs12.h:72
natural_width guest_sysenter_esp
Definition: vmcs12.h:106
u64 apic_access_addr
Definition: vmcs12.h:45
u64 vm_exit_msr_store_addr
Definition: vmcs12.h:40
u32 idt_vectoring_error_code
Definition: vmcs12.h:142
u64 tsc_multiplier
Definition: vmcs12.h:73
u32 guest_idtr_limit
Definition: vmcs12.h:154
natural_width exit_qualification
Definition: vmcs12.h:86
natural_width host_cr3
Definition: vmcs12.h:109
u16 host_fs_selector
Definition: vmcs12.h:184
u64 eoi_exit_bitmap1
Definition: vmcs12.h:49
u32 guest_ss_limit
Definition: vmcs12.h:147
u64 io_bitmap_b
Definition: vmcs12.h:38
natural_width guest_gdtr_base
Definition: vmcs12.h:99
u16 guest_cs_selector
Definition: vmcs12.h:172
u16 host_cs_selector
Definition: vmcs12.h:181
natural_width guest_dr7
Definition: vmcs12.h:101
u64 virtual_apic_page_addr
Definition: vmcs12.h:44
u64 vmwrite_bitmap
Definition: vmcs12.h:68
u16 guest_pml_index
Definition: vmcs12.h:187
u32 guest_activity_state
Definition: vmcs12.h:164
u32 vm_exit_intr_error_code
Definition: vmcs12.h:140
natural_width host_gs_base
Definition: vmcs12.h:112
u32 vm_exit_msr_load_count
Definition: vmcs12.h:129
u64 guest_pdptr2
Definition: vmcs12.h:61
u64 eoi_exit_bitmap3
Definition: vmcs12.h:51
natural_width guest_ds_base
Definition: vmcs12.h:94
u64 guest_ia32_perf_global_ctrl
Definition: vmcs12.h:58
natural_width guest_cr3
Definition: vmcs12.h:89
natural_width guest_rflags
Definition: vmcs12.h:104
u16 virtual_processor_id
Definition: vmcs12.h:169
u16 host_es_selector
Definition: vmcs12.h:180
natural_width cr0_guest_host_mask
Definition: vmcs12.h:81
natural_width guest_fs_base
Definition: vmcs12.h:95
u32 guest_interruptibility_info
Definition: vmcs12.h:163
u16 guest_ds_selector
Definition: vmcs12.h:174
u64 vmcs_link_pointer
Definition: vmcs12.h:54
u16 guest_tr_selector
Definition: vmcs12.h:178
u32 guest_fs_ar_bytes
Definition: vmcs12.h:159
u64 vm_entry_msr_load_addr
Definition: vmcs12.h:42
u32 guest_ss_ar_bytes
Definition: vmcs12.h:157
u32 guest_tr_limit
Definition: vmcs12.h:152
u32 guest_fs_limit
Definition: vmcs12.h:149
u32 guest_sysenter_cs
Definition: vmcs12.h:165
natural_width host_cr0
Definition: vmcs12.h:108
u32 guest_tr_ar_bytes
Definition: vmcs12.h:162
natural_width cr4_guest_host_mask
Definition: vmcs12.h:82
u64 msr_bitmap
Definition: vmcs12.h:39
u32 guest_ds_ar_bytes
Definition: vmcs12.h:158
u32 guest_gs_ar_bytes
Definition: vmcs12.h:160
u32 host_ia32_sysenter_cs
Definition: vmcs12.h:166
natural_width host_rsp
Definition: vmcs12.h:118
u32 guest_gdtr_limit
Definition: vmcs12.h:153
u16 guest_intr_status
Definition: vmcs12.h:179
natural_width guest_pending_dbg_exceptions
Definition: vmcs12.h:105
u16 guest_fs_selector
Definition: vmcs12.h:175
u32 guest_es_ar_bytes
Definition: vmcs12.h:155
u32 guest_ldtr_limit
Definition: vmcs12.h:151
u32 pin_based_vm_exec_control
Definition: vmcs12.h:121
u64 tsc_offset
Definition: vmcs12.h:43
u64 host_ia32_perf_global_ctrl
Definition: vmcs12.h:66
natural_width cr4_read_shadow
Definition: vmcs12.h:84
u64 ept_pointer
Definition: vmcs12.h:47
u32 launch_state
Definition: vmcs12.h:34
u32 cr3_target_count
Definition: vmcs12.h:126
u32 guest_cs_ar_bytes
Definition: vmcs12.h:156
u64 vm_function_control
Definition: vmcs12.h:69
u64 host_ia32_pat
Definition: vmcs12.h:64
u32 guest_gs_limit
Definition: vmcs12.h:150
Definition: vmcs.h:16
u64 natural_width
Definition: vmcs12.h:26
static short get_vmcs12_field_offset(unsigned long field)
Definition: vmcs12.h:366
static void vmcs12_write_any(struct vmcs12 *vmcs12, unsigned long field, u16 offset, u64 field_value)
Definition: vmcs12.h:405
#define CHECK_OFFSET(field, loc)
Definition: vmcs12.h:211
static void vmx_check_vmcs12_offsets(void)
Definition: vmcs12.h:214
static u64 vmcs12_read_any(struct vmcs12 *vmcs12, unsigned long field, u16 offset)
Definition: vmcs12.h:385
const unsigned int nr_vmcs12_fields
Definition: vmcs12.c:155
const unsigned short vmcs12_field_offsets[]
Definition: vmcs12.c:12
vmcs_field_width
Definition: vmcs.h:166
@ VMCS_FIELD_WIDTH_U32
Definition: vmcs.h:169
@ VMCS_FIELD_WIDTH_U16
Definition: vmcs.h:167
@ VMCS_FIELD_WIDTH_NATURAL_WIDTH
Definition: vmcs.h:170
@ VMCS_FIELD_WIDTH_U64
Definition: vmcs.h:168
#define ROL16(val, n)
Definition: vmcs.h:14