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_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_area547drivers/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_area1566drivers/char/console.cl = verify_area(VERIFY_WRITE, buf,2+video_num_columns*video_num_lines);
verify_area1381drivers/char/serial.cerror = verify_area(VERIFY_WRITE, (void *) arg,sizeof(long));
verify_area1394drivers/char/serial.cerror = verify_area(VERIFY_WRITE, (void *) arg,
verify_area1404drivers/char/serial.cerror = verify_area(VERIFY_WRITE, (void *) arg,
verify_area1417drivers/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_area553drivers/char/tty_ioctl.cretval = verify_area(VERIFY_WRITE, (void *) arg,4);
verify_area570drivers/char/tty_ioctl.cretval = verify_area(VERIFY_WRITE, (void *) arg,4);
verify_area576drivers/char/tty_ioctl.cretval = verify_area(VERIFY_WRITE, (void *) arg,4);
verify_area650drivers/char/tty_ioctl.cretval = verify_area(VERIFY_WRITE, (void *) arg,4);
verify_area668drivers/char/tty_ioctl.cretval = verify_area(VERIFY_READ,
verify_area144drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *) arg, sizeof(unsigned char));
verify_area198drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *) arg, sizeof(unsigned long));
verify_area228drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *) arg, sizeof(unsigned long));
verify_area244drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *)a, sizeof(struct kbentry));
verify_area261drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *)a, sizeof(struct kbentry));
verify_area282drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *)a, sizeof(struct kbsentry));
verify_area310drivers/char/vt.ci = verify_area(VERIFY_READ, (void *)a, sizeof(struct kbsentry));
verify_area351drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *) a, sizeof(struct kbdiacrs));
verify_area365drivers/char/vt.ci = verify_area(VERIFY_READ, (void *) a, sizeof(struct kbdiacrs));
verify_area377drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *) arg, sizeof(unsigned char));
verify_area413drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *)vtmode, sizeof(struct vt_mode));
verify_area434drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *)arg, sizeof(struct vt_mode));
verify_area454drivers/char/vt.ci = verify_area(VERIFY_WRITE,(void *)vtstat, sizeof(struct vt_stat));
verify_area470drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *) arg, sizeof(long));
verify_area1112drivers/net/slip.cint err=verify_area(VERIFY_READ,addr,7);
verify_area1137drivers/net/slip.cerr=verify_area(VERIFY_WRITE, arg, 16);
verify_area1143drivers/net/slip.cerr=verify_area(VERIFY_WRITE,arg,sizeof(long));
verify_area1147drivers/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_area372drivers/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.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_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_area932net/inet/arp.cerr=verify_area(VERIFY_READ,arg,sizeof(struct arpreq));
verify_area937net/inet/arp.cerr=verify_area(VERIFY_WRITE,arg,sizeof(struct arpreq));
verify_area943net/inet/arp.cerr=verify_area(VERIFY_READ,arg,sizeof(struct arpreq));
verify_area726net/inet/dev.cerr=verify_area(VERIFY_WRITE, arg, sizeof(struct ifconf));
verify_area817net/inet/dev.cint err=verify_area(VERIFY_WRITE, arg, sizeof(struct ifreq));
verify_area1529net/inet/ip.cerr=verify_area(VERIFY_READ, optval, sizeof(int));
verify_area1574net/inet/ip.cerr=verify_area(VERIFY_WRITE, optlen, sizeof(int));
verify_area1579net/inet/ip.cerr=verify_area(VERIFY_WRITE, optval, sizeof(int));
verify_area101net/inet/packet.cerr=verify_area(VERIFY_READ, usin, sizeof(saddr));
verify_area108net/inet/packet.cerr=verify_area(VERIFY_READ,from,len);
verify_area203net/inet/packet.cerr=verify_area(VERIFY_WRITE, addr_len, sizeof(*addr_len));
verify_area209net/inet/packet.cerr=verify_area(VERIFY_WRITE,to,len);
verify_area225net/inet/packet.cverify_area(VERIFY_WRITE, saddr, sizeof(*saddr));
verify_area156net/inet/raw.cerr=verify_area(VERIFY_READ,from,len);
verify_area162net/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_area362net/inet/route.cerr=verify_area(VERIFY_READ, arg, sizeof(struct rtentry));
verify_area523net/inet/sock.cerr=verify_area(VERIFY_READ, optval, sizeof(int));
verify_area549net/inet/sock.cerr=verify_area(VERIFY_READ,optval,sizeof(ling));
verify_area636net/inet/sock.cerr=verify_area(VERIFY_WRITE,optval,sizeof(ling));
verify_area639net/inet/sock.cerr=verify_area(VERIFY_WRITE,optlen,sizeof(int));
verify_area691net/inet/sock.cerr=verify_area(VERIFY_WRITE, optlen, sizeof(int));
verify_area696net/inet/sock.cerr=verify_area(VERIFY_WRITE, optval, sizeof(int));
verify_area1018net/inet/sock.cerr=verify_area(VERIFY_READ, uaddr, addr_len);
verify_area1244net/inet/sock.cerr = verify_area(VERIFY_WRITE,uaddr_len,sizeof(long));
verify_area1250net/inet/sock.cerr = verify_area(VERIFY_WRITE, uaddr, len);
verify_area1502net/inet/sock.cerr=verify_area(VERIFY_READ,(int *)arg,sizeof(long));
verify_area1511net/inet/sock.cerr=verify_area(VERIFY_WRITE,(void *) arg, sizeof(long));
verify_area472net/inet/tcp.cerr=verify_area(VERIFY_WRITE,(void *)arg,
verify_area495net/inet/tcp.cerr=verify_area(VERIFY_WRITE,(void *) arg,
verify_area508net/inet/tcp.cerr=verify_area(VERIFY_WRITE,(void *)arg,
verify_area1275net/inet/tcp.cverify_area(VERIFY_WRITE, to, amt);
verify_area1313net/inet/tcp.cerr=verify_area(VERIFY_WRITE,to,len);
verify_area1628net/inet/tcp.cerr = verify_area(VERIFY_WRITE,addr_len,sizeof(long));
verify_area1634net/inet/tcp.cerr=verify_area(VERIFY_WRITE, addr, len);  
verify_area2860net/inet/tcp.cerr=verify_area(VERIFY_READ, usin, addr_len);
verify_area3509net/inet/tcp.cerr=verify_area(VERIFY_READ, optval, sizeof(int));
verify_area3548net/inet/tcp.cerr=verify_area(VERIFY_WRITE, optlen, sizeof(int));
verify_area3553net/inet/tcp.cerr=verify_area(VERIFY_WRITE, optval, sizeof(int));
verify_area231net/inet/udp.cerr=verify_area(VERIFY_READ, from, len);
verify_area323net/inet/udp.cerr=verify_area(VERIFY_READ, usin, sizeof(sin));
verify_area369net/inet/udp.cerr=verify_area(VERIFY_READ, (void *)arg, sizeof(int));
verify_area391net/inet/udp.cerr=verify_area(VERIFY_WRITE,(void *)arg,
verify_area415net/inet/udp.cerr=verify_area(VERIFY_WRITE,(void *)arg,
verify_area462net/inet/udp.cer=verify_area(VERIFY_WRITE, addr_len, sizeof(*addr_len));
verify_area469net/inet/udp.cer=verify_area(VERIFY_WRITE, sin, sizeof(*sin));
verify_area473net/inet/udp.cer=verify_area(VERIFY_WRITE,to,len);
verify_area517net/inet/udp.cer=verify_area(VERIFY_READ, usin, sizeof(sin));
verify_area110net/inet/utils.cerr=verify_area(VERIFY_READ, (void *)arg, sizeof(int));
verify_area523net/socket.cer=verify_area(VERIFY_WRITE, usockvec, 2 * sizeof(int));
verify_area857net/socket.cer=verify_area(VERIFY_READ, args, 3 * sizeof(long));
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, 2 * sizeof(long));
verify_area884net/socket.cer=verify_area(VERIFY_READ, args, 3 * 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, 4 * sizeof(long));
verify_area913net/socket.cer=verify_area(VERIFY_READ, args, 4 * sizeof(unsigned long));
verify_area921net/socket.cer=verify_area(VERIFY_READ, args, 6 * sizeof(unsigned long));
verify_area931net/socket.cer=verify_area(VERIFY_READ, args, 4 * sizeof(unsigned long));
verify_area939net/socket.cer=verify_area(VERIFY_READ, args, 6 * sizeof(unsigned long));
verify_area949net/socket.cer=verify_area(VERIFY_READ, args, 2* sizeof(unsigned long));
verify_area955net/socket.cer=verify_area(VERIFY_READ, args, 5*sizeof(unsigned long));
verify_area964net/socket.cer=verify_area(VERIFY_READ, args, 5*sizeof(unsigned long));
verify_area984net/socket.cer=verify_area(VERIFY_READ, (void *)arg, sizeof(long));
verify_area398net/unix/sock.cer=verify_area(VERIFY_WRITE, umyaddr, sockaddr_len);
verify_area456net/unix/sock.cer=verify_area(VERIFY_READ, uservaddr, sockaddr_len);
verify_area581net/unix/sock.cer=verify_area(VERIFY_WRITE, usockaddr_len, sizeof(*usockaddr_len));
verify_area587net/unix/sock.cer=verify_area(VERIFY_WRITE, usockaddr, len);
verify_area640net/unix/sock.cif((er=verify_area(VERIFY_WRITE,ubuf,cando))<0)
verify_area724net/unix/sock.cer=verify_area(VERIFY_READ, ubuf, cando);
verify_area805net/unix/sock.cer=verify_area(VERIFY_WRITE,(void *)arg, sizeof(unsigned long));
verify_area815net/unix/sock.cer=verify_area(VERIFY_WRITE,(void *)arg, sizeof(unsigned long));
verify_area864net/unix/sock.cer=verify_area(VERIFY_READ,(void *)arg, sizeof(int));