[PATCH 2/3] Modify sched_clock() to make CONFIG_PRINTK_TIME more sane.

[Tony Breeds]

On Wed, Jul 04, 2007 at 02:27:48PM +1000, Michael Ellerman wrote:
 
> Is this what other archs do?

They either use jiffies, or AFAICT an external counter that is
initialised to 0 at system powerup.

Yours Tony

  linux.conf.au        http://linux.conf.au/ || http://lca2008.linux.org.au/
  Jan 28 - Feb 02 2008 The Australian Linux Technical Conference!