load_dr1
void load_dr1(uint64_t dr1);
void load_dr1(u_int dr1);
load_dr1(gctx->sctx_dr1);
load_dr1(gctx->host_dr1);
load_dr1(vmxctx->guest_dr1);
load_dr1(vmxctx->host_dr1);