tag	line	file	source code
vt_stat	723	drivers/char/vt.c	struct vt_stat *vtstat = (struct vt_stat *)arg;
vt_stat	726	drivers/char/vt.c	i = verify_area(VERIFY_WRITE,(void *)vtstat, sizeof(struct vt_stat));