tag	line	file	source code
v_state	734	drivers/char/vt.c	put_user(state, &vtstat->v_state);
v_state	24	include/linux/vt.h	ushort v_state;    /* vt bitmask */