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