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