taglinefilesource code
verify_area65drivers/FPU-emu/fpu_system.h#define FPU_verify_area(x,y,z)  if ( verify_area(x,y,z) ) \
verify_area100drivers/block/blk.hcase BLKROGET: { int __err = verify_area(VERIFY_WRITE, (void *) (where), sizeof(long)); \
verify_area1390drivers/block/cdu31a.cverify_area(VERIFY_READ, (char *) arg, sizeof(schi));
verify_area1391drivers/block/cdu31a.cverify_area(VERIFY_WRITE, (char *) arg, sizeof(schi));
verify_area1550drivers/block/cdu31a.cverify_area(VERIFY_READ, (char *) arg, 6);
verify_area1587drivers/block/cdu31a.cverify_area(VERIFY_WRITE, hdr, sizeof(*hdr));
verify_area1609drivers/block/cdu31a.cverify_area(VERIFY_READ, entry, sizeof(*entry));
verify_area1610drivers/block/cdu31a.cverify_area(VERIFY_WRITE, entry, sizeof(*entry));
verify_area1661drivers/block/cdu31a.cverify_area(VERIFY_READ, (char *) arg, sizeof(ti));
verify_area1727drivers/block/cdu31a.cverify_area(VERIFY_READ, (char *) arg, sizeof(volctrl));
verify_area1197drivers/block/floppy.ci = verify_area(VERIFY_WRITE,(void *) param,sizeof(struct floppy_struct));
verify_area536drivers/block/hd.cerr = verify_area(VERIFY_WRITE, loc, sizeof(*loc));
verify_area556drivers/block/hd.cerr = verify_area(VERIFY_WRITE, (long *) arg, sizeof(long));
verify_area325drivers/block/mcd.cst = verify_area(VERIFY_READ, (void *) arg, sizeof ti);
verify_area368drivers/block/mcd.cst = verify_area(VERIFY_READ, (void *) arg, sizeof msf);
verify_area407drivers/block/mcd.cst = verify_area(VERIFY_WRITE, (void *) arg, sizeof tocHdr);
verify_area418drivers/block/mcd.cst = verify_area(VERIFY_WRITE, (void *) arg, sizeof entry);
verify_area455drivers/block/mcd.cst = verify_area(VERIFY_WRITE, (void *) arg, sizeof subchnl);
verify_area500drivers/block/mcd.cst = verify_area(VERIFY_READ, (void *) arg, sizeof(volctrl));
verify_area2400drivers/block/sbpcd.ci = verify_area(VERIFY_READ, (int *) arg, sizeof(int));
verify_area2450drivers/block/sbpcd.cst=verify_area(VERIFY_READ, (void *) arg, sizeof(struct cdrom_msf));
verify_area2478drivers/block/sbpcd.cst=verify_area(VERIFY_READ,(void *) arg,sizeof(struct cdrom_ti));
verify_area2504drivers/block/sbpcd.cst=verify_area(VERIFY_WRITE, (void *) arg, sizeof(struct cdrom_tochdr));
verify_area2511drivers/block/sbpcd.cst=verify_area(VERIFY_READ, (void *) arg, sizeof(struct cdrom_tocentry));
verify_area2528drivers/block/sbpcd.cst=verify_area(VERIFY_WRITE,(void *) arg, sizeof(struct cdrom_tocentry));
verify_area2563drivers/block/sbpcd.cst=verify_area(VERIFY_READ,(void *) arg,sizeof(volctrl));
verify_area2578drivers/block/sbpcd.cst=verify_area(VERIFY_WRITE, (void *) arg, sizeof(struct cdrom_subchnl));
verify_area2650drivers/block/sbpcd.ci=verify_area(VERIFY_READ, (void *) arg, sizeof(struct cdrom_read_audio));
verify_area2654drivers/block/sbpcd.ci=verify_area(VERIFY_WRITE, read_audio.buf,
verify_area245drivers/block/xd.cif ((err = verify_area(VERIFY_WRITE,geometry,sizeof(*geometry))))
verify_area263drivers/block/xd.cif ((err = verify_area(VERIFY_WRITE,(long *) arg,sizeof(long))))
verify_area144drivers/char/busmouse.cif ((r = verify_area(VERIFY_WRITE, buffer, count)))
verify_area1723drivers/char/console.cl = verify_area(VERIFY_WRITE, buf,2+video_num_columns*video_num_lines);
verify_area2011drivers/char/console.ci = verify_area(set ? VERIFY_READ : VERIFY_WRITE, (void *)arg, cmapsz);
verify_area2089drivers/char/console.ci = verify_area(VERIFY_READ, (void *)arg, E_TABSZ);
verify_area2105drivers/char/console.ci = verify_area(VERIFY_WRITE, (void *)arg, E_TABSZ);
verify_area1644drivers/char/serial.cerror = verify_area(VERIFY_WRITE, (void *) arg,sizeof(long));
verify_area1657drivers/char/serial.cerror = verify_area(VERIFY_WRITE, (void *) arg,
verify_area1667drivers/char/serial.cerror = verify_area(VERIFY_WRITE, (void *) arg,
verify_area1680drivers/char/serial.cerror = verify_area(VERIFY_WRITE, (void *) arg,
verify_area1696drivers/char/serial.cerror = verify_area(VERIFY_WRITE, (void *) arg,
verify_area1834drivers/char/tpqic02.cerror = verify_area(VERIFY_WRITE, buf, count);
verify_area2011drivers/char/tpqic02.cerror = verify_area(VERIFY_READ, buf, count);
verify_area2363drivers/char/tpqic02.cerror = verify_area(VERIFY_READ, (char *) ioarg, sizeof(operation));
verify_area2419drivers/char/tpqic02.cerror =  verify_area(VERIFY_WRITE, (void *) ioarg, sizeof(ioctl_status));
verify_area2447drivers/char/tpqic02.cerror = verify_area(VERIFY_WRITE, (void *) ioarg, sizeof(ioctl_tell));
verify_area1202drivers/char/tty_io.ci = verify_area(VERIFY_WRITE, (void *)arg, sizeof(struct tstruct));
verify_area1248drivers/char/tty_io.cretval = verify_area(VERIFY_WRITE, (void *) arg,
verify_area1338drivers/char/tty_io.cretval = verify_area(VERIFY_WRITE, (void *) arg,
verify_area1360drivers/char/tty_io.cretval = verify_area(VERIFY_WRITE, (void *) arg,
verify_area146drivers/char/tty_ioctl.ci = verify_area(VERIFY_WRITE, termio, sizeof (struct termio));
verify_area214drivers/char/tty_ioctl.cretval = verify_area(VERIFY_WRITE, (void *) arg,
verify_area298drivers/char/tty_ioctl.cretval = verify_area(VERIFY_WRITE, (void *) arg,
verify_area309drivers/char/tty_ioctl.cretval = verify_area(VERIFY_WRITE, (void *) arg,
verify_area322drivers/char/tty_ioctl.cretval = verify_area(VERIFY_WRITE, (void *) arg,
verify_area342drivers/char/tty_ioctl.cretval = verify_area(VERIFY_READ, (void *) arg,
verify_area155drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *) arg, sizeof(unsigned char));
verify_area209drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *) arg, sizeof(unsigned long));
verify_area245drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *) arg, sizeof(unsigned long));
verify_area270drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *) arg, sizeof(unsigned long));
verify_area283drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *)a, sizeof(struct kbentry));
verify_area300drivers/char/vt.ci = verify_area(VERIFY_READ, (void *)a, sizeof(struct kbentry));
verify_area328drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *)a, sizeof(struct kbsentry));
verify_area356drivers/char/vt.ci = verify_area(VERIFY_READ, (void *)a, sizeof(struct kbsentry));
verify_area397drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *) a, sizeof(struct kbdiacrs));
verify_area411drivers/char/vt.ci = verify_area(VERIFY_READ, (void *) a, sizeof(struct kbdiacrs));
verify_area423drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *) arg, sizeof(unsigned char));
verify_area441drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *)vtmode, sizeof(struct vt_mode));
verify_area462drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *)arg, sizeof(struct vt_mode));
verify_area482drivers/char/vt.ci = verify_area(VERIFY_WRITE,(void *)vtstat, sizeof(struct vt_stat));
verify_area499drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *) arg, sizeof(long));
verify_area619drivers/net/ppp.cerror = verify_area (VERIFY_READ,
verify_area1405drivers/net/ppp.cerror = verify_area (VERIFY_READ, (void *) l, sizeof (temp_i));
verify_area1415drivers/net/ppp.cerror = verify_area (VERIFY_WRITE, (void *) l, sizeof (temp_i));
verify_area1429drivers/net/ppp.cerror = verify_area (VERIFY_READ, (void *) l, sizeof (temp_i));
verify_area1438drivers/net/ppp.cerror = verify_area (VERIFY_WRITE, (void *) l, sizeof (temp_i));
verify_area1447drivers/net/ppp.cerror = verify_area (VERIFY_READ, (void *) l, sizeof (temp_i));
verify_area1459drivers/net/ppp.cerror = verify_area (VERIFY_READ, (void *) l, sizeof (temp_i));
verify_area1468drivers/net/ppp.cerror = verify_area (VERIFY_WRITE, (void *) l, sizeof (temp_i));
verify_area1476drivers/net/ppp.cerror = verify_area (VERIFY_READ, (void *) l, sizeof (temp_i));
verify_area1485drivers/net/ppp.cerror = verify_area (VERIFY_READ, (void *) l, sizeof (temp_i));
verify_area1496drivers/net/ppp.cerror = verify_area (VERIFY_WRITE, (void *) l, sizeof (temp_i));
verify_area1505drivers/net/ppp.cerror = verify_area (VERIFY_WRITE, (void *) l, sizeof (struct ppp_stats));
verify_area1513drivers/net/ppp.cerror = verify_area (VERIFY_WRITE, (void *) l, sizeof (struct ppp_ddinfo));
verify_area1530drivers/net/ppp.cerror = verify_area (VERIFY_WRITE,
verify_area1542drivers/net/ppp.cerror = verify_area (VERIFY_READ, (void *) l,
verify_area1564drivers/net/ppp.cerror = verify_area (VERIFY_READ, (void *) l, sizeof (temp_i));
verify_area925drivers/net/slip.cint err=verify_area(VERIFY_READ,addr,7);
verify_area954drivers/net/slip.cerr=verify_area(VERIFY_WRITE, arg, 16);
verify_area960drivers/net/slip.cerr=verify_area(VERIFY_WRITE,arg,sizeof(long));
verify_area964drivers/net/slip.cerr=verify_area(VERIFY_READ,arg,sizeof(long));
verify_area40drivers/scsi/scsi_ioctl.cverify_area(VERIFY_WRITE, buffer, len);
verify_area192drivers/scsi/scsi_ioctl.cresult = verify_area(VERIFY_WRITE, cmd_in, sizeof(SCpnt->sense_buffer));
verify_area198drivers/scsi/scsi_ioctl.cresult = verify_area(VERIFY_WRITE, cmd_in, (outlen > MAX_BUF) ? MAX_BUF  : outlen);
verify_area244drivers/scsi/scsi_ioctl.cverify_area(VERIFY_WRITE, (void *) arg, sizeof(int));
verify_area28drivers/scsi/sd_ioctl.cerror = verify_area(VERIFY_WRITE, loc, sizeof(*loc));
verify_area50drivers/scsi/sd_ioctl.cerror = verify_area(VERIFY_WRITE, (long *) arg, sizeof(long));
verify_area158drivers/scsi/sg.cif ((i=verify_area(VERIFY_WRITE,buf,count)))
verify_area218drivers/scsi/sg.cif ((i=verify_area(VERIFY_READ,buf,count)))
verify_area195drivers/scsi/sr_ioctl.cerr = verify_area (VERIFY_WRITE, (void *) arg, sizeof (struct cdrom_tochdr));
verify_area208drivers/scsi/sr_ioctl.cverify_area (VERIFY_READ, (void *) arg, sizeof (struct cdrom_tocentry));
verify_area235drivers/scsi/sr_ioctl.cerr = verify_area (VERIFY_WRITE, (void *) arg, sizeof (struct cdrom_tocentry));
verify_area280drivers/scsi/sr_ioctl.cverify_area (VERIFY_READ, (void *) arg, sizeof (struct cdrom_volctrl));
verify_area376drivers/scsi/sr_ioctl.cerr = verify_area (VERIFY_WRITE, (void *) arg, sizeof (struct cdrom_subchnl));
verify_area1533drivers/scsi/st.ci = verify_area(VERIFY_WRITE, (void *)arg, sizeof(mtc));
verify_area1555drivers/scsi/st.ci = verify_area(VERIFY_WRITE, (void *)arg, sizeof(struct mtget));
verify_area1593drivers/scsi/st.ci = verify_area(VERIFY_WRITE, (void *)arg, sizeof(struct mtpos));
verify_area1748fs/buffer.cerror = verify_area(VERIFY_WRITE, (void *) data, sizeof(int));
verify_area491fs/exec.cresult = verify_area(VERIFY_WRITE, addr, count);
verify_area26fs/ext2/ioctl.cif ((err = verify_area (VERIFY_WRITE, (long *) arg, sizeof(long))))
verify_area40fs/ext2/ioctl.cif ((err = verify_area (VERIFY_WRITE, (long *) arg, sizeof(long))))
verify_area27fs/ioctl.cerror = verify_area(VERIFY_WRITE,(void *) arg,4);
verify_area37fs/ioctl.cerror = verify_area(VERIFY_WRITE,(void *) arg,4);
verify_area44fs/ioctl.cerror = verify_area(VERIFY_WRITE,(void *) arg,4);
verify_area63fs/locks.cerror = verify_area(VERIFY_WRITE,l, sizeof(*l));
verify_area107fs/locks.cerror = verify_area(VERIFY_WRITE, l, sizeof(*l));
verify_area34fs/open.cerror = verify_area(VERIFY_WRITE, buf, sizeof(struct statfs));
verify_area55fs/open.cerror = verify_area(VERIFY_WRITE, buf, sizeof(struct statfs));
verify_area140fs/pipe.cerror = verify_area(VERIFY_WRITE, (void *) arg,4);
verify_area385fs/pipe.cj = verify_area(VERIFY_WRITE,fildes,8);
verify_area30fs/read_write.cerror = verify_area(VERIFY_WRITE, dirent, sizeof (*dirent));
verify_area84fs/read_write.cerror = verify_area(VERIFY_WRITE,buf,count);
verify_area104fs/read_write.cerror = verify_area(VERIFY_READ,buf,count);
verify_area163fs/select.cerror = verify_area(VERIFY_WRITE,fs_pointer,sizeof(fd_set));
verify_area212fs/select.ci = verify_area(VERIFY_READ, buffer, 20);
verify_area229fs/select.ci = verify_area(VERIFY_WRITE, tvp, sizeof(*tvp));
verify_area96fs/stat.cerror = verify_area(VERIFY_WRITE,statbuf,sizeof (*statbuf));
verify_area112fs/stat.cerror = verify_area(VERIFY_WRITE,statbuf,sizeof (*statbuf));
verify_area128fs/stat.cerror = verify_area(VERIFY_WRITE,statbuf,sizeof (*statbuf));
verify_area144fs/stat.cerror = verify_area(VERIFY_WRITE,statbuf,sizeof (*statbuf));
verify_area161fs/stat.cerror = verify_area(VERIFY_WRITE,statbuf,sizeof (*statbuf));
verify_area176fs/stat.cerror = verify_area(VERIFY_WRITE,statbuf,sizeof (*statbuf));
verify_area192fs/stat.cerror = verify_area(VERIFY_WRITE,buf,bufsiz);
verify_area110fs/super.cerr = verify_area(VERIFY_WRITE, buf, len);
verify_area94ibcs/binfmt_coff.cstatus = verify_area (VERIFY_WRITE,
verify_area49ibcs/binfmt_elf.cverify_area(VERIFY_WRITE, (void *) elf_bss, nbyte);
verify_area12include/linux/mm.hextern int verify_area(int, const void *, unsigned long);
verify_area51ipc/msg.cerr = verify_area (VERIFY_READ, msgp->mtext, msgsz);
verify_area124ipc/msg.cerr = verify_area (VERIFY_WRITE, msgp->mtext, msgsz);
verify_area347ipc/msg.cerr = verify_area (VERIFY_WRITE, buf, sizeof (struct msginfo));
verify_area356ipc/msg.cerr = verify_area (VERIFY_WRITE, buf, sizeof (*msq));
verify_area377ipc/msg.cerr = verify_area (VERIFY_WRITE, buf, sizeof(*msq));
verify_area185ipc/sem.ci= verify_area(VERIFY_WRITE, tmp, sizeof(struct seminfo));
verify_area195ipc/sem.ci = verify_area (VERIFY_WRITE, buf, sizeof (*sma));
verify_area238ipc/sem.ci = verify_area (VERIFY_WRITE, array, nsems*sizeof(short));
verify_area259ipc/sem.cif ((i = verify_area (VERIFY_READ, array, sizeof tbuf)))
verify_area269ipc/sem.cif ((i = verify_area (VERIFY_WRITE, buf, sizeof(*sma))))
verify_area275ipc/sem.cif ((i = verify_area (VERIFY_READ, buf, sizeof tbuf)))
verify_area206ipc/shm.cerr = verify_area (VERIFY_READ, buf, sizeof (*buf));
verify_area223ipc/shm.cerr = verify_area (VERIFY_WRITE, buf, sizeof (struct shminfo));
verify_area234ipc/shm.cerr = verify_area (VERIFY_WRITE, buf, sizeof (shm_info));
verify_area249ipc/shm.cerr = verify_area (VERIFY_WRITE, buf, sizeof (*shp));
verify_area294ipc/shm.cerr = verify_area (VERIFY_WRITE, buf, sizeof (*shp));
verify_area423ipc/shm.cerr = verify_area(VERIFY_WRITE, raddr, sizeof(long));
verify_area519kernel/exit.cflag = verify_area(VERIFY_WRITE, stat_addr, 4);
verify_area23kernel/info.cerror = verify_area(VERIFY_WRITE, info, sizeof(struct sysinfo));
verify_area66kernel/itimer.cerror = verify_area(VERIFY_WRITE, value, sizeof(struct itimerval));
verify_area122kernel/itimer.cerror = verify_area(VERIFY_WRITE, ovalue, sizeof(struct itimerval));
verify_area77kernel/ksyms.cX(verify_area),
verify_area30kernel/ldt.cerror = verify_area(VERIFY_WRITE, ptr, size);
verify_area46kernel/ldt.cerror = verify_area(VERIFY_READ, ptr, sizeof(ldt_info));
verify_area217kernel/module.cif ((error = verify_area(VERIFY_READ, symtab, sizeof(int))))
verify_area225kernel/module.cif ((error = verify_area(VERIFY_READ, symtab, size)))
verify_area323kernel/module.cif ((i = verify_area(VERIFY_WRITE, to, nmodsyms * sizeof(*table))))
verify_area74kernel/printk.cerror = verify_area(VERIFY_WRITE,buf,len);
verify_area107kernel/printk.cerror = verify_area(VERIFY_WRITE,buf,len);
verify_area294kernel/ptrace.cres = verify_area(VERIFY_WRITE, (void *) data, sizeof(long));
verify_area309kernel/ptrace.cres = verify_area(VERIFY_WRITE, (void *) data, sizeof(long));
verify_area29kernel/signal.cerror = verify_area(VERIFY_READ, set, sizeof(sigset_t));
verify_area48kernel/signal.cerror = verify_area(VERIFY_WRITE, oset, sizeof(sigset_t));
verify_area73kernel/signal.cerror = verify_area(VERIFY_WRITE, set, 4);
verify_area163kernel/signal.cint err = verify_area(VERIFY_READ, action, sizeof(*action));
verify_area177kernel/signal.cint err = verify_area(VERIFY_WRITE, oldaction, sizeof(*oldaction));
verify_area205kernel/signal.cif (verify_area(VERIFY_READ, (void *) regs->esp, sizeof(context)))
verify_area243kernel/signal.cif (verify_area(VERIFY_WRITE,frame,32*4))
verify_area350kernel/sys.cint error = verify_area(VERIFY_WRITE,tbuf,sizeof *tbuf);
verify_area508kernel/sys.ci = verify_area(VERIFY_WRITE, grouplist, sizeof(gid_t) * gidsetsize);
verify_area561kernel/sys.cerror = verify_area(VERIFY_WRITE, name, sizeof *name);
verify_area572kernel/sys.cerror = verify_area(VERIFY_WRITE, name,sizeof *name);
verify_area593kernel/sys.cerror = verify_area(VERIFY_WRITE, name,sizeof *name);
verify_area654kernel/sys.cerror = verify_area(VERIFY_WRITE,rlim,sizeof *rlim);
verify_area695kernel/sys.cerror = verify_area(VERIFY_WRITE, ru, sizeof *ru);
verify_area114kernel/time.cerror = verify_area(VERIFY_WRITE, tloc, 4);
verify_area218kernel/time.cerror = verify_area(VERIFY_WRITE, tv, sizeof *tv);
verify_area226kernel/time.cerror = verify_area(VERIFY_WRITE, tz, sizeof *tz);
verify_area323kernel/time.cerror = verify_area(VERIFY_WRITE, txc_p, sizeof(struct timex));
verify_area97kernel/vm86.cerror = verify_area(VERIFY_WRITE,v86,sizeof(*v86));
verify_area143mm/mmap.cerror = verify_area(VERIFY_READ, buffer, 6*4);
verify_area1160net/inet/af_inet.cerr=verify_area(VERIFY_READ,(int *)arg,sizeof(long));
verify_area1167net/inet/af_inet.cerr=verify_area(VERIFY_WRITE,(void *) arg, sizeof(long));
verify_area1175net/inet/af_inet.cerr=verify_area(VERIFY_WRITE,(void *)arg,sizeof(struct timeval));
verify_area1138net/inet/arp.cerr = verify_area(VERIFY_READ, arg, sizeof(struct arpreq));
verify_area1148net/inet/arp.cerr = verify_area(VERIFY_WRITE, arg, sizeof(struct arpreq));
verify_area1155net/inet/arp.cerr = verify_area(VERIFY_READ, arg, sizeof(struct arpreq));
verify_area865net/inet/dev.cerr=verify_area(VERIFY_WRITE, arg, sizeof(struct ifconf));
verify_area877net/inet/dev.cerr=verify_area(VERIFY_WRITE,pos,len);
verify_area1030net/inet/dev.cint err=verify_area(VERIFY_WRITE, arg, sizeof(struct ifreq));
verify_area1931net/inet/ip.cerr=verify_area(VERIFY_READ, optval, sizeof(int));
verify_area1985net/inet/ip.cerr=verify_area(VERIFY_WRITE, optlen, sizeof(int));
verify_area1990net/inet/ip.cerr=verify_area(VERIFY_WRITE, optval, sizeof(int));
verify_area411net/inet/ipx.cerr=verify_area(VERIFY_READ,arg,sizeof(long));
verify_area418net/inet/ipx.cerr=verify_area(VERIFY_READ,arg,sizeof(f));
verify_area485net/inet/ipx.cerr=verify_area(VERIFY_READ,optval,sizeof(int));
verify_area542net/inet/ipx.cerr=verify_area(VERIFY_WRITE,optlen,sizeof(int));
verify_area546net/inet/ipx.cerr=verify_area(VERIFY_WRITE,optval,sizeof(int));
verify_area1218net/inet/ipx.cerr=verify_area(VERIFY_WRITE,(void *)arg,sizeof(unsigned long));
verify_area1232net/inet/ipx.cerr=verify_area(VERIFY_WRITE,(void *)arg,sizeof(unsigned long));
verify_area1246net/inet/ipx.cerr=verify_area(VERIFY_WRITE,(void *)arg,sizeof(struct timeval));
verify_area418net/inet/rarp.cerr = verify_area(VERIFY_READ, arg, sizeof(struct arpreq));
verify_area429net/inet/rarp.cerr = verify_area(VERIFY_WRITE, arg, sizeof(struct arpreq));
verify_area436net/inet/rarp.cerr = verify_area(VERIFY_READ, arg, sizeof(struct arpreq));
verify_area609net/inet/route.cerr=verify_area(VERIFY_READ, src, sizeof(*src));
verify_area648net/inet/route.cerr=verify_area(VERIFY_READ, arg, sizeof(struct rtentry));
verify_area124net/inet/sock.cerr=verify_area(VERIFY_READ, optval, sizeof(int));
verify_area152net/inet/sock.cerr=verify_area(VERIFY_READ,optval,sizeof(ling));
verify_area239net/inet/sock.cerr=verify_area(VERIFY_WRITE,optval,sizeof(ling));
verify_area242net/inet/sock.cerr=verify_area(VERIFY_WRITE,optlen,sizeof(int));
verify_area297net/inet/sock.cerr=verify_area(VERIFY_WRITE, optlen, sizeof(int));
verify_area302net/inet/sock.cerr=verify_area(VERIFY_WRITE, optval, sizeof(int));
verify_area483net/inet/tcp.cerr=verify_area(VERIFY_WRITE,(void *)arg,
verify_area494net/inet/tcp.cerr = verify_area(VERIFY_WRITE,(void *) arg,
verify_area507net/inet/tcp.cerr=verify_area(VERIFY_WRITE,(void *)arg,
verify_area4306net/inet/tcp.cerr=verify_area(VERIFY_READ, optval, sizeof(int));
verify_area4351net/inet/tcp.cerr=verify_area(VERIFY_WRITE, optlen, sizeof(int));
verify_area4356net/inet/tcp.cerr=verify_area(VERIFY_WRITE, optval, sizeof(int));
verify_area414net/inet/udp.cerr=verify_area(VERIFY_WRITE,(void *)arg,
verify_area438net/inet/udp.cerr=verify_area(VERIFY_WRITE,(void *)arg,
verify_area113net/socket.cif((err=verify_area(VERIFY_READ,uaddr,ulen))<0)
verify_area125net/socket.cif((err=verify_area(VERIFY_WRITE,ulen,sizeof(*ulen)))<0)
verify_area134net/socket.cif((err=verify_area(VERIFY_WRITE,uaddr,len))<0)
verify_area386net/socket.cif ((err=verify_area(VERIFY_WRITE,ubuf,size))<0)
verify_area415net/socket.cif ((err=verify_area(VERIFY_READ,ubuf,size))<0)
verify_area674net/socket.cer=verify_area(VERIFY_WRITE, usockvec, 2 * sizeof(int));
verify_area929net/socket.cerr=verify_area(VERIFY_READ, buff, len);
verify_area958net/socket.cerr=verify_area(VERIFY_READ,buff,len);
verify_area994net/socket.cerr=verify_area(VERIFY_WRITE, buff, len);
verify_area1024net/socket.cerr=verify_area(VERIFY_WRITE,buff,len);
verify_area1127net/socket.cer=verify_area(VERIFY_READ, args, 3 * sizeof(long));
verify_area1134net/socket.cer=verify_area(VERIFY_READ, args, 3 * sizeof(long));
verify_area1141net/socket.cer=verify_area(VERIFY_READ, args, 3 * sizeof(long));
verify_area1148net/socket.cer=verify_area(VERIFY_READ, args, 2 * sizeof(long));
verify_area1154net/socket.cer=verify_area(VERIFY_READ, args, 3 * sizeof(long));
verify_area1161net/socket.cer=verify_area(VERIFY_READ, args, 3 * sizeof(long));
verify_area1168net/socket.cer=verify_area(VERIFY_READ, args, 3 * sizeof(long));
verify_area1175net/socket.cer=verify_area(VERIFY_READ, args, 4 * sizeof(long));
verify_area1183net/socket.cer=verify_area(VERIFY_READ, args, 4 * sizeof(unsigned long));
verify_area1191net/socket.cer=verify_area(VERIFY_READ, args, 6 * sizeof(unsigned long));
verify_area1201net/socket.cer=verify_area(VERIFY_READ, args, 4 * sizeof(unsigned long));
verify_area1209net/socket.cer=verify_area(VERIFY_READ, args, 6 * sizeof(unsigned long));
verify_area1219net/socket.cer=verify_area(VERIFY_READ, args, 2* sizeof(unsigned long));
verify_area1225net/socket.cer=verify_area(VERIFY_READ, args, 5*sizeof(unsigned long));
verify_area1234net/socket.cer=verify_area(VERIFY_READ, args, 5*sizeof(unsigned long));
verify_area832net/unix/sock.cer=verify_area(VERIFY_WRITE,(void *)arg, sizeof(unsigned long));
verify_area843net/unix/sock.cer=verify_area(VERIFY_WRITE,(void *)arg, sizeof(unsigned long));