Symbol: x86_set_dr1
sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c
1495
x86_set_dr1(cpudata->drs[NVMM_X64_DR_DR1]);
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
2120
x86_set_dr1(cpudata->drs[NVMM_X64_DR_DR1]);