tag	line	file	source code
ESnormal	1324	drivers/char/console.c	vc_state  = ESnormal;
ESnormal	1455	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1479	drivers/char/console.c	if (vc_state == ESnormal && ok) {
ESnormal	1534	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1548	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1620	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1748	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1763	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1766	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1787	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1800	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1803	drivers/char/console.c	vc_state = ESnormal;