Catalin Marinas wrote:
> > I wonder if it's time to get a PG_arch_2 :-)
>
> As an optimisation, I think this would help (rather than always
> invalidating the I-cache in update_mmu_cache or set_pte_at).
If PG_arch_{1,2} are used in the same way on all architectures, when
they are used at all, perhaps they should be renamed :-)
-- Jamie