DBREG_DR7_RESERVED1
state->dr7 = DBREG_DR7_RESERVED1;
vmcs_write(VMCS_GUEST_DR7, DBREG_DR7_RESERVED1);