load_dr2
void load_dr2(u_int64_t dr2);
load_dr2(drs[NVMM_X64_DR_DR2]);
#define x86_set_dr2(v) load_dr2(v)
load_dr2(dbregs->dr[2]);