tag	line	file	source code
ESfunckey	1027	kernel/chr_drv/console.c	state=ESfunckey;
ESfunckey	1161	kernel/chr_drv/console.c	case ESfunckey: