taglinefilesource code
verify_area209drivers/FPU-emu/load_store.cverify_area(VERIFY_WRITE,FPU_data_address,2);
verify_area223drivers/FPU-emu/load_store.cverify_area(VERIFY_WRITE,FPU_data_address,2);
verify_area441drivers/FPU-emu/reg_ld_str.cverify_area(VERIFY_WRITE, d, 10);
verify_area453drivers/FPU-emu/reg_ld_str.cverify_area(VERIFY_WRITE,d,10);
verify_area639drivers/FPU-emu/reg_ld_str.cverify_area(VERIFY_WRITE,(void *)dfloat,8);
verify_area652drivers/FPU-emu/reg_ld_str.cverify_area(VERIFY_WRITE,(void *)dfloat,8);
verify_area823drivers/FPU-emu/reg_ld_str.cverify_area(VERIFY_WRITE,(void *)single,4);
verify_area842drivers/FPU-emu/reg_ld_str.cverify_area(VERIFY_WRITE,(void *)single,4);
verify_area900drivers/FPU-emu/reg_ld_str.cverify_area(VERIFY_WRITE,(void *)d,8);
verify_area955drivers/FPU-emu/reg_ld_str.cverify_area(VERIFY_WRITE,d,4);
verify_area1009drivers/FPU-emu/reg_ld_str.cverify_area(VERIFY_WRITE,d,2);
verify_area1049drivers/FPU-emu/reg_ld_str.cverify_area(VERIFY_WRITE,d,10);
verify_area1067drivers/FPU-emu/reg_ld_str.cverify_area(VERIFY_WRITE,d,10);
verify_area1278drivers/FPU-emu/reg_ld_str.cverify_area(VERIFY_WRITE,d,28);
verify_area1315drivers/FPU-emu/reg_ld_str.cverify_area(VERIFY_WRITE,d,80);
verify_area97drivers/block/blk.hcase BLKROGET: { int __err = verify_area(VERIFY_WRITE, (void *) (where), sizeof(long)); \
verify_area1077drivers/block/cdu31a.cverify_area(VERIFY_READ, (char *) arg, sizeof(schi));
verify_area1078drivers/block/cdu31a.cverify_area(VERIFY_WRITE, (char *) arg, sizeof(schi));
verify_area1237drivers/block/cdu31a.cverify_area(VERIFY_READ, (char *) arg, 6);
verify_area1274drivers/block/cdu31a.cverify_area(VERIFY_WRITE, hdr, sizeof(*hdr));
verify_area1296drivers/block/cdu31a.cverify_area(VERIFY_READ, entry, sizeof(*entry));
verify_area1297drivers/block/cdu31a.cverify_area(VERIFY_WRITE, entry, sizeof(*entry));
verify_area1348drivers/block/cdu31a.cverify_area(VERIFY_READ, (char *) arg, sizeof(ti));
verify_area1414drivers/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_area539drivers/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_area209drivers/block/xd.cif ((err = verify_area(VERIFY_WRITE,geometry,sizeof(*geometry))))
verify_area220drivers/block/xd.cif ((err = verify_area(VERIFY_WRITE,(long *) arg,sizeof(long))))
verify_area145drivers/char/busmouse.cif ((r = verify_area(VERIFY_WRITE, buffer, count)))
verify_area1560drivers/char/console.cl = verify_area(VERIFY_WRITE, buf,2+video_num_columns*video_num_lines);
verify_area1380drivers/char/serial.cerror = verify_area(VERIFY_WRITE, (void *) arg,sizeof(long));
verify_area1393drivers/char/serial.cerror = verify_area(VERIFY_WRITE, (void *) arg,
verify_area1403drivers/char/serial.cerror = verify_area(VERIFY_WRITE, (void *) arg,
verify_area1416drivers/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_area119drivers/char/tty_ioctl.ci = verify_area(VERIFY_WRITE, (void *)arg, sizeof(struct tstruct));
verify_area163drivers/char/tty_ioctl.ci = verify_area(VERIFY_WRITE, termios, sizeof (*termios));
verify_area249drivers/char/tty_ioctl.ci = verify_area(VERIFY_WRITE, termio, sizeof (*termio));
verify_area324drivers/char/tty_ioctl.ci = verify_area(VERIFY_WRITE, termios, sizeof (*termios));
verify_area375drivers/char/tty_ioctl.ci = verify_area(VERIFY_WRITE, ws, sizeof (*ws));
verify_area534drivers/char/tty_ioctl.cretval = verify_area(VERIFY_WRITE, (void *) arg,4);
verify_area551drivers/char/tty_ioctl.cretval = verify_area(VERIFY_WRITE, (void *) arg,4);
verify_area557drivers/char/tty_ioctl.cretval = verify_area(VERIFY_WRITE, (void *) arg,4);
verify_area628drivers/char/tty_ioctl.cretval = verify_area(VERIFY_WRITE, (void *) arg,4);
verify_area646drivers/char/tty_ioctl.cretval = verify_area(VERIFY_READ,
verify_area141drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *) arg, sizeof(unsigned char));
verify_area195drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *) arg, sizeof(unsigned long));
verify_area224drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *) arg, sizeof(unsigned long));
verify_area240drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *)a, sizeof(struct kbentry));
verify_area257drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *)a, sizeof(struct kbentry));
verify_area278drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *)a, sizeof(struct kbsentry));
verify_area299drivers/char/vt.ci = verify_area(VERIFY_READ, (void *)a, sizeof(struct kbsentry));
verify_area329drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *) arg, sizeof(unsigned char));
verify_area365drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *)vtmode, sizeof(struct vt_mode));
verify_area386drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *)arg, sizeof(struct vt_mode));
verify_area406drivers/char/vt.ci = verify_area(VERIFY_WRITE,(void *)vtstat, sizeof(struct vt_stat));
verify_area422drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *) arg, sizeof(long));
verify_area1048drivers/net/slip.cint err=verify_area(VERIFY_READ,addr,7);
verify_area1073drivers/net/slip.cerr=verify_area(VERIFY_WRITE, arg, 16);
verify_area1079drivers/net/slip.cerr=verify_area(VERIFY_WRITE,arg,sizeof(long));
verify_area1083drivers/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_area242drivers/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.cverify_area (VERIFY_WRITE, (void *) arg, sizeof (struct cdrom_tochdr));
verify_area206drivers/scsi/sr_ioctl.cverify_area (VERIFY_READ, (void *) arg, sizeof (struct cdrom_tocentry));
verify_area233drivers/scsi/sr_ioctl.cverify_area (VERIFY_WRITE, (void *) arg, sizeof (struct cdrom_tocentry));
verify_area276drivers/scsi/sr_ioctl.cverify_area (VERIFY_READ, (void *) arg, sizeof (struct cdrom_volctrl));
verify_area371drivers/scsi/sr_ioctl.cverify_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_area38fs/binfmt_elf.cverify_area(VERIFY_WRITE, (void *) elf_bss, nbyte);
verify_area442fs/exec.cresult = verify_area(VERIFY_WRITE, addr, count);
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_area20include/linux/kernel.hint verify_area(int type, void * addr, unsigned long count);
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, arg, sizeof tbuf)))
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_area491kernel/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_area113kernel/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.cverify_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_area197kernel/signal.cif (!verify_area(VERIFY_WRITE,oldaction, sizeof(struct sigaction)))
verify_area255kernel/signal.cverify_area(VERIFY_WRITE,frame,32*4);
verify_area389kernel/sys.cint error = verify_area(VERIFY_WRITE,tbuf,sizeof *tbuf);
verify_area516kernel/sys.ci = verify_area(VERIFY_WRITE, grouplist, sizeof(gid_t) * gidsetsize);
verify_area569kernel/sys.cerror = verify_area(VERIFY_WRITE, name, sizeof *name);
verify_area580kernel/sys.cerror = verify_area(VERIFY_WRITE, name,sizeof *name);
verify_area601kernel/sys.cerror = verify_area(VERIFY_WRITE, name,sizeof *name);
verify_area662kernel/sys.cerror = verify_area(VERIFY_WRITE,rlim,sizeof *rlim);
verify_area703kernel/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_area905net/inet/arp.cerr=verify_area(VERIFY_READ,arg,sizeof(struct arpreq));
verify_area910net/inet/arp.cerr=verify_area(VERIFY_WRITE,arg,sizeof(struct arpreq));
verify_area916net/inet/arp.cerr=verify_area(VERIFY_READ,arg,sizeof(struct arpreq));
verify_area714net/inet/dev.cverify_area(VERIFY_WRITE, arg, sizeof(struct ifconf));
verify_area792net/inet/dev.cverify_area(VERIFY_WRITE, arg, sizeof(struct ifreq));
verify_area947net/inet/dev.cverify_area (VERIFY_WRITE, arg, sizeof (ipc));
verify_area100net/inet/packet.cerr=verify_area(VERIFY_READ, usin, sizeof(saddr));
verify_area107net/inet/packet.cerr=verify_area(VERIFY_READ,from,len);
verify_area202net/inet/packet.cerr=verify_area(VERIFY_WRITE, addr_len, sizeof(*addr_len));
verify_area208net/inet/packet.cerr=verify_area(VERIFY_WRITE,to,len);
verify_area224net/inet/packet.cverify_area(VERIFY_WRITE, saddr, sizeof(*saddr));
verify_area152net/inet/raw.cerr=verify_area(VERIFY_READ,from,len);
verify_area158net/inet/raw.cerr=verify_area (VERIFY_READ, usin, sizeof (sin));
verify_area328net/inet/raw.cerr=verify_area(VERIFY_WRITE, addr_len, sizeof(*addr_len));
verify_area333net/inet/raw.cerr=verify_area(VERIFY_WRITE,to,len);
verify_area351net/inet/raw.cverify_area(VERIFY_WRITE, sin, sizeof(*sin));
verify_area364net/inet/route.cerr=verify_area(VERIFY_READ, arg, sizeof(struct rtentry));
verify_area369net/inet/route.cerr=verify_area(VERIFY_READ, rt.rt_dev, sizeof namebuf);
verify_area494net/inet/sock.cerr=verify_area(VERIFY_READ, optval, sizeof(int));
verify_area519net/inet/sock.cerr=verify_area(VERIFY_READ,optval,sizeof(ling));
verify_area606net/inet/sock.cerr=verify_area(VERIFY_WRITE,optval,sizeof(ling));
verify_area609net/inet/sock.cerr=verify_area(VERIFY_WRITE,optlen,sizeof(int));
verify_area659net/inet/sock.cerr=verify_area(VERIFY_WRITE, optlen, sizeof(int));
verify_area664net/inet/sock.cerr=verify_area(VERIFY_WRITE, optval, sizeof(int));
verify_area958net/inet/sock.cerr=verify_area(VERIFY_READ, uaddr, addr_len);
verify_area1184net/inet/sock.cerr = verify_area(VERIFY_WRITE,uaddr_len,sizeof(long));
verify_area1190net/inet/sock.cerr = verify_area(VERIFY_WRITE, uaddr, len);
verify_area1442net/inet/sock.cerr=verify_area(VERIFY_READ,(int *)arg,sizeof(long));
verify_area1451net/inet/sock.cerr=verify_area(VERIFY_WRITE,(void *) arg, sizeof(long));
verify_area431net/inet/tcp.cerr=verify_area(VERIFY_WRITE,(void *)arg,
verify_area454net/inet/tcp.cerr=verify_area(VERIFY_WRITE,(void *) arg,
verify_area467net/inet/tcp.cerr=verify_area(VERIFY_WRITE,(void *)arg,
verify_area1192net/inet/tcp.cverify_area(VERIFY_WRITE, to, amt);
verify_area1230net/inet/tcp.cerr=verify_area(VERIFY_WRITE,to,len);
verify_area1545net/inet/tcp.cerr = verify_area(VERIFY_WRITE,addr_len,sizeof(long));
verify_area1551net/inet/tcp.cerr=verify_area(VERIFY_WRITE, addr, len);  
verify_area2777net/inet/tcp.cerr=verify_area(VERIFY_READ, usin, addr_len);
verify_area230net/inet/udp.cerr=verify_area(VERIFY_READ, from, len);
verify_area322net/inet/udp.cerr=verify_area(VERIFY_READ, usin, sizeof(sin));
verify_area368net/inet/udp.cerr=verify_area(VERIFY_READ, (void *)arg, sizeof(int));
verify_area390net/inet/udp.cerr=verify_area(VERIFY_WRITE,(void *)arg,
verify_area414net/inet/udp.cerr=verify_area(VERIFY_WRITE,(void *)arg,
verify_area461net/inet/udp.cer=verify_area(VERIFY_WRITE, addr_len, sizeof(*addr_len));
verify_area468net/inet/udp.cer=verify_area(VERIFY_WRITE, sin, sizeof(*sin));
verify_area472net/inet/udp.cer=verify_area(VERIFY_WRITE,to,len);
verify_area516net/inet/udp.cer=verify_area(VERIFY_READ, usin, sizeof(sin));
verify_area110net/inet/utils.cerr=verify_area(VERIFY_READ, (void *)arg, sizeof(int));
verify_area521net/socket.cer=verify_area(VERIFY_WRITE, usockvec, 2 * sizeof(int));
verify_area855net/socket.cer=verify_area(VERIFY_READ, args, 3 * sizeof(long));
verify_area862net/socket.cer=verify_area(VERIFY_READ, args, 3 * sizeof(long));
verify_area869net/socket.cer=verify_area(VERIFY_READ, args, 3 * sizeof(long));
verify_area876net/socket.cer=verify_area(VERIFY_READ, args, 2 * sizeof(long));
verify_area882net/socket.cer=verify_area(VERIFY_READ, args, 3 * sizeof(long));
verify_area889net/socket.cer=verify_area(VERIFY_READ, args, 3 * sizeof(long));
verify_area896net/socket.cer=verify_area(VERIFY_READ, args, 3 * sizeof(long));
verify_area903net/socket.cer=verify_area(VERIFY_READ, args, 4 * sizeof(long));
verify_area911net/socket.cer=verify_area(VERIFY_READ, args, 4 * sizeof(unsigned long));
verify_area919net/socket.cer=verify_area(VERIFY_READ, args, 6 * sizeof(unsigned long));
verify_area929net/socket.cer=verify_area(VERIFY_READ, args, 4 * sizeof(unsigned long));
verify_area937net/socket.cer=verify_area(VERIFY_READ, args, 6 * sizeof(unsigned long));
verify_area947net/socket.cer=verify_area(VERIFY_READ, args, 2* sizeof(unsigned long));
verify_area953net/socket.cer=verify_area(VERIFY_READ, args, 5*sizeof(unsigned long));
verify_area962net/socket.cer=verify_area(VERIFY_READ, args, 5*sizeof(unsigned long));
verify_area982net/socket.cer=verify_area(VERIFY_READ, (void *)arg, sizeof(long));
verify_area374net/unix/sock.cer=verify_area(VERIFY_WRITE, umyaddr, sockaddr_len);
verify_area432net/unix/sock.cer=verify_area(VERIFY_READ, uservaddr, sockaddr_len);
verify_area557net/unix/sock.cer=verify_area(VERIFY_WRITE, usockaddr_len, sizeof(*usockaddr_len));
verify_area563net/unix/sock.cer=verify_area(VERIFY_WRITE, usockaddr, len);
verify_area614net/unix/sock.cif((er=verify_area(VERIFY_WRITE,ubuf,cando))<0)
verify_area690net/unix/sock.cer=verify_area(VERIFY_READ, ubuf, cando);
verify_area767net/unix/sock.cer=verify_area(VERIFY_WRITE,(void *)arg, sizeof(unsigned long));
verify_area777net/unix/sock.cer=verify_area(VERIFY_WRITE,(void *)arg, sizeof(unsigned long));
verify_area826net/unix/sock.cer=verify_area(VERIFY_READ,(void *)arg, sizeof(int));