HomeSort by: relevance | last modified time | path
    Searched refs:NVMM_X64_GPR_RSP (Results 1 - 5 of 5) sorted by relevancy

  /src/sys/dev/nvmm/x86/
nvmm_x86.h 169 #define NVMM_X64_GPR_RSP 4
nvmm_x86.c 162 [NVMM_X64_GPR_RSP] = 0x00000000,
nvmm_x86_vmx.c 1621 if (gpr == NVMM_X64_GPR_RSP) {
1689 if (gpr == NVMM_X64_GPR_RSP) {
1734 if (gpr == NVMM_X64_GPR_RSP) {
1743 if (gpr == NVMM_X64_GPR_RSP) {
2614 vmx_vmwrite(VMCS_GUEST_RSP, state->gprs[NVMM_X64_GPR_RSP]);
2766 state->gprs[NVMM_X64_GPR_RSP] = vmx_vmread(VMCS_GUEST_RSP);
nvmm_x86_svm.c 1910 vmcb->state.rsp = state->gprs[NVMM_X64_GPR_RSP];
2047 state->gprs[NVMM_X64_GPR_RSP] = vmcb->state.rsp;
  /src/lib/libnvmm/
libnvmm_x86.c 76 printf("| -> RSP=%"PRIx64"\n", state->gprs[NVMM_X64_GPR_RSP]);
1557 [1] = { NVMM_X64_GPR_RSP, 0x000000000000FFFF }, /* SP */
1559 [3] = { NVMM_X64_GPR_RSP, 0x00000000FFFFFFFF }, /* ESP */
1599 [0] = { NVMM_X64_GPR_RSP, 0x00000000000000FF }, /* SPL */
1600 [1] = { NVMM_X64_GPR_RSP, 0x000000000000FFFF }, /* SP */
1602 [3] = { NVMM_X64_GPR_RSP, 0x00000000FFFFFFFF }, /* ESP */
1606 [7] = { NVMM_X64_GPR_RSP, 0xFFFFFFFFFFFFFFFF }, /* RSP */

Completed in 41 milliseconds