tag	line	file	source code
kbsentry	278	drivers/char/vt.c	struct kbsentry *a = (struct kbsentry *)arg;
kbsentry	282	drivers/char/vt.c	i = verify_area(VERIFY_WRITE, (void *)a, sizeof(struct kbsentry));
kbsentry	303	drivers/char/vt.c	struct kbsentry * const a = (struct kbsentry *)arg;
kbsentry	310	drivers/char/vt.c	i = verify_area(VERIFY_READ, (void *)a, sizeof(struct kbsentry));