Hi Marc, On 17/04/2020 09:33, Marc Zyngier wrote: > There is no point in accessing the HW when writing to any of the > ISENABLER/ICENABLER registers from userspace, as only the guest > should be allowed to change the HW state. > > Introduce new userspace-specific accessors that deal solely with > the virtual state. > > Reported-by: James Morse <james.morse@xxxxxxx> Tested on both machines I've hit this on: Tested-by: James Morse <james.morse@xxxxxxx> and perhaps more useful: Reviewed-by: James Morse <james.morse@xxxxxxx> Thanks, James