tag	line	file	source code
kc	385	drivers/char/vt.c	int kc;
kc	391	drivers/char/vt.c	kc = getkeycode(sc);
kc	392	drivers/char/vt.c	if (kc < 0)
kc	393	drivers/char/vt.c	return kc;
kc	394	drivers/char/vt.c	put_user(kc, &a->keycode);
kc	401	drivers/char/vt.c	unsigned int sc, kc;
kc	409	drivers/char/vt.c	kc = get_user(&a->keycode);
kc	410	drivers/char/vt.c	return setkeycode(sc, kc);