tag	line	file	source code
ESnormal	1314	drivers/char/console.c	vc_state  = ESnormal;
ESnormal	1445	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1469	drivers/char/console.c	if (vc_state == ESnormal && ok) {
ESnormal	1524	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1538	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1610	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1738	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1753	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1756	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1777	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1790	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1793	drivers/char/console.c	vc_state = ESnormal;