tag	line	file	source code
has_scrolled	604	drivers/char/console.c	has_scrolled = 1;
has_scrolled	658	drivers/char/console.c	has_scrolled = 1;
has_scrolled	2042	drivers/char/console.c	has_scrolled = 0;
has_scrolled	2080	drivers/char/console.c	&& !has_scrolled) {