taglinefilesource code
VERIFY_READ1077drivers/block/cdu31a.cverify_area(VERIFY_READ, (char *) arg, sizeof(schi));
VERIFY_READ1237drivers/block/cdu31a.cverify_area(VERIFY_READ, (char *) arg, 6);
VERIFY_READ1296drivers/block/cdu31a.cverify_area(VERIFY_READ, entry, sizeof(*entry));
VERIFY_READ1348drivers/block/cdu31a.cverify_area(VERIFY_READ, (char *) arg, sizeof(ti));
VERIFY_READ1414drivers/block/cdu31a.cverify_area(VERIFY_READ, (char *) arg, sizeof(volctrl));
VERIFY_READ272drivers/block/mcd.cst = verify_area(VERIFY_READ, (void *) arg, sizeof ti);
VERIFY_READ315drivers/block/mcd.cst = verify_area(VERIFY_READ, (void *) arg, sizeof msf);
VERIFY_READ447drivers/block/mcd.cst = verify_area(VERIFY_READ, (void *) arg, sizeof(volctrl));
VERIFY_READ2011drivers/char/tpqic02.cerror = verify_area(VERIFY_READ, buf, count);
VERIFY_READ2363drivers/char/tpqic02.cerror = verify_area(VERIFY_READ, (char *) ioarg, sizeof(operation));
VERIFY_READ666drivers/char/tty_ioctl.cretval = verify_area(VERIFY_READ,
VERIFY_READ299drivers/char/vt.ci = verify_area(VERIFY_READ, (void *)a, sizeof(struct kbsentry));
VERIFY_READ1048drivers/net/slip.cint err=verify_area(VERIFY_READ,addr,7);
VERIFY_READ1083drivers/net/slip.cerr=verify_area(VERIFY_READ,arg,sizeof(long));
VERIFY_READ214drivers/scsi/sg.cif ((i=verify_area(VERIFY_READ,buf,count)))
VERIFY_READ206drivers/scsi/sr_ioctl.cverify_area (VERIFY_READ, (void *) arg, sizeof (struct cdrom_tocentry));
VERIFY_READ276drivers/scsi/sr_ioctl.cverify_area (VERIFY_READ, (void *) arg, sizeof (struct cdrom_volctrl));
VERIFY_READ104fs/read_write.cerror = verify_area(VERIFY_READ,buf,count);
VERIFY_READ206fs/select.ci = verify_area(VERIFY_READ, buffer, 20);
VERIFY_READ51ipc/msg.cerr = verify_area (VERIFY_READ, msgp->mtext, msgsz);
VERIFY_READ259ipc/sem.cif ((i = verify_area (VERIFY_READ, array, sizeof tbuf)))
VERIFY_READ275ipc/sem.cif ((i = verify_area (VERIFY_READ, buf, sizeof tbuf)))
VERIFY_READ206ipc/shm.cerr = verify_area (VERIFY_READ, buf, sizeof (*buf));
VERIFY_READ46kernel/ldt.cerror = verify_area(VERIFY_READ, ptr, sizeof(ldt_info));
VERIFY_READ56kernel/signal.cerror = verify_area(VERIFY_READ, set, sizeof(sigset_t));
VERIFY_READ663mm/memory.cif (wp_works_ok || type == VERIFY_READ || !size)
VERIFY_READ143mm/mmap.cerror = verify_area(VERIFY_READ, buffer, 6*4);
VERIFY_READ905net/inet/arp.cerr=verify_area(VERIFY_READ,arg,sizeof(struct arpreq));
VERIFY_READ916net/inet/arp.cerr=verify_area(VERIFY_READ,arg,sizeof(struct arpreq));
VERIFY_READ100net/inet/packet.cerr=verify_area(VERIFY_READ, usin, sizeof(saddr));
VERIFY_READ107net/inet/packet.cerr=verify_area(VERIFY_READ,from,len);
VERIFY_READ152net/inet/raw.cerr=verify_area(VERIFY_READ,from,len);
VERIFY_READ158net/inet/raw.cerr=verify_area (VERIFY_READ, usin, sizeof (sin));
VERIFY_READ359net/inet/route.cerr=verify_area(VERIFY_READ, arg, sizeof(struct rtentry));
VERIFY_READ364net/inet/route.cerr=verify_area(VERIFY_READ, rt.rt_dev, sizeof namebuf);
VERIFY_READ494net/inet/sock.cerr=verify_area(VERIFY_READ, optval, sizeof(int));
VERIFY_READ519net/inet/sock.cerr=verify_area(VERIFY_READ,optval,sizeof(ling));
VERIFY_READ958net/inet/sock.cerr=verify_area(VERIFY_READ, uaddr, addr_len);
VERIFY_READ1442net/inet/sock.cerr=verify_area(VERIFY_READ,(int *)arg,sizeof(long));
VERIFY_READ2777net/inet/tcp.cerr=verify_area(VERIFY_READ, usin, addr_len);
VERIFY_READ230net/inet/udp.cerr=verify_area(VERIFY_READ, from, len);
VERIFY_READ322net/inet/udp.cerr=verify_area(VERIFY_READ, usin, sizeof(sin));
VERIFY_READ368net/inet/udp.cerr=verify_area(VERIFY_READ, (void *)arg, sizeof(int));
VERIFY_READ516net/inet/udp.cer=verify_area(VERIFY_READ, usin, sizeof(sin));
VERIFY_READ110net/inet/utils.cerr=verify_area(VERIFY_READ, (void *)arg, sizeof(int));
VERIFY_READ857net/socket.cer=verify_area(VERIFY_READ, args, 3 * sizeof(long));
VERIFY_READ864net/socket.cer=verify_area(VERIFY_READ, args, 3 * sizeof(long));
VERIFY_READ871net/socket.cer=verify_area(VERIFY_READ, args, 3 * sizeof(long));
VERIFY_READ878net/socket.cer=verify_area(VERIFY_READ, args, 2 * sizeof(long));
VERIFY_READ884net/socket.cer=verify_area(VERIFY_READ, args, 3 * sizeof(long));
VERIFY_READ891net/socket.cer=verify_area(VERIFY_READ, args, 3 * sizeof(long));
VERIFY_READ898net/socket.cer=verify_area(VERIFY_READ, args, 3 * sizeof(long));
VERIFY_READ905net/socket.cer=verify_area(VERIFY_READ, args, 4 * sizeof(long));
VERIFY_READ913net/socket.cer=verify_area(VERIFY_READ, args, 4 * sizeof(unsigned long));
VERIFY_READ921net/socket.cer=verify_area(VERIFY_READ, args, 6 * sizeof(unsigned long));
VERIFY_READ931net/socket.cer=verify_area(VERIFY_READ, args, 4 * sizeof(unsigned long));
VERIFY_READ939net/socket.cer=verify_area(VERIFY_READ, args, 6 * sizeof(unsigned long));
VERIFY_READ949net/socket.cer=verify_area(VERIFY_READ, args, 2* sizeof(unsigned long));
VERIFY_READ955net/socket.cer=verify_area(VERIFY_READ, args, 5*sizeof(unsigned long));
VERIFY_READ964net/socket.cer=verify_area(VERIFY_READ, args, 5*sizeof(unsigned long));
VERIFY_READ984net/socket.cer=verify_area(VERIFY_READ, (void *)arg, sizeof(long));
VERIFY_READ432net/unix/sock.cer=verify_area(VERIFY_READ, uservaddr, sockaddr_len);
VERIFY_READ690net/unix/sock.cer=verify_area(VERIFY_READ, ubuf, cando);
VERIFY_READ826net/unix/sock.cer=verify_area(VERIFY_READ,(void *)arg, sizeof(int));