tag	line	file	source code
kb_index	422	drivers/char/vt.c	if ((i = get_user(&a->kb_index)) >= NR_KEYS)
kb_index	449	drivers/char/vt.c	if ((i = get_user(&a->kb_index)) >= NR_KEYS)
kb_index	99	include/linux/kd.h	unsigned char kb_index;