On Fri, 29 May 2026 at 09:29, Alex Bennée <[email protected]> wrote: > > This series fully models the behaviour of WFxT instructions. We > already had support for WFE for M-profile but we left off A-profile as > it has more potential sources of wake-ups. The main one is the event > stream which includes events from significant bits of the timer > ticking over. > > The refactoring from the previous iterations of the patch have now > been merged. > > I've dropped trying to fully model the global monitor in favour of > taking advantage of the architectural flexibility to have an IMPDEF > event wake up for any reason. We treat the setting of exclusive_addr > as such a reason because it indicates the current vCPU is in a ldstx > exclusive region and we don't want the guest to deadlock. This does mean > the system won't sleep on WFE enabled locks but people shouldn't be > relying on QEMU to model real world sleep patterns anyway given the > efficiency of emulation compared to real HW. > > I've written a test case using kvm-unit-tests: > > Message-ID: <[email protected]> > Date: Wed, 27 May 2026 12:18:21 +0100 > Subject: [kvm-unit-tests PATCH v2] arm: add wfx test case > From: =?UTF-8?q?Alex=20Benn=C3=A9e?= <[email protected]> > > All patches are now reviewed.
Applied to target-arm.next, thanks. -- PMM
