Symbol: NVMM_X64_DR_DR3
sys/dev/nvmm/x86/nvmm_x86.c
191
[NVMM_X64_DR_DR3] = 0x00000000,
sys/dev/nvmm/x86/nvmm_x86_svm.c
1606
ldr3(cpudata->drs[NVMM_X64_DR_DR3]);
sys/dev/nvmm/x86/nvmm_x86_svm.c
1617
cpudata->drs[NVMM_X64_DR_DR3] = rdr3();
sys/dev/nvmm/x86/nvmm_x86_vmx.c
2255
ldr3(cpudata->drs[NVMM_X64_DR_DR3]);
sys/dev/nvmm/x86/nvmm_x86_vmx.c
2267
cpudata->drs[NVMM_X64_DR_DR3] = rdr3();