rdr3
u_int64_t rdr3(void);
#define x86_get_dr3() rdr3()
drs[NVMM_X64_DR_DR3] = rdr3();
#define x86_get_dr3() rdr3()
dbregs->dr[3] = rdr3();
addr[nbp++] = (caddr_t)rdr3();
addr[nbp++] = (caddr_t)rdr3();