tag	line	file	source code
ESnormal	996	drivers/char/console.c	vc_state    = ESnormal;
ESnormal	1076	drivers/char/console.c	if (vc_state == ESnormal
ESnormal	1134	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1148	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1217	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1336	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1339	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1360	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1373	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1376	drivers/char/console.c	vc_state = ESnormal;