[ofw] RE: [PATCH] Support for ND over WV (incomplete)

[Sean Hefty]

After giving this more thought...

>I believe these are the issues that need to be dealt with:
>
>- We can safely modify the QP state to error when:
>	a) a DREQ has been received

I don't think this is true.  Winverbs cannot safely modify the QP to error after
receiving a DREQ without confirmation from the user. 

>	b) a DREP has been received

This still holds.

This means that Disconnect[andFlush] may modify the QP on the downcall if a DREQ
has been received, otherwise the modify must be deferred until either a DREQ or
DREP is received.

My own preferences are:

- Make it easy to use a single overlap structure per connection.
- Have a single Disconnect call.

I don't see any easy way to accomplish the first objective with both
NotifyDisconnect and Disconnect taking overlapped structures.