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()
target/ppc: Have gen_pause() actually pause vCPUs
target/ppc: Re-use gen_pause() in gen_wait()
hw/ppc/ppce500_spin.c | 3 +--
target/ppc/translate.c | 15 ++++++---------
2 files changed, 7 insertions(+), 11 deletions(-)
--
2.51.0