Symbol: VMCS_GUEST_IA32_RSP
sys/arch/amd64/amd64/vmm_machdep.c
1044
if (vmread(VMCS_GUEST_IA32_RSP, &gprs[VCPU_REGS_RSP]))
sys/arch/amd64/amd64/vmm_machdep.c
1326
if (vmwrite(VMCS_GUEST_IA32_RSP, gprs[VCPU_REGS_RSP]))
sys/arch/amd64/amd64/vmm_machdep.c
5750
case 4: if (vmread(VMCS_GUEST_IA32_RSP, &r)) {
sys/arch/amd64/amd64/vmm_machdep.c
8043
vmx_dump_vmcs_field(VMCS_GUEST_IA32_RSP, "G. RSP");
sys/arch/amd64/amd64/vmm_machdep.c
8121
if (vmread(VMCS_GUEST_IA32_RSP, &r))