[coreboot] printing TSC in printk
peter at stuge.se
Sun Feb 10 15:03:14 CET 2008
On Sat, Feb 09, 2008 at 12:50:28PM -0800, ron minnich wrote:
> Define an option
This is good. Linux has the same option.
> What it does: each time printk would print a newline, it will
> instead print this:
> (16 hex digits of TSC)\n
Pro: Every line has time
Con: Time is last on the line
> Define a new format letter, T, such that %T as a format means
Pro: Time can be first on line
Con: We need to add it manually.
Doing it like Linux would need a static variable near printk() to
keep \n state. :\
> first option allows comprehensive timing, but it will slow things
> down a bit.
This must be optional though.
> Second option allows us to completely tailor the printing of
> time, but you have to explicitly add %T when you want time
I think it is important that the time always is printed at the same
position in a line, but manually having to add %T to every printk is
Maybe the answer is a macro wrapper around printk() (why is it called
print_k_ by the way, we are not the kernel) which is defined
differently depending on the config option.
If the option is set, the macro always prepends "%T " to the format
More information about the coreboot