32 	GUEST_ASSERT(vmreadz(GUEST_RIP) == 0xc0ffee);  in l2_guest_code()
34 	GUEST_ASSERT(vmreadz(GUEST_RIP) == 0xc0ffee);  in l2_guest_code()
35 	GUEST_ASSERT(!vmwrite(GUEST_RIP, 0xc0fffee));  in l2_guest_code()
37 	GUEST_ASSERT(vmreadz(GUEST_RIP) == 0xc0fffee);  in l2_guest_code()
38 	GUEST_ASSERT(!vmwrite(GUEST_RIP, 0xc0ffffee));  in l2_guest_code()
50 	GUEST_ASSERT(vmx_pages->vmcs_gpa);  in l1_guest_code()
51 	GUEST_ASSERT(prepare_for_vmx_operation(vmx_pages));  in l1_guest_code()
53 	GUEST_ASSERT(load_vmcs(vmx_pages));  in l1_guest_code()
54 	GUEST_ASSERT(vmptrstz() == vmx_pages->vmcs_gpa);  in l1_guest_code()
57 	GUEST_ASSERT(vmptrstz() == vmx_pages->vmcs_gpa);  in l1_guest_code()
63 	GUEST_ASSERT(vmptrstz() == vmx_pages->vmcs_gpa);  in l1_guest_code()
64 	GUEST_ASSERT(!vmlaunch());  in l1_guest_code()
65 	GUEST_ASSERT(vmptrstz() == vmx_pages->vmcs_gpa);  in l1_guest_code()
66 	GUEST_ASSERT(vmreadz(VM_EXIT_REASON) == EXIT_REASON_VMCALL);  in l1_guest_code()
69 	GUEST_ASSERT(vmlaunch());  in l1_guest_code()
71 	GUEST_ASSERT(!vmresume());  in l1_guest_code()
72 	GUEST_ASSERT(vmreadz(VM_EXIT_REASON) == EXIT_REASON_VMCALL);  in l1_guest_code()
75 	GUEST_ASSERT(vmreadz(VM_EXIT_REASON) == EXIT_REASON_VMCALL);  in l1_guest_code()
77 	GUEST_ASSERT(!vmresume());  in l1_guest_code()
78 	GUEST_ASSERT(vmreadz(VM_EXIT_REASON) == EXIT_REASON_VMCALL);  in l1_guest_code()
85 	GUEST_ASSERT(!vmptrld(vmx_pages->shadow_vmcs_gpa));  in l1_guest_code()
86 	GUEST_ASSERT(vmlaunch());  in l1_guest_code()
88 	GUEST_ASSERT(vmlaunch());  in l1_guest_code()
89 	GUEST_ASSERT(vmresume());  in l1_guest_code()
93 	GUEST_ASSERT(vmreadz(GUEST_RIP) == 0xc0ffee);  in l1_guest_code()
95 	GUEST_ASSERT(!vmptrld(vmx_pages->vmcs_gpa));  in l1_guest_code()
96 	GUEST_ASSERT(!vmresume());  in l1_guest_code()
97 	GUEST_ASSERT(vmreadz(VM_EXIT_REASON) == EXIT_REASON_VMCALL);  in l1_guest_code()
99 	GUEST_ASSERT(!vmptrld(vmx_pages->shadow_vmcs_gpa));  in l1_guest_code()
100 	GUEST_ASSERT(vmreadz(GUEST_RIP) == 0xc0ffffee);  in l1_guest_code()
101 	GUEST_ASSERT(vmlaunch());  in l1_guest_code()
102 	GUEST_ASSERT(vmresume());  in l1_guest_code()
104 	GUEST_ASSERT(vmreadz(GUEST_RIP) == 0xc0ffffee);  in l1_guest_code()
105 	GUEST_ASSERT(vmlaunch());  in l1_guest_code()
106 	GUEST_ASSERT(vmresume());  in l1_guest_code()