TPK_STR_SIZE       42 drivers/char/ttyprintk.c static char tpk_buffer[TPK_STR_SIZE + 4];
TPK_STR_SIZE       63 drivers/char/ttyprintk.c 		if (tpk_curr >= TPK_STR_SIZE) {