Symbol: load_dr5
sys/cpu/x86_64/include/cpufunc.h
994
void load_dr5(u_int64_t dr5);
sys/platform/pc64/x86_64/machdep.c
3141
load_dr5(dbregs->dr[5]);