tag	line	file	source code
kbdiacrs	591	drivers/char/vt.c	struct kbdiacrs *a = (struct kbdiacrs *)arg;
kbdiacrs	593	drivers/char/vt.c	i = verify_area(VERIFY_WRITE, (void *) a, sizeof(struct kbdiacrs));
kbdiacrs	604	drivers/char/vt.c	struct kbdiacrs *a = (struct kbdiacrs *)arg;
kbdiacrs	609	drivers/char/vt.c	i = verify_area(VERIFY_READ, (void *) a, sizeof(struct kbdiacrs));