76 static void vmx_l1_guest_code(struct vmx_pages *vmx_pages)  in vmx_l1_guest_code()  argument
80 	GUEST_ASSERT(vmx_pages->vmcs_gpa);  in vmx_l1_guest_code()
81 	GUEST_ASSERT(prepare_for_vmx_operation(vmx_pages));  in vmx_l1_guest_code()
83 	GUEST_ASSERT(load_vmcs(vmx_pages));  in vmx_l1_guest_code()
84 	GUEST_ASSERT(vmptrstz() == vmx_pages->vmcs_gpa);  in vmx_l1_guest_code()
87 	GUEST_ASSERT(vmptrstz() == vmx_pages->vmcs_gpa);  in vmx_l1_guest_code()
89 	prepare_vmcs(vmx_pages, vmx_l2_guest_code,  in vmx_l1_guest_code()
93 	GUEST_ASSERT(vmptrstz() == vmx_pages->vmcs_gpa);  in vmx_l1_guest_code()
95 	GUEST_ASSERT(vmptrstz() == vmx_pages->vmcs_gpa);  in vmx_l1_guest_code()
113 	vmwrite(VMCS_LINK_POINTER, vmx_pages->shadow_vmcs_gpa);  in vmx_l1_guest_code()
115 	GUEST_ASSERT(!vmptrld(vmx_pages->shadow_vmcs_gpa));  in vmx_l1_guest_code()
125 	GUEST_ASSERT(!vmptrld(vmx_pages->vmcs_gpa));  in vmx_l1_guest_code()
129 	GUEST_ASSERT(!vmptrld(vmx_pages->shadow_vmcs_gpa));  in vmx_l1_guest_code()