On Tue, Jan 14, 2020 at 10:09 PM Richard Henderson <richard.hender...@linaro.org> wrote: [...] > I vaguely remember someone (Paolo?) implementing something like > this many years ago, but clearly it never got merged.
That was me back in 2009: https://lists.gnu.org/archive/html/qemu-devel/2009-07/msg00881.html Glad it will finally get an official fix. Thanks, Laurent
