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