NVMM_X64_GPR_R13
[0] = { NVMM_X64_GPR_R13, 0x00000000000000FF }, /* R13B */
[1] = { NVMM_X64_GPR_R13, 0x000000000000FFFF }, /* R13W */
[3] = { NVMM_X64_GPR_R13, 0x00000000FFFFFFFF }, /* R13D */
[7] = { NVMM_X64_GPR_R13, 0xFFFFFFFFFFFFFFFF }, /* R13 */
[NVMM_X64_GPR_R13] = 0x00000000,