Searched refs:GUEST_RIP (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()83 vmwrite(GUEST_RIP, vmreadz(GUEST_RIP) + 3); in l1_guest_code()94 vmwrite(GUEST_RIP, 0xc0ffee); in l1_guest_code()96 GUEST_ASSERT(vmreadz(GUEST_RIP) == 0xc0ffee); in l1_guest_code()103 GUEST_ASSERT(vmreadz(GUEST_RIP) == 0xc0ffffee); in l1_guest_code()107 GUEST_ASSERT(vmreadz(GUEST_RIP) == 0xc0ffffee); in l1_guest_code()
317 GUEST_RIP = 0x0000681e, enumerator
258 case GUEST_RIP: in evmcs_vmread()645 case GUEST_RIP: in evmcs_vmwrite()
300 vmwrite(GUEST_RIP, (uint64_t)rip); in init_vmcs_guest_state()