tag	line	file	source code
ESfunckey	1674	drivers/char/console.c	vc_state=ESfunckey;
ESfunckey	1829	drivers/char/console.c	case ESfunckey: