rdr1
u_int64_t rdr1(void);
#define x86_get_dr1() rdr1()
drs[NVMM_X64_DR_DR1] = rdr1();
#define x86_get_dr1() rdr1()
dbregs->dr[1] = rdr1();
addr[nbp++] = (caddr_t)rdr1();
addr[nbp++] = (caddr_t)rdr1();