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