siddharth goel [off-list ref] writes:

In file kernel/printk.c in Linux Kernel 3.5 there is a function call
trace_console(text, 0, len, len); @line 1219 .?
But I could not find the definition for same. Am I missing any concept ?

This is a call to a tracepoint.  Its definition is synthesized from
macros in <include/events/printk.h>.  Calls to it may be monitored
with perf or systemtap.

- FChE