95 	GUEST_ASSERT(prepare_for_vmx_operation(vmx_pages));  in guest_code()
97 	GUEST_ASSERT(load_evmcs(hv_pages));  in guest_code()
98 	GUEST_ASSERT(vmptrstz() == hv_pages->enlightened_vmcs_gpa);  in guest_code()
101 	GUEST_ASSERT(vmptrstz() == hv_pages->enlightened_vmcs_gpa);  in guest_code()
107 	GUEST_ASSERT(vmptrstz() == hv_pages->enlightened_vmcs_gpa);  in guest_code()
109 	GUEST_ASSERT(vmlaunch());  in guest_code()
124 	GUEST_ASSERT(!vmlaunch());  in guest_code()
127 	GUEST_ASSERT(vmptrstz() == hv_pages->enlightened_vmcs_gpa);  in guest_code()
134 	GUEST_ASSERT(!vmresume());  in guest_code()
138 	GUEST_ASSERT(vmreadz(VM_EXIT_REASON) == EXIT_REASON_VMCALL);  in guest_code()
145 	GUEST_ASSERT(!vmresume());  in guest_code()
146 	GUEST_ASSERT(vmreadz(VM_EXIT_REASON) == EXIT_REASON_MSR_READ);  in guest_code()
151 	GUEST_ASSERT(!vmresume());  in guest_code()
152 	GUEST_ASSERT(vmreadz(VM_EXIT_REASON) == EXIT_REASON_MSR_READ);  in guest_code()
159 	GUEST_ASSERT(!vmresume());  in guest_code()
161 	GUEST_ASSERT(vmreadz(VM_EXIT_REASON) == EXIT_REASON_VMCALL);  in guest_code()
166 	GUEST_ASSERT(!vmresume());  in guest_code()
167 	GUEST_ASSERT(vmreadz(VM_EXIT_REASON) == EXIT_REASON_MSR_READ);  in guest_code()
174 	GUEST_ASSERT(!vmresume());  in guest_code()
175 	GUEST_ASSERT(vmreadz(VM_EXIT_REASON) == EXIT_REASON_MSR_READ);  in guest_code()
179 	GUEST_ASSERT(!vmresume());  in guest_code()
180 	GUEST_ASSERT(vmreadz(VM_EXIT_REASON) == HV_VMX_SYNTHETIC_EXIT_REASON_TRAP_AFTER_FLUSH);  in guest_code()
182 	GUEST_ASSERT(!vmresume());  in guest_code()
183 	GUEST_ASSERT(vmreadz(VM_EXIT_REASON) == EXIT_REASON_VMCALL);  in guest_code()
188 	GUEST_ASSERT(vmlaunch());  in guest_code()
189 	GUEST_ASSERT(ud_count == 1);  in guest_code()