Re: [PATCH 16/17] plugins: add plugin API to read guest memory