Re: [Pv-drivers] [PATCH 04/10] VMCI: device driver implementaton.

Hi Greg,

in the next few days with that change along with any modifications
necessary after a sparse sanity check.

We have a change that fixes things, but I wanted to check if you
had any additional comments before we send out more patches.  In
all likelihood you'd probably already given up in disgust after
the vanilla exports, but I wanted to be sure :)

Also, would you prefer a complete refresh of the series or just
diffs?

Thanks!
- Andy