tag	line	file	source code
ESnormal	1337	drivers/char/console.c	vc_state  = ESnormal;
ESnormal	1487	drivers/char/console.c	if (vc_state == ESnormal && ok) {
ESnormal	1561	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1575	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1637	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1639	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1653	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1656	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1680	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1808	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1820	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1823	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1844	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1857	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1860	drivers/char/console.c	vc_state = ESnormal;