load_dr1
void load_dr1(u_int64_t dr1);
load_dr1(drs[NVMM_X64_DR_DR1]);
#define x86_set_dr1(v) load_dr1(v)
load_dr1(dbregs->dr[1]);