load_dr0
void load_dr0(u_int64_t dr0);
load_dr0(drs[NVMM_X64_DR_DR0]);
#define x86_set_dr0(v) load_dr0(v)
load_dr0(dbregs->dr[0]);