On Mon, Aug 19, 2024 at 02:19:20PM +0100, Steven Price wrote: > When __change_memory_common() is purely setting the valid bit on a PTE > (e.g. via the set_memory_valid() call) there is no need for a TLBI as > either the entry isn't changing (the valid bit was already set) or the > entry was invalid and so should not have been cached in the TLB. > > Signed-off-by: Steven Price <steven.price@xxxxxxx> Reviewed-by: Catalin Marinas <catalin.marinas@xxxxxxx>
