tag	line	file	source code
v_vcol	890	drivers/char/vt.c	vcol = get_user(&vtconsize->v_vcol);
v_vcol	47	include/linux/vt.h	ushort v_vcol;    /* number of pixel columns on screen */