tpk_flush          58 drivers/char/ttyprintk.c 		tpk_flush();
tpk_flush          66 drivers/char/ttyprintk.c 			tpk_flush();
tpk_flush          71 drivers/char/ttyprintk.c 			tpk_flush();
tpk_flush          76 drivers/char/ttyprintk.c 			tpk_flush();