load_dr2
void load_dr2(uint64_t dr2);
void load_dr2(u_int dr2);
load_dr2(gctx->sctx_dr2);
load_dr2(gctx->host_dr2);
load_dr2(vmxctx->guest_dr2);
load_dr2(vmxctx->host_dr2);