Hi Julien, On 12/12/2022 10:55, Julien Grall wrote: > > > From: Julien Grall <jgr...@amazon.com> > > Per G5-9224 in ARM DDI 0487I.a: > > "A DSB NSH is sufficient to ensure completion of TLB maintenance > instructions that apply to a single PE. A DSB ISH is sufficient to > ensure completion of TLB maintenance instructions that apply to PEs > in the same Inner Shareable domain. > " > > This is quoting the Armv8 specification because I couldn't find an > explicit statement in the Armv7 specification. Instead, I could find > bits in various places that confirm the same implementation. > > Furthermore, Linux has been using 'nsh' since 2013 (62cbbc42e001 > "ARM: tlb: reduce scope of barrier domains for TLB invalidation"). > > This means barrier after local TLB flushes could be reduced to > non-shareable. > > Signed-off-by: Julien Grall <jgr...@amazon.com> Reviewed-by: Michal Orzel <michal.or...@amd.com>
~Michal