ESfunckey        2274 drivers/tty/vt/vt.c 			vc->vc_state=ESfunckey;
ESfunckey        2485 drivers/tty/vt/vt.c 	case ESfunckey: