tag	line	file	source code
vcs_size	42	drivers/char/vc_screen.c	int size = vcs_size(inode);
vcs_size	83	drivers/char/vc_screen.c	size = vcs_size(inode);
vcs_size	141	drivers/char/vc_screen.c	size = vcs_size(inode);