On Tue, Jul 01, 2025 at 04:31:58PM +0100, James Clark wrote:

DEN0154 states that writes to PMBPTR_EL1 or PMBSR_EL1 must be done while
the buffer is disabled (PMBLIMITR_EL1.E == 0). Re-arrange the interrupt
handler to always disable the buffer for non-spurious interrupts before
doing either.

Why is DEN0154 not part of the Arm ARM?

Trying to tighten the programmers model retrospectively in a separate
spec is a lovely idea but I'm not hugely interested in it. The driver is
written to the text in the Arm ARM and is going to stay that way. Any
future changes in the architecture need to be backwards compatible.

If we have to poke the thing differently in a VM, we might as well use
hypercalls/PV.

Will