tag	line	file	source code
ESnormal	1041	drivers/char/console.c	vc_state    = ESnormal;
ESnormal	1122	drivers/char/console.c	if (vc_state == ESnormal
ESnormal	1180	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1194	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1263	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1385	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1388	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1409	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1422	drivers/char/console.c	vc_state = ESnormal;
ESnormal	1425	drivers/char/console.c	vc_state = ESnormal;