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