taglinefilesource code
verify_area45drivers/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_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_area2021drivers/block/sbpcd.ci = verify_area(VERIFY_READ, (int *) arg, sizeof(int));
verify_area2071drivers/block/sbpcd.cst=verify_area(VERIFY_READ, (void *) arg, sizeof(struct cdrom_msf));
verify_area2099drivers/block/sbpcd.cst=verify_area(VERIFY_READ,(void *) arg,sizeof(struct cdrom_ti));
verify_area2125drivers/block/sbpcd.cst=verify_area(VERIFY_WRITE, (void *) arg, sizeof(struct cdrom_tochdr));
verify_area2132drivers/block/sbpcd.cst=verify_area(VERIFY_READ, (void *) arg, sizeof(struct cdrom_tocentry));
verify_area2149drivers/block/sbpcd.cst=verify_area(VERIFY_WRITE,(void *) arg, sizeof(struct cdrom_tocentry));
verify_area2186drivers/block/sbpcd.cst=verify_area(VERIFY_READ,(void *) arg,sizeof(volctrl));
verify_area2201drivers/block/sbpcd.cst=verify_area(VERIFY_WRITE, (void *) arg, sizeof(struct cdrom_subchnl));
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_area144drivers/char/busmouse.cif ((r = verify_area(VERIFY_WRITE, buffer, count)))
verify_area1594drivers/char/console.cl = verify_area(VERIFY_WRITE, buf,2+video_num_columns*video_num_lines);
verify_area1850drivers/char/console.ci = verify_area(set ? VERIFY_READ : VERIFY_WRITE, (void *)arg, cmapsz);
verify_area1928drivers/char/console.ci = verify_area(VERIFY_READ, (void *)arg, E_TABSZ);
verify_area1944drivers/char/console.ci = verify_area(VERIFY_WRITE, (void *)arg, E_TABSZ);
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_area241drivers/char/tty_ioctl.ci = verify_area(VERIFY_WRITE, termio, sizeof (struct termio));
verify_area365drivers/char/tty_ioctl.cretval = verify_area(VERIFY_WRITE, (void *) arg,
verify_area482drivers/char/tty_ioctl.cretval = verify_area(VERIFY_WRITE, (void *) arg,
verify_area504drivers/char/tty_ioctl.cretval = verify_area(VERIFY_WRITE, (void *) arg,
verify_area512drivers/char/tty_ioctl.cretval = verify_area(VERIFY_WRITE, (void *) arg,
verify_area530drivers/char/tty_ioctl.cretval = verify_area(VERIFY_WRITE, (void *) arg,
verify_area593drivers/char/tty_ioctl.cretval = verify_area(VERIFY_WRITE, (void *) arg,
verify_area607drivers/char/tty_ioctl.cretval = verify_area(VERIFY_WRITE, (void *) arg,
verify_area626drivers/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_area1053drivers/net/slip.cint err=verify_area(VERIFY_READ,addr,7);
verify_area1078drivers/net/slip.cerr=verify_area(VERIFY_WRITE, arg, 16);
verify_area1084drivers/net/slip.cerr=verify_area(VERIFY_WRITE,arg,sizeof(long));
verify_area1088drivers/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_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.cif (verify_area(VERIFY_WRITE,frame,32*4))
verify_area388kernel/sys.cint error = verify_area(VERIFY_WRITE,tbuf,sizeof *tbuf);
verify_area528kernel/sys.ci = verify_area(VERIFY_WRITE, grouplist, sizeof(gid_t) * gidsetsize);
verify_area581kernel/sys.cerror = verify_area(VERIFY_WRITE, name, sizeof *name);
verify_area592kernel/sys.cerror = verify_area(VERIFY_WRITE, name,sizeof *name);
verify_area613kernel/sys.cerror = verify_area(VERIFY_WRITE, name,sizeof *name);
verify_area674kernel/sys.cerror = verify_area(VERIFY_WRITE,rlim,sizeof *rlim);
verify_area715kernel/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_area931net/inet/arp.cerr=verify_area(VERIFY_READ,arg,sizeof(struct arpreq));
verify_area936net/inet/arp.cerr=verify_area(VERIFY_WRITE,arg,sizeof(struct arpreq));
verify_area942net/inet/arp.cerr=verify_area(VERIFY_READ,arg,sizeof(struct arpreq));
verify_area729net/inet/dev.cerr=verify_area(VERIFY_WRITE, arg, sizeof(struct ifconf));
verify_area820net/inet/dev.cint err=verify_area(VERIFY_WRITE, arg, sizeof(struct ifreq));
verify_area1527net/inet/ip.cerr=verify_area(VERIFY_READ, optval, sizeof(int));
verify_area1572net/inet/ip.cerr=verify_area(VERIFY_WRITE, optlen, sizeof(int));
verify_area1577net/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_area204net/inet/packet.cerr=verify_area(VERIFY_WRITE, addr_len, sizeof(*addr_len));
verify_area210net/inet/packet.cerr=verify_area(VERIFY_WRITE,to,len);
verify_area226net/inet/packet.cverify_area(VERIFY_WRITE, saddr, sizeof(*saddr));
verify_area157net/inet/raw.cerr=verify_area(VERIFY_READ,from,len);
verify_area163net/inet/raw.cerr=verify_area (VERIFY_READ, usin, sizeof (sin));
verify_area333net/inet/raw.cerr=verify_area(VERIFY_WRITE, addr_len, sizeof(*addr_len));
verify_area340net/inet/raw.cerr=verify_area(VERIFY_WRITE, sin, sizeof(*sin));
verify_area345net/inet/raw.cerr=verify_area(VERIFY_WRITE,to,len);
verify_area363net/inet/route.cerr=verify_area(VERIFY_READ, arg, sizeof(struct rtentry));
verify_area524net/inet/sock.cerr=verify_area(VERIFY_READ, optval, sizeof(int));
verify_area550net/inet/sock.cerr=verify_area(VERIFY_READ,optval,sizeof(ling));
verify_area637net/inet/sock.cerr=verify_area(VERIFY_WRITE,optval,sizeof(ling));
verify_area640net/inet/sock.cerr=verify_area(VERIFY_WRITE,optlen,sizeof(int));
verify_area692net/inet/sock.cerr=verify_area(VERIFY_WRITE, optlen, sizeof(int));
verify_area697net/inet/sock.cerr=verify_area(VERIFY_WRITE, optval, sizeof(int));
verify_area1026net/inet/sock.cerr=verify_area(VERIFY_READ, uaddr, addr_len);
verify_area1252net/inet/sock.cerr = verify_area(VERIFY_WRITE,uaddr_len,sizeof(long));
verify_area1258net/inet/sock.cerr = verify_area(VERIFY_WRITE, uaddr, len);
verify_area1510net/inet/sock.cerr=verify_area(VERIFY_READ,(int *)arg,sizeof(long));
verify_area1519net/inet/sock.cerr=verify_area(VERIFY_WRITE,(void *) arg, sizeof(long));
verify_area478net/inet/tcp.cerr=verify_area(VERIFY_WRITE,(void *)arg,
verify_area501net/inet/tcp.cerr=verify_area(VERIFY_WRITE,(void *) arg,
verify_area514net/inet/tcp.cerr=verify_area(VERIFY_WRITE,(void *)arg,
verify_area1361net/inet/tcp.cerr=verify_area(VERIFY_WRITE,to,len);
verify_area1677net/inet/tcp.cerr = verify_area(VERIFY_WRITE,addr_len,sizeof(long));
verify_area1683net/inet/tcp.cerr=verify_area(VERIFY_WRITE, addr, len);  
verify_area3050net/inet/tcp.cerr=verify_area(VERIFY_READ, usin, addr_len);
verify_area3829net/inet/tcp.cerr=verify_area(VERIFY_READ, optval, sizeof(int));
verify_area3874net/inet/tcp.cerr=verify_area(VERIFY_WRITE, optlen, sizeof(int));
verify_area3879net/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_area522net/socket.cer=verify_area(VERIFY_WRITE, usockvec, 2 * sizeof(int));
verify_area856net/socket.cer=verify_area(VERIFY_READ, args, 3 * sizeof(long));
verify_area863net/socket.cer=verify_area(VERIFY_READ, args, 3 * sizeof(long));
verify_area870net/socket.cer=verify_area(VERIFY_READ, args, 3 * sizeof(long));
verify_area877net/socket.cer=verify_area(VERIFY_READ, args, 2 * sizeof(long));
verify_area883net/socket.cer=verify_area(VERIFY_READ, args, 3 * sizeof(long));
verify_area890net/socket.cer=verify_area(VERIFY_READ, args, 3 * sizeof(long));
verify_area897net/socket.cer=verify_area(VERIFY_READ, args, 3 * sizeof(long));
verify_area904net/socket.cer=verify_area(VERIFY_READ, args, 4 * sizeof(long));
verify_area912net/socket.cer=verify_area(VERIFY_READ, args, 4 * sizeof(unsigned long));
verify_area920net/socket.cer=verify_area(VERIFY_READ, args, 6 * sizeof(unsigned long));
verify_area930net/socket.cer=verify_area(VERIFY_READ, args, 4 * sizeof(unsigned long));
verify_area938net/socket.cer=verify_area(VERIFY_READ, args, 6 * sizeof(unsigned long));
verify_area948net/socket.cer=verify_area(VERIFY_READ, args, 2* sizeof(unsigned long));
verify_area954net/socket.cer=verify_area(VERIFY_READ, args, 5*sizeof(unsigned long));
verify_area963net/socket.cer=verify_area(VERIFY_READ, args, 5*sizeof(unsigned long));
verify_area983net/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_area725net/unix/sock.cer=verify_area(VERIFY_READ, ubuf, cando);
verify_area807net/unix/sock.cer=verify_area(VERIFY_WRITE,(void *)arg, sizeof(unsigned long));
verify_area817net/unix/sock.cer=verify_area(VERIFY_WRITE,(void *)arg, sizeof(unsigned long));
verify_area866net/unix/sock.cer=verify_area(VERIFY_READ,(void *)arg, sizeof(int));