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 ?

--
Thanks and Regards,