39 	GUEST_ASSERT(svm->vmcb_gpa);  in svm_l1_guest_code()
46 	GUEST_ASSERT(vmcb->control.exit_code == SVM_EXIT_VMMCALL);  in svm_l1_guest_code()
50 	GUEST_ASSERT(vmcb->control.exit_code == SVM_EXIT_VMMCALL);  in svm_l1_guest_code()
62 	GUEST_ASSERT(vmreadz(GUEST_RIP) == 0xc0ffee);  in vmx_l2_guest_code()
64 	GUEST_ASSERT(vmreadz(GUEST_RIP) == 0xc0ffee);  in vmx_l2_guest_code()
65 	GUEST_ASSERT(!vmwrite(GUEST_RIP, 0xc0fffee));  in vmx_l2_guest_code()
67 	GUEST_ASSERT(vmreadz(GUEST_RIP) == 0xc0fffee);  in vmx_l2_guest_code()
68 	GUEST_ASSERT(!vmwrite(GUEST_RIP, 0xc0ffffee));  in vmx_l2_guest_code()
79 	GUEST_ASSERT(vmx_pages->vmcs_gpa);  in vmx_l1_guest_code()
80 	GUEST_ASSERT(prepare_for_vmx_operation(vmx_pages));  in vmx_l1_guest_code()
82 	GUEST_ASSERT(load_vmcs(vmx_pages));  in vmx_l1_guest_code()
83 	GUEST_ASSERT(vmptrstz() == vmx_pages->vmcs_gpa);  in vmx_l1_guest_code()
86 	GUEST_ASSERT(vmptrstz() == vmx_pages->vmcs_gpa);  in vmx_l1_guest_code()
92 	GUEST_ASSERT(vmptrstz() == vmx_pages->vmcs_gpa);  in vmx_l1_guest_code()
93 	GUEST_ASSERT(!vmlaunch());  in vmx_l1_guest_code()
94 	GUEST_ASSERT(vmptrstz() == vmx_pages->vmcs_gpa);  in vmx_l1_guest_code()
95 	GUEST_ASSERT(vmreadz(VM_EXIT_REASON) == EXIT_REASON_VMCALL);  in vmx_l1_guest_code()
98 	GUEST_ASSERT(vmlaunch());  in vmx_l1_guest_code()
100 	GUEST_ASSERT(!vmresume());  in vmx_l1_guest_code()
101 	GUEST_ASSERT(vmreadz(VM_EXIT_REASON) == EXIT_REASON_VMCALL);  in vmx_l1_guest_code()
104 	GUEST_ASSERT(vmreadz(VM_EXIT_REASON) == EXIT_REASON_VMCALL);  in vmx_l1_guest_code()
106 	GUEST_ASSERT(!vmresume());  in vmx_l1_guest_code()
107 	GUEST_ASSERT(vmreadz(VM_EXIT_REASON) == EXIT_REASON_VMCALL);  in vmx_l1_guest_code()
114 	GUEST_ASSERT(!vmptrld(vmx_pages->shadow_vmcs_gpa));  in vmx_l1_guest_code()
115 	GUEST_ASSERT(vmlaunch());  in vmx_l1_guest_code()
117 	GUEST_ASSERT(vmlaunch());  in vmx_l1_guest_code()
118 	GUEST_ASSERT(vmresume());  in vmx_l1_guest_code()
122 	GUEST_ASSERT(vmreadz(GUEST_RIP) == 0xc0ffee);  in vmx_l1_guest_code()
124 	GUEST_ASSERT(!vmptrld(vmx_pages->vmcs_gpa));  in vmx_l1_guest_code()
125 	GUEST_ASSERT(!vmresume());  in vmx_l1_guest_code()
126 	GUEST_ASSERT(vmreadz(VM_EXIT_REASON) == EXIT_REASON_VMCALL);  in vmx_l1_guest_code()
128 	GUEST_ASSERT(!vmptrld(vmx_pages->shadow_vmcs_gpa));  in vmx_l1_guest_code()
129 	GUEST_ASSERT(vmreadz(GUEST_RIP) == 0xc0ffffee);  in vmx_l1_guest_code()
130 	GUEST_ASSERT(vmlaunch());  in vmx_l1_guest_code()
131 	GUEST_ASSERT(vmresume());  in vmx_l1_guest_code()
133 	GUEST_ASSERT(vmreadz(GUEST_RIP) == 0xc0ffffee);  in vmx_l1_guest_code()
134 	GUEST_ASSERT(vmlaunch());  in vmx_l1_guest_code()
135 	GUEST_ASSERT(vmresume());  in vmx_l1_guest_code()
149 		GUEST_ASSERT(this_cpu_has(X86_FEATURE_OSXSAVE));  in guest_code()
160 		GUEST_ASSERT(supported_xcr0 & XFEATURE_MASK_FP);  in guest_code()
163 		GUEST_ASSERT(supported_xcr0 & XFEATURE_MASK_SSE);  in guest_code()
179 			GUEST_ASSERT(supported_xcr0 & XFEATURE_MASK_BNDREGS);  in guest_code()
180 			GUEST_ASSERT(supported_xcr0 & XFEATURE_MASK_BNDCSR);  in guest_code()
210 			GUEST_ASSERT(supported_xcr0 & XFEATURE_MASK_PKRU);  in guest_code()
212 			GUEST_ASSERT(this_cpu_has(X86_FEATURE_OSPKE));  in guest_code()