tag	line	file	source code
ESnormal	1336	drivers/char/console.c	vc_state  = ESnormal;
ESnormal	1486	drivers/char/console.c	if (vc_state == ESnormal && ok) {
ESnormal	1560	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1574	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1636	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1638	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1652	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1655	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1679	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1807	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1819	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1822	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1843	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1856	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1859	drivers/char/console.c	vc_state = ESnormal;