Re: [PATCH v2 3/6] ARM: drop CONFIG_HIGHPTE support

[Arnd Bergmann]

On Thu, Nov 12, 2026, at 12:47, Mike Rapoport wrote:
> On Thu, Nov 12, 2026 at 12:25:25PM +0100, Arnd Bergmann wrote:

>>      if (!pte)
>>              return NULL;
>>      if (!PageHighMem(pte))
>
> With HIGHPTE out this can be 
>
>       if (pte)
>               clean_pte_table(pte);
>
>       return pte;
>

Makes sense, changed now.

     Arnd