linux/kernel/printk
..
console_cmdline.h
Makefile
printk.c