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

Vikram Pandita [off-list ref] writes:

From: Vikram Pandita <redacted>

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