Searched refs:GUEST_ASSERT (Results 1 – 4 of 4) sorted by relevance
35 GUEST_ASSERT(vmreadz(GUEST_RIP) == 0xc0ffee); in l2_guest_code()37 GUEST_ASSERT(vmreadz(GUEST_RIP) == 0xc0ffee); in l2_guest_code()38 GUEST_ASSERT(!vmwrite(GUEST_RIP, 0xc0fffee)); in l2_guest_code()40 GUEST_ASSERT(vmreadz(GUEST_RIP) == 0xc0fffee); in l2_guest_code()41 GUEST_ASSERT(!vmwrite(GUEST_RIP, 0xc0ffffee)); in l2_guest_code()53 GUEST_ASSERT(vmx_pages->vmcs_gpa); in l1_guest_code()54 GUEST_ASSERT(prepare_for_vmx_operation(vmx_pages)); in l1_guest_code()55 GUEST_ASSERT(vmptrstz() == vmx_pages->vmcs_gpa); in l1_guest_code()58 GUEST_ASSERT(vmptrstz() == vmx_pages->vmcs_gpa); in l1_guest_code()64 GUEST_ASSERT(vmptrstz() == vmx_pages->vmcs_gpa); in l1_guest_code()[all …]
71 GUEST_ASSERT(adjust <= max); in check_ia32_tsc_adjust()92 GUEST_ASSERT(rdtsc() < TSC_ADJUST_VALUE); in l1_guest_code()96 GUEST_ASSERT(prepare_for_vmx_operation(vmx_pages)); in l1_guest_code()109 GUEST_ASSERT(!vmlaunch()); in l1_guest_code()110 GUEST_ASSERT(vmreadz(VM_EXIT_REASON) == in l1_guest_code()115 GUEST_ASSERT(!vmlaunch()); in l1_guest_code()116 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()
174 #define GUEST_ASSERT(_condition) do { \ macro
