src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86.c

146

[NVMM_X64_GPR_RSP] = 0x00000000,

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c

1895

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

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_svm.c

2043

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

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

1629

if (gpr == NVMM_X64_GPR_RSP) {

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

1697

if (gpr == NVMM_X64_GPR_RSP) {

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

1742

if (gpr == NVMM_X64_GPR_RSP) {

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

1751

if (gpr == NVMM_X64_GPR_RSP) {

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

2632

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

src/add-ons/kernel/drivers/nvmm/x86/nvmm_x86_vmx.c

2797

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

src/libs/nvmm/driver/x86/nvmm_x86.c

146

[NVMM_X64_GPR_RSP] = 0x00000000,

src/libs/nvmm/driver/x86/nvmm_x86_svm.c

1895

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

src/libs/nvmm/driver/x86/nvmm_x86_svm.c

2043

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

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

1629

if (gpr == NVMM_X64_GPR_RSP) {

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

1697

if (gpr == NVMM_X64_GPR_RSP) {

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

1742

if (gpr == NVMM_X64_GPR_RSP) {

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

1751

if (gpr == NVMM_X64_GPR_RSP) {

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

2632

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

src/libs/nvmm/driver/x86/nvmm_x86_vmx.c

2797

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

src/libs/nvmm/libnvmm_x86.c

1560

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

src/libs/nvmm/libnvmm_x86.c

1562

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

src/libs/nvmm/libnvmm_x86.c

1602

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

src/libs/nvmm/libnvmm_x86.c

1603

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

src/libs/nvmm/libnvmm_x86.c

1605

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

src/libs/nvmm/libnvmm_x86.c

1609

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

src/libs/nvmm/libnvmm_x86.c

68

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