Symbol: x86_set_dr3
sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c
1497
x86_set_dr3(cpudata->drs[NVMM_X64_DR_DR3]);
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
2122
x86_set_dr3(cpudata->drs[NVMM_X64_DR_DR3]);