lib/libnvmm/libnvmm_x86.c

1557

[1] = { NVMM_X64_GPR_RSP, 0x000000000000FFFF }, /* SP */

lib/libnvmm/libnvmm_x86.c

1559

[3] = { NVMM_X64_GPR_RSP, 0x00000000FFFFFFFF }, /* ESP */

lib/libnvmm/libnvmm_x86.c

1599

[0] = { NVMM_X64_GPR_RSP, 0x00000000000000FF }, /* SPL */

lib/libnvmm/libnvmm_x86.c

1600

[1] = { NVMM_X64_GPR_RSP, 0x000000000000FFFF }, /* SP */

lib/libnvmm/libnvmm_x86.c

1602

[3] = { NVMM_X64_GPR_RSP, 0x00000000FFFFFFFF }, /* ESP */

lib/libnvmm/libnvmm_x86.c

1606

[7] = { NVMM_X64_GPR_RSP, 0xFFFFFFFFFFFFFFFF }, /* RSP */

lib/libnvmm/libnvmm_x86.c

76

printf("| -> RSP=%"PRIx64"\n", state->gprs[NVMM_X64_GPR_RSP]);

sys/dev/nvmm/x86/nvmm_x86.c

162

[NVMM_X64_GPR_RSP] = 0x00000000,

sys/dev/nvmm/x86/nvmm_x86_svm.c

2062

vmcb->state.rsp = state->gprs[NVMM_X64_GPR_RSP];

sys/dev/nvmm/x86/nvmm_x86_svm.c

2203

state->gprs[NVMM_X64_GPR_RSP] = vmcb->state.rsp;

sys/dev/nvmm/x86/nvmm_x86_vmx.c

1656

if (gpr == NVMM_X64_GPR_RSP) {

sys/dev/nvmm/x86/nvmm_x86_vmx.c

1724

if (gpr == NVMM_X64_GPR_RSP) {

sys/dev/nvmm/x86/nvmm_x86_vmx.c

1769

if (gpr == NVMM_X64_GPR_RSP) {

sys/dev/nvmm/x86/nvmm_x86_vmx.c

1778

if (gpr == NVMM_X64_GPR_RSP) {

sys/dev/nvmm/x86/nvmm_x86_vmx.c

2784

vmx_vmwrite(VMCS_GUEST_RSP, state->gprs[NVMM_X64_GPR_RSP]);

sys/dev/nvmm/x86/nvmm_x86_vmx.c

2940

state->gprs[NVMM_X64_GPR_RSP] = vmx_vmread(VMCS_GUEST_RSP);