DEBUGCTL_RESERVED_BITS
to_save->dbgctl &= ~DEBUGCTL_RESERVED_BITS;
vmcb02->save.dbgctl &= ~DEBUGCTL_RESERVED_BITS;
if (data & DEBUGCTL_RESERVED_BITS)