tpk_printk        107 drivers/char/ttyprintk.c 	tpk_printk(NULL, 0);
tpk_printk        126 drivers/char/ttyprintk.c 	ret = tpk_printk(buf, count);