tag	line	file	source code
tty_schedule_flip	766	drivers/char/console.c	tty_schedule_flip(tty);
tty_schedule_flip	364	drivers/char/keyboard.c	tty_schedule_flip(tty);
tty_schedule_flip	378	drivers/char/keyboard.c	tty_schedule_flip(tty);