Symbol: rdr4
sys/cpu/x86_64/include/cpufunc.h
991
u_int64_t rdr4(void);
sys/platform/pc64/x86_64/machdep.c
3113
dbregs->dr[4] = rdr4();