console_print 7 include/linux/dtlk.h console_print(text); \ console_print 8 include/linux/dtlk.h console_print("\n"); \ console_print 15 include/linux/dtlk.h console_print(chr); \ console_print 482 include/linux/tty.h extern void console_print(const char *);