rdr2
u_int64_t rdr2(void);
#define x86_get_dr2() rdr2()
drs[NVMM_X64_DR_DR2] = rdr2();
#define x86_get_dr2() rdr2()
dbregs->dr[2] = rdr2();
addr[nbp++] = (caddr_t)rdr2();
addr[nbp++] = (caddr_t)rdr2();