Symbol: tpk_flush
drivers/char/ttyprintk.c
148
tpk_flush();
drivers/char/ttyprintk.c
62
tpk_flush();
drivers/char/ttyprintk.c
67
tpk_flush();
drivers/char/ttyprintk.c
72
tpk_flush();