NVMM_X64_MSR_SYSENTER_ESP
[NVMM_X64_MSR_SYSENTER_ESP] = 0x00000000,
state->msrs[NVMM_X64_MSR_SYSENTER_ESP];
state->msrs[NVMM_X64_MSR_SYSENTER_ESP] =
state->msrs[NVMM_X64_MSR_SYSENTER_ESP]);
state->msrs[NVMM_X64_MSR_SYSENTER_ESP] =