On Mon, 2 Jun 2025 at 10:08, Philippe Mathieu-Daudé <phi...@linaro.org> wrote: > > We shouldn't kick a stopped vCPU, as it will be resumed.
What is this trying to fix? Do we get wrong-behaviour, or is it just a bit inefficient as the vcpu thread goes round its loop and decides it still has nothing to do? thanks -- PMM
