On 6 June 2017 at 18:23, Christoffer Dall <cdall@xxxxxxxxxx> wrote: > On Tue, Jun 06, 2017 at 04:56:27PM +0100, Peter Maydell wrote: >> This depends whether you're talking about the ICC/ICV BPR0/BPR1 registers, >> or the fields in the ICH_VMCR*. For the former, if CBPR is set then >> BPR1 reads and writes affect BPR0. > > From the spec on ICV_BPR1_EL1: "Non-secure EL1 writes are ignored". > Doesn't that mean that reads of BPR1 reflect BPR0 but writes are > ignored? Yes, you're right. thanks -- PMM
