tag	line	file	source code
kbkeycode	366	drivers/char/vt.c	struct kbkeycode * const a = (struct kbkeycode *)arg;
kbkeycode	370	drivers/char/vt.c	i = verify_area(VERIFY_WRITE, (void *)a, sizeof(struct kbkeycode));
kbkeycode	383	drivers/char/vt.c	struct kbkeycode * const a = (struct kbkeycode *)arg;
kbkeycode	388	drivers/char/vt.c	i = verify_area(VERIFY_READ, (void *)a, sizeof(struct kbkeycode));