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

[Segher Boessenkool]

> When booting a current kernel with CONFIG_PRINTK_TIME enabled you'll
> see messages like:
>
> [    0.000000] time_init: decrementer frequency = 188.044000 MHz
> [    0.000000] time_init: processor frequency   = 1504.352000 MHz
> [3712914.436297] Console: colour dummy device 80x25
>
> This patch modifies sched_clock() to report the offset since the 
> machine booted
> so the same printk's now look like:
>
> [    0.000000] time_init: decrementer frequency = 188.044000 MHz
> [    0.000000] time_init: processor frequency   = 1504.352000 MHz
> [    0.000135] Console: colour dummy device 80x25
>
> Effectivly including the uptime in printk()s.

This was long overdue, thank you Tony!


Segher