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