load_dr3
void load_dr3(u_int64_t dr3);
load_dr3(drs[NVMM_X64_DR_DR3]);
#define x86_set_dr3(v) load_dr3(v)
load_dr3(dbregs->dr[3]);