Lines Matching refs:vmreadz
35 GUEST_ASSERT(vmreadz(GUEST_RIP) == 0xc0ffee); in l2_guest_code()
37 GUEST_ASSERT(vmreadz(GUEST_RIP) == 0xc0ffee); in l2_guest_code()
40 GUEST_ASSERT(vmreadz(GUEST_RIP) == 0xc0fffee); in l2_guest_code()
67 GUEST_ASSERT(vmreadz(VM_EXIT_REASON) == EXIT_REASON_VMCALL); in l1_guest_code()
73 GUEST_ASSERT(vmreadz(VM_EXIT_REASON) == EXIT_REASON_VMCALL); in l1_guest_code()
76 GUEST_ASSERT(vmreadz(VM_EXIT_REASON) == EXIT_REASON_VMCALL); in l1_guest_code()
79 GUEST_ASSERT(vmreadz(VM_EXIT_REASON) == EXIT_REASON_VMCALL); in l1_guest_code()
81 vmwrite(GUEST_RIP, vmreadz(GUEST_RIP) + 3); in l1_guest_code()
94 GUEST_ASSERT(vmreadz(GUEST_RIP) == 0xc0ffee); in l1_guest_code()
98 GUEST_ASSERT(vmreadz(VM_EXIT_REASON) == EXIT_REASON_VMCALL); in l1_guest_code()
101 GUEST_ASSERT(vmreadz(GUEST_RIP) == 0xc0ffffee); in l1_guest_code()
105 GUEST_ASSERT(vmreadz(GUEST_RIP) == 0xc0ffffee); in l1_guest_code()