tag	line	file	source code
kb_value	414	drivers/char/vt.c	put_user(val, &a->kb_value);
kb_value	434	drivers/char/vt.c	v = get_user(&a->kb_value);
kb_value	98	include/linux/kd.h	u_short kb_value;