taglinefilesource code
kbkeycode362drivers/char/vt.cstruct kbkeycode * const a = (struct kbkeycode *)arg;
kbkeycode366drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *)a, sizeof(struct kbkeycode));
kbkeycode379drivers/char/vt.cstruct kbkeycode * const a = (struct kbkeycode *)arg;
kbkeycode384drivers/char/vt.ci = verify_area(VERIFY_READ, (void *)a, sizeof(struct kbkeycode));