tag	line	file	source code
hardscroll	590	drivers/char/console.c	int hardscroll = hardscroll_enabled;
hardscroll	595	drivers/char/console.c	hardscroll = 0;
hardscroll	596	drivers/char/console.c	if (hardscroll) {