Re: [linuxsh-dev] Drop-In tree updates

[Robert L. <rm...@te...>]

On Tue, 2001-12-04 at 20:40, NIIBE Yutaka wrote:

> +#if 0 /* This is not needed for VIPT cache, performance goes bad if we flush */
>  			flush_cache_page(vma, address);
> +#endif

For multiple reasons, shouldn't we do this:

+#if !defined(CONFIG_SUPERH) /* this is not needed for VIPT cache */
                        flush_cache_page(vma, address);
+#endif

instead ?

	Robert Love