From mboxrd@z Thu Jan  1 00:00:00 1970
Date: Sat, 27 Nov 2004 10:23:09 -1000
From: Tim Newsham <newsham@lava.net>
To: 9fans@cse.psu.edu
Message-ID: <Pine.BSI.4.58.0411271021490.6130@malasada.lava.net>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; charset=US-ASCII
Subject: [9fans] kernel - kmapinval?
Topicbox-Message-UUID: 0d2f853a-eace-11e9-9e20-41e7f4b1d025

Hi,

  What is kmapinval() used for in the kernel?  It appears to be
called only in hzclock() and defined as a no-op in all architectures,
giving little clue as to what its function should be.

Tim N.