tag	line	file	source code
tty_schedule_flip	1014	drivers/char/console.c	tty_schedule_flip(tty);
tty_schedule_flip	575	drivers/char/keyboard.c	tty_schedule_flip(tty);
tty_schedule_flip	589	drivers/char/keyboard.c	tty_schedule_flip(tty);
tty_schedule_flip	701	drivers/char/keyboard.c	tty_schedule_flip(tty);