40 	GUEST_ASSERT(svm->vmcb_gpa);  in svm_l1_guest_code()
47 	GUEST_ASSERT(vmcb->control.exit_code == SVM_EXIT_VMMCALL);  in svm_l1_guest_code()
51 	GUEST_ASSERT(vmcb->control.exit_code == SVM_EXIT_VMMCALL);  in svm_l1_guest_code()
63 	GUEST_ASSERT(vmreadz(GUEST_RIP) == 0xc0ffee);  in vmx_l2_guest_code()
65 	GUEST_ASSERT(vmreadz(GUEST_RIP) == 0xc0ffee);  in vmx_l2_guest_code()
66 	GUEST_ASSERT(!vmwrite(GUEST_RIP, 0xc0fffee));  in vmx_l2_guest_code()
68 	GUEST_ASSERT(vmreadz(GUEST_RIP) == 0xc0fffee);  in vmx_l2_guest_code()
69 	GUEST_ASSERT(!vmwrite(GUEST_RIP, 0xc0ffffee));  in vmx_l2_guest_code()
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()
93 	GUEST_ASSERT(vmptrstz() == vmx_pages->vmcs_gpa);  in vmx_l1_guest_code()
94 	GUEST_ASSERT(!vmlaunch());  in vmx_l1_guest_code()
95 	GUEST_ASSERT(vmptrstz() == vmx_pages->vmcs_gpa);  in vmx_l1_guest_code()
96 	GUEST_ASSERT(vmreadz(VM_EXIT_REASON) == EXIT_REASON_VMCALL);  in vmx_l1_guest_code()
99 	GUEST_ASSERT(vmlaunch());  in vmx_l1_guest_code()
101 	GUEST_ASSERT(!vmresume());  in vmx_l1_guest_code()
102 	GUEST_ASSERT(vmreadz(VM_EXIT_REASON) == EXIT_REASON_VMCALL);  in vmx_l1_guest_code()
105 	GUEST_ASSERT(vmreadz(VM_EXIT_REASON) == EXIT_REASON_VMCALL);  in vmx_l1_guest_code()
107 	GUEST_ASSERT(!vmresume());  in vmx_l1_guest_code()
108 	GUEST_ASSERT(vmreadz(VM_EXIT_REASON) == EXIT_REASON_VMCALL);  in vmx_l1_guest_code()
115 	GUEST_ASSERT(!vmptrld(vmx_pages->shadow_vmcs_gpa));  in vmx_l1_guest_code()
116 	GUEST_ASSERT(vmlaunch());  in vmx_l1_guest_code()
118 	GUEST_ASSERT(vmlaunch());  in vmx_l1_guest_code()
119 	GUEST_ASSERT(vmresume());  in vmx_l1_guest_code()
123 	GUEST_ASSERT(vmreadz(GUEST_RIP) == 0xc0ffee);  in vmx_l1_guest_code()
125 	GUEST_ASSERT(!vmptrld(vmx_pages->vmcs_gpa));  in vmx_l1_guest_code()
126 	GUEST_ASSERT(!vmresume());  in vmx_l1_guest_code()
127 	GUEST_ASSERT(vmreadz(VM_EXIT_REASON) == EXIT_REASON_VMCALL);  in vmx_l1_guest_code()
129 	GUEST_ASSERT(!vmptrld(vmx_pages->shadow_vmcs_gpa));  in vmx_l1_guest_code()
130 	GUEST_ASSERT(vmreadz(GUEST_RIP) == 0xc0ffffee);  in vmx_l1_guest_code()
131 	GUEST_ASSERT(vmlaunch());  in vmx_l1_guest_code()
132 	GUEST_ASSERT(vmresume());  in vmx_l1_guest_code()
134 	GUEST_ASSERT(vmreadz(GUEST_RIP) == 0xc0ffffee);  in vmx_l1_guest_code()
135 	GUEST_ASSERT(vmlaunch());  in vmx_l1_guest_code()
136 	GUEST_ASSERT(vmresume());  in vmx_l1_guest_code()