Lines Matching refs:GUEST_ASSERT
83 GUEST_ASSERT(vmx_pages->vmcs_gpa); in guest_code()
84 GUEST_ASSERT(prepare_for_vmx_operation(vmx_pages)); in guest_code()
86 GUEST_ASSERT(load_vmcs(vmx_pages)); in guest_code()
87 GUEST_ASSERT(vmptrstz() == vmx_pages->enlightened_vmcs_gpa); in guest_code()
90 GUEST_ASSERT(vmptrstz() == vmx_pages->enlightened_vmcs_gpa); in guest_code()
96 GUEST_ASSERT(vmptrstz() == vmx_pages->enlightened_vmcs_gpa); in guest_code()
98 GUEST_ASSERT(vmlaunch()); in guest_code()
105 GUEST_ASSERT(!vmlaunch()); in guest_code()
106 GUEST_ASSERT(vmptrstz() == vmx_pages->enlightened_vmcs_gpa); in guest_code()
113 GUEST_ASSERT(!vmresume()); in guest_code()
117 GUEST_ASSERT(vmreadz(VM_EXIT_REASON) == EXIT_REASON_VMCALL); in guest_code()
124 GUEST_ASSERT(!vmresume()); in guest_code()
125 GUEST_ASSERT(vmreadz(VM_EXIT_REASON) == EXIT_REASON_MSR_READ); in guest_code()
130 GUEST_ASSERT(!vmresume()); in guest_code()
131 GUEST_ASSERT(vmreadz(VM_EXIT_REASON) == EXIT_REASON_MSR_READ); in guest_code()
138 GUEST_ASSERT(!vmresume()); in guest_code()
140 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()
149 GUEST_ASSERT(!vmresume()); in guest_code()
150 GUEST_ASSERT(vmreadz(VM_EXIT_REASON) == EXIT_REASON_VMCALL); in guest_code()
155 GUEST_ASSERT(vmlaunch()); in guest_code()
156 GUEST_ASSERT(ud_count == 1); in guest_code()