tag
line
file
source code
console_print
1447
drivers/char/console.c
register_console(console_print);
console_print
28
kernel/printk.c
extern void console_print(const char *);