tag	line	file	source code
tty_schedule_flip	944	drivers/char/console.c	tty_schedule_flip(tty);
tty_schedule_flip	576	drivers/char/keyboard.c	tty_schedule_flip(tty);
tty_schedule_flip	590	drivers/char/keyboard.c	tty_schedule_flip(tty);
tty_schedule_flip	702	drivers/char/keyboard.c	tty_schedule_flip(tty);