Searched refs:GUEST_ASSERT (Results 1 – 9 of 9) sorted by relevance
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()[all …]
39 GUEST_ASSERT(vmx_pages->vmcs_gpa); in l1_guest_code()40 GUEST_ASSERT(prepare_for_vmx_operation(vmx_pages)); in l1_guest_code()42 GUEST_ASSERT(load_vmcs(vmx_pages)); in l1_guest_code()43 GUEST_ASSERT(vmptrstz() == vmx_pages->enlightened_vmcs_gpa); in l1_guest_code()46 GUEST_ASSERT(vmptrstz() == vmx_pages->enlightened_vmcs_gpa); in l1_guest_code()52 GUEST_ASSERT(vmptrstz() == vmx_pages->enlightened_vmcs_gpa); in l1_guest_code()53 GUEST_ASSERT(!vmlaunch()); in l1_guest_code()54 GUEST_ASSERT(vmptrstz() == vmx_pages->enlightened_vmcs_gpa); in l1_guest_code()56 GUEST_ASSERT(!vmresume()); in l1_guest_code()57 GUEST_ASSERT(vmreadz(VM_EXIT_REASON) == EXIT_REASON_VMCALL); in l1_guest_code()
69 GUEST_ASSERT(adjust <= max); in check_ia32_tsc_adjust()90 GUEST_ASSERT(rdtsc() < TSC_ADJUST_VALUE); in l1_guest_code()94 GUEST_ASSERT(prepare_for_vmx_operation(vmx_pages)); in l1_guest_code()95 GUEST_ASSERT(load_vmcs(vmx_pages)); in l1_guest_code()108 GUEST_ASSERT(!vmlaunch()); in l1_guest_code()109 GUEST_ASSERT(vmreadz(VM_EXIT_REASON) == in l1_guest_code()114 GUEST_ASSERT(!vmlaunch()); in l1_guest_code()115 GUEST_ASSERT(vmreadz(VM_EXIT_REASON) == EXIT_REASON_VMCALL); in l1_guest_code()
42 GUEST_ASSERT(prepare_for_vmx_operation(vmx_pages)); in l1_guest_code()43 GUEST_ASSERT(load_vmcs(vmx_pages)); in l1_guest_code()49 GUEST_ASSERT(!vmlaunch()); in l1_guest_code()50 GUEST_ASSERT(0); in l1_guest_code()
55 GUEST_ASSERT(vmx->vmcs_gpa); in l1_guest_code()56 GUEST_ASSERT(prepare_for_vmx_operation(vmx)); in l1_guest_code()57 GUEST_ASSERT(load_vmcs(vmx)); in l1_guest_code()63 GUEST_ASSERT(!vmlaunch()); in l1_guest_code()65 GUEST_ASSERT(vmreadz(VM_EXIT_REASON) == EXIT_REASON_VMCALL); in l1_guest_code()
53 GUEST_ASSERT(cr4_cpuid_is_sync()); in guest_code()59 GUEST_ASSERT(cr4_cpuid_is_sync()); in guest_code()
76 GUEST_ASSERT(prepare_for_vmx_operation(vmx_pages)); in guest_code()
202 #define GUEST_ASSERT(_condition) do { \ macro
231 GUEST_ASSERT(!sec_exec_ctl); in init_vmcs_control_fields()