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