Lines Matching defs:vmx_pages

75 static void vmx_l1_guest_code(struct vmx_pages *vmx_pages)
79 	GUEST_ASSERT(vmx_pages->vmcs_gpa);
80 	GUEST_ASSERT(prepare_for_vmx_operation(vmx_pages));
82 	GUEST_ASSERT(load_vmcs(vmx_pages));
83 	GUEST_ASSERT(vmptrstz() == vmx_pages->vmcs_gpa);
86 	GUEST_ASSERT(vmptrstz() == vmx_pages->vmcs_gpa);
88 	prepare_vmcs(vmx_pages, vmx_l2_guest_code,
92 	GUEST_ASSERT(vmptrstz() == vmx_pages->vmcs_gpa);
94 	GUEST_ASSERT(vmptrstz() == vmx_pages->vmcs_gpa);
112 	vmwrite(VMCS_LINK_POINTER, vmx_pages->shadow_vmcs_gpa);
114 	GUEST_ASSERT(!vmptrld(vmx_pages->shadow_vmcs_gpa));
124 	GUEST_ASSERT(!vmptrld(vmx_pages->vmcs_gpa));
128 	GUEST_ASSERT(!vmptrld(vmx_pages->shadow_vmcs_gpa));