taglinefilesource code
kb_value412drivers/char/vt.cput_user(val, &a->kb_value);
kb_value432drivers/char/vt.cv = get_user(&a->kb_value);
kb_value98include/linux/kd.hu_short kb_value;