tag	line	file	source code
tty_schedule_flip	1010	drivers/char/console.c	tty_schedule_flip(tty);
tty_schedule_flip	566	drivers/char/keyboard.c	tty_schedule_flip(tty);
tty_schedule_flip	580	drivers/char/keyboard.c	tty_schedule_flip(tty);
tty_schedule_flip	694	drivers/char/keyboard.c	tty_schedule_flip(tty);