On Tue, Apr 19, 2022 at 07:27:45PM +0100, Marc Zyngier wrote: > A potential addition to this series would be to remove the event > generation from the counters, and rely on the timeout where it > matters (spinlocks?). Feedback welcome. I think we still need to keep the event generation around, at least for hardware bugs we don't know about. I don't think user-space rely on it though, people tend to come up with weird delays like isb ;). But yes, the WFET should be handy when it turns up in hardware. -- Catalin