On 10/25/22 15:24, Richard Henderson wrote:
It would also fix a bug in that the host page permissions do not exactly match guest page permissions, and you're reporting host page permissions.
Gah, not true, we've already probed page_flags. Reviewed-by: Richard Henderson <richard.hender...@linaro.org> r~