Symbol: load_dr4
sys/cpu/x86_64/include/cpufunc.h
992
void load_dr4(u_int64_t dr4);
sys/platform/pc64/x86_64/machdep.c
3140
load_dr4(dbregs->dr[4]);