NVMM_X64_DR_DR1
[NVMM_X64_DR_DR1] = 0x00000000,
drs[NVMM_X64_DR_DR1] = rdr1();
load_dr1(drs[NVMM_X64_DR_DR1]);
x86_set_dr1(cpudata->drs[NVMM_X64_DR_DR1]);
cpudata->drs[NVMM_X64_DR_DR1] = x86_get_dr1();
x86_set_dr1(cpudata->drs[NVMM_X64_DR_DR1]);
cpudata->drs[NVMM_X64_DR_DR1] = x86_get_dr1();