tag	line	file	source code
v_ccol	891	drivers/char/vt.c	ccol = get_user(&vtconsize->v_ccol);
v_ccol	48	include/linux/vt.h	ushort v_ccol;    /* number of pixel columns per character */