Symbol: x86_get_dr1
sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c
1506
cpudata->drs[NVMM_X64_DR_DR1] = x86_get_dr1();
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
2132
cpudata->drs[NVMM_X64_DR_DR1] = x86_get_dr1();