Symbol: x86_dbregs_restore
sys/arch/x86/include/dbregs.h
116
void x86_dbregs_restore(struct lwp *);
sys/arch/x86/x86/dbregs.c
315
x86_dbregs_restore(newlwp);
sys/dev/nvmm/x86/nvmm_x86_svm.c
1619
x86_dbregs_restore(curlwp);
sys/dev/nvmm/x86/nvmm_x86_vmx.c
2270
x86_dbregs_restore(curlwp);