Re: adjust prefetch in free_one_pgd()

[Linus Torvalds]

On Sat, 3 Aug 2002, David Woodhouse wrote:
>
> That's for a prefetch operation which doesn't mark the cache line
> dirty/owned. If you have random addresses used with 'write prefetch'
> operations, that's still going to be a problem.

Does anybody do that? That's a horribly stupid prefetch, and nobody sane
should ever do anything like that, _especially_ if they don't have
cache-coherency at all layers.

Sure, "prefetch for writing" makes sense, but that shouldn't mark them
cacheline dirty, it should just try to get it exclusively. Does anybody
really mark it dirty?

			Linus