trace_console function definition not found in Linux kernel v3.5

[Frank Ch. Eigler]

siddharth goel <siddharth98391 at gmail.com> 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