d1fd3e028bfd37510ce847d0896f71f78
author Tony Luck <tony.luck@intel.com> 1139354757 -0800
committer Tony Luck <tony.luck@intel.com> 1139354757 -0800

[IA64] Fix CONFIG_PRINTK_TIME

There were two problems with enabling the PRINTK_TIME config
option:
1) The first calls to printk() occur before per-cpu data virtual
address is pinned into the TLB, so sched_clock() can fault.
2) sched_clock() is based on ar.itc, which may not be synchronized
across cpus.

Ken Chen started this patch, Tony Luck tinkered with it, and Jes
Sorensen perfected it.

Signed-off-by: Tony Luck <tony.luck@intel.com>
åBÖ£ž#x