On 2026-09-22 18:49, Philippe Mathieu-Daudé wrote:
Since v1:
- Collected Richard R-b tags (sometimes commit description updated).
- Documented the BQL and synchronization requirements of has_work().
- Renamed the callbacks to poll_during_halt() and leaving_halt().
- Addressed Peter's comments by removing racy halt-work assertions,
documenting the BQL contract, and explaining why x86 #DB delivery
through do_interrupt_all() is safe without the BQL.
- Addressed Paolo's comments by making ARM PSCI state updates atomic,
kicking remote vCPUs after power-state changes, and ensuring x86
APIC polling runs before cpu_has_work() with the BQL held only
around APIC access.
- Sanitized s390_cpu_get_state() for atomic accesses without BQL.
This series was inspired by a previous thread on the list [*].
I just realized I missed Paolo's comment on riscv :( Depending on
how this series review goes I'll amend or respin.
https://lore.kernel.org/qemu-devel/CABgObfZQb8FwDubg=pZk6nRSrUgdMxoDpRwG3Kd=gwpqecc...@mail.gmail.com/
[*]
https://lore.kernel.org/qemu-devel/CABgObfaDAhrpnVqQaKgG6uxPQe1YDu77YOsUEx9nqrN=3m2...@mail.gmail.com/
