> On 22 Oct 2024, at 10:47, Julien Grall <jul...@xen.org> wrote:
> 
> Hi Luca,
> 
> On 22/10/2024 10:41, Luca Fancellu wrote:
>>> On 21 Oct 2024, at 17:27, Julien Grall <jul...@xen.org> wrote:
>> 2) dsb+isb barrier after enabling the MPU, since we are enabling the MPU but 
>> also because we are disabling the background region
> 
> TBH, I don't understand this one. Why would disabling the background region 
> requires a dsb + isb? Do you have any pointer in the Armv8-R specification?

I’m afraid this is only my deduction, Section C1.4 of the Arm® Architecture 
Reference Manual Supplement Armv8, for R-profile AArch64 architecture,
(DDI 0600B.a) explains what is the background region, it says it implements 
physical address range(s), so when we disable it, we would like any data
access to complete before changing this implementation defined range with the 
ranges defined by us tweaking PRBAR/PRLAR, am I right?


> 
> Cheers,
> 
> -- 
> Julien Grall
> 

Reply via email to