Re: [PATCH v5 15/19] arm64: mm: Avoid TLBI when marking pages as valid

[Catalin Marinas]

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>