tag	line	file	source code
tty_schedule_flip	767	drivers/char/console.c	tty_schedule_flip(tty);
tty_schedule_flip	369	drivers/char/keyboard.c	tty_schedule_flip(tty);
tty_schedule_flip	383	drivers/char/keyboard.c	tty_schedule_flip(tty);