load_dr7
void load_dr7(uint64_t dr7);
void load_dr7(u_int dr7);
load_dr7(0);
load_dr7(gctx->host_dr7);
load_dr7(vmxctx->host_dr7);