Lines Matching refs:vmreadz
62 GUEST_ASSERT(vmreadz(GUEST_RIP) == 0xc0ffee); in vmx_l2_guest_code()
64 GUEST_ASSERT(vmreadz(GUEST_RIP) == 0xc0ffee); in vmx_l2_guest_code()
67 GUEST_ASSERT(vmreadz(GUEST_RIP) == 0xc0fffee); in vmx_l2_guest_code()
95 GUEST_ASSERT(vmreadz(VM_EXIT_REASON) == EXIT_REASON_VMCALL); 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()
107 GUEST_ASSERT(vmreadz(VM_EXIT_REASON) == EXIT_REASON_VMCALL); in vmx_l1_guest_code()
109 vmwrite(GUEST_RIP, vmreadz(GUEST_RIP) + 3); in vmx_l1_guest_code()
122 GUEST_ASSERT(vmreadz(GUEST_RIP) == 0xc0ffee); in vmx_l1_guest_code()
126 GUEST_ASSERT(vmreadz(VM_EXIT_REASON) == EXIT_REASON_VMCALL); in vmx_l1_guest_code()
129 GUEST_ASSERT(vmreadz(GUEST_RIP) == 0xc0ffffee); in vmx_l1_guest_code()
133 GUEST_ASSERT(vmreadz(GUEST_RIP) == 0xc0ffffee); in vmx_l1_guest_code()