Symbol: x86_curthread_restore_dbregs
sys/dev/virtual/nvmm/x86/nvmm_x86_svm.c
1510
x86_curthread_restore_dbregs(cpudata->hstate.drs);
sys/dev/virtual/nvmm/x86/nvmm_x86_vmx.c
2137
x86_curthread_restore_dbregs(cpudata->hstate.drs);