Home
last modified time | relevance | path

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

/xen/xen/include/asm-x86/hvm/vmx/
A Dvmcs.h509 GUEST_RSP = 0x0000681c, enumerator
/xen/xen/arch/x86/hvm/vmx/
A Dvvmx.c1241 regs->rsp = get_vvmcs(v, GUEST_RSP); in virtual_vmentry()
1276 set_vvmcs(v, GUEST_RSP, regs->rsp); in sync_vvmcs_guest_state()
A Dvmx.c3672 __vmread(GUEST_RSP, &regs->rsp); in vmx_vmexit_handler()
4480 __vmwrite(GUEST_RSP, regs->rsp); in vmx_vmenter_helper()
A Dvmcs.c1997 vmr(GUEST_RSP), regs->rsp, in vmcs_dump_vcpu()

Completed in 19 milliseconds