Lines Matching refs:vmreadz
64 GUEST_ASSERT(vmreadz(GUEST_RIP) == 0xc0ffee); in vmx_l2_guest_code()
66 GUEST_ASSERT(vmreadz(GUEST_RIP) == 0xc0ffee); in vmx_l2_guest_code()
69 GUEST_ASSERT(vmreadz(GUEST_RIP) == 0xc0fffee); in vmx_l2_guest_code()
97 GUEST_ASSERT(vmreadz(VM_EXIT_REASON) == EXIT_REASON_VMCALL); in vmx_l1_guest_code()
103 GUEST_ASSERT(vmreadz(VM_EXIT_REASON) == EXIT_REASON_VMCALL); in vmx_l1_guest_code()
106 GUEST_ASSERT(vmreadz(VM_EXIT_REASON) == EXIT_REASON_VMCALL); in vmx_l1_guest_code()
109 GUEST_ASSERT(vmreadz(VM_EXIT_REASON) == EXIT_REASON_VMCALL); in vmx_l1_guest_code()
111 vmwrite(GUEST_RIP, vmreadz(GUEST_RIP) + 3); in vmx_l1_guest_code()
124 GUEST_ASSERT(vmreadz(GUEST_RIP) == 0xc0ffee); in vmx_l1_guest_code()
128 GUEST_ASSERT(vmreadz(VM_EXIT_REASON) == EXIT_REASON_VMCALL); in vmx_l1_guest_code()
131 GUEST_ASSERT(vmreadz(GUEST_RIP) == 0xc0ffffee); in vmx_l1_guest_code()
135 GUEST_ASSERT(vmreadz(GUEST_RIP) == 0xc0ffffee); in vmx_l1_guest_code()