tpk_curr           40 drivers/char/ttyprintk.c static int tpk_curr;
tpk_curr           46 drivers/char/ttyprintk.c 	if (tpk_curr > 0) {
tpk_curr           47 drivers/char/ttyprintk.c 		tpk_buffer[tpk_curr] = '\0';
tpk_curr           49 drivers/char/ttyprintk.c 		tpk_curr = 0;
tpk_curr           55 drivers/char/ttyprintk.c 	int i = tpk_curr;
tpk_curr           63 drivers/char/ttyprintk.c 		if (tpk_curr >= TPK_STR_SIZE) {
tpk_curr           65 drivers/char/ttyprintk.c 			tpk_buffer[tpk_curr++] = '\\';
tpk_curr           79 drivers/char/ttyprintk.c 			tpk_buffer[tpk_curr++] = buf[i];