Hi Julien, > -----Original Message----- > Subject: [PATCH v4 03/14] xen/arm32: flushtlb: Reduce scope of barrier for > local TLB flush > > 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>
I've tested this patch on FVP in arm32 execution mode using the same testing approach for patch#1, and this patch is good, so: Tested-by: Henry Wang <henry.w...@arm.com> Kind regards, Henry