NVMM_X64_GPR_RSI
[1] = { NVMM_X64_GPR_RSI, 0x000000000000FFFF }, /* SI */
[3] = { NVMM_X64_GPR_RSI, 0x00000000FFFFFFFF }, /* ESI */
[0] = { NVMM_X64_GPR_RSI, 0x00000000000000FF }, /* SIL */
[1] = { NVMM_X64_GPR_RSI, 0x000000000000FFFF }, /* SI */
[3] = { NVMM_X64_GPR_RSI, 0x00000000FFFFFFFF }, /* ESI */
[7] = { NVMM_X64_GPR_RSI, 0xFFFFFFFFFFFFFFFF }, /* RSI */
[0b100] = NVMM_X64_GPR_RSI, /* SI */
reg2 = NVMM_X64_GPR_RSI;
gprs[NVMM_X64_GPR_RSI] -= mem->size;
gprs[NVMM_X64_GPR_RSI] += mem->size;
gprs[NVMM_X64_GPR_RSI] -= size;
gprs[NVMM_X64_GPR_RSI] += size;
gprs[NVMM_X64_GPR_RSI] -= size;
gprs[NVMM_X64_GPR_RSI] += size;
reg = NVMM_X64_GPR_RSI;
printf("| -> RSI=%"PRIx64"\n", state->gprs[NVMM_X64_GPR_RSI]);
[NVMM_X64_GPR_RSI] = 0x00000000,