On Wed, Aug 22, 2018 at 11:16 PM Zhenyu Wang [off-list ref] wrote:

yeah, that's the clear way to fix this imo. We only depend on guest
life cycle to access guest memory properly. Here's proposed fix, will
verify and integrate it later.

Thanks, this looks sane to me,

                Linus