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