Home
last modified time | relevance | path

Searched refs:GUEST_RSP (Results 1 – 6 of 6) sorted by relevance

/Linux-v4.19/arch/x86/kvm/
Dvmx_shadow_fields.h59 SHADOW_FIELD_RW(GUEST_RSP)
Dvmx_evmcs.h21 EVMCS1_FIELD(GUEST_RSP, guest_rsp,
Dvmx.c1220 FIELD(GUEST_RSP, guest_rsp),
4349 vcpu->arch.regs[VCPU_REGS_RSP] = vmcs_readl(GUEST_RSP); in vmx_cache_reg()
9925 vmcs_readl(GUEST_RSP), vmcs_readl(GUEST_RIP)); in dump_vmcs()
10685 vmcs_writel(GUEST_RSP, vcpu->arch.regs[VCPU_REGS_RSP]); in vmx_vcpu_run()
/Linux-v4.19/tools/testing/selftests/kvm/include/
Dvmx.h316 GUEST_RSP = 0x0000681c, enumerator
/Linux-v4.19/arch/x86/include/asm/
Dvmx.h322 GUEST_RSP = 0x0000681c, enumerator
/Linux-v4.19/tools/testing/selftests/kvm/lib/
Dvmx.c270 vmwrite(GUEST_RSP, (uint64_t)rsp); in init_vmcs_guest_state()