tag	line	file	source code
kc	366	drivers/char/vt.c	int kc;
kc	372	drivers/char/vt.c	kc = getkeycode(sc);
kc	373	drivers/char/vt.c	if (kc < 0)
kc	374	drivers/char/vt.c	return kc;
kc	375	drivers/char/vt.c	put_user(kc, &a->keycode);
kc	382	drivers/char/vt.c	unsigned int sc, kc;
kc	390	drivers/char/vt.c	kc = get_user(&a->keycode);
kc	391	drivers/char/vt.c	return setkeycode(sc, kc);