rdr0
u_int64_t rdr0(void);
#define x86_get_dr0() rdr0()
drs[NVMM_X64_DR_DR0] = rdr0();
#define x86_get_dr0() rdr0()
dbregs->dr[0] = rdr0();
addr[nbp++] = (caddr_t)rdr0();
addr[nbp++] = (caddr_t)rdr0();