taglinefilesource code
VERIFY_READ304arch/alpha/kernel/osf_sys.cretval = verify_area(VERIFY_READ, args, sizeof(*args));
VERIFY_READ324arch/alpha/kernel/osf_sys.cretval = verify_area(VERIFY_READ, args, sizeof(*args));
VERIFY_READ344arch/alpha/kernel/osf_sys.cretval = verify_area(VERIFY_READ, args, sizeof(*args));
VERIFY_READ394arch/alpha/kernel/osf_sys.cretval = verify_area(VERIFY_READ, sleep, sizeof(*sleep));
VERIFY_READ575arch/alpha/kernel/osf_sys.cerror = verify_area(VERIFY_READ, &args->set.nbytes,
VERIFY_READ582arch/alpha/kernel/osf_sys.cerror = verify_area(VERIFY_READ, &args->fset.nbytes,
VERIFY_READ589arch/alpha/kernel/osf_sys.cerror = verify_area(VERIFY_READ, &args->get.min_buf_size,
VERIFY_READ602arch/alpha/kernel/osf_sys.cerror = verify_area(VERIFY_READ, &args->fget.min_buf_size,
VERIFY_READ76arch/alpha/kernel/signal.cif (verify_area(VERIFY_READ, sc, sizeof(*sc)))
VERIFY_READ46arch/i386/kernel/ldt.cerror = verify_area(VERIFY_READ, ptr, sizeof(ldt_info));
VERIFY_READ58arch/i386/kernel/signal.cif (verify_area(VERIFY_READ, (void *) regs->esp, sizeof(context)))
VERIFY_READ53arch/i386/kernel/sys_i386.cerror = verify_area(VERIFY_READ, buffer, 6*sizeof(long));
VERIFY_READ77arch/i386/kernel/sys_i386.cn = verify_area(VERIFY_READ, buffer, 5*sizeof(unsigned long));
VERIFY_READ111arch/i386/kernel/sys_i386.cif ((err = verify_area (VERIFY_READ, ptr, sizeof(long))))
VERIFY_READ131arch/i386/kernel/sys_i386.cif ((err = verify_area (VERIFY_READ, ptr, sizeof(tmp))))
VERIFY_READ220arch/i386/kernel/vm86.cif (verify_area(VERIFY_READ, bitmap, 256/8) < 0)
VERIFY_READ312arch/i386/kernel/vm86.cif (verify_area(VERIFY_READ, intr_ptr, 4) < 0)
VERIFY_READ80arch/i386/math-emu/fpu_system.h#define  FPU_code_verify_area(z) FPU_verify_area(VERIFY_READ,(void *)FPU_EIP,z)
VERIFY_READ203arch/i386/math-emu/load_store.cFPU_verify_area(VERIFY_READ, data_address, 2);
VERIFY_READ50arch/i386/math-emu/reg_ld_str.cFPU_verify_area(VERIFY_READ, s, 10);
VERIFY_READ146arch/i386/math-emu/reg_ld_str.cFPU_verify_area(VERIFY_READ, dfloat, 8);
VERIFY_READ223arch/i386/math-emu/reg_ld_str.cFPU_verify_area(VERIFY_READ, single, 4);
VERIFY_READ291arch/i386/math-emu/reg_ld_str.cFPU_verify_area(VERIFY_READ, _s, 8);
VERIFY_READ322arch/i386/math-emu/reg_ld_str.cFPU_verify_area(VERIFY_READ, _s, 4);
VERIFY_READ352arch/i386/math-emu/reg_ld_str.cFPU_verify_area(VERIFY_READ, _s, 2);
VERIFY_READ386arch/i386/math-emu/reg_ld_str.cFPU_verify_area(VERIFY_READ, s, 10);
VERIFY_READ1160arch/i386/math-emu/reg_ld_str.cFPU_verify_area(VERIFY_READ, s, 0x0e);
VERIFY_READ1180arch/i386/math-emu/reg_ld_str.cFPU_verify_area(VERIFY_READ, s, 0x1c);
VERIFY_READ53arch/mips/kernel/signal.cif (verify_area(VERIFY_READ, (void *) regs->reg29, sizeof(context)))
VERIFY_READ642drivers/block/aztcd.cst = verify_area(VERIFY_READ, (void*) arg, sizeof(struct cdrom_multisession));
VERIFY_READ673drivers/block/aztcd.cst = verify_area(VERIFY_READ, (void *) arg, sizeof ti);
VERIFY_READ704drivers/block/aztcd.cst = verify_area(VERIFY_READ, (void *) arg, sizeof msf);
VERIFY_READ741drivers/block/aztcd.cst = verify_area(VERIFY_READ, (void *) arg, sizeof entry);
VERIFY_READ770drivers/block/aztcd.cst = verify_area(VERIFY_READ, (void *) arg, sizeof(struct cdrom_subchnl));
VERIFY_READ816drivers/block/aztcd.cst=verify_area(VERIFY_READ,(void *) arg, sizeof(volctrl));
VERIFY_READ856drivers/block/aztcd.c{ st = verify_area(VERIFY_READ,  (void *) arg, sizeof msf);
VERIFY_READ1922drivers/block/cdu31a.cverify_area(VERIFY_READ, (char *) arg, sizeof(schi));
VERIFY_READ2392drivers/block/cdu31a.ci=verify_area(VERIFY_READ, (char *) arg, 6);
VERIFY_READ2449drivers/block/cdu31a.ci=verify_area(VERIFY_READ, entry, sizeof(*entry));
VERIFY_READ2505drivers/block/cdu31a.ci=verify_area(VERIFY_READ, (char *) arg, sizeof(ti));
VERIFY_READ2574drivers/block/cdu31a.ci=verify_area(VERIFY_READ, (char *) arg, sizeof(volctrl));
VERIFY_READ2603drivers/block/cdu31a.ci=verify_area(VERIFY_READ, (char *) arg, sizeof(ra));
VERIFY_READ963drivers/block/cm206.cst=verify_area(VERIFY_READ, (void *) arg, sizeof(msf));
VERIFY_READ973drivers/block/cm206.cst=verify_area(VERIFY_READ, (void *) arg, sizeof(track_index));
VERIFY_READ2865drivers/block/floppy.ci = verify_area(VERIFY_READ, raw_cmd.data, count );
VERIFY_READ1746drivers/block/ide-cd.cstat = verify_area (VERIFY_READ, (void *)arg, sizeof (msf));
VERIFY_READ1769drivers/block/ide-cd.cstat = verify_area (VERIFY_READ, (void *)arg, sizeof (ti));
VERIFY_READ1816drivers/block/ide-cd.cstat = verify_area (VERIFY_READ, (void *) arg, sizeof (tocentry));
VERIFY_READ1853drivers/block/ide-cd.cstat = verify_area (VERIFY_READ, (void *) arg, sizeof (subchnl));
VERIFY_READ1899drivers/block/ide-cd.cstat = verify_area (VERIFY_READ, (void *) arg, sizeof (volctrl));
VERIFY_READ1926drivers/block/ide-cd.cstat = verify_area (VERIFY_READ, (void *) arg, sizeof (pc.c));
VERIFY_READ1675drivers/block/ide.cif (!(err = verify_area(VERIFY_READ,(long *)arg,sizeof(long))))
VERIFY_READ377drivers/block/mcd.cst = verify_area(VERIFY_READ, (void *) arg, sizeof ti);
VERIFY_READ420drivers/block/mcd.cst = verify_area(VERIFY_READ, (void *) arg, sizeof msf);
VERIFY_READ546drivers/block/mcd.cst = verify_area(VERIFY_READ, (void *) arg, sizeof(volctrl));
VERIFY_READ308drivers/block/mcdx.cif ((ans = verify_area(VERIFY_READ, (void *) arg, sizeof(entry)))) return ans;
VERIFY_READ342drivers/block/mcdx.cif ((ans = verify_area(VERIFY_READ, (void*) arg, sizeof(sub)))) return ans;
VERIFY_READ399drivers/block/mcdx.cif (0 != (ans = verify_area(VERIFY_READ, (void*) arg, 
VERIFY_READ1027drivers/block/optcd.cif ((st = verify_area(VERIFY_READ, (void *) arg, sizeof msf)))
VERIFY_READ1047drivers/block/optcd.cif ((st = verify_area(VERIFY_READ, (void *) arg, sizeof ti)))
VERIFY_READ1092drivers/block/optcd.cif ((st = verify_area(VERIFY_READ, (void *) arg, sizeof entry)))
VERIFY_READ1141drivers/block/optcd.cif ((st = verify_area(VERIFY_READ, (void *) arg,
VERIFY_READ1160drivers/block/optcd.cif ((st = verify_area(VERIFY_READ,
VERIFY_READ1204drivers/block/optcd.cif ((st = verify_area(VERIFY_READ, (void *) arg, sizeof msf)))
VERIFY_READ3879drivers/block/sbpcd.cst=verify_area(VERIFY_READ, (void *) arg, sizeof(struct cdrom_msf));
VERIFY_READ3907drivers/block/sbpcd.cst=verify_area(VERIFY_READ,(void *) arg,sizeof(struct cdrom_ti));
VERIFY_READ3940drivers/block/sbpcd.cst=verify_area(VERIFY_READ, (void *) arg, sizeof(struct cdrom_tocentry));
VERIFY_READ4004drivers/block/sbpcd.cst=verify_area(VERIFY_READ,(void *) arg,sizeof(volctrl));
VERIFY_READ4034drivers/block/sbpcd.cst=verify_area(VERIFY_READ, (void *) arg, sizeof(struct cdrom_subchnl));
VERIFY_READ4127drivers/block/sbpcd.ci=verify_area(VERIFY_READ, (void *) arg, sizeof(struct cdrom_read_audio));
VERIFY_READ4311drivers/block/sbpcd.cst=verify_area(VERIFY_READ, (void *) arg, sizeof(struct cdrom_multisession));
VERIFY_READ708drivers/block/sjcd.cif( ( s = verify_area( VERIFY_READ, (void *) arg, sizeof( ti ) ) ) == 0 ){
VERIFY_READ734drivers/block/sjcd.cif( ( s = verify_area( VERIFY_READ, (void *) arg, sizeof( sjcd_msf ) ) ) == 0 ){
VERIFY_READ848drivers/block/sjcd.cif( ( s = verify_area( VERIFY_READ, (void *) arg, sizeof( vol_ctrl ) ) ) == 0 ){
VERIFY_READ1208drivers/block/sonycd535.cerr = verify_area(VERIFY_READ, (char *)arg, 6);
VERIFY_READ1312drivers/block/sonycd535.cerr = verify_area(VERIFY_READ, (char *)arg, sizeof ti);
VERIFY_READ1383drivers/block/sonycd535.cerr = verify_area(VERIFY_READ, (char *)arg, sizeof volctrl);
VERIFY_READ2414drivers/char/console.ci = verify_area(set ? VERIFY_READ : VERIFY_WRITE, (void *)arg,
VERIFY_READ2514drivers/char/console.ci = verify_area(set ? VERIFY_READ : VERIFY_WRITE, (void *)arg, 16*3);
VERIFY_READ219drivers/char/consolemap.ci = verify_area(VERIFY_READ, (void *)arg, E_TABSZ);
VERIFY_READ251drivers/char/consolemap.ci = verify_area(VERIFY_READ, (void *)arg,
VERIFY_READ91drivers/char/selection.cint i = verify_area(VERIFY_READ, (char *) arg, 36);
VERIFY_READ1604drivers/char/serial.cerror = verify_area(VERIFY_READ, value, sizeof(int));
VERIFY_READ2130drivers/char/tpqic02.cerror = verify_area(VERIFY_READ, buf, count);
VERIFY_READ2585drivers/char/tpqic02.cverify_area(VERIFY_READ, (int *) ioarg, sizeof(int));
VERIFY_READ2637drivers/char/tpqic02.cerror = verify_area(VERIFY_READ, (char *) ioarg, sizeof(qic02_tape_dynconf));
VERIFY_READ2669drivers/char/tpqic02.cerror = verify_area(VERIFY_READ, (char *) ioarg, sizeof(operation));
VERIFY_READ1325drivers/char/tty_io.cretval = verify_area(VERIFY_READ, (void *) arg, 1);
VERIFY_READ1340drivers/char/tty_io.cretval = verify_area(VERIFY_READ, (void *) arg,
VERIFY_READ1369drivers/char/tty_io.cretval = verify_area(VERIFY_READ, (void *) arg, sizeof(int));
VERIFY_READ1469drivers/char/tty_io.cretval = verify_area(VERIFY_READ, (void *) arg, 1);
VERIFY_READ154drivers/char/tty_ioctl.cretval = verify_area(VERIFY_READ, (void *) arg, sizeof(struct termio));
VERIFY_READ162drivers/char/tty_ioctl.cretval = verify_area(VERIFY_READ, (void *) arg, sizeof(struct termios));
VERIFY_READ282drivers/char/tty_ioctl.cretval = verify_area(VERIFY_READ, sgttyb, sizeof(struct sgttyb));
VERIFY_READ322drivers/char/tty_ioctl.cretval = verify_area(VERIFY_READ, tchars, sizeof(struct tchars));
VERIFY_READ360drivers/char/tty_ioctl.cretval = verify_area(VERIFY_READ, ltchars, sizeof(struct ltchars));
VERIFY_READ511drivers/char/tty_ioctl.cretval = verify_area(VERIFY_READ, (void *) arg,
VERIFY_READ523drivers/char/tty_ioctl.cretval = verify_area(VERIFY_READ, (void *) arg,
VERIFY_READ384drivers/char/vt.ci = verify_area(VERIFY_READ, (void *)a, sizeof(struct kbkeycode));
VERIFY_READ425drivers/char/vt.ci = verify_area(VERIFY_READ, (const void *)a, sizeof(struct kbentry));
VERIFY_READ522drivers/char/vt.ci = verify_area(VERIFY_READ, (void *)a, sizeof(struct kbsentry));
VERIFY_READ607drivers/char/vt.ci = verify_area(VERIFY_READ, (void *) a, sizeof(struct kbdiacrs));
VERIFY_READ866drivers/char/vt.ci = verify_area(VERIFY_READ, (void *)vtsizes, sizeof(struct vt_sizes));
VERIFY_READ881drivers/char/vt.ci = verify_area(VERIFY_READ, (void *)vtconsize, sizeof(struct vt_consize));
VERIFY_READ961drivers/char/vt.ci = verify_area(VERIFY_READ, (void *)arg,
VERIFY_READ1025drivers/char/vt.ci = verify_area(VERIFY_READ, (void *)arg, sizeof(struct unimapinit));
VERIFY_READ1040drivers/char/vt.ci = verify_area(VERIFY_READ, (void *)arg, sizeof(struct unimapdesc));
VERIFY_READ1045drivers/char/vt.ci = verify_area(VERIFY_READ, (void *) list,
VERIFY_READ2520drivers/net/de4x5.cstatus = verify_area(VERIFY_READ, (void *)ioc->data, ETH_ALEN);
VERIFY_READ2581drivers/net/de4x5.cif (!(status = verify_area(VERIFY_READ, (void *)ioc->data, ETH_ALEN * ioc->len))) {
VERIFY_READ2641drivers/net/de4x5.cif (!(status = verify_area(VERIFY_READ, (void *)ioc->data, 1))) {
VERIFY_READ1682drivers/net/depca.cif (!(status = verify_area(VERIFY_READ, (void *)ioc->data, ETH_ALEN))) {
VERIFY_READ1752drivers/net/depca.cif (!(status=verify_area(VERIFY_READ, ioc->data, ETH_ALEN*ioc->len))) {
VERIFY_READ441drivers/net/eql.cerr = verify_area(VERIFY_READ, (void *)srqp, sizeof (slaving_request_t));
VERIFY_READ490drivers/net/eql.cerr = verify_area(VERIFY_READ, (void *)srqp, sizeof (slaving_request_t));
VERIFY_READ527drivers/net/eql.cerr = verify_area(VERIFY_READ, (void *)scp, sizeof (slave_config_t));
VERIFY_READ568drivers/net/eql.cerr = verify_area(VERIFY_READ, (void *)scp, sizeof (slave_config_t));
VERIFY_READ633drivers/net/eql.cerr = verify_area(VERIFY_READ, (void *)mcp, sizeof (master_config_t));
VERIFY_READ1641drivers/net/ewrk3.cerr = verify_area(VERIFY_READ, (void *)ioc->data, ETH_ALEN);
VERIFY_READ1703drivers/net/ewrk3.cerr = verify_area(VERIFY_READ, (void *)ioc->data, ETH_ALEN * ioc->len);
VERIFY_READ1763drivers/net/ewrk3.cerr = verify_area(VERIFY_READ, (void *)ioc->data, 1);
VERIFY_READ1796drivers/net/ewrk3.cerr = verify_area(VERIFY_READ, (void *)ioc->data, EEPROM_MAX);
VERIFY_READ1375drivers/net/ppp.ci = verify_area (VERIFY_READ,buf,nr);
VERIFY_READ1458drivers/net/ppp.cerror = verify_area (VERIFY_READ, (void *) l, sizeof (temp_i));
VERIFY_READ1482drivers/net/ppp.cerror = verify_area (VERIFY_READ, (void *) l, sizeof (temp_i));
VERIFY_READ1500drivers/net/ppp.cerror = verify_area (VERIFY_READ, (void *) l, sizeof (temp_i));
VERIFY_READ1511drivers/net/ppp.cerror = verify_area (VERIFY_READ, (void *) l, sizeof (temp_i));
VERIFY_READ1528drivers/net/ppp.cerror = verify_area (VERIFY_READ, (void *) l, sizeof (temp_i));
VERIFY_READ1537drivers/net/ppp.cerror = verify_area (VERIFY_READ, (void *) l, sizeof (temp_i));
VERIFY_READ1594drivers/net/ppp.cerror = verify_area (VERIFY_READ, (void *) l,
VERIFY_READ1616drivers/net/ppp.cerror = verify_area (VERIFY_READ, (void *) l, sizeof (temp_i));
VERIFY_READ995drivers/net/slip.cerr = verify_area(VERIFY_READ, addr, AX25_ADDR_LEN);
VERIFY_READ1045drivers/net/slip.cerr = verify_area(VERIFY_READ, arg, sizeof(int));
VERIFY_READ2162drivers/scsi/53c7,8xx.cif (error = verify_area(VERIFY_READ,buf,count))
VERIFY_READ50drivers/scsi/scsi_ioctl.cresult = verify_area(VERIFY_READ, buffer, sizeof(long));
VERIFY_READ188drivers/scsi/scsi_ioctl.cresult = verify_area(VERIFY_READ, buffer, 2*sizeof(long) + 1);
VERIFY_READ229drivers/scsi/scsi_ioctl.cresult = verify_area(VERIFY_READ, cmd_in, 
VERIFY_READ80drivers/scsi/sg.cresult = verify_area(VERIFY_READ, (const void *)arg, sizeof(long));
VERIFY_READ302drivers/scsi/sg.cif ((i=verify_area(VERIFY_READ,buf,count)))
VERIFY_READ141drivers/scsi/sr_ioctl.cerr = verify_area (VERIFY_READ, (void *) arg, sizeof (msf));
VERIFY_READ165drivers/scsi/sr_ioctl.cerr = verify_area (VERIFY_READ, (void *) arg, sizeof (ti));
VERIFY_READ222drivers/scsi/sr_ioctl.cerr = verify_area (VERIFY_READ, (void *) arg, sizeof (struct cdrom_tocentry));
VERIFY_READ304drivers/scsi/sr_ioctl.cerr = verify_area (VERIFY_READ, (void *) arg, sizeof (struct cdrom_volctrl));
VERIFY_READ420drivers/scsi/sr_ioctl.cerr = verify_area(VERIFY_READ, (void *) arg,
VERIFY_READ159drivers/sound/soundcard.cif ((err = verify_area (VERIFY_READ, (void *) arg, len)) < 0)
VERIFY_READ357fs/exec.cerror = verify_area(VERIFY_READ, tmp, sizeof(char *));
VERIFY_READ362fs/exec.cerror = verify_area(VERIFY_READ, p, 1);
VERIFY_READ175fs/locks.cerror = verify_area(VERIFY_READ, l, sizeof(*l));
VERIFY_READ150fs/open.cerror = verify_area(VERIFY_READ, times, sizeof(*times));
VERIFY_READ197fs/open.cerror = verify_area(VERIFY_READ, utimes, sizeof(times));
VERIFY_READ136fs/read_write.cerror = verify_area(VERIFY_READ,buf,count);
VERIFY_READ51ipc/msg.cerr = verify_area (VERIFY_READ, msgp->mtext, msgsz);
VERIFY_READ382ipc/msg.cerr = verify_area (VERIFY_READ, buf, sizeof (*buf));
VERIFY_READ477ipc/sem.cif ((i = verify_area (VERIFY_READ, array, nsems*sizeof(ushort))))
VERIFY_READ491ipc/sem.cif ((i = verify_area (VERIFY_READ, buf, sizeof (*buf))))
VERIFY_READ571ipc/sem.cif ((i = verify_area (VERIFY_READ, tsops, nsops * sizeof(*tsops))))
VERIFY_READ214ipc/shm.cerr = verify_area (VERIFY_READ, buf, sizeof (*buf));
VERIFY_READ162kernel/itimer.cerror = verify_area(VERIFY_READ, value, sizeof(*value));
VERIFY_READ242kernel/module.cif ((error = verify_area(VERIFY_READ, &symtab->size, sizeof(symtab->size))))
VERIFY_READ250kernel/module.cif ((error = verify_area(VERIFY_READ, symtab, size))) {
VERIFY_READ28kernel/signal.cerror = verify_area(VERIFY_READ, set, sizeof(sigset_t));
VERIFY_READ122kernel/signal.cerr = verify_area(VERIFY_READ, handler, 1);
VERIFY_READ146kernel/signal.cint err = verify_area(VERIFY_READ, action, sizeof(*action));
VERIFY_READ155kernel/signal.cerr = verify_area(VERIFY_READ, new_sa.sa_handler, 1);
VERIFY_READ574kernel/sys.ci = verify_area(VERIFY_READ, grouplist, sizeof(gid_t) * gidsetsize);
VERIFY_READ663kernel/sys.cerror = verify_area(VERIFY_READ, name, len);
VERIFY_READ699kernel/sys.cerror = verify_area(VERIFY_READ, name, len);
VERIFY_READ727kernel/sys.cerr = verify_area(VERIFY_READ, rlim, sizeof(*rlim));
VERIFY_READ145kernel/time.cerror = verify_area(VERIFY_READ, tptr, sizeof(*tptr));
VERIFY_READ297kernel/time.cint error = verify_area(VERIFY_READ, tv, sizeof(*tv));
VERIFY_READ303kernel/time.cint error = verify_area(VERIFY_READ, tz, sizeof(*tz));
VERIFY_READ676net/appletalk/ddp.cint err=verify_area(ro?VERIFY_READ:VERIFY_WRITE, arg,sizeof(atreq));
VERIFY_READ799net/appletalk/ddp.cerr=verify_area(VERIFY_READ, arg, sizeof(rt));
VERIFY_READ955net/appletalk/ddp.cerr=verify_area(VERIFY_READ,optval,sizeof(int));
VERIFY_READ701net/ax25/af_ax25.cif ((err = verify_area(VERIFY_READ, optval, sizeof(int))) != 0)
VERIFY_READ1935net/ax25/af_ax25.cif ((err = verify_area(VERIFY_READ, (void *)arg, sizeof(struct sockaddr_ax25))) != 0)
VERIFY_READ1942net/ax25/af_ax25.cif ((err = verify_area(VERIFY_READ, (void *)arg, sizeof(unsigned long))) != 0)
VERIFY_READ1953net/ax25/af_ax25.cif ((err = verify_area(VERIFY_READ, (void *)arg, sizeof(int))) != 0)
VERIFY_READ177net/ax25/ax25_route.cif ((err = verify_area(VERIFY_READ, arg, sizeof(route))) != 0)
VERIFY_READ232net/ax25/ax25_route.cif ((err = verify_area(VERIFY_READ, arg, sizeof(route))) != 0)
VERIFY_READ525net/ax25/ax25_route.cif ((err = verify_area(VERIFY_READ, arg, sizeof(ax25_parms))) != 0)
VERIFY_READ34net/core/iovec.cif(mode==VERIFY_READ)
VERIFY_READ128net/core/sock.cerr=verify_area(VERIFY_READ, optval, sizeof(int));
VERIFY_READ195net/core/sock.cerr=verify_area(VERIFY_READ,optval,sizeof(ling));
VERIFY_READ1302net/ipv4/af_inet.cerr=verify_area(VERIFY_READ,(int *)arg,sizeof(long));
VERIFY_READ1407net/ipv4/arp.cerr = verify_area(VERIFY_READ, arg, sizeof(struct arpreq));
VERIFY_READ1424net/ipv4/arp.cerr = verify_area(VERIFY_READ, arg, sizeof(struct arpreq));
VERIFY_READ2042net/ipv4/ip.cerr=verify_area(VERIFY_READ, optval, sizeof(int));
VERIFY_READ2090net/ipv4/ip.cerr=verify_area(VERIFY_READ, optval, sizeof(addr));
VERIFY_READ2140net/ipv4/ip.cerr=verify_area(VERIFY_READ, optval, sizeof(mreq));
VERIFY_READ2195net/ipv4/ip.cerr=verify_area(VERIFY_READ, optval, sizeof(mreq));
VERIFY_READ2250net/ipv4/ip.cerr=verify_area(VERIFY_READ,optval,optlen);
VERIFY_READ2267net/ipv4/ip.cerr=verify_area(VERIFY_READ,optval,optlen);
VERIFY_READ452net/ipv4/rarp.cerr = verify_area(VERIFY_READ, arg, sizeof(struct arpreq));
VERIFY_READ470net/ipv4/rarp.cerr = verify_area(VERIFY_READ, arg, sizeof(struct arpreq));
VERIFY_READ692net/ipv4/route.cerr=verify_area(VERIFY_READ, arg, sizeof(struct rtentry));
VERIFY_READ5167net/ipv4/tcp.cerr=verify_area(VERIFY_READ, optval, sizeof(int));
VERIFY_READ842net/ipx/af_ipx.cerr=verify_area(VERIFY_READ,arg,sizeof(ifr));
VERIFY_READ882net/ipx/af_ipx.cerr=verify_area(VERIFY_READ,arg,sizeof(char));
VERIFY_READ887net/ipx/af_ipx.cerr=verify_area(VERIFY_READ,arg,sizeof(char));
VERIFY_READ1076net/ipx/af_ipx.cerr=verify_area(VERIFY_READ,arg,sizeof(rt));
VERIFY_READ1293net/ipx/af_ipx.cerr=verify_area(VERIFY_READ,optval,sizeof(int));
VERIFY_READ309net/netrom/af_netrom.cif ((err = verify_area(VERIFY_READ, optval, sizeof(int))) != 0)
VERIFY_READ1291net/netrom/af_netrom.cif ((err = verify_area(VERIFY_READ, (void *)arg, sizeof(struct nr_parms_struct))) != 0)
VERIFY_READ573net/netrom/nr_route.cif ((err = verify_area(VERIFY_READ, arg, sizeof(struct nr_route_struct))) != 0)
VERIFY_READ593net/netrom/nr_route.cif ((err = verify_area(VERIFY_READ, arg, sizeof(struct nr_route_struct))) != 0)
VERIFY_READ613net/netrom/nr_route.cif ((err = verify_area(VERIFY_READ, arg, sizeof(int))) != 0)
VERIFY_READ126net/socket.cif((err=verify_area(VERIFY_READ,uaddr,ulen))<0)
VERIFY_READ356net/socket.cif ((err=verify_area(VERIFY_READ,ubuf,size))<0)
VERIFY_READ929net/socket.cerr=verify_area(VERIFY_READ, buff, len);
VERIFY_READ956net/socket.cerr=verify_area(VERIFY_READ,buff,len);
VERIFY_READ1112net/socket.cerr=verify_area(VERIFY_READ, msg,sizeof(struct msghdr));
VERIFY_READ1118net/socket.cerr=verify_iovec(&msg_sys,iov,address, VERIFY_READ);
VERIFY_READ1149net/socket.cerr=verify_area(VERIFY_READ, msg,sizeof(struct msghdr));
VERIFY_READ1212net/socket.cer=verify_area(VERIFY_READ, args, nargs[call] * sizeof(unsigned long));