tag	line	file	source code
v_vlin	888	drivers/char/vt.c	vlin = get_user(&vtconsize->v_vlin);
v_vlin	45	include/linux/vt.h	ushort v_vlin;    /* number of pixel rows on screen */