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