rdr6
u_int64_t rdr6(void);
#define x86_get_dr6() rdr6()
drs[NVMM_X64_DR_DR6] = rdr6();
#define x86_get_dr6() rdr6()
dbregs->dr[6] = rdr6();
dr6 = rdr6();
load_dr6(rdr6() & ~0xf);
dr6 = rdr6();
load_dr6(rdr6() & 0xfffffff0);