GUEST_RIP
EVMCS1_FIELD(GUEST_RIP, guest_rip,
FIELD(GUEST_RIP, guest_rip),
SHADOW_FIELD_RW(GUEST_RIP, guest_rip)
vcpu->arch.regs[VCPU_REGS_RIP] = vmcs_readl(GUEST_RIP);
vmcs_readl(GUEST_RSP), vmcs_readl(GUEST_RIP));
vmcs_writel(GUEST_RIP, vcpu->arch.regs[VCPU_REGS_RIP]);
case GUEST_RIP:
case GUEST_RIP:
vmwrite(GUEST_RIP, (uint64_t)rip);
GUEST_ASSERT(!vmwrite(GUEST_RIP, (u64)l2_guest_code));
GUEST_ASSERT(!vmwrite(GUEST_RIP, (u64)l2_guest_code));
GUEST_ASSERT_EQ(vmreadz(GUEST_RIP), (u64)l2_instruction);
GUEST_ASSERT(!vmwrite(GUEST_RIP, (u64)l2_guest_code));
GUEST_ASSERT(!vmwrite(GUEST_RIP, (u64)l2_code));
vmwrite(GUEST_RIP, vmreadz(GUEST_RIP) + 3);
vmwrite(GUEST_RIP, 0xc0ffee);
GUEST_ASSERT(vmreadz(GUEST_RIP) == 0xc0ffee);
GUEST_ASSERT(vmreadz(GUEST_RIP) == 0xc0ffffee);
GUEST_ASSERT(vmreadz(GUEST_RIP) == 0xc0ffffee);
GUEST_ASSERT(vmreadz(GUEST_RIP) == 0xc0ffee);
GUEST_ASSERT(vmreadz(GUEST_RIP) == 0xc0ffee);
GUEST_ASSERT(!vmwrite(GUEST_RIP, 0xc0fffee));
GUEST_ASSERT(vmreadz(GUEST_RIP) == 0xc0fffee);
GUEST_ASSERT(!vmwrite(GUEST_RIP, 0xc0ffffee));
vmwrite(GUEST_RIP, vmreadz(GUEST_RIP) + vmreadz(VM_EXIT_INSTRUCTION_LEN));
vmwrite(GUEST_RIP, vmreadz(GUEST_RIP) + vmreadz(VM_EXIT_INSTRUCTION_LEN));