Lines Matching refs:vmreadz
63 GUEST_ASSERT(vmreadz(GUEST_RIP) == 0xc0ffee); in vmx_l2_guest_code()
65 GUEST_ASSERT(vmreadz(GUEST_RIP) == 0xc0ffee); in vmx_l2_guest_code()
68 GUEST_ASSERT(vmreadz(GUEST_RIP) == 0xc0fffee); in vmx_l2_guest_code()
96 GUEST_ASSERT(vmreadz(VM_EXIT_REASON) == EXIT_REASON_VMCALL); in vmx_l1_guest_code()
102 GUEST_ASSERT(vmreadz(VM_EXIT_REASON) == EXIT_REASON_VMCALL); in vmx_l1_guest_code()
105 GUEST_ASSERT(vmreadz(VM_EXIT_REASON) == EXIT_REASON_VMCALL); in vmx_l1_guest_code()
108 GUEST_ASSERT(vmreadz(VM_EXIT_REASON) == EXIT_REASON_VMCALL); in vmx_l1_guest_code()
110 vmwrite(GUEST_RIP, vmreadz(GUEST_RIP) + 3); in vmx_l1_guest_code()
123 GUEST_ASSERT(vmreadz(GUEST_RIP) == 0xc0ffee); in vmx_l1_guest_code()
127 GUEST_ASSERT(vmreadz(VM_EXIT_REASON) == EXIT_REASON_VMCALL); in vmx_l1_guest_code()
130 GUEST_ASSERT(vmreadz(GUEST_RIP) == 0xc0ffffee); in vmx_l1_guest_code()
134 GUEST_ASSERT(vmreadz(GUEST_RIP) == 0xc0ffffee); in vmx_l1_guest_code()