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_WRITE29arch/i386/kernel/ldt.cerror = verify_area(VERIFY_WRITE, ptr, size);
VERIFY_WRITE331arch/i386/kernel/ptrace.cres = verify_area(VERIFY_WRITE, (void *) data, sizeof(long));
VERIFY_WRITE346arch/i386/kernel/ptrace.cres = verify_area(VERIFY_WRITE, (void *) data, sizeof(long));
VERIFY_WRITE94arch/i386/kernel/signal.cif (verify_area(VERIFY_WRITE,frame,32*4))
VERIFY_WRITE97arch/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_WRITE336arch/mips/kernel/ptrace.cres = verify_area(VERIFY_WRITE, (void *) data, sizeof(long));
VERIFY_WRITE351arch/mips/kernel/ptrace.cres = verify_area(VERIFY_WRITE, (void *) data, sizeof(long));
VERIFY_WRITE111arch/mips/kernel/signal.cif (verify_area(VERIFY_WRITE,frame,21*4))
VERIFY_WRITE74drivers/block/blk.hcase BLKROGET: { int __err = verify_area(VERIFY_WRITE, (void *) (where), sizeof(long)); \
VERIFY_WRITE1781drivers/block/cdu31a.cverify_area(VERIFY_WRITE, (char *) arg, sizeof(schi));
VERIFY_WRITE2299drivers/block/cdu31a.cverify_area(VERIFY_WRITE, hdr, sizeof(*hdr));
VERIFY_WRITE2322drivers/block/cdu31a.cverify_area(VERIFY_WRITE, entry, sizeof(*entry));
VERIFY_WRITE2483drivers/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_WRITE1384drivers/block/ide.cif ((err = verify_area(VERIFY_WRITE, (long *)useraddr, sizeof(long))))
VERIFY_WRITE1405drivers/block/ide.cerr = verify_area(VERIFY_WRITE, loc, sizeof(*loc));
VERIFY_WRITE1451drivers/block/ide.cerr = verify_area(VERIFY_WRITE, (char *)arg, sizeof(*dev->id));
VERIFY_WRITE1506drivers/block/ide.cif (!(err = verify_area(VERIFY_WRITE,(long *)arg,sizeof(long))))
VERIFY_WRITE407drivers/block/mcd.cst = verify_area(VERIFY_WRITE, (void *) arg, sizeof tocHdr);
VERIFY_WRITE418drivers/block/mcd.cst = verify_area(VERIFY_WRITE, (void *) arg, sizeof entry);
VERIFY_WRITE455drivers/block/mcd.cst = verify_area(VERIFY_WRITE, (void *) arg, sizeof subchnl);
VERIFY_WRITE3140drivers/block/sbpcd.cst=verify_area(VERIFY_WRITE, (void *) arg, sizeof(struct cdrom_tochdr));
VERIFY_WRITE3164drivers/block/sbpcd.cst=verify_area(VERIFY_WRITE,(void *) arg, sizeof(struct cdrom_tocentry));
VERIFY_WRITE3218drivers/block/sbpcd.cst=verify_area(VERIFY_WRITE, (void *) arg, sizeof(struct cdrom_subchnl));
VERIFY_WRITE3294drivers/block/sbpcd.ci=verify_area(VERIFY_WRITE, read_audio.buf,
VERIFY_WRITE3487drivers/block/sbpcd.cst=verify_area(VERIFY_WRITE,(void *) arg, sizeof(struct cdrom_multisession));
VERIFY_WRITE246drivers/block/xd.cif ((err = verify_area(VERIFY_WRITE,geometry,sizeof(*geometry))))
VERIFY_WRITE264drivers/block/xd.cif ((err = verify_area(VERIFY_WRITE,(long *) arg,sizeof(long))))
VERIFY_WRITE144drivers/char/busmouse.cif ((r = verify_area(VERIFY_WRITE, buffer, count)))
VERIFY_WRITE2200drivers/char/console.cl = verify_area(mode==2 ? VERIFY_READ :VERIFY_WRITE,
VERIFY_WRITE2578drivers/char/console.ci = verify_area(set ? VERIFY_READ : VERIFY_WRITE, (void *)arg, cmapsz);
VERIFY_WRITE2672drivers/char/console.ci = verify_area(VERIFY_WRITE, (void *)arg, E_TABSZ);
VERIFY_WRITE1929drivers/char/cyclades.cerror = verify_area(VERIFY_WRITE, (void *) arg
VERIFY_WRITE1945drivers/char/cyclades.cerror = verify_area(VERIFY_WRITE, (void *) arg
VERIFY_WRITE1954drivers/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_WRITE1708drivers/char/serial.cerror = verify_area(VERIFY_WRITE, (void *) arg,sizeof(long));
VERIFY_WRITE1721drivers/char/serial.cerror = verify_area(VERIFY_WRITE, (void *) arg,
VERIFY_WRITE1731drivers/char/serial.cerror = verify_area(VERIFY_WRITE, (void *) arg,
VERIFY_WRITE1744drivers/char/serial.cerror = verify_area(VERIFY_WRITE, (void *) arg,
VERIFY_WRITE1752drivers/char/serial.cerror = verify_area(VERIFY_WRITE, (void *) arg,
VERIFY_WRITE1768drivers/char/serial.cerror = verify_area(VERIFY_WRITE, (void *) arg,
VERIFY_WRITE1947drivers/char/tpqic02.cerror = verify_area(VERIFY_WRITE, buf, count);
VERIFY_WRITE2618drivers/char/tpqic02.cerror = verify_area(VERIFY_WRITE, (void *) ioarg, sizeof(qic02_tape_dynconf));
VERIFY_WRITE2733drivers/char/tpqic02.cerror =  verify_area(VERIFY_WRITE, (void *) ioarg, sizeof(ioctl_status));
VERIFY_WRITE2761drivers/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_WRITE1493drivers/char/tty_io.cretval = verify_area(VERIFY_WRITE, (void *) arg,
VERIFY_WRITE184drivers/char/tty_ioctl.ci = verify_area(VERIFY_WRITE, termio, sizeof (struct termio));
VERIFY_WRITE232drivers/char/tty_ioctl.cretval = verify_area(VERIFY_WRITE, (void *) arg,
VERIFY_WRITE301drivers/char/tty_ioctl.cretval = verify_area(VERIFY_WRITE, (void *) arg,
VERIFY_WRITE312drivers/char/tty_ioctl.cretval = verify_area(VERIFY_WRITE, (void *) arg,
VERIFY_WRITE324drivers/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_WRITE435drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *)a, sizeof(struct kbsentry));
VERIFY_WRITE531drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *) a, sizeof(struct kbdiacrs));
VERIFY_WRITE561drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *) arg, sizeof(unsigned char));
VERIFY_WRITE581drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *) arg, sizeof(unsigned char));
VERIFY_WRITE622drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *)vtmode, sizeof(struct vt_mode));
VERIFY_WRITE643drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *)arg, sizeof(struct vt_mode));
VERIFY_WRITE664drivers/char/vt.ci = verify_area(VERIFY_WRITE,(void *)vtstat, sizeof(struct vt_stat));
VERIFY_WRITE680drivers/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_WRITE971drivers/net/slip.cerr = verify_area(VERIFY_WRITE, arg, 16);
VERIFY_WRITE979drivers/net/slip.cerr = verify_area(VERIFY_WRITE, arg, sizeof(long));
VERIFY_WRITE44drivers/scsi/scsi_ioctl.cverify_area(VERIFY_WRITE, buffer, len);
VERIFY_WRITE198drivers/scsi/scsi_ioctl.cresult = verify_area(VERIFY_WRITE, cmd_in, sizeof(SCpnt->sense_buffer));
VERIFY_WRITE204drivers/scsi/scsi_ioctl.cresult = verify_area(VERIFY_WRITE, cmd_in, (outlen > MAX_BUF) ? MAX_BUF  : outlen);
VERIFY_WRITE250drivers/scsi/scsi_ioctl.cverify_area(VERIFY_WRITE, (void *) arg, sizeof(int));
VERIFY_WRITE28drivers/scsi/sd_ioctl.cerror = verify_area(VERIFY_WRITE, loc, sizeof(*loc));
VERIFY_WRITE50drivers/scsi/sd_ioctl.cerror = verify_area(VERIFY_WRITE, (long *) arg, sizeof(long));
VERIFY_WRITE174drivers/scsi/sg.cif ((i=verify_area(VERIFY_WRITE,buf,count)))
VERIFY_WRITE195drivers/scsi/sr_ioctl.cerr = verify_area (VERIFY_WRITE, (void *) arg, sizeof (struct cdrom_tochdr));
VERIFY_WRITE235drivers/scsi/sr_ioctl.cerr = verify_area (VERIFY_WRITE, (void *) arg, sizeof (struct cdrom_tocentry));
VERIFY_WRITE376drivers/scsi/sr_ioctl.cerr = verify_area (VERIFY_WRITE, (void *) arg, sizeof (struct cdrom_subchnl));
VERIFY_WRITE415drivers/scsi/sr_ioctl.cerr=verify_area(VERIFY_WRITE,(void *) arg,
VERIFY_WRITE1665drivers/scsi/st.ci = verify_area(VERIFY_WRITE, (void *)arg, sizeof(mtc));
VERIFY_WRITE1691drivers/scsi/st.ci = verify_area(VERIFY_WRITE, (void *)arg, sizeof(struct mtget));
VERIFY_WRITE1754drivers/scsi/st.ci = verify_area(VERIFY_WRITE, (void *)arg, sizeof(struct mtpos));
VERIFY_WRITE51drivers/sound/soundcard.cerror = verify_area(VERIFY_WRITE, addr, sizeof(int));
VERIFY_WRITE68fs/binfmt_elf.cverify_area(VERIFY_WRITE, (void *) elf_bss, nbyte);
VERIFY_WRITE1762fs/buffer.cerror = verify_area(VERIFY_WRITE, (void *) data, sizeof(int));
VERIFY_WRITE485fs/exec.cresult = verify_area(VERIFY_WRITE, addr, count);
VERIFY_WRITE27fs/ext2/ioctl.cif ((err = verify_area (VERIFY_WRITE, (long *) arg, sizeof(long))))
VERIFY_WRITE59fs/ext2/ioctl.cif ((err = verify_area (VERIFY_WRITE, (long *) arg, sizeof(long))))
VERIFY_WRITE27fs/ioctl.cerror = verify_area(VERIFY_WRITE,(void *) arg,4);
VERIFY_WRITE37fs/ioctl.cerror = verify_area(VERIFY_WRITE,(void *) arg,4);
VERIFY_WRITE44fs/ioctl.cerror = verify_area(VERIFY_WRITE,(void *) arg,4);
VERIFY_WRITE57fs/locks.cerror = verify_area(VERIFY_WRITE,l, sizeof(*l));
VERIFY_WRITE34fs/open.cerror = verify_area(VERIFY_WRITE, buf, sizeof(struct statfs));
VERIFY_WRITE55fs/open.cerror = verify_area(VERIFY_WRITE, buf, sizeof(struct statfs));
VERIFY_WRITE140fs/pipe.cerror = verify_area(VERIFY_WRITE, (void *) arg,4);
VERIFY_WRITE385fs/pipe.cj = verify_area(VERIFY_WRITE,fildes,8);
VERIFY_WRITE39fs/read_write.cerror = verify_area(VERIFY_WRITE, dirent, size);
VERIFY_WRITE95fs/read_write.cif ((err = verify_area(VERIFY_WRITE, result, sizeof(loff_t))))
VERIFY_WRITE135fs/read_write.cerror = verify_area(VERIFY_WRITE,buf,count);
VERIFY_WRITE163fs/select.cerror = verify_area(VERIFY_WRITE,fs_pointer,sizeof(fd_set));
VERIFY_WRITE229fs/select.ci = verify_area(VERIFY_WRITE, tvp, sizeof(*tvp));
VERIFY_WRITE100fs/stat.cerror = verify_area(VERIFY_WRITE,statbuf,sizeof (*statbuf));
VERIFY_WRITE116fs/stat.cerror = verify_area(VERIFY_WRITE,statbuf,sizeof (*statbuf));
VERIFY_WRITE132fs/stat.cerror = verify_area(VERIFY_WRITE,statbuf,sizeof (*statbuf));
VERIFY_WRITE148fs/stat.cerror = verify_area(VERIFY_WRITE,statbuf,sizeof (*statbuf));
VERIFY_WRITE165fs/stat.cerror = verify_area(VERIFY_WRITE,statbuf,sizeof (*statbuf));
VERIFY_WRITE180fs/stat.cerror = verify_area(VERIFY_WRITE,statbuf,sizeof (*statbuf));
VERIFY_WRITE196fs/stat.cerror = verify_area(VERIFY_WRITE,buf,bufsiz);
VERIFY_WRITE109fs/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_WRITE228ipc/shm.cerr = verify_area (VERIFY_WRITE, buf, sizeof (struct shminfo));
VERIFY_WRITE239ipc/shm.cerr = verify_area (VERIFY_WRITE, buf, sizeof (shm_info));
VERIFY_WRITE254ipc/shm.cerr = verify_area (VERIFY_WRITE, buf, sizeof (*buf));
VERIFY_WRITE307ipc/shm.cerr = verify_area (VERIFY_WRITE, buf, sizeof (*buf));
VERIFY_WRITE126ipc/util.cif ((err = verify_area(VERIFY_WRITE, (ulong*) third, sizeof(ulong))))
VERIFY_WRITE507kernel/exit.cflag = verify_area(VERIFY_WRITE, stat_addr, 4);
VERIFY_WRITE23kernel/info.cerror = verify_area(VERIFY_WRITE, info, sizeof(struct sysinfo));
VERIFY_WRITE66kernel/itimer.cerror = verify_area(VERIFY_WRITE, value, sizeof(struct itimerval));
VERIFY_WRITE124kernel/itimer.cerror = verify_area(VERIFY_WRITE, ovalue, sizeof(struct itimerval));
VERIFY_WRITE362kernel/module.cif ((i = verify_area(VERIFY_WRITE, to, nmodsyms * sizeof(*table))))
VERIFY_WRITE73kernel/printk.cerror = verify_area(VERIFY_WRITE,buf,len);
VERIFY_WRITE106kernel/printk.cerror = verify_area(VERIFY_WRITE,buf,len);
VERIFY_WRITE46kernel/signal.cerror = verify_area(VERIFY_WRITE, oset, sizeof(sigset_t));
VERIFY_WRITE71kernel/signal.cerror = verify_area(VERIFY_WRITE, set, 4);
VERIFY_WRITE163kernel/signal.cint err = verify_area(VERIFY_WRITE, oldaction, sizeof(*oldaction));
VERIFY_WRITE367kernel/sys.cint error = verify_area(VERIFY_WRITE,tbuf,sizeof *tbuf);
VERIFY_WRITE535kernel/sys.ci = verify_area(VERIFY_WRITE, grouplist, sizeof(gid_t) * gidsetsize);
VERIFY_WRITE588kernel/sys.cerror = verify_area(VERIFY_WRITE, name, sizeof *name);
VERIFY_WRITE599kernel/sys.cerror = verify_area(VERIFY_WRITE, name,sizeof *name);
VERIFY_WRITE620kernel/sys.cerror = verify_area(VERIFY_WRITE, name,sizeof *name);
VERIFY_WRITE681kernel/sys.cerror = verify_area(VERIFY_WRITE,rlim,sizeof *rlim);
VERIFY_WRITE724kernel/sys.cerror = verify_area(VERIFY_WRITE, ru, sizeof *ru);
VERIFY_WRITE113kernel/time.cerror = verify_area(VERIFY_WRITE, tloc, 4);
VERIFY_WRITE225kernel/time.cerror = verify_area(VERIFY_WRITE, tv, sizeof *tv);
VERIFY_WRITE233kernel/time.cerror = verify_area(VERIFY_WRITE, tz, sizeof *tz);
VERIFY_WRITE337kernel/time.cerror = verify_area(VERIFY_WRITE, txc_p, sizeof(struct timex));
VERIFY_WRITE632mm/memory.cif (!wp_works_ok && 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_WRITE1224net/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_WRITE2379net/inet/ip.cerr=verify_area(VERIFY_WRITE, optlen, sizeof(int));
VERIFY_WRITE2383net/inet/ip.cerr=verify_area(VERIFY_WRITE, optval, len);
VERIFY_WRITE2393net/inet/ip.cerr=verify_area(VERIFY_WRITE, optlen, sizeof(int));
VERIFY_WRITE2398net/inet/ip.cerr=verify_area(VERIFY_WRITE, optval, sizeof(int));
VERIFY_WRITE549net/inet/ipx.cerr=verify_area(VERIFY_WRITE,optlen,sizeof(int));
VERIFY_WRITE553net/inet/ipx.cerr=verify_area(VERIFY_WRITE,optval,sizeof(int));
VERIFY_WRITE1289net/inet/ipx.cerr=verify_area(VERIFY_WRITE,(void *)arg,sizeof(unsigned long));
VERIFY_WRITE1303net/inet/ipx.cerr=verify_area(VERIFY_WRITE,(void *)arg,sizeof(unsigned long));
VERIFY_WRITE1317net/inet/ipx.cerr=verify_area(VERIFY_WRITE,(void *)arg,sizeof(struct timeval));
VERIFY_WRITE407net/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_WRITE909net/inet/tcp.cerr=verify_area(VERIFY_WRITE,(void *)arg,
VERIFY_WRITE920net/inet/tcp.cerr = verify_area(VERIFY_WRITE,(void *) arg,
VERIFY_WRITE933net/inet/tcp.cerr=verify_area(VERIFY_WRITE,(void *)arg,
VERIFY_WRITE4781net/inet/tcp.cerr=verify_area(VERIFY_WRITE, optlen, sizeof(int));
VERIFY_WRITE4786net/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_WRITE134net/socket.cif((err=verify_area(VERIFY_WRITE,ulen,sizeof(*ulen)))<0)
VERIFY_WRITE143net/socket.cif((err=verify_area(VERIFY_WRITE,uaddr,len))<0)
VERIFY_WRITE331net/socket.cif ((err=verify_area(VERIFY_WRITE,ubuf,size))<0)
VERIFY_WRITE703net/socket.cer=verify_area(VERIFY_WRITE, usockvec, 2 * sizeof(int));
VERIFY_WRITE1023net/socket.cerr=verify_area(VERIFY_WRITE, buff, len);
VERIFY_WRITE1053net/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));