Re: [PATCH] avoid unnecessary cache flushes

[David Mosberger]

>>>>> On Tue, 4 Sep 2001 09:37:25 -0700, Richard Henderson <[e-mail]> said:

  Richard> On Mon, Sep 03, 2001 at 02:00:39PM -0700, David Mosberger
  Richard> wrote:
  >> I didn't think there was any path where the kernel would on its
  >> own update code after the fact, but I could be missing something.

  Richard> ptrace?

ptrace() is handled separately (it's like a user in that sense: it
takes care of establishing coherence by calling the appropriate
flushing routine).

	--david