load_dr7
load_dr7(dbregs->dr[7]);
load_dr7(0); /* Turn off the control bits first */
load_dr7(0);
load_dr7(gctx->host_dr7);
load_dr7(0);
load_dr7(vmxctx->host_dr7);
load_dr7(dbregs->dr[7]);