tag	line	file	source code
kbentry	415	drivers/char/vt.c	struct kbentry * const a = (struct kbentry *)arg;
kbentry	419	drivers/char/vt.c	i = verify_area(VERIFY_WRITE, (void *)a, sizeof(struct kbentry));
kbentry	439	drivers/char/vt.c	const struct kbentry * a = (struct kbentry *)arg;
kbentry	446	drivers/char/vt.c	i = verify_area(VERIFY_READ, (const void *)a, sizeof(struct kbentry));