taglinefilesource code
verify_area46drivers/FPU-emu/fpu_system.h#define FPU_verify_area(x,y,z)  if ( verify_area(x,y,z) ) \
verify_area97drivers/block/blk.hcase BLKROGET: { int __err = verify_area(VERIFY_WRITE, (void *) (where), sizeof(long)); \
verify_area1215drivers/block/cdu31a.cverify_area(VERIFY_READ, (char *) arg, sizeof(schi));
verify_area1216drivers/block/cdu31a.cverify_area(VERIFY_WRITE, (char *) arg, sizeof(schi));
verify_area1375drivers/block/cdu31a.cverify_area(VERIFY_READ, (char *) arg, 6);
verify_area1412drivers/block/cdu31a.cverify_area(VERIFY_WRITE, hdr, sizeof(*hdr));
verify_area1434drivers/block/cdu31a.cverify_area(VERIFY_READ, entry, sizeof(*entry));
verify_area1435drivers/block/cdu31a.cverify_area(VERIFY_WRITE, entry, sizeof(*entry));
verify_area1486drivers/block/cdu31a.cverify_area(VERIFY_READ, (char *) arg, sizeof(ti));
verify_area1552drivers/block/cdu31a.cverify_area(VERIFY_READ, (char *) arg, sizeof(volctrl));
verify_area1133drivers/block/floppy.ci = verify_area(VERIFY_WRITE,(void *) param,sizeof(struct floppy_struct));
verify_area533drivers/block/hd.cerr = verify_area(VERIFY_WRITE, loc, sizeof(*loc));
verify_area553drivers/block/hd.cerr = verify_area(VERIFY_WRITE, (long *) arg, sizeof(long));
verify_area272drivers/block/mcd.cst = verify_area(VERIFY_READ, (void *) arg, sizeof ti);
verify_area315drivers/block/mcd.cst = verify_area(VERIFY_READ, (void *) arg, sizeof msf);
verify_area354drivers/block/mcd.cst = verify_area(VERIFY_WRITE, (void *) arg, sizeof tocHdr);
verify_area365drivers/block/mcd.cst = verify_area(VERIFY_WRITE, (void *) arg, sizeof entry);
verify_area402drivers/block/mcd.cst = verify_area(VERIFY_WRITE, (void *) arg, sizeof subchnl);
verify_area447drivers/block/mcd.cst = verify_area(VERIFY_READ, (void *) arg, sizeof(volctrl));
verify_area2110drivers/block/sbpcd.ci = verify_area(VERIFY_READ, (int *) arg, sizeof(int));
verify_area2160drivers/block/sbpcd.cst=verify_area(VERIFY_READ, (void *) arg, sizeof(struct cdrom_msf));
verify_area2188drivers/block/sbpcd.cst=verify_area(VERIFY_READ,(void *) arg,sizeof(struct cdrom_ti));
verify_area2214drivers/block/sbpcd.cst=verify_area(VERIFY_WRITE, (void *) arg, sizeof(struct cdrom_tochdr));
verify_area2221drivers/block/sbpcd.cst=verify_area(VERIFY_READ, (void *) arg, sizeof(struct cdrom_tocentry));
verify_area2238drivers/block/sbpcd.cst=verify_area(VERIFY_WRITE,(void *) arg, sizeof(struct cdrom_tocentry));
verify_area2275drivers/block/sbpcd.cst=verify_area(VERIFY_READ,(void *) arg,sizeof(volctrl));
verify_area2290drivers/block/sbpcd.cst=verify_area(VERIFY_WRITE, (void *) arg, sizeof(struct cdrom_subchnl));
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_area1600drivers/char/console.cl = verify_area(VERIFY_WRITE, buf,2+video_num_columns*video_num_lines);
verify_area1867drivers/char/console.ci = verify_area(set ? VERIFY_READ : VERIFY_WRITE, (void *)arg, cmapsz);
verify_area1945drivers/char/console.ci = verify_area(VERIFY_READ, (void *)arg, E_TABSZ);
verify_area1961drivers/char/console.ci = verify_area(VERIFY_WRITE, (void *)arg, E_TABSZ);
verify_area1388drivers/char/serial.cerror = verify_area(VERIFY_WRITE, (void *) arg,sizeof(long));
verify_area1401drivers/char/serial.cerror = verify_area(VERIFY_WRITE, (void *) arg,
verify_area1411drivers/char/serial.cerror = verify_area(VERIFY_WRITE, (void *) arg,
verify_area1424drivers/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_area123drivers/char/tty_ioctl.ci = verify_area(VERIFY_WRITE, (void *)arg, sizeof(struct tstruct));
verify_area245drivers/char/tty_ioctl.ci = verify_area(VERIFY_WRITE, termio, sizeof (struct termio));
verify_area369drivers/char/tty_ioctl.cretval = verify_area(VERIFY_WRITE, (void *) arg,
verify_area486drivers/char/tty_ioctl.cretval = verify_area(VERIFY_WRITE, (void *) arg,
verify_area513drivers/char/tty_ioctl.cretval = verify_area(VERIFY_WRITE, (void *) arg,
verify_area521drivers/char/tty_ioctl.cretval = verify_area(VERIFY_WRITE, (void *) arg,
verify_area535drivers/char/tty_ioctl.cretval = verify_area(VERIFY_READ, (void *) arg, 1);
verify_area542drivers/char/tty_ioctl.cretval = verify_area(VERIFY_WRITE, (void *) arg,
verify_area605drivers/char/tty_ioctl.cretval = verify_area(VERIFY_WRITE, (void *) arg,
verify_area619drivers/char/tty_ioctl.cretval = verify_area(VERIFY_WRITE, (void *) arg,
verify_area638drivers/char/tty_ioctl.cretval = verify_area(VERIFY_READ, (void *) arg,
verify_area152drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *) arg, sizeof(unsigned char));
verify_area206drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *) arg, sizeof(unsigned long));
verify_area241drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *) arg, sizeof(unsigned long));
verify_area266drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *) arg, sizeof(unsigned long));
verify_area279drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *)a, sizeof(struct kbentry));
verify_area296drivers/char/vt.ci = verify_area(VERIFY_READ, (void *)a, sizeof(struct kbentry));
verify_area317drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *)a, sizeof(struct kbsentry));
verify_area345drivers/char/vt.ci = verify_area(VERIFY_READ, (void *)a, sizeof(struct kbsentry));
verify_area386drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *) a, sizeof(struct kbdiacrs));
verify_area400drivers/char/vt.ci = verify_area(VERIFY_READ, (void *) a, sizeof(struct kbdiacrs));
verify_area412drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *) arg, sizeof(unsigned char));
verify_area430drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *)vtmode, sizeof(struct vt_mode));
verify_area451drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *)arg, sizeof(struct vt_mode));
verify_area471drivers/char/vt.ci = verify_area(VERIFY_WRITE,(void *)vtstat, sizeof(struct vt_stat));
verify_area487drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *) arg, sizeof(long));
verify_area1027drivers/net/slip.cint err=verify_area(VERIFY_READ,addr,7);
verify_area1052drivers/net/slip.cerr=verify_area(VERIFY_WRITE, arg, 16);
verify_area1058drivers/net/slip.cerr=verify_area(VERIFY_WRITE,arg,sizeof(long));
verify_area1062drivers/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_area214drivers/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_area1309drivers/scsi/st.ci = verify_area(VERIFY_WRITE, (void *)arg, sizeof(mtc));
verify_area1327drivers/scsi/st.ci = verify_area(VERIFY_WRITE, (void *)arg, sizeof(struct mtget));
verify_area1346drivers/scsi/st.ci = verify_area(VERIFY_WRITE, (void *)arg, sizeof(struct mtpos));
verify_area94fs/binfmt_coff.cstatus = verify_area (VERIFY_WRITE,
verify_area41fs/binfmt_elf.cverify_area(VERIFY_WRITE, (void *) elf_bss, nbyte);
verify_area1840fs/buffer.cerror = verify_area(VERIFY_WRITE, (void *) data, sizeof(int));
verify_area446fs/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_area157fs/select.cerror = verify_area(VERIFY_WRITE,fs_pointer,sizeof(fd_set));
verify_area206fs/select.ci = verify_area(VERIFY_READ, buffer, 20);
verify_area223fs/select.ci = verify_area(VERIFY_WRITE, tvp, sizeof(*tvp));
verify_area94fs/stat.cerror = verify_area(VERIFY_WRITE,statbuf,sizeof (*statbuf));
verify_area110fs/stat.cerror = verify_area(VERIFY_WRITE,statbuf,sizeof (*statbuf));
verify_area126fs/stat.cerror = verify_area(VERIFY_WRITE,statbuf,sizeof (*statbuf));
verify_area142fs/stat.cerror = verify_area(VERIFY_WRITE,statbuf,sizeof (*statbuf));
verify_area159fs/stat.cerror = verify_area(VERIFY_WRITE,statbuf,sizeof (*statbuf));
verify_area174fs/stat.cerror = verify_area(VERIFY_WRITE,statbuf,sizeof (*statbuf));
verify_area190fs/stat.cerror = verify_area(VERIFY_WRITE,buf,bufsiz);
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_area395ipc/shm.cerr = verify_area(VERIFY_WRITE, raddr, sizeof(long));
verify_area497kernel/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_area30kernel/ldt.cerror = verify_area(VERIFY_WRITE, ptr, size);
verify_area46kernel/ldt.cerror = verify_area(VERIFY_READ, ptr, sizeof(ldt_info));
verify_area152kernel/module.ci = verify_area(VERIFY_WRITE, to, symbol_table_size * 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_area56kernel/signal.cerror = verify_area(VERIFY_READ, set, sizeof(sigset_t));
verify_area75kernel/signal.cerror = verify_area(VERIFY_WRITE, oset, sizeof(sigset_t));
verify_area100kernel/signal.cerror = verify_area(VERIFY_WRITE, set, 4);
verify_area186kernel/signal.cint err = verify_area(VERIFY_READ, action, sizeof(*action));
verify_area200kernel/signal.cint err = verify_area(VERIFY_WRITE, oldaction, sizeof(*oldaction));
verify_area228kernel/signal.cif (verify_area(VERIFY_READ, (void *) regs->esp, sizeof(context)))
verify_area266kernel/signal.cif (verify_area(VERIFY_WRITE,frame,32*4))
verify_area179kernel/sys.cerror = verify_area(VERIFY_WRITE,v86,sizeof(*v86));
verify_area398kernel/sys.cint error = verify_area(VERIFY_WRITE,tbuf,sizeof *tbuf);
verify_area555kernel/sys.ci = verify_area(VERIFY_WRITE, grouplist, sizeof(gid_t) * gidsetsize);
verify_area608kernel/sys.cerror = verify_area(VERIFY_WRITE, name, sizeof *name);
verify_area619kernel/sys.cerror = verify_area(VERIFY_WRITE, name,sizeof *name);
verify_area640kernel/sys.cerror = verify_area(VERIFY_WRITE, name,sizeof *name);
verify_area701kernel/sys.cerror = verify_area(VERIFY_WRITE,rlim,sizeof *rlim);
verify_area742kernel/sys.cerror = verify_area(VERIFY_WRITE, ru, sizeof *ru);
verify_area87kernel/time.cerror = verify_area(VERIFY_WRITE, tloc, 4);
verify_area191kernel/time.cerror = verify_area(VERIFY_WRITE, tv, sizeof *tv);
verify_area199kernel/time.cerror = verify_area(VERIFY_WRITE, tz, sizeof *tz);
verify_area296kernel/time.cerror = verify_area(VERIFY_WRITE, txc_p, sizeof(struct timex));
verify_area143mm/mmap.cerror = verify_area(VERIFY_READ, buffer, 6*4);
verify_area982net/inet/arp.cerr = verify_area(VERIFY_READ, arg, sizeof(struct arpreq));
verify_area992net/inet/arp.cerr = verify_area(VERIFY_WRITE, arg, sizeof(struct arpreq));
verify_area999net/inet/arp.cerr = verify_area(VERIFY_READ, arg, sizeof(struct arpreq));
verify_area810net/inet/dev.cerr=verify_area(VERIFY_WRITE, arg, sizeof(struct ifconf));
verify_area822net/inet/dev.cerr=verify_area(VERIFY_WRITE,pos,len);
verify_area975net/inet/dev.cint err=verify_area(VERIFY_WRITE, arg, sizeof(struct ifreq));
verify_area2042net/inet/ip.cerr=verify_area(VERIFY_READ, optval, sizeof(int));
verify_area2092net/inet/ip.cerr=verify_area(VERIFY_WRITE, optlen, sizeof(int));
verify_area2097net/inet/ip.cerr=verify_area(VERIFY_WRITE, optval, sizeof(int));
verify_area291net/inet/ipx.cerr=verify_area(VERIFY_READ,arg,sizeof(long));
verify_area298net/inet/ipx.cerr=verify_area(VERIFY_READ,arg,sizeof(f));
verify_area380net/inet/ipx.cerr=verify_area(VERIFY_READ,optval,sizeof(int));
verify_area442net/inet/ipx.cerr=verify_area(VERIFY_WRITE,optlen,sizeof(int));
verify_area446net/inet/ipx.cerr=verify_area(VERIFY_WRITE,optval,sizeof(int));
verify_area561net/inet/ipx.cerr=verify_area(VERIFY_READ,uaddr,addr_len);
verify_area618net/inet/ipx.cerr=verify_area(VERIFY_READ,uaddr,addr_len);
verify_area662net/inet/ipx.cerr = verify_area(VERIFY_WRITE,uaddr_len,sizeof(long));
verify_area668net/inet/ipx.cerr = verify_area(VERIFY_WRITE, uaddr, len);
verify_area850net/inet/ipx.cerr=verify_area(VERIFY_READ,usipx,sizeof(sipx));
verify_area877net/inet/ipx.cerr=verify_area(VERIFY_READ,ubuf,len);
verify_area985net/inet/ipx.cer=verify_area(VERIFY_WRITE,addr_len,sizeof(*addr_len));
verify_area992net/inet/ipx.cer=verify_area(VERIFY_WRITE,sipx,sizeof(*sipx));
verify_area996net/inet/ipx.cer=verify_area(VERIFY_WRITE,ubuf,size);
verify_area147net/inet/packet.cerr=verify_area(VERIFY_READ, usin, sizeof(saddr));
verify_area160net/inet/packet.cerr=verify_area(VERIFY_READ,from,len);
verify_area310net/inet/packet.cerr=verify_area(VERIFY_WRITE, addr_len, sizeof(*addr_len));
verify_area318net/inet/packet.cerr=verify_area(VERIFY_WRITE, saddr, sizeof(*saddr));    
verify_area327net/inet/packet.cerr=verify_area(VERIFY_WRITE,to,len);
verify_area166net/inet/raw.cerr=verify_area(VERIFY_READ,from,len);
verify_area172net/inet/raw.cerr=verify_area (VERIFY_READ, usin, sizeof (sin));
verify_area332net/inet/raw.cerr=verify_area(VERIFY_WRITE, addr_len, sizeof(*addr_len));
verify_area339net/inet/raw.cerr=verify_area(VERIFY_WRITE, sin, sizeof(*sin));
verify_area344net/inet/raw.cerr=verify_area(VERIFY_WRITE,to,len);
verify_area585net/inet/route.cerr=verify_area(VERIFY_READ, src, sizeof(*src));
verify_area627net/inet/route.cerr=verify_area(VERIFY_READ, arg, sizeof(struct rtentry));
verify_area479net/inet/sock.cerr=verify_area(VERIFY_READ, optval, sizeof(int));
verify_area505net/inet/sock.cerr=verify_area(VERIFY_READ,optval,sizeof(ling));
verify_area592net/inet/sock.cerr=verify_area(VERIFY_WRITE,optval,sizeof(ling));
verify_area595net/inet/sock.cerr=verify_area(VERIFY_WRITE,optlen,sizeof(int));
verify_area647net/inet/sock.cerr=verify_area(VERIFY_WRITE, optlen, sizeof(int));
verify_area652net/inet/sock.cerr=verify_area(VERIFY_WRITE, optval, sizeof(int));
verify_area982net/inet/sock.cerr=verify_area(VERIFY_READ, uaddr, addr_len);
verify_area1205net/inet/sock.cerr = verify_area(VERIFY_WRITE,uaddr_len,sizeof(long));
verify_area1211net/inet/sock.cerr = verify_area(VERIFY_WRITE, uaddr, len);
verify_area1435net/inet/sock.cerr=verify_area(VERIFY_READ,(int *)arg,sizeof(long));
verify_area1444net/inet/sock.cerr=verify_area(VERIFY_WRITE,(void *) arg, sizeof(long));
verify_area1456net/inet/sock.cerr=verify_area(VERIFY_WRITE,(void *)arg,sizeof(struct timeval));
verify_area451net/inet/tcp.cerr=verify_area(VERIFY_WRITE,(void *)arg,
verify_area462net/inet/tcp.cerr = verify_area(VERIFY_WRITE,(void *) arg,
verify_area475net/inet/tcp.cerr=verify_area(VERIFY_WRITE,(void *)arg,
verify_area1278net/inet/tcp.cerr = verify_area(VERIFY_WRITE, to, len);
verify_area1515net/inet/tcp.cerr = verify_area(VERIFY_WRITE,addr_len,sizeof(long));
verify_area1521net/inet/tcp.cerr=verify_area(VERIFY_WRITE, addr, len);  
verify_area2879net/inet/tcp.cerr=verify_area(VERIFY_READ, usin, addr_len);
verify_area3548net/inet/tcp.cerr=verify_area(VERIFY_READ, optval, sizeof(int));
verify_area3593net/inet/tcp.cerr=verify_area(VERIFY_WRITE, optlen, sizeof(int));
verify_area3598net/inet/tcp.cerr=verify_area(VERIFY_WRITE, optval, sizeof(int));
verify_area267net/inet/udp.cerr=verify_area(VERIFY_READ, from, len);
verify_area375net/inet/udp.cerr=verify_area(VERIFY_READ, usin, sizeof(sin));
verify_area435net/inet/udp.cerr=verify_area(VERIFY_READ, (void *)arg, sizeof(int));
verify_area457net/inet/udp.cerr=verify_area(VERIFY_WRITE,(void *)arg,
verify_area481net/inet/udp.cerr=verify_area(VERIFY_WRITE,(void *)arg,
verify_area535net/inet/udp.cer=verify_area(VERIFY_WRITE, addr_len, sizeof(*addr_len));
verify_area543net/inet/udp.cer=verify_area(VERIFY_WRITE, sin, sizeof(*sin));
verify_area552net/inet/udp.cer=verify_area(VERIFY_WRITE,to,len);
verify_area610net/inet/udp.cer=verify_area(VERIFY_READ, usin, sizeof(sin));
verify_area129net/inet/utils.cerr=verify_area(VERIFY_READ, (void *)arg, sizeof(int));
verify_area530net/socket.cer=verify_area(VERIFY_WRITE, usockvec, 2 * sizeof(int));
verify_area864net/socket.cer=verify_area(VERIFY_READ, args, 3 * sizeof(long));
verify_area871net/socket.cer=verify_area(VERIFY_READ, args, 3 * sizeof(long));
verify_area878net/socket.cer=verify_area(VERIFY_READ, args, 3 * sizeof(long));
verify_area885net/socket.cer=verify_area(VERIFY_READ, args, 2 * sizeof(long));
verify_area891net/socket.cer=verify_area(VERIFY_READ, args, 3 * sizeof(long));
verify_area898net/socket.cer=verify_area(VERIFY_READ, args, 3 * sizeof(long));
verify_area905net/socket.cer=verify_area(VERIFY_READ, args, 3 * sizeof(long));
verify_area912net/socket.cer=verify_area(VERIFY_READ, args, 4 * sizeof(long));
verify_area920net/socket.cer=verify_area(VERIFY_READ, args, 4 * sizeof(unsigned long));
verify_area928net/socket.cer=verify_area(VERIFY_READ, args, 6 * sizeof(unsigned long));
verify_area938net/socket.cer=verify_area(VERIFY_READ, args, 4 * sizeof(unsigned long));
verify_area946net/socket.cer=verify_area(VERIFY_READ, args, 6 * sizeof(unsigned long));
verify_area956net/socket.cer=verify_area(VERIFY_READ, args, 2* sizeof(unsigned long));
verify_area962net/socket.cer=verify_area(VERIFY_READ, args, 5*sizeof(unsigned long));
verify_area971net/socket.cer=verify_area(VERIFY_READ, args, 5*sizeof(unsigned long));
verify_area991net/socket.cer=verify_area(VERIFY_READ, (void *)arg, sizeof(long));
verify_area400net/unix/sock.cer=verify_area(VERIFY_WRITE, umyaddr, sockaddr_len);
verify_area458net/unix/sock.cer=verify_area(VERIFY_READ, uservaddr, sockaddr_len);
verify_area583net/unix/sock.cer=verify_area(VERIFY_WRITE, usockaddr_len, sizeof(*usockaddr_len));
verify_area589net/unix/sock.cer=verify_area(VERIFY_WRITE, usockaddr, len);
verify_area642net/unix/sock.cif((er=verify_area(VERIFY_WRITE,ubuf,cando))<0)
verify_area727net/unix/sock.cer=verify_area(VERIFY_READ, ubuf, cando);
verify_area809net/unix/sock.cer=verify_area(VERIFY_WRITE,(void *)arg, sizeof(unsigned long));
verify_area819net/unix/sock.cer=verify_area(VERIFY_WRITE,(void *)arg, sizeof(unsigned long));
verify_area868net/unix/sock.cer=verify_area(VERIFY_READ,(void *)arg, sizeof(int));