NVMM_X64_DR_DR3
[NVMM_X64_DR_DR3] = 0x00000000,
drs[NVMM_X64_DR_DR3] = rdr3();
load_dr3(drs[NVMM_X64_DR_DR3]);
x86_set_dr3(cpudata->drs[NVMM_X64_DR_DR3]);
cpudata->drs[NVMM_X64_DR_DR3] = x86_get_dr3();
x86_set_dr3(cpudata->drs[NVMM_X64_DR_DR3]);
cpudata->drs[NVMM_X64_DR_DR3] = x86_get_dr3();