linux/drivers/char/ttyprintk.c