[PATCH v3] printk: add option to print cpu id

[Andi Kleen]

Vikram Pandita <vikram.pandita at ti.com> writes:

> From: Vikram Pandita <vikram.pandita at ti.com>
>
> Introduce config option to enable CPU id reporting for printk() calls.

What's wrong with using trace_printk for this? That's much faster
anyways. Generally printk is so slow that it's typically useless for
instrumenting races.

And really: Wasting 1/3 of the 80 character line is too much.

-Andi

-- 
ak at linux.intel.com -- Speaking for myself only