taglinefilesource code
VERIFY_WRITE94arch/i386/ibcs/binfmt_coff.cstatus = verify_area (VERIFY_WRITE,
VERIFY_WRITE49arch/i386/ibcs/binfmt_elf.cverify_area(VERIFY_WRITE, (void *) elf_bss, nbyte);
VERIFY_WRITE30arch/i386/kernel/ldt.cerror = verify_area(VERIFY_WRITE, ptr, size);
VERIFY_WRITE336arch/i386/kernel/ptrace.cres = verify_area(VERIFY_WRITE, (void *) data, sizeof(long));
VERIFY_WRITE351arch/i386/kernel/ptrace.cres = verify_area(VERIFY_WRITE, (void *) data, sizeof(long));
VERIFY_WRITE95arch/i386/kernel/signal.cif (verify_area(VERIFY_WRITE,frame,32*4))
VERIFY_WRITE102arch/i386/kernel/vm86.cerror = verify_area(VERIFY_WRITE,v86,sizeof(*v86));
VERIFY_WRITE236arch/i386/math-emu/load_store.cFPU_verify_area(VERIFY_WRITE,data_address,2);
VERIFY_WRITE248arch/i386/math-emu/load_store.cFPU_verify_area(VERIFY_WRITE,data_address,2);
VERIFY_WRITE434arch/i386/math-emu/reg_ld_str.cFPU_verify_area(VERIFY_WRITE, d, 10);
VERIFY_WRITE447arch/i386/math-emu/reg_ld_str.cFPU_verify_area(VERIFY_WRITE,d,10);
VERIFY_WRITE633arch/i386/math-emu/reg_ld_str.cFPU_verify_area(VERIFY_WRITE,(void *)dfloat,8);
VERIFY_WRITE646arch/i386/math-emu/reg_ld_str.cFPU_verify_area(VERIFY_WRITE,(void *)dfloat,8);
VERIFY_WRITE817arch/i386/math-emu/reg_ld_str.cFPU_verify_area(VERIFY_WRITE,(void *)single,4);
VERIFY_WRITE836arch/i386/math-emu/reg_ld_str.cFPU_verify_area(VERIFY_WRITE,(void *)single,4);
VERIFY_WRITE894arch/i386/math-emu/reg_ld_str.cFPU_verify_area(VERIFY_WRITE,(void *)d,8);
VERIFY_WRITE949arch/i386/math-emu/reg_ld_str.cFPU_verify_area(VERIFY_WRITE,d,4);
VERIFY_WRITE1003arch/i386/math-emu/reg_ld_str.cFPU_verify_area(VERIFY_WRITE,d,2);
VERIFY_WRITE1043arch/i386/math-emu/reg_ld_str.cFPU_verify_area(VERIFY_WRITE,d,10);
VERIFY_WRITE1062arch/i386/math-emu/reg_ld_str.cFPU_verify_area(VERIFY_WRITE,d,10);
VERIFY_WRITE1297arch/i386/math-emu/reg_ld_str.cFPU_verify_area(VERIFY_WRITE,d,14);
VERIFY_WRITE1325arch/i386/math-emu/reg_ld_str.cFPU_verify_area(VERIFY_WRITE,d,28);
VERIFY_WRITE1365arch/i386/math-emu/reg_ld_str.cFPU_verify_area(VERIFY_WRITE,d,80);
VERIFY_WRITE341arch/mips/kernel/ptrace.cres = verify_area(VERIFY_WRITE, (void *) data, sizeof(long));
VERIFY_WRITE356arch/mips/kernel/ptrace.cres = verify_area(VERIFY_WRITE, (void *) data, sizeof(long));
VERIFY_WRITE112arch/mips/kernel/signal.cif (verify_area(VERIFY_WRITE,frame,21*4))
VERIFY_WRITE568drivers/block/aztcd.cst = verify_area(VERIFY_WRITE, (void *) arg, sizeof tocHdr);
VERIFY_WRITE577drivers/block/aztcd.cst = verify_area(VERIFY_WRITE, (void *) arg, sizeof entry);
VERIFY_WRITE606drivers/block/aztcd.cst = verify_area(VERIFY_WRITE, (void *) arg, sizeof subchnl);
VERIFY_WRITE657drivers/block/aztcd.cst = verify_area(VERIFY_WRITE, (void *) arg, sizeof buf);
VERIFY_WRITE77drivers/block/blk.hcase BLKROGET: { int __err = verify_area(VERIFY_WRITE, (void *) (where), sizeof(long)); \
VERIFY_WRITE1790drivers/block/cdu31a.cverify_area(VERIFY_WRITE, (char *) arg, sizeof(schi));
VERIFY_WRITE2302drivers/block/cdu31a.cverify_area(VERIFY_WRITE, hdr, sizeof(*hdr));
VERIFY_WRITE2325drivers/block/cdu31a.cverify_area(VERIFY_WRITE, entry, sizeof(*entry));
VERIFY_WRITE2486drivers/block/cdu31a.cverify_area(VERIFY_WRITE, ra.buf, CD_FRAMESIZE_RAW * ra.nframes);
VERIFY_WRITE2549drivers/block/floppy.ci = verify_area(VERIFY_WRITE,param,size);
VERIFY_WRITE2688drivers/block/floppy.ci=verify_area(VERIFY_WRITE,(void *) param,16);
VERIFY_WRITE799drivers/block/hd.cerr = verify_area(VERIFY_WRITE, loc, sizeof(*loc));
VERIFY_WRITE818drivers/block/hd.cerr = verify_area(VERIFY_WRITE, (long *) arg, sizeof(long));
VERIFY_WRITE825drivers/block/hd.cerr = verify_area(VERIFY_WRITE, (long *) arg, sizeof(long));
VERIFY_WRITE848drivers/block/hd.cerr = verify_area(VERIFY_WRITE, (long *) arg, sizeof(long));
VERIFY_WRITE856drivers/block/hd.cerr = verify_area(VERIFY_WRITE, (long *) arg, sizeof(long));
VERIFY_WRITE884drivers/block/hd.cerr = verify_area(VERIFY_WRITE, (char *) arg, sizeof(struct hd_driveid));
VERIFY_WRITE1387drivers/block/ide-cd.cstat = verify_area (VERIFY_WRITE, (void *) arg, sizeof (tochdr));
VERIFY_WRITE1411drivers/block/ide-cd.cstat = verify_area (VERIFY_WRITE, (void *) arg, sizeof (tocentry));
VERIFY_WRITE1444drivers/block/ide-cd.cstat = verify_area (VERIFY_WRITE, (void *) arg, sizeof (subchnl));
VERIFY_WRITE1531drivers/block/ide-cd.cstat = verify_area (VERIFY_WRITE, (void *) arg, sizeof (reqbuf));
VERIFY_WRITE1390drivers/block/ide.cif ((err = verify_area(VERIFY_WRITE, (long *)useraddr, sizeof(long))))
VERIFY_WRITE1411drivers/block/ide.cerr = verify_area(VERIFY_WRITE, loc, sizeof(*loc));
VERIFY_WRITE1457drivers/block/ide.cerr = verify_area(VERIFY_WRITE, (char *)arg, sizeof(*dev->id));
VERIFY_WRITE1512drivers/block/ide.cif (!(err = verify_area(VERIFY_WRITE,(long *)arg,sizeof(long))))
VERIFY_WRITE408drivers/block/mcd.cst = verify_area(VERIFY_WRITE, (void *) arg, sizeof tocHdr);
VERIFY_WRITE419drivers/block/mcd.cst = verify_area(VERIFY_WRITE, (void *) arg, sizeof entry);
VERIFY_WRITE456drivers/block/mcd.cst = verify_area(VERIFY_WRITE, (void *) arg, sizeof subchnl);
VERIFY_WRITE3349drivers/block/sbpcd.cst=verify_area(VERIFY_WRITE, (void *) arg, sizeof(struct cdrom_tochdr));
VERIFY_WRITE3373drivers/block/sbpcd.cst=verify_area(VERIFY_WRITE,(void *) arg, sizeof(struct cdrom_tocentry));
VERIFY_WRITE3427drivers/block/sbpcd.cst=verify_area(VERIFY_WRITE, (void *) arg, sizeof(struct cdrom_subchnl));
VERIFY_WRITE3504drivers/block/sbpcd.ci=verify_area(VERIFY_WRITE, read_audio.buf,
VERIFY_WRITE3697drivers/block/sbpcd.cst=verify_area(VERIFY_WRITE,(void *) arg, sizeof(struct cdrom_multisession));
VERIFY_WRITE247drivers/block/xd.cif ((err = verify_area(VERIFY_WRITE,geometry,sizeof(*geometry))))
VERIFY_WRITE265drivers/block/xd.cif ((err = verify_area(VERIFY_WRITE,(long *) arg,sizeof(long))))
VERIFY_WRITE145drivers/char/busmouse.cif ((r = verify_area(VERIFY_WRITE, buffer, count)))
VERIFY_WRITE2220drivers/char/console.cl = verify_area(mode==2 ? VERIFY_READ :VERIFY_WRITE,
VERIFY_WRITE2598drivers/char/console.ci = verify_area(set ? VERIFY_READ : VERIFY_WRITE, (void *)arg, cmapsz);
VERIFY_WRITE2692drivers/char/console.ci = verify_area(VERIFY_WRITE, (void *)arg, E_TABSZ);
VERIFY_WRITE1930drivers/char/cyclades.cerror = verify_area(VERIFY_WRITE, (void *) arg
VERIFY_WRITE1946drivers/char/cyclades.cerror = verify_area(VERIFY_WRITE, (void *) arg
VERIFY_WRITE1955drivers/char/cyclades.cerror = verify_area(VERIFY_WRITE, (void *) arg
VERIFY_WRITE492drivers/char/lp.cretval = verify_area(VERIFY_WRITE, (void *) arg,
VERIFY_WRITE499drivers/char/lp.cretval = verify_area(VERIFY_WRITE, (void *) arg,
VERIFY_WRITE1713drivers/char/serial.cerror = verify_area(VERIFY_WRITE, (void *) arg,sizeof(long));
VERIFY_WRITE1726drivers/char/serial.cerror = verify_area(VERIFY_WRITE, (void *) arg,
VERIFY_WRITE1736drivers/char/serial.cerror = verify_area(VERIFY_WRITE, (void *) arg,
VERIFY_WRITE1749drivers/char/serial.cerror = verify_area(VERIFY_WRITE, (void *) arg,
VERIFY_WRITE1757drivers/char/serial.cerror = verify_area(VERIFY_WRITE, (void *) arg,
VERIFY_WRITE1773drivers/char/serial.cerror = verify_area(VERIFY_WRITE, (void *) arg,
VERIFY_WRITE1948drivers/char/tpqic02.cerror = verify_area(VERIFY_WRITE, buf, count);
VERIFY_WRITE2619drivers/char/tpqic02.cerror = verify_area(VERIFY_WRITE, (void *) ioarg, sizeof(qic02_tape_dynconf));
VERIFY_WRITE2734drivers/char/tpqic02.cerror =  verify_area(VERIFY_WRITE, (void *) ioarg, sizeof(ioctl_status));
VERIFY_WRITE2762drivers/char/tpqic02.cerror = verify_area(VERIFY_WRITE, (void *) ioarg, sizeof(ioctl_tell));
VERIFY_WRITE1265drivers/char/tty_io.ci = verify_area(VERIFY_WRITE, (void *)arg, sizeof(struct tstruct));
VERIFY_WRITE1314drivers/char/tty_io.cretval = verify_area(VERIFY_WRITE, (void *) arg,
VERIFY_WRITE1411drivers/char/tty_io.cretval = verify_area(VERIFY_WRITE, (void *) arg,
VERIFY_WRITE1433drivers/char/tty_io.cretval = verify_area(VERIFY_WRITE, (void *) arg,
VERIFY_WRITE1494drivers/char/tty_io.cretval = verify_area(VERIFY_WRITE, (void *) arg,
VERIFY_WRITE185drivers/char/tty_ioctl.ci = verify_area(VERIFY_WRITE, termio, sizeof (struct termio));
VERIFY_WRITE233drivers/char/tty_ioctl.cretval = verify_area(VERIFY_WRITE, (void *) arg,
VERIFY_WRITE302drivers/char/tty_ioctl.cretval = verify_area(VERIFY_WRITE, (void *) arg,
VERIFY_WRITE313drivers/char/tty_ioctl.cretval = verify_area(VERIFY_WRITE, (void *) arg,
VERIFY_WRITE325drivers/char/tty_ioctl.cretval = verify_area(VERIFY_WRITE, (void *) arg,
VERIFY_WRITE179drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *) arg, sizeof(unsigned char));
VERIFY_WRITE233drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *) arg, sizeof(unsigned long));
VERIFY_WRITE272drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *) arg, sizeof(unsigned long));
VERIFY_WRITE298drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *) arg, sizeof(unsigned long));
VERIFY_WRITE312drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *)a, sizeof(struct kbkeycode));
VERIFY_WRITE344drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *)a, sizeof(struct kbentry));
VERIFY_WRITE441drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *)a, sizeof(struct kbsentry));
VERIFY_WRITE537drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *) a, sizeof(struct kbdiacrs));
VERIFY_WRITE567drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *) arg, sizeof(unsigned char));
VERIFY_WRITE587drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *) arg, sizeof(unsigned char));
VERIFY_WRITE628drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *)vtmode, sizeof(struct vt_mode));
VERIFY_WRITE649drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *)arg, sizeof(struct vt_mode));
VERIFY_WRITE670drivers/char/vt.ci = verify_area(VERIFY_WRITE,(void *)vtstat, sizeof(struct vt_stat));
VERIFY_WRITE686drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *) arg, sizeof(long));
VERIFY_WRITE1420drivers/net/ppp.cerror = verify_area (VERIFY_WRITE, (void *) l, sizeof (temp_i));
VERIFY_WRITE1443drivers/net/ppp.cerror = verify_area (VERIFY_WRITE, (void *) l, sizeof (temp_i));
VERIFY_WRITE1473drivers/net/ppp.cerror = verify_area (VERIFY_WRITE, (void *) l, sizeof (temp_i));
VERIFY_WRITE1501drivers/net/ppp.cerror = verify_area (VERIFY_WRITE, (void *) l, sizeof (temp_i));
VERIFY_WRITE1510drivers/net/ppp.cerror = verify_area (VERIFY_WRITE, (void *) l, sizeof (struct ppp_stats));
VERIFY_WRITE1518drivers/net/ppp.cerror = verify_area (VERIFY_WRITE, (void *) l, sizeof (struct ppp_ddinfo));
VERIFY_WRITE1535drivers/net/ppp.cerror = verify_area (VERIFY_WRITE,
VERIFY_WRITE970drivers/net/slip.cerr = verify_area(VERIFY_WRITE, arg, 16);
VERIFY_WRITE978drivers/net/slip.cerr = verify_area(VERIFY_WRITE, arg, sizeof(long));
VERIFY_WRITE45drivers/scsi/scsi_ioctl.cverify_area(VERIFY_WRITE, buffer, len);
VERIFY_WRITE199drivers/scsi/scsi_ioctl.cresult = verify_area(VERIFY_WRITE, cmd_in, sizeof(SCpnt->sense_buffer));
VERIFY_WRITE205drivers/scsi/scsi_ioctl.cresult = verify_area(VERIFY_WRITE, cmd_in, (outlen > MAX_BUF) ? MAX_BUF  : outlen);
VERIFY_WRITE251drivers/scsi/scsi_ioctl.cverify_area(VERIFY_WRITE, (void *) arg, sizeof(int));
VERIFY_WRITE29drivers/scsi/sd_ioctl.cerror = verify_area(VERIFY_WRITE, loc, sizeof(*loc));
VERIFY_WRITE51drivers/scsi/sd_ioctl.cerror = verify_area(VERIFY_WRITE, (long *) arg, sizeof(long));
VERIFY_WRITE175drivers/scsi/sg.cif ((i=verify_area(VERIFY_WRITE,buf,count)))
VERIFY_WRITE196drivers/scsi/sr_ioctl.cerr = verify_area (VERIFY_WRITE, (void *) arg, sizeof (struct cdrom_tochdr));
VERIFY_WRITE236drivers/scsi/sr_ioctl.cerr = verify_area (VERIFY_WRITE, (void *) arg, sizeof (struct cdrom_tocentry));
VERIFY_WRITE377drivers/scsi/sr_ioctl.cerr = verify_area (VERIFY_WRITE, (void *) arg, sizeof (struct cdrom_subchnl));
VERIFY_WRITE416drivers/scsi/sr_ioctl.cerr=verify_area(VERIFY_WRITE,(void *) arg,
VERIFY_WRITE1668drivers/scsi/st.ci = verify_area(VERIFY_WRITE, (void *)arg, sizeof(mtc));
VERIFY_WRITE1694drivers/scsi/st.ci = verify_area(VERIFY_WRITE, (void *)arg, sizeof(struct mtget));
VERIFY_WRITE1757drivers/scsi/st.ci = verify_area(VERIFY_WRITE, (void *)arg, sizeof(struct mtpos));
VERIFY_WRITE52drivers/sound/soundcard.cerror = verify_area(VERIFY_WRITE, addr, sizeof(int));
VERIFY_WRITE72fs/binfmt_elf.cverify_area(VERIFY_WRITE, (void *) elf_bss, nbyte);
VERIFY_WRITE1778fs/buffer.cerror = verify_area(VERIFY_WRITE, (void *) data, sizeof(int));
VERIFY_WRITE487fs/exec.cresult = verify_area(VERIFY_WRITE, addr, count);
VERIFY_WRITE28fs/ext2/ioctl.cif ((err = verify_area (VERIFY_WRITE, (long *) arg, sizeof(long))))
VERIFY_WRITE60fs/ext2/ioctl.cif ((err = verify_area (VERIFY_WRITE, (long *) arg, sizeof(long))))
VERIFY_WRITE28fs/ioctl.cerror = verify_area(VERIFY_WRITE,(void *) arg,4);
VERIFY_WRITE38fs/ioctl.cerror = verify_area(VERIFY_WRITE,(void *) arg,4);
VERIFY_WRITE45fs/ioctl.cerror = verify_area(VERIFY_WRITE,(void *) arg,4);
VERIFY_WRITE57fs/locks.cerror = verify_area(VERIFY_WRITE,l, sizeof(*l));
VERIFY_WRITE35fs/open.cerror = verify_area(VERIFY_WRITE, buf, sizeof(struct statfs));
VERIFY_WRITE56fs/open.cerror = verify_area(VERIFY_WRITE, buf, sizeof(struct statfs));
VERIFY_WRITE141fs/pipe.cerror = verify_area(VERIFY_WRITE, (void *) arg,4);
VERIFY_WRITE386fs/pipe.cj = verify_area(VERIFY_WRITE,fildes,8);
VERIFY_WRITE40fs/read_write.cerror = verify_area(VERIFY_WRITE, dirent, size);
VERIFY_WRITE96fs/read_write.cif ((err = verify_area(VERIFY_WRITE, result, sizeof(loff_t))))
VERIFY_WRITE136fs/read_write.cerror = verify_area(VERIFY_WRITE,buf,count);
VERIFY_WRITE164fs/select.cerror = verify_area(VERIFY_WRITE,fs_pointer,sizeof(fd_set));
VERIFY_WRITE230fs/select.ci = verify_area(VERIFY_WRITE, tvp, sizeof(*tvp));
VERIFY_WRITE102fs/stat.cerror = verify_area(VERIFY_WRITE,statbuf,sizeof (*statbuf));
VERIFY_WRITE118fs/stat.cerror = verify_area(VERIFY_WRITE,statbuf,sizeof (*statbuf));
VERIFY_WRITE134fs/stat.cerror = verify_area(VERIFY_WRITE,statbuf,sizeof (*statbuf));
VERIFY_WRITE150fs/stat.cerror = verify_area(VERIFY_WRITE,statbuf,sizeof (*statbuf));
VERIFY_WRITE167fs/stat.cerror = verify_area(VERIFY_WRITE,statbuf,sizeof (*statbuf));
VERIFY_WRITE182fs/stat.cerror = verify_area(VERIFY_WRITE,statbuf,sizeof (*statbuf));
VERIFY_WRITE198fs/stat.cerror = verify_area(VERIFY_WRITE,buf,bufsiz);
VERIFY_WRITE110fs/super.cerr = verify_area(VERIFY_WRITE, buf, len);
VERIFY_WRITE124ipc/msg.cerr = verify_area (VERIFY_WRITE, msgp->mtext, msgsz);
VERIFY_WRITE348ipc/msg.cerr = verify_area (VERIFY_WRITE, buf, sizeof (struct msginfo));
VERIFY_WRITE357ipc/msg.cerr = verify_area (VERIFY_WRITE, buf, sizeof (*buf));
VERIFY_WRITE390ipc/msg.cerr = verify_area (VERIFY_WRITE, buf, sizeof(*buf));
VERIFY_WRITE186ipc/sem.ci = verify_area(VERIFY_WRITE, tmp, sizeof(struct seminfo));
VERIFY_WRITE195ipc/sem.ci = verify_area (VERIFY_WRITE, buf, sizeof (*buf));
VERIFY_WRITE250ipc/sem.ci = verify_area (VERIFY_WRITE, array, nsems*sizeof(ushort));
VERIFY_WRITE278ipc/sem.cif ((i = verify_area (VERIFY_WRITE, buf, sizeof(*buf))))
VERIFY_WRITE229ipc/shm.cerr = verify_area (VERIFY_WRITE, buf, sizeof (struct shminfo));
VERIFY_WRITE240ipc/shm.cerr = verify_area (VERIFY_WRITE, buf, sizeof (shm_info));
VERIFY_WRITE255ipc/shm.cerr = verify_area (VERIFY_WRITE, buf, sizeof (*buf));
VERIFY_WRITE308ipc/shm.cerr = verify_area (VERIFY_WRITE, buf, sizeof (*buf));
VERIFY_WRITE127ipc/util.cif ((err = verify_area(VERIFY_WRITE, (ulong*) third, sizeof(ulong))))
VERIFY_WRITE488kernel/exit.cflag = verify_area(VERIFY_WRITE, stat_addr, 4);
VERIFY_WRITE23kernel/info.cerror = verify_area(VERIFY_WRITE, info, sizeof(struct sysinfo));
VERIFY_WRITE67kernel/itimer.cerror = verify_area(VERIFY_WRITE, value, sizeof(struct itimerval));
VERIFY_WRITE125kernel/itimer.cerror = verify_area(VERIFY_WRITE, ovalue, sizeof(struct itimerval));
VERIFY_WRITE381kernel/module.cif ((i = verify_area(VERIFY_WRITE, to, nmodsyms * sizeof(*table))))
VERIFY_WRITE74kernel/printk.cerror = verify_area(VERIFY_WRITE,buf,len);
VERIFY_WRITE107kernel/printk.cerror = verify_area(VERIFY_WRITE,buf,len);
VERIFY_WRITE47kernel/signal.cerror = verify_area(VERIFY_WRITE, oset, sizeof(sigset_t));
VERIFY_WRITE72kernel/signal.cerror = verify_area(VERIFY_WRITE, set, 4);
VERIFY_WRITE164kernel/signal.cint err = verify_area(VERIFY_WRITE, oldaction, sizeof(*oldaction));
VERIFY_WRITE368kernel/sys.cint error = verify_area(VERIFY_WRITE,tbuf,sizeof *tbuf);
VERIFY_WRITE531kernel/sys.ci = verify_area(VERIFY_WRITE, grouplist, sizeof(gid_t) * gidsetsize);
VERIFY_WRITE584kernel/sys.cerror = verify_area(VERIFY_WRITE, name, sizeof *name);
VERIFY_WRITE595kernel/sys.cerror = verify_area(VERIFY_WRITE, name,sizeof *name);
VERIFY_WRITE616kernel/sys.cerror = verify_area(VERIFY_WRITE, name,sizeof *name);
VERIFY_WRITE677kernel/sys.cerror = verify_area(VERIFY_WRITE,rlim,sizeof *rlim);
VERIFY_WRITE724kernel/sys.cerror = verify_area(VERIFY_WRITE, ru, sizeof *ru);
VERIFY_WRITE114kernel/time.cerror = verify_area(VERIFY_WRITE, tloc, 4);
VERIFY_WRITE229kernel/time.cerror = verify_area(VERIFY_WRITE, tv, sizeof *tv);
VERIFY_WRITE237kernel/time.cerror = verify_area(VERIFY_WRITE, tz, sizeof *tz);
VERIFY_WRITE341kernel/time.cerror = verify_area(VERIFY_WRITE, txc_p, sizeof(struct timex));
VERIFY_WRITE607mm/memory.cif (type == VERIFY_WRITE)
VERIFY_WRITE1244net/inet/af_inet.cerr=verify_area(VERIFY_WRITE,(void *) arg, sizeof(long));
VERIFY_WRITE1252net/inet/af_inet.cerr=verify_area(VERIFY_WRITE,(void *)arg,sizeof(struct timeval));
VERIFY_WRITE1232net/inet/arp.cerr = verify_area(VERIFY_WRITE, arg, sizeof(struct arpreq));
VERIFY_WRITE820net/inet/dev.cerr=verify_area(VERIFY_WRITE, arg, sizeof(struct ifconf));
VERIFY_WRITE832net/inet/dev.cerr=verify_area(VERIFY_WRITE,pos,len);
VERIFY_WRITE985net/inet/dev.cint err=verify_area(VERIFY_WRITE, arg, sizeof(struct ifreq));
VERIFY_WRITE2350net/inet/ip.cerr=verify_area(VERIFY_WRITE, optlen, sizeof(int));
VERIFY_WRITE2354net/inet/ip.cerr=verify_area(VERIFY_WRITE, optval, len);
VERIFY_WRITE2364net/inet/ip.cerr=verify_area(VERIFY_WRITE, optlen, sizeof(int));
VERIFY_WRITE2369net/inet/ip.cerr=verify_area(VERIFY_WRITE, optval, sizeof(int));
VERIFY_WRITE828net/inet/ipx.cerr=verify_area(VERIFY_WRITE,arg,sizeof(ifr));
VERIFY_WRITE1311net/inet/ipx.cerr=verify_area(VERIFY_WRITE,optlen,sizeof(int));
VERIFY_WRITE1315net/inet/ipx.cerr=verify_area(VERIFY_WRITE,optval,sizeof(int));
VERIFY_WRITE1781net/inet/ipx.cerr=verify_area(VERIFY_WRITE,(void *)arg,sizeof(unsigned long));
VERIFY_WRITE1795net/inet/ipx.cerr=verify_area(VERIFY_WRITE,(void *)arg,sizeof(unsigned long));
VERIFY_WRITE1813net/inet/ipx.cerr=verify_area(VERIFY_WRITE,(void *)arg,
VERIFY_WRITE1823net/inet/ipx.cerr=verify_area(VERIFY_WRITE,(void *)arg,sizeof(struct timeval));
VERIFY_WRITE408net/inet/rarp.cerr = verify_area(VERIFY_WRITE, arg, sizeof(struct arpreq));
VERIFY_WRITE242net/inet/sock.cerr=verify_area(VERIFY_WRITE,optval,sizeof(ling));
VERIFY_WRITE245net/inet/sock.cerr=verify_area(VERIFY_WRITE,optlen,sizeof(int));
VERIFY_WRITE300net/inet/sock.cerr=verify_area(VERIFY_WRITE, optlen, sizeof(int));
VERIFY_WRITE305net/inet/sock.cerr=verify_area(VERIFY_WRITE, optval, sizeof(int));
VERIFY_WRITE977net/inet/tcp.cerr=verify_area(VERIFY_WRITE,(void *)arg,
VERIFY_WRITE988net/inet/tcp.cerr = verify_area(VERIFY_WRITE,(void *) arg,
VERIFY_WRITE1001net/inet/tcp.cerr=verify_area(VERIFY_WRITE,(void *)arg,
VERIFY_WRITE5043net/inet/tcp.cerr=verify_area(VERIFY_WRITE, optlen, sizeof(int));
VERIFY_WRITE5048net/inet/tcp.cerr=verify_area(VERIFY_WRITE, optval, sizeof(int));
VERIFY_WRITE423net/inet/udp.cerr=verify_area(VERIFY_WRITE,(void *)arg,
VERIFY_WRITE447net/inet/udp.cerr=verify_area(VERIFY_WRITE,(void *)arg,
VERIFY_WRITE135net/socket.cif((err=verify_area(VERIFY_WRITE,ulen,sizeof(*ulen)))<0)
VERIFY_WRITE144net/socket.cif((err=verify_area(VERIFY_WRITE,uaddr,len))<0)
VERIFY_WRITE332net/socket.cif ((err=verify_area(VERIFY_WRITE,ubuf,size))<0)
VERIFY_WRITE704net/socket.cer=verify_area(VERIFY_WRITE, usockvec, 2 * sizeof(int));
VERIFY_WRITE1024net/socket.cerr=verify_area(VERIFY_WRITE, buff, len);
VERIFY_WRITE1054net/socket.cerr=verify_area(VERIFY_WRITE,buff,len);
VERIFY_WRITE843net/unix/sock.cer=verify_area(VERIFY_WRITE,(void *)arg, sizeof(unsigned long));
VERIFY_WRITE854net/unix/sock.cer=verify_area(VERIFY_WRITE,(void *)arg, sizeof(unsigned long));