tag	line	file	source code
ESnormal	1269	drivers/char/console.c	vc_state  = ESnormal;
ESnormal	1400	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1418	drivers/char/console.c	if (vc_state == ESnormal && ok) {
ESnormal	1471	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1485	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1557	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1685	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1700	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1703	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1724	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1737	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1740	drivers/char/console.c	vc_state = ESnormal;