Symbol: reset_dbregs
sys/cpu/x86_64/include/cpufunc.h
1006
void reset_dbregs(void);
sys/platform/pc64/x86_64/machdep.c
1512
reset_dbregs();
sys/platform/pc64/x86_64/vm_machdep.c
317
reset_dbregs();
sys/platform/vkernel64/x86_64/cpu_regs.c
581
reset_dbregs();
sys/platform/vkernel64/x86_64/vm_machdep.c
269
reset_dbregs();