Re: [PATCH 0/3] target/ppc: Have gen_pause() actually pause vCPUs

[Philippe Mathieu-Daudé]

On 24/9/25 19:30, Philippe Mathieu-Daudé wrote:

Probably due to a type, gen_pause() keeps vCPUs running.
Fix that.

Philippe Mathieu-Daudé (3):
   hw/ppc: Do not open-code cpu_resume() in spin_kick()

Patch #1 queued, thanks.