Symbol: VMCS_GUEST_RSP
sys/amd64/vmm/intel/vmcs.c
89
return (VMCS_GUEST_RSP);
sys/amd64/vmm/intel/vmx.c
1790
return (vmcs_read(VMCS_GUEST_RSP));
sys/amd64/vmm/intel/vmx.c
1839
vmcs_write(VMCS_GUEST_RSP, regval);