tpk_buffer         42 drivers/char/ttyprintk.c static char tpk_buffer[TPK_STR_SIZE + 4];
tpk_buffer         47 drivers/char/ttyprintk.c 		tpk_buffer[tpk_curr] = '\0';
tpk_buffer         48 drivers/char/ttyprintk.c 		printk(TPK_PREFIX "[U] %s\n", tpk_buffer);
tpk_buffer         65 drivers/char/ttyprintk.c 			tpk_buffer[tpk_curr++] = '\\';
tpk_buffer         79 drivers/char/ttyprintk.c 			tpk_buffer[tpk_curr++] = buf[i];