tag	line	file	source code
ESnormal	1282	drivers/char/console.c	vc_state  = ESnormal;
ESnormal	1436	drivers/char/console.c	if (vc_state == ESnormal && ok) {
ESnormal	1511	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1525	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1587	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1589	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1603	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1606	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1630	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1758	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1770	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1773	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1794	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1807	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1810	drivers/char/console.c	vc_state = ESnormal;