390 struct nested_vmx {  struct
392 	bool vmxon;
393 	gpa_t vmxon_ptr;
396 	gpa_t current_vmptr;
398 	struct page *current_vmcs12_page;
399 	struct vmcs12 *current_vmcs12;
400 	struct vmcs *current_shadow_vmcs;
405 	bool sync_shadow_vmcs;
408 	struct list_head vmcs02_pool;
409 	int vmcs02_num;
410 	u64 vmcs01_tsc_offset;
434 	u32 nested_vmx_procbased_ctls_low;  argument
435 	u32 nested_vmx_procbased_ctls_high;  argument
436 	u32 nested_vmx_true_procbased_ctls_low;  argument
437 	u32 nested_vmx_secondary_ctls_low;  argument
438 	u32 nested_vmx_secondary_ctls_high;  argument
439 	u32 nested_vmx_pinbased_ctls_low;  argument
440 	u32 nested_vmx_pinbased_ctls_high;  argument
441 	u32 nested_vmx_exit_ctls_low;  argument
442 	u32 nested_vmx_exit_ctls_high;  argument
443 	u32 nested_vmx_true_exit_ctls_low;  argument
444 	u32 nested_vmx_entry_ctls_low;  argument
445 	u32 nested_vmx_entry_ctls_high;  argument
446 	u32 nested_vmx_true_entry_ctls_low;  argument
447 	u32 nested_vmx_misc_low;  argument
448 	u32 nested_vmx_misc_high;  argument
449 	u32 nested_vmx_ept_caps;  argument
450 	u32 nested_vmx_vpid_caps;  argument