taglinefilesource code
verify_area108arch/alpha/kernel/osf_sys.cerror = verify_area(VERIFY_WRITE, dirent, count);
verify_area112arch/alpha/kernel/osf_sys.cerror = verify_area(VERIFY_WRITE, basep, sizeof(long));
verify_area190arch/alpha/kernel/osf_sys.cretval = verify_area(VERIFY_WRITE, buffer, bufsiz);
verify_area211arch/alpha/kernel/osf_sys.cretval = verify_area(VERIFY_WRITE, buffer, bufsiz);
verify_area316arch/alpha/kernel/osf_sys.cretval = verify_area(VERIFY_READ, args, sizeof(*args));
verify_area336arch/alpha/kernel/osf_sys.cretval = verify_area(VERIFY_READ, args, sizeof(*args));
verify_area356arch/alpha/kernel/osf_sys.cretval = verify_area(VERIFY_READ, args, sizeof(*args));
verify_area406arch/alpha/kernel/osf_sys.cretval = verify_area(VERIFY_READ, sleep, sizeof(*sleep));
verify_area409arch/alpha/kernel/osf_sys.cif (remain && (retval = verify_area(VERIFY_WRITE, remain, sizeof(*remain))))
verify_area434arch/alpha/kernel/osf_sys.cint error = verify_area(VERIFY_WRITE, name, 5*32);
verify_area482arch/alpha/kernel/osf_sys.cerror = verify_area(VERIFY_WRITE, name, namelen);
verify_area587arch/alpha/kernel/osf_sys.cerror = verify_area(VERIFY_READ, &args->set.nbytes,
verify_area594arch/alpha/kernel/osf_sys.cerror = verify_area(VERIFY_READ, &args->fset.nbytes,
verify_area601arch/alpha/kernel/osf_sys.cerror = verify_area(VERIFY_READ, &args->get.min_buf_size,
verify_area606arch/alpha/kernel/osf_sys.cerror = verify_area(VERIFY_WRITE, min_buf_size_ptr,
verify_area614arch/alpha/kernel/osf_sys.cerror = verify_area(VERIFY_READ, &args->fget.min_buf_size,
verify_area619arch/alpha/kernel/osf_sys.cerror = verify_area(VERIFY_WRITE, min_buf_size_ptr,
verify_area78arch/alpha/kernel/signal.cif (verify_area(VERIFY_READ, sc, sizeof(*sc)))
verify_area144arch/alpha/kernel/signal.cif (verify_area(VERIFY_WRITE, sc, sizeof(*sc)))
verify_area315arch/alpha/kernel/traps.cif (verify_area(dir, va, size)) {
verify_area30arch/i386/kernel/ldt.cerror = verify_area(VERIFY_WRITE, ptr, size);
verify_area46arch/i386/kernel/ldt.cerror = verify_area(VERIFY_READ, ptr, sizeof(ldt_info));
verify_area358arch/i386/kernel/ptrace.cres = verify_area(VERIFY_WRITE, (void *) data, sizeof(long));
verify_area373arch/i386/kernel/ptrace.cres = verify_area(VERIFY_WRITE, (void *) data, sizeof(long));
verify_area58arch/i386/kernel/signal.cif (verify_area(VERIFY_READ, (void *) regs->esp, sizeof(context)))
verify_area96arch/i386/kernel/signal.cif (verify_area(VERIFY_WRITE,frame,32*4))
verify_area29arch/i386/kernel/sys_i386.cerror = verify_area(VERIFY_WRITE,fildes,8);
verify_area52arch/i386/kernel/sys_i386.cerror = verify_area(VERIFY_READ, buffer, 6*sizeof(long));
verify_area76arch/i386/kernel/sys_i386.cn = verify_area(VERIFY_READ, buffer, 5*sizeof(unsigned long));
verify_area110arch/i386/kernel/sys_i386.cif ((err = verify_area (VERIFY_READ, ptr, sizeof(long))))
verify_area130arch/i386/kernel/sys_i386.cif ((err = verify_area (VERIFY_READ, ptr, sizeof(tmp))))
verify_area153arch/i386/kernel/sys_i386.cif ((err = verify_area(VERIFY_WRITE, (ulong*) third, sizeof(ulong))))
verify_area111arch/i386/kernel/vm86.cerror = verify_area(VERIFY_WRITE,v86,sizeof(*v86));
verify_area220arch/i386/kernel/vm86.cif (verify_area(VERIFY_READ, bitmap, 256/8) < 0)
verify_area312arch/i386/kernel/vm86.cif (verify_area(VERIFY_READ, intr_ptr, 4) < 0)
verify_area66arch/i386/math-emu/fpu_system.h#define FPU_verify_area(x,y,z)  if ( verify_area(x,y,z) ) \
verify_area44arch/mips/kernel/ipc.cif ((err = verify_area (VERIFY_READ, ptr, sizeof(long))))
verify_area64arch/mips/kernel/ipc.cif ((err = verify_area (VERIFY_READ, ptr, sizeof(tmp))))
verify_area87arch/mips/kernel/ipc.cif ((err = verify_area(VERIFY_WRITE, (ulong*) third, sizeof(ulong))))
verify_area340arch/mips/kernel/ptrace.cres = verify_area(VERIFY_WRITE, (void *) data, sizeof(long));
verify_area355arch/mips/kernel/ptrace.cres = verify_area(VERIFY_WRITE, (void *) data, sizeof(long));
verify_area58arch/mips/kernel/signal.cif (verify_area(VERIFY_READ, context, sizeof(struct sigcontext_struct)) ||
verify_area160arch/mips/kernel/signal.cif (verify_area(VERIFY_WRITE, frame, sizeof (struct sc)) ||
verify_area182arch/mips/kernel/syscall.cerrno = verify_area(VERIFY_READ, (void *) (usp + 16),
verify_area74arch/mips/kernel/sysmips.cretval = verify_area(VERIFY_WRITE, p, sizeof(*p));
verify_area144arch/mips/kernel/traps.cif ((!verify_area(VERIFY_READ, pc, 5 * sizeof(*pc)) ||
verify_area80arch/sparc/kernel/signal.cif(verify_area(VERIFY_READ, sigmaskp, sizeof(unsigned int)))
verify_area97arch/sparc/kernel/signal.cif(verify_area(VERIFY_READ, scptr, sizeof(struct sigcontext_struct)) ||
verify_area134arch/sparc/kernel/signal.cif(!(sp & 7) && !verify_area(VERIFY_WRITE, (char *)sp,
verify_area186arch/sparc/kernel/signal.cif(verify_area(VERIFY_WRITE, sframep, sizeof(*sframep)) ||
verify_area356arch/sparc/kernel/signal.cif(verify_area(VERIFY_WRITE, ossptr, sizeof(struct sigstack)))
verify_area363arch/sparc/kernel/signal.cif(verify_area(VERIFY_READ, ssptr, sizeof(struct sigstack)))
verify_area69arch/sparc/kernel/sys_sparc.cif ((err = verify_area (VERIFY_READ, ptr, sizeof(long))))
verify_area89arch/sparc/kernel/sys_sparc.cif ((err = verify_area (VERIFY_READ, ptr, sizeof(tmp))))
verify_area112arch/sparc/kernel/sys_sparc.cif ((err = verify_area(VERIFY_WRITE, (ulong*) third, sizeof(ulong))))
verify_area282arch/sparc/kernel/sys_sunos.cif(verify_area(VERIFY_WRITE, array, num_pages))
verify_area383arch/sparc/kernel/sys_sunos.cif(verify_area(VERIFY_WRITE, dirent, cnt))
verify_area408arch/sparc/kernel/sys_sunos.cerror = verify_area(VERIFY_WRITE, name, len);
verify_area429arch/sparc/kernel/sys_sunos.cerror = verify_area(VERIFY_WRITE, name, sizeof *name);
verify_area659arch/sparc/kernel/sys_sunos.cerror = verify_area(VERIFY_READ, data, sizeof (struct sunos_nfs_mount_args));
verify_area739arch/sparc/kernel/sys_sunos.cerror = verify_area(VERIFY_READ, type, 16);
verify_area252arch/sparc/mm/fault.cverify_area(VERIFY_WRITE,
verify_area272arch/sparc/mm/fault.cverify_area(VERIFY_READ,
verify_area287arch/sparc/mm/fault.cverify_area(VERIFY_READ, (char *) sp,
verify_area2753drivers/block/floppy.cECALL(verify_area(VERIFY_WRITE,param,size));
verify_area2765drivers/block/floppy.cECALL(verify_area(VERIFY_READ,param,size));
verify_area2945drivers/block/floppy.cECALL( verify_area( VERIFY_WRITE, ptr->data, 
verify_area3206drivers/block/floppy.cECALL(verify_area(VERIFY_WRITE,(void *) param, size));
verify_area793drivers/block/hd.cerr = verify_area(VERIFY_WRITE, loc, sizeof(*loc));
verify_area812drivers/block/hd.cerr = verify_area(VERIFY_WRITE, (long *) arg, sizeof(long));
verify_area819drivers/block/hd.cerr = verify_area(VERIFY_WRITE, (long *) arg, sizeof(long));
verify_area842drivers/block/hd.cerr = verify_area(VERIFY_WRITE, (long *) arg, sizeof(long));
verify_area850drivers/block/hd.cerr = verify_area(VERIFY_WRITE, (long *) arg, sizeof(long));
verify_area878drivers/block/hd.cerr = verify_area(VERIFY_WRITE, (char *) arg, sizeof(struct hd_driveid));
verify_area2172drivers/block/ide-cd.cstat = verify_area (VERIFY_READ, (void *)arg, sizeof (msf));
verify_area2195drivers/block/ide-cd.cstat = verify_area (VERIFY_READ, (void *)arg, sizeof (ti));
verify_area2220drivers/block/ide-cd.cstat = verify_area (VERIFY_WRITE, (void *) arg, sizeof (tochdr));
verify_area2242drivers/block/ide-cd.cstat = verify_area (VERIFY_READ, (void *) arg, sizeof (tocentry));
verify_area2244drivers/block/ide-cd.cstat = verify_area (VERIFY_WRITE, (void *) arg, sizeof (tocentry));
verify_area2277drivers/block/ide-cd.cstat = verify_area (VERIFY_WRITE, (void *) arg, sizeof (subchnl));
verify_area2279drivers/block/ide-cd.cstat = verify_area (VERIFY_READ, (void *) arg, sizeof (subchnl));
verify_area2339drivers/block/ide-cd.cstat = verify_area (VERIFY_READ, (void *) arg, sizeof (volctrl));
verify_area2364drivers/block/ide-cd.cstat = verify_area (VERIFY_WRITE, (void *) arg, sizeof (volctrl));
verify_area2386drivers/block/ide-cd.cstat = verify_area (VERIFY_READ,  (void *)arg, sizeof (ms_info));
verify_area2388drivers/block/ide-cd.cstat = verify_area (VERIFY_WRITE, (void *)arg, sizeof (ms_info));
verify_area2432drivers/block/ide-cd.cstat = verify_area (VERIFY_READ, (char *)arg, sizeof (ra));
verify_area2442drivers/block/ide-cd.cstat = verify_area (VERIFY_WRITE, (char *)ra.buf,
verify_area2492drivers/block/ide-cd.cstat = verify_area (VERIFY_READ, (char *)arg, sizeof (msf));
verify_area2494drivers/block/ide-cd.cstat = verify_area (VERIFY_WRITE, (char *)arg, blocksize);
verify_area2537drivers/block/ide-cd.cstat = verify_area (VERIFY_READ, (void *) arg, sizeof (pc.c));
verify_area2542drivers/block/ide-cd.cstat = verify_area (VERIFY_READ, (void *) arg, sizeof (len));
verify_area2548drivers/block/ide-cd.cstat = verify_area (VERIFY_WRITE, (void *) arg, len);
verify_area3833drivers/block/ide-tape.cretval=verify_area (VERIFY_READ,(char *) arg,sizeof (struct mtop));
verify_area3839drivers/block/ide-tape.cretval=verify_area (VERIFY_WRITE,(char *) arg,sizeof (struct mtget));
verify_area3848drivers/block/ide-tape.cretval=verify_area (VERIFY_WRITE,(char *) arg,sizeof (struct mtpos));
verify_area1829drivers/block/ide.cif ((err = verify_area(VERIFY_WRITE, (long *)useraddr, sizeof(long))))
verify_area1852drivers/block/ide.cerr = verify_area(VERIFY_WRITE, loc, sizeof(*loc));
verify_area1901drivers/block/ide.cerr = verify_area(VERIFY_WRITE, (char *)arg, sizeof(*drive->id));
verify_area1988drivers/block/ide.cif (!(err = verify_area(VERIFY_READ,(long *)arg,sizeof(long))))
verify_area1991drivers/block/ide.cif (!(err = verify_area(VERIFY_WRITE,(long *)arg,sizeof(long)))) {
verify_area386drivers/block/loop.cerr = verify_area(VERIFY_WRITE, (long *) arg, sizeof(long));
verify_area288drivers/block/md.cerr=verify_area (VERIFY_WRITE, (long *) arg, sizeof(long));
verify_area307drivers/block/md.cerr=verify_area (VERIFY_WRITE, (long *) arg, sizeof(long));
verify_area315drivers/block/md.cerr = verify_area(VERIFY_WRITE, loc, sizeof(*loc));
verify_area149drivers/block/rd.cerr = verify_area(VERIFY_WRITE, (long *) arg,
verify_area249drivers/block/xd.cif ((err = verify_area(VERIFY_WRITE,geometry,sizeof(*geometry))))
verify_area270drivers/block/xd.cif ((err = verify_area(VERIFY_WRITE,(long *) arg,sizeof(long))))
verify_area676drivers/cdrom/aztcd.cst = verify_area(VERIFY_READ, (void*) arg, sizeof(struct cdrom_multisession));
verify_area689drivers/cdrom/aztcd.cst = verify_area(VERIFY_WRITE, (void*) arg, sizeof(struct cdrom_multisession));
verify_area706drivers/cdrom/aztcd.cst = verify_area(VERIFY_READ, (void *) arg, sizeof ti);
verify_area737drivers/cdrom/aztcd.cst = verify_area(VERIFY_READ, (void *) arg, sizeof msf);
verify_area767drivers/cdrom/aztcd.cst = verify_area(VERIFY_WRITE, (void *) arg, sizeof tocHdr);
verify_area774drivers/cdrom/aztcd.cst = verify_area(VERIFY_READ, (void *) arg, sizeof entry);
verify_area776drivers/cdrom/aztcd.cst = verify_area(VERIFY_WRITE, (void *) arg, sizeof entry);
verify_area803drivers/cdrom/aztcd.cst = verify_area(VERIFY_READ, (void *) arg, sizeof(struct cdrom_subchnl));
verify_area810drivers/cdrom/aztcd.cst = verify_area(VERIFY_WRITE, (void *) arg, sizeof(struct cdrom_subchnl));
verify_area849drivers/cdrom/aztcd.cst=verify_area(VERIFY_READ,(void *) arg, sizeof(volctrl));
verify_area889drivers/cdrom/aztcd.c{ st = verify_area(VERIFY_READ,  (void *) arg, sizeof msf);
verify_area891drivers/cdrom/aztcd.cst = verify_area(VERIFY_WRITE, (void *) arg, sizeof buf);
verify_area927drivers/cdrom/aztcd.cst = verify_area(VERIFY_READ,  (void *) arg, sizeof msf);
verify_area1976drivers/cdrom/cdu31a.cerr = verify_area(VERIFY_READ, (char *) arg, sizeof(schi)) ||
verify_area1977drivers/cdrom/cdu31a.cverify_area(VERIFY_WRITE, (char *) arg, sizeof(schi));
verify_area2448drivers/cdrom/cdu31a.ci=verify_area(VERIFY_READ, (char *) arg, 6);
verify_area2482drivers/cdrom/cdu31a.ci=verify_area(VERIFY_WRITE, hdr, sizeof(*hdr));
verify_area2505drivers/cdrom/cdu31a.ci=verify_area(VERIFY_READ, entry, sizeof(*entry));
verify_area2508drivers/cdrom/cdu31a.ci=verify_area(VERIFY_WRITE, entry, sizeof(*entry));
verify_area2561drivers/cdrom/cdu31a.ci=verify_area(VERIFY_READ, (char *) arg, sizeof(ti));
verify_area2630drivers/cdrom/cdu31a.ci=verify_area(VERIFY_READ, (char *) arg, sizeof(volctrl));
verify_area2659drivers/cdrom/cdu31a.ci=verify_area(VERIFY_READ, (char *) arg, sizeof(ra));
verify_area2664drivers/cdrom/cdu31a.ci=verify_area(VERIFY_WRITE, ra.buf, CD_FRAMESIZE_RAW * ra.nframes);
verify_area902drivers/cdrom/cm206.cst=verify_area(VERIFY_WRITE, (void *) arg, 
verify_area932drivers/cdrom/cm206.cst=verify_area(VERIFY_WRITE, (void *) arg, sizeof(header));
verify_area944drivers/cdrom/cm206.cst=verify_area(VERIFY_WRITE, (void *) arg, sizeof(entry));
verify_area955drivers/cdrom/cm206.cst=verify_area(VERIFY_READ, (void *) arg, sizeof(msf));
verify_area965drivers/cdrom/cm206.cst=verify_area(VERIFY_READ, (void *) arg, sizeof(track_index));
verify_area1002drivers/cdrom/cm206.cst=verify_area(VERIFY_WRITE, (void *) arg, sizeof(q));
verify_area1015drivers/cdrom/cm206.cst=verify_area(VERIFY_WRITE, (void *) arg, 8);
verify_area368drivers/cdrom/mcd.cst = verify_area(VERIFY_READ, (void *) arg, sizeof ti);
verify_area411drivers/cdrom/mcd.cst = verify_area(VERIFY_READ, (void *) arg, sizeof msf);
verify_area450drivers/cdrom/mcd.cst = verify_area(VERIFY_WRITE, (void *) arg, sizeof tocHdr);
verify_area461drivers/cdrom/mcd.cst = verify_area(VERIFY_WRITE, (void *) arg, sizeof entry);
verify_area498drivers/cdrom/mcd.cst = verify_area(VERIFY_WRITE, (void *) arg, sizeof subchnl);
verify_area537drivers/cdrom/mcd.cst = verify_area(VERIFY_READ, (void *) arg, sizeof(volctrl));
verify_area294drivers/cdrom/mcdx.cif ((ans = verify_area(VERIFY_READ, (void*) arg, sizeof(ti))))
verify_area316drivers/cdrom/mcdx.cif ((ans = verify_area(
verify_area347drivers/cdrom/mcdx.cif ((ans = verify_area(VERIFY_READ, (void *) arg, sizeof(entry)))) return ans;
verify_area369drivers/cdrom/mcdx.cif ((ans = verify_area(VERIFY_WRITE, (void*) arg, sizeof(entry)))) return ans;
verify_area382drivers/cdrom/mcdx.cif ((ans = verify_area(VERIFY_READ, 
verify_area422drivers/cdrom/mcdx.cif ((ans = verify_area(VERIFY_WRITE, (void*) arg, sizeof(sub))))
verify_area434drivers/cdrom/mcdx.cif ((ans = verify_area(VERIFY_WRITE, (void*) arg, sizeof toc)))
verify_area458drivers/cdrom/mcdx.cif (0 != (ans = verify_area(VERIFY_READ, (void*) arg, 
verify_area473drivers/cdrom/mcdx.cif (0 != (ans = verify_area(VERIFY_WRITE, (void*) arg,
verify_area518drivers/cdrom/mcdx.cif ((ans = verify_area(
verify_area1437drivers/cdrom/optcd.cstatus = verify_area(VERIFY_READ, (void *) arg, sizeof msf);
verify_area1461drivers/cdrom/optcd.cstatus = verify_area(VERIFY_READ, (void *) arg, sizeof ti);
verify_area1506drivers/cdrom/optcd.cstatus = verify_area(VERIFY_WRITE, (void *) arg, sizeof tochdr);
verify_area1524drivers/cdrom/optcd.cstatus = verify_area(VERIFY_READ, (void *) arg, sizeof entry);
verify_area1527drivers/cdrom/optcd.cstatus = verify_area(VERIFY_WRITE, (void *) arg, sizeof entry);
verify_area1563drivers/cdrom/optcd.cstatus = verify_area(VERIFY_READ, (void *) arg, sizeof volctrl);
verify_area1589drivers/cdrom/optcd.cstatus = verify_area(VERIFY_READ, (void *) arg, sizeof subchnl);
verify_area1592drivers/cdrom/optcd.cstatus = verify_area(VERIFY_WRITE, (void *) arg, sizeof subchnl);
verify_area1618drivers/cdrom/optcd.cstatus = verify_area(VERIFY_READ, (void *) arg, sizeof msf);
verify_area1621drivers/cdrom/optcd.cstatus = verify_area(VERIFY_WRITE, (void *) arg, blocksize);
verify_area1648drivers/cdrom/optcd.cstatus = verify_area(VERIFY_READ, (void *) arg, sizeof msf);
verify_area1670drivers/cdrom/optcd.cstatus = verify_area(VERIFY_READ, (void*) arg, sizeof ms);
verify_area1673drivers/cdrom/optcd.cstatus = verify_area(VERIFY_WRITE, (void*) arg, sizeof ms);
verify_area3917drivers/cdrom/sbpcd.cst=verify_area(VERIFY_READ, (void *) arg, sizeof(struct cdrom_msf));
verify_area3945drivers/cdrom/sbpcd.cst=verify_area(VERIFY_READ,(void *) arg,sizeof(struct cdrom_ti));
verify_area3971drivers/cdrom/sbpcd.cst=verify_area(VERIFY_WRITE, (void *) arg, sizeof(struct cdrom_tochdr));
verify_area3978drivers/cdrom/sbpcd.cst=verify_area(VERIFY_READ, (void *) arg, sizeof(struct cdrom_tocentry));
verify_area3996drivers/cdrom/sbpcd.cst=verify_area(VERIFY_WRITE,(void *) arg, sizeof(struct cdrom_tocentry));
verify_area4042drivers/cdrom/sbpcd.cst=verify_area(VERIFY_READ,(void *) arg,sizeof(volctrl));
verify_area4054drivers/cdrom/sbpcd.cst=verify_area(VERIFY_WRITE,(void *)arg,sizeof(volctrl));
verify_area4070drivers/cdrom/sbpcd.cst=verify_area(VERIFY_WRITE, (void *) arg, sizeof(struct cdrom_subchnl));
verify_area4072drivers/cdrom/sbpcd.cst=verify_area(VERIFY_READ, (void *) arg, sizeof(struct cdrom_subchnl));
verify_area4162drivers/cdrom/sbpcd.ci=verify_area(VERIFY_READ, (void *) arg, sizeof(struct cdrom_read_audio));
verify_area4166drivers/cdrom/sbpcd.ci=verify_area(VERIFY_WRITE, read_audio.buf,
verify_area4358drivers/cdrom/sbpcd.cst=verify_area(VERIFY_READ, (void *) arg, sizeof(struct cdrom_multisession));
verify_area4368drivers/cdrom/sbpcd.cst=verify_area(VERIFY_WRITE,(void *) arg, sizeof(struct cdrom_multisession));
verify_area724drivers/cdrom/sjcd.cif( ( s = verify_area( VERIFY_READ, (void *)arg, sizeof( ti ) ) ) == 0 ){
verify_area750drivers/cdrom/sjcd.cif( ( s = verify_area( VERIFY_READ, (void *)arg, sizeof( sjcd_msf ) ) ) == 0 ){
verify_area779drivers/cdrom/sjcd.cif( ( s = verify_area( VERIFY_WRITE, (void *)arg, sizeof( toc_header ) ) ) == 0 ){
verify_area792drivers/cdrom/sjcd.cif( ( s = verify_area( VERIFY_WRITE, (void *)arg, sizeof( toc_entry ) ) ) == 0 ){
verify_area827drivers/cdrom/sjcd.cif( ( s = verify_area( VERIFY_WRITE, (void *)arg, sizeof( subchnl ) ) ) == 0 ){
verify_area864drivers/cdrom/sjcd.cif( ( s = verify_area( VERIFY_READ, (void *)arg, sizeof( vol_ctrl ) ) ) == 0 ){
verify_area894drivers/cdrom/sjcd.cif( ( s = verify_area( VERIFY_WRITE, (void *)arg, sizeof( statistic ) ) ) == 0 )
verify_area1016drivers/cdrom/sonycd535.cerr = verify_area(VERIFY_WRITE /* and read */ , (char *)arg, sizeof schi);
verify_area1171drivers/cdrom/sonycd535.cerr = verify_area(VERIFY_READ, (char *)arg, 6);
verify_area1212drivers/cdrom/sonycd535.cerr = verify_area(VERIFY_WRITE, hdr, sizeof *hdr);
verify_area1234drivers/cdrom/sonycd535.cerr = verify_area(VERIFY_WRITE /* and read */ , entry, sizeof *entry);
verify_area1275drivers/cdrom/sonycd535.cerr = verify_area(VERIFY_READ, (char *)arg, sizeof ti);
verify_area1346drivers/cdrom/sonycd535.cerr = verify_area(VERIFY_READ, (char *)arg, sizeof volctrl);
verify_area177drivers/char/busmouse.cif ((r = verify_area(VERIFY_WRITE, buffer, count)))
verify_area232drivers/char/consolemap.ci = verify_area(VERIFY_READ, (void *)arg, E_TABSZ);
verify_area248drivers/char/consolemap.ci = verify_area(VERIFY_WRITE, (void *)arg, E_TABSZ);
verify_area265drivers/char/consolemap.ci = verify_area(VERIFY_READ, (void *)arg,
verify_area282drivers/char/consolemap.ci = verify_area(VERIFY_WRITE, (void *)arg,
verify_area2150drivers/char/cyclades.cerror = verify_area(VERIFY_WRITE, (void *) arg
verify_area2159drivers/char/cyclades.cerror = verify_area(VERIFY_WRITE, (void *) arg
verify_area2171drivers/char/cyclades.cerror = verify_area(VERIFY_WRITE, (void *) arg
verify_area2183drivers/char/cyclades.cerror = verify_area(VERIFY_WRITE, (void *) arg
verify_area2195drivers/char/cyclades.cerror = verify_area(VERIFY_WRITE, (void *) arg
verify_area2229drivers/char/cyclades.cerror = verify_area(VERIFY_WRITE, (void *) arg
verify_area2245drivers/char/cyclades.cerror = verify_area(VERIFY_WRITE, (void *) arg
verify_area2254drivers/char/cyclades.cerror = verify_area(VERIFY_WRITE, (void *) arg
verify_area1885drivers/char/istallion.cif ((rc = verify_area(VERIFY_WRITE, (void *) arg, sizeof(long))) == 0)
verify_area1889drivers/char/istallion.cif ((rc = verify_area(VERIFY_READ, (void *) arg, sizeof(long))) == 0) {
verify_area1895drivers/char/istallion.cif ((rc = verify_area(VERIFY_WRITE, (void *) arg, sizeof(unsigned int))) == 0) {
verify_area1903drivers/char/istallion.cif ((rc = verify_area(VERIFY_READ, (void *) arg, sizeof(long))) == 0) {
verify_area1910drivers/char/istallion.cif ((rc = verify_area(VERIFY_READ, (void *) arg, sizeof(long))) == 0) {
verify_area1917drivers/char/istallion.cif ((rc = verify_area(VERIFY_READ, (void *) arg, sizeof(long))) == 0) {
verify_area1924drivers/char/istallion.cif ((rc = verify_area(VERIFY_WRITE, (void *) arg, sizeof(struct serial_struct))) == 0)
verify_area1928drivers/char/istallion.cif ((rc = verify_area(VERIFY_READ, (void *) arg, sizeof(struct serial_struct))) == 0)
verify_area1932drivers/char/istallion.cif ((rc = verify_area(VERIFY_WRITE, (void *) arg, sizeof(unsigned long))) == 0)
verify_area1936drivers/char/istallion.cif ((rc = verify_area(VERIFY_READ, (void *) arg, sizeof(unsigned long))) == 0) {
verify_area476drivers/char/lp.cretval = verify_area(VERIFY_WRITE, (void *) arg,
verify_area483drivers/char/lp.cretval = verify_area(VERIFY_WRITE, (void *) arg,
verify_area496drivers/char/lp.cretval = verify_area(VERIFY_WRITE, (void *) arg,
verify_area507drivers/char/lp.cretval = verify_area(VERIFY_WRITE, (void *) arg,
verify_area739drivers/char/random.cretval = verify_area(VERIFY_WRITE, (void *) arg, sizeof(int));
verify_area747drivers/char/random.cretval = verify_area(VERIFY_READ, (void *) arg, sizeof(int));
verify_area758drivers/char/random.cretval = verify_area(VERIFY_WRITE, (void *) p, sizeof(int));
verify_area762drivers/char/random.cretval = verify_area(VERIFY_READ, (void *) p, sizeof(int));
verify_area778drivers/char/random.cretval = verify_area(VERIFY_READ, (void *) p, 2*sizeof(int));
verify_area2276drivers/char/scc.cerror = verify_area(VERIFY_WRITE, (void *) arg,sizeof(unsigned int *));
verify_area2327drivers/char/scc.cerror = verify_area(VERIFY_WRITE, (void *) arg, sizeof(struct termios));
verify_area2365drivers/char/scc.cerror = verify_area(VERIFY_WRITE, (void *) arg,sizeof(struct scc_stat));
verify_area2382drivers/char/scc.cerror = verify_area(VERIFY_WRITE, (void *) arg,sizeof(struct ioctl_command));
verify_area91drivers/char/selection.cint i = verify_area(VERIFY_READ, (char *) arg, 36);
verify_area1629drivers/char/serial.cerror = verify_area(VERIFY_READ, value, sizeof(int));
verify_area1903drivers/char/serial.cerror = verify_area(VERIFY_WRITE, (void *) arg,sizeof(long));
verify_area1916drivers/char/serial.cerror = verify_area(VERIFY_WRITE, (void *) arg,
verify_area1926drivers/char/serial.cerror = verify_area(VERIFY_WRITE, (void *) arg,
verify_area1939drivers/char/serial.cerror = verify_area(VERIFY_WRITE, (void *) arg,
verify_area1947drivers/char/serial.cerror = verify_area(VERIFY_WRITE, (void *) arg,
verify_area1963drivers/char/serial.cerror = verify_area(VERIFY_WRITE, (void *) arg,
verify_area1972drivers/char/serial.cerror = verify_area(VERIFY_WRITE, (void *) arg,
verify_area2016drivers/char/serial.cerror = verify_area(VERIFY_WRITE, (void *) arg,
verify_area1192drivers/char/stallion.cif ((rc = verify_area(VERIFY_WRITE, (void *) arg, sizeof(long))) == 0)
verify_area1196drivers/char/stallion.cif ((rc = verify_area(VERIFY_READ, (void *) arg, sizeof(long))) == 0) {
verify_area1202drivers/char/stallion.cif ((rc = verify_area(VERIFY_WRITE, (void *) arg, sizeof(unsigned int))) == 0) {
verify_area1208drivers/char/stallion.cif ((rc = verify_area(VERIFY_READ, (void *) arg, sizeof(long))) == 0) {
verify_area1214drivers/char/stallion.cif ((rc = verify_area(VERIFY_READ, (void *) arg, sizeof(long))) == 0) {
verify_area1220drivers/char/stallion.cif ((rc = verify_area(VERIFY_READ, (void *) arg, sizeof(long))) == 0) {
verify_area1226drivers/char/stallion.cif ((rc = verify_area(VERIFY_WRITE, (void *) arg, sizeof(struct serial_struct))) == 0)
verify_area1230drivers/char/stallion.cif ((rc = verify_area(VERIFY_READ, (void *) arg, sizeof(struct serial_struct))) == 0)
verify_area389drivers/char/tga.ci = verify_area(set ? VERIFY_READ : VERIFY_WRITE, (void *)arg, 16*3);
verify_area1949drivers/char/tpqic02.cerror = verify_area(VERIFY_WRITE, buf, count);
verify_area2131drivers/char/tpqic02.cerror = verify_area(VERIFY_READ, buf, count);
verify_area2588drivers/char/tpqic02.cerror = verify_area(VERIFY_READ, (int *) ioarg, sizeof(int));
verify_area2615drivers/char/tpqic02.cerror = verify_area(VERIFY_WRITE, (void *) ioarg, sizeof(qic02_tape_dynconf));
verify_area2641drivers/char/tpqic02.cerror = verify_area(VERIFY_READ, (char *) ioarg, sizeof(qic02_tape_dynconf));
verify_area2673drivers/char/tpqic02.cerror = verify_area(VERIFY_READ, (char *) ioarg, sizeof(operation));
verify_area2730drivers/char/tpqic02.cerror =  verify_area(VERIFY_WRITE, (void *) ioarg, sizeof(ioctl_status));
verify_area2758drivers/char/tpqic02.cerror = verify_area(VERIFY_WRITE, (void *) ioarg, sizeof(ioctl_tell));
verify_area1343drivers/char/tty_io.ci = verify_area(VERIFY_WRITE, (void *)arg, sizeof(struct tstruct));
verify_area1386drivers/char/tty_io.cretval = verify_area(VERIFY_READ, (void *) arg, 1);
verify_area1393drivers/char/tty_io.cretval = verify_area(VERIFY_WRITE, (void *) arg,
verify_area1401drivers/char/tty_io.cretval = verify_area(VERIFY_READ, (void *) arg,
verify_area1430drivers/char/tty_io.cretval = verify_area(VERIFY_READ, (void *) arg, sizeof(int));
verify_area1491drivers/char/tty_io.cretval = verify_area(VERIFY_WRITE, (void *) arg,
verify_area1513drivers/char/tty_io.cretval = verify_area(VERIFY_WRITE, (void *) arg,
verify_area1530drivers/char/tty_io.cretval = verify_area(VERIFY_READ, (void *) arg, 1);
verify_area1572drivers/char/tty_io.cretval = verify_area(VERIFY_READ,
verify_area1585drivers/char/tty_io.cretval = verify_area(VERIFY_WRITE, (void *) arg,
verify_area154drivers/char/tty_ioctl.cretval = verify_area(VERIFY_READ, (void *) arg, sizeof(struct termio));
verify_area162drivers/char/tty_ioctl.cretval = verify_area(VERIFY_READ, (void *) arg, sizeof(struct termios));
verify_area184drivers/char/tty_ioctl.ci = verify_area(VERIFY_WRITE, termio, sizeof (struct termio));
verify_area239drivers/char/tty_ioctl.cretval = verify_area(VERIFY_WRITE, sgttyb, sizeof(struct sgttyb));
verify_area282drivers/char/tty_ioctl.cretval = verify_area(VERIFY_READ, sgttyb, sizeof(struct sgttyb));
verify_area304drivers/char/tty_ioctl.cretval = verify_area(VERIFY_WRITE, tchars, sizeof(struct tchars));
verify_area322drivers/char/tty_ioctl.cretval = verify_area(VERIFY_READ, tchars, sizeof(struct tchars));
verify_area342drivers/char/tty_ioctl.cretval = verify_area(VERIFY_WRITE, ltchars, sizeof(struct ltchars));
verify_area360drivers/char/tty_ioctl.cretval = verify_area(VERIFY_READ, ltchars, sizeof(struct ltchars));
verify_area408drivers/char/tty_ioctl.cretval = verify_area(VERIFY_WRITE, (void *) arg,
verify_area477drivers/char/tty_ioctl.cretval = verify_area(VERIFY_WRITE, (void *) arg,
verify_area488drivers/char/tty_ioctl.cretval = verify_area(VERIFY_WRITE, (void *) arg,
verify_area500drivers/char/tty_ioctl.cretval = verify_area(VERIFY_WRITE, (void *) arg,
verify_area511drivers/char/tty_ioctl.cretval = verify_area(VERIFY_READ, (void *) arg,
verify_area523drivers/char/tty_ioctl.cretval = verify_area(VERIFY_READ, (void *) arg,
verify_area331drivers/char/vga.ci = verify_area(set ? VERIFY_READ : VERIFY_WRITE, (void *)arg,
verify_area539drivers/char/vga.ci = verify_area(set ? VERIFY_READ : VERIFY_WRITE, (void *)arg, 16*3);
verify_area248drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *) arg, sizeof(unsigned char));
verify_area308drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *) arg, sizeof(int));
verify_area347drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *) arg, sizeof(int));
verify_area373drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *) arg, sizeof(int));
verify_area387drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *)a, sizeof(struct kbkeycode));
verify_area405drivers/char/vt.ci = verify_area(VERIFY_READ, (void *)a, sizeof(struct kbkeycode));
verify_area419drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *)a, sizeof(struct kbentry));
verify_area446drivers/char/vt.ci = verify_area(VERIFY_READ, (const void *)a, sizeof(struct kbentry));
verify_area516drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *)a, sizeof(struct kbsentry));
verify_area543drivers/char/vt.ci = verify_area(VERIFY_READ, (void *)a, sizeof(struct kbsentry));
verify_area612drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *) a, sizeof(struct kbdiacrs));
verify_area628drivers/char/vt.ci = verify_area(VERIFY_READ, (void *) a, sizeof(struct kbdiacrs));
verify_area642drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *) arg, sizeof(unsigned char));
verify_area662drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *) arg, sizeof(unsigned char));
verify_area703drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *)vtmode, sizeof(struct vt_mode));
verify_area724drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *)arg, sizeof(struct vt_mode));
verify_area745drivers/char/vt.ci = verify_area(VERIFY_WRITE,(void *)vtstat, sizeof(struct vt_stat));
verify_area761drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *) arg, sizeof(int));
verify_area894drivers/char/vt.ci = verify_area(VERIFY_READ, (void *)vtsizes, sizeof(struct vt_sizes));
verify_area909drivers/char/vt.ci = verify_area(VERIFY_READ, (void *)vtconsize, sizeof(struct vt_consize));
verify_area989drivers/char/vt.ci = verify_area(VERIFY_READ, (void *)arg,
verify_area1038drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *)arg,
verify_area1077drivers/char/vt.ci = verify_area(VERIFY_READ, (void *)arg, sizeof(struct unimapinit));
verify_area1092drivers/char/vt.ci = verify_area(VERIFY_READ, (void *)arg, sizeof(struct unimapdesc));
verify_area1097drivers/char/vt.ci = verify_area(VERIFY_READ, (void *) list,
verify_area1110drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *)arg, sizeof(struct unimapdesc));
verify_area1116drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *) list,
verify_area137drivers/char/wdt.cerr=verify_area(VERIFY_WRITE, buf, 1);
verify_area773drivers/isdn/icn/icn.cif ((ret = verify_area(VERIFY_READ, (void *) buffer, ICN_CODE_STAGE1)))
verify_area867drivers/isdn/icn/icn.cif ((ret = verify_area(VERIFY_READ, (void *) buffer, ICN_CODE_STAGE2)))
verify_area867drivers/isdn/isdn_common.cif ((ret = verify_area(VERIFY_READ, (void *) src, sizeof(int)))) {
verify_area876drivers/isdn/isdn_common.cif ((ret = verify_area(VERIFY_READ, (void *) src, sizeof(cfg)))) {
verify_area890drivers/isdn/isdn_common.cif ((ret = verify_area(VERIFY_READ, (void *) src, sizeof(buf)))) {
verify_area912drivers/isdn/isdn_common.cif ((ret = verify_area(VERIFY_READ, (void *) src, sizeof(buf)))) {
verify_area953drivers/isdn/isdn_common.cif ((ret = verify_area(VERIFY_WRITE, (void *) dest, sizeof(cfg) + 10))) {
verify_area1030drivers/isdn/isdn_common.cif ((ret = verify_area(VERIFY_READ, (void *) arg, sizeof(name))))
verify_area1037drivers/isdn/isdn_common.cif ((ret = verify_area(VERIFY_WRITE, (void *) arg, strlen(s) + 1)))
verify_area1046drivers/isdn/isdn_common.cif ((ret = verify_area(VERIFY_READ, (void *) arg, sizeof(bname))))
verify_area1052drivers/isdn/isdn_common.cif ((ret = verify_area(VERIFY_WRITE, (void *) arg, strlen(s) + 1)))
verify_area1061drivers/isdn/isdn_common.cif ((ret = verify_area(VERIFY_READ, (void *) arg, sizeof(name))))
verify_area1070drivers/isdn/isdn_common.cif ((ret = verify_area(VERIFY_READ, (void *) arg, sizeof(cfg))))
verify_area1079drivers/isdn/isdn_common.cif ((ret = verify_area(VERIFY_READ, (void *) arg, sizeof(cfg))))
verify_area1083drivers/isdn/isdn_common.cif ((ret = verify_area(VERIFY_WRITE, (void *) arg, sizeof(cfg))))
verify_area1093drivers/isdn/isdn_common.cif ((ret = verify_area(VERIFY_READ, (void *) arg, sizeof(phone))))
verify_area1102drivers/isdn/isdn_common.cif ((ret = verify_area(VERIFY_READ, (void *) arg, sizeof(phone))))
verify_area1112drivers/isdn/isdn_common.cif ((ret = verify_area(VERIFY_READ, (void *) arg, sizeof(phone))))
verify_area1120drivers/isdn/isdn_common.cif ((ret = verify_area(VERIFY_READ, (void *) arg, sizeof(name))))
verify_area1129drivers/isdn/isdn_common.cif ((ret = verify_area(VERIFY_READ,
verify_area1144drivers/isdn/isdn_common.cif ((ret = verify_area(VERIFY_READ, (void *) arg, sizeof(name))))
verify_area1169drivers/isdn/isdn_common.cif ((ret = verify_area(VERIFY_READ, (void *) arg,
verify_area1214drivers/isdn/isdn_common.cif ((ret = verify_area(VERIFY_WRITE, (void *) arg,
verify_area1235drivers/isdn/isdn_common.cif ((ret = verify_area(VERIFY_READ, (void *) arg,
verify_area1258drivers/isdn/isdn_common.cif ((ret = verify_area(VERIFY_READ, (void *) arg,
verify_area1274drivers/isdn/isdn_common.cif ((ret = verify_area(VERIFY_READ, (void *) iocts.arg, 255)))
verify_area1292drivers/isdn/isdn_common.cif ((ret = verify_area(VERIFY_WRITE, (void *) iocts.arg,
verify_area1302drivers/isdn/isdn_common.cif ((ret = verify_area(VERIFY_WRITE, (void *) arg, sizeof(ulong))))
verify_area1317drivers/isdn/isdn_common.cif ((ret = verify_area(VERIFY_READ, (void *) arg,
verify_area1334drivers/isdn/isdn_common.cif ((ret = verify_area(VERIFY_WRITE, (void *) arg,
verify_area2067drivers/isdn/isdn_net.cif ((ret = verify_area(VERIFY_WRITE, (void *) phones, strlen(n->num) + 1))) {
verify_area260drivers/isdn/isdn_ppp.cif ((r = verify_area(VERIFY_READ, (void *) b, sizeof(unsigned long))))
verify_area269drivers/isdn/isdn_ppp.cif ((r = verify_area(VERIFY_WRITE, b, sizeof(unsigned long))))
verify_area461drivers/isdn/isdn_ppp.cif ((r = verify_area(VERIFY_WRITE, (void *) buf, count)))
verify_area1169drivers/isdn/isdn_ppp.cerror = verify_area(VERIFY_WRITE, r, len);
verify_area663drivers/isdn/isdn_tty.cerror = verify_area(VERIFY_WRITE, (void *) arg, sizeof(long));
verify_area675drivers/isdn/isdn_tty.cerror = verify_area(VERIFY_WRITE, (void *) arg, sizeof(uint));
verify_area684drivers/isdn/isdn_tty.cerror = verify_area(VERIFY_WRITE, (void *) arg, sizeof(uint));
verify_area693drivers/isdn/isdn_tty.cerror = verify_area(VERIFY_WRITE, (void *) arg,
verify_area715drivers/isdn/isdn_tty.cerror = verify_area(VERIFY_WRITE, (void *) arg,
verify_area735drivers/isdn/isdn_tty.cerror = verify_area(VERIFY_WRITE, (void *) arg,
verify_area2510drivers/net/de4x5.cstatus = verify_area(VERIFY_WRITE, (void *)ioc->data, ioc->len);
verify_area2520drivers/net/de4x5.cstatus = verify_area(VERIFY_READ, (void *)ioc->data, ETH_ALEN);
verify_area2572drivers/net/de4x5.cstatus = verify_area(VERIFY_WRITE, ioc->data, ioc->len);
verify_area2581drivers/net/de4x5.cif (!(status = verify_area(VERIFY_READ, (void *)ioc->data, ETH_ALEN * ioc->len))) {
verify_area2613drivers/net/de4x5.cstatus = verify_area(VERIFY_WRITE, (void *)ioc->data, ioc->len);
verify_area2634drivers/net/de4x5.cif (!(status = verify_area(VERIFY_WRITE, (void *)ioc->data, 1))) {
verify_area2641drivers/net/de4x5.cif (!(status = verify_area(VERIFY_READ, (void *)ioc->data, 1))) {
verify_area2661drivers/net/de4x5.cif (!(status = verify_area(VERIFY_WRITE, (void *)ioc->data, ioc->len))) {
verify_area2724drivers/net/de4x5.cif (!(status = verify_area(VERIFY_WRITE, (void *)ioc->data, ioc->len))) {
verify_area1717drivers/net/depca.cif (!(status = verify_area(VERIFY_WRITE, (void *)ioc->data, ioc->len))) {
verify_area1724drivers/net/depca.cif (!(status = verify_area(VERIFY_READ, (void *)ioc->data, ETH_ALEN))) {
verify_area1786drivers/net/depca.cif (!(status = verify_area(VERIFY_WRITE, ioc->data, ioc->len))) {
verify_area1793drivers/net/depca.cif (!(status=verify_area(VERIFY_READ, ioc->data, ETH_ALEN*ioc->len))) {
verify_area1821drivers/net/depca.cif (!(status=verify_area(VERIFY_WRITE, ioc->data, ioc->len))) {
verify_area1844drivers/net/depca.cif (!(status=verify_area(VERIFY_WRITE, ioc->data, ioc->len))) {
verify_area433drivers/net/eql.cerr = verify_area(VERIFY_READ, (void *)srqp, sizeof (slaving_request_t));
verify_area473drivers/net/eql.cerr = verify_area(VERIFY_READ, (void *)srqp, sizeof (slaving_request_t));
verify_area504drivers/net/eql.cerr = verify_area(VERIFY_READ, (void *)scp, sizeof (slave_config_t));
verify_area522drivers/net/eql.cerr = verify_area(VERIFY_WRITE, (void *)scp, sizeof (slave_config_t));
verify_area541drivers/net/eql.cerr = verify_area(VERIFY_READ, (void *)scp, sizeof (slave_config_t));
verify_area583drivers/net/eql.cerr = verify_area(VERIFY_WRITE, (void *)mcp, sizeof (master_config_t));
verify_area602drivers/net/eql.cerr = verify_area(VERIFY_READ, (void *)mcp, sizeof (master_config_t));
verify_area1688drivers/net/ewrk3.cif (!(status = verify_area(VERIFY_WRITE, (void *)ioc->data, ioc->len))) {
verify_area1695drivers/net/ewrk3.cif (!(status = verify_area(VERIFY_READ, (void *)ioc->data, ETH_ALEN))) {
verify_area1740drivers/net/ewrk3.cif (!(status = verify_area(VERIFY_WRITE, ioc->data, ioc->len))) {
verify_area1760drivers/net/ewrk3.cif (!(status=verify_area(VERIFY_READ, ioc->data, ETH_ALEN*ioc->len))) {
verify_area1791drivers/net/ewrk3.cif (!(status=verify_area(VERIFY_WRITE, ioc->data, ioc->len))) {
verify_area1810drivers/net/ewrk3.cif (!(status=verify_area(VERIFY_WRITE, ioc->data, ioc->len))) {
verify_area1817drivers/net/ewrk3.cif (!(status=verify_area(VERIFY_READ, ioc->data, 1))) {
verify_area1837drivers/net/ewrk3.cif (!(status=verify_area(VERIFY_WRITE, ioc->data, ioc->len))) {
verify_area1847drivers/net/ewrk3.cif (!(status=verify_area(VERIFY_READ, ioc->data, EEPROM_MAX))) {
verify_area1861drivers/net/ewrk3.cif (!(status=verify_area(VERIFY_WRITE, ioc->data, ioc->len))) {
verify_area1601drivers/net/pi2.cint ret = verify_area(VERIFY_WRITE, ifr->ifr_data, sizeof(struct pi_req));
verify_area1826drivers/net/ppp.cindx = verify_area (VERIFY_WRITE, buf, nr);
verify_area1890drivers/net/ppp.cindx = verify_area (VERIFY_WRITE, buf, len + 2);
verify_area2223drivers/net/ppp.cstatus = verify_area (VERIFY_READ, data, count);
verify_area2259drivers/net/ppp.cerror = verify_area (VERIFY_READ, odp, sizeof (data));
verify_area2267drivers/net/ppp.cerror = verify_area (VERIFY_READ, ptr, nb);
verify_area2353drivers/net/ppp.cerror = verify_area (VERIFY_READ, (void *) param3,
verify_area2369drivers/net/ppp.cerror = verify_area (VERIFY_WRITE, (void *) param3,
verify_area2388drivers/net/ppp.cerror = verify_area (VERIFY_READ, (void *) param3,
verify_area2415drivers/net/ppp.cerror = verify_area (VERIFY_WRITE, (void *) param3,
verify_area2431drivers/net/ppp.cerror = verify_area (VERIFY_READ, (void *) param3,
verify_area2445drivers/net/ppp.cerror = verify_area (VERIFY_READ, (void *) param3,
verify_area2459drivers/net/ppp.cerror = verify_area (VERIFY_WRITE, (void *) param3,
verify_area2473drivers/net/ppp.cerror = verify_area (VERIFY_READ, (void *) param3,
verify_area2489drivers/net/ppp.cerror = verify_area (VERIFY_WRITE, (void *) param3,
verify_area2505drivers/net/ppp.cerror = verify_area (VERIFY_WRITE, (void *) param3,
verify_area2525drivers/net/ppp.cerror = verify_area (VERIFY_WRITE,
verify_area2543drivers/net/ppp.cerror = verify_area (VERIFY_READ, (void *) param3,
verify_area2572drivers/net/ppp.cerror = verify_area (VERIFY_READ, (void *) param3,
verify_area2760drivers/net/ppp.cerror  = verify_area (VERIFY_WRITE, result, len);
verify_area2783drivers/net/ppp.cerror = verify_area (VERIFY_WRITE,
verify_area2826drivers/net/ppp.cerror = verify_area (VERIFY_WRITE,
verify_area1035drivers/net/pt.cint ret = verify_area(VERIFY_WRITE, ifr->ifr_data, sizeof(struct pt_req));
verify_area1020drivers/net/slip.cerr = verify_area(VERIFY_READ, addr, AX25_ADDR_LEN);
verify_area1055drivers/net/slip.cerr = verify_area(VERIFY_WRITE, arg, strlen(sl->dev->name) + 1);
verify_area1063drivers/net/slip.cerr = verify_area(VERIFY_WRITE, arg, sizeof(int));
verify_area1071drivers/net/slip.cerr = verify_area(VERIFY_READ, arg, sizeof(int));
verify_area1126drivers/net/slip.cerr = verify_area(VERIFY_READ, arg, sizeof(int));
verify_area1141drivers/net/slip.cerr = verify_area(VERIFY_WRITE, arg, sizeof(int));
verify_area1151drivers/net/slip.cerr = verify_area(VERIFY_READ, arg, sizeof(int));
verify_area1166drivers/net/slip.cerr = verify_area(VERIFY_WRITE, arg, sizeof(int));
verify_area3207drivers/scsi/53c7,8xx.cif (error = verify_area(VERIFY_READ,buf,count))
verify_area44drivers/scsi/scsi_ioctl.cresult = verify_area(VERIFY_READ, buffer, sizeof(long));
verify_area56drivers/scsi/scsi_ioctl.cresult = verify_area(VERIFY_WRITE, buffer, len);
verify_area179drivers/scsi/scsi_ioctl.cresult = verify_area(VERIFY_READ, buffer, 2*sizeof(long) + 1);
verify_area220drivers/scsi/scsi_ioctl.cresult = verify_area(VERIFY_READ, cmd_in, 
verify_area254drivers/scsi/scsi_ioctl.cresult = verify_area(VERIFY_WRITE, 
verify_area262drivers/scsi/scsi_ioctl.cresult = verify_area(VERIFY_WRITE, cmd_in, outlen);
verify_area310drivers/scsi/scsi_ioctl.cresult = verify_area(VERIFY_WRITE, (void *) arg, 2*sizeof(long));
verify_area33drivers/scsi/sd_ioctl.cerror = verify_area(VERIFY_WRITE, loc, sizeof(*loc));
verify_area51drivers/scsi/sd_ioctl.cerror = verify_area(VERIFY_WRITE, (long *) arg, sizeof(long));
verify_area76drivers/scsi/sg.cresult = verify_area(VERIFY_READ, (const void *)arg, sizeof(long));
verify_area205drivers/scsi/sg.cif ((i=verify_area(VERIFY_WRITE,buf,count)))
verify_area306drivers/scsi/sg.cif ((i=verify_area(VERIFY_READ,buf,count)))
verify_area131drivers/scsi/sr_ioctl.cerr = verify_area (VERIFY_READ, (void *) arg, sizeof (msf));
verify_area155drivers/scsi/sr_ioctl.cerr = verify_area (VERIFY_READ, (void *) arg, sizeof (blk));
verify_area179drivers/scsi/sr_ioctl.cerr = verify_area (VERIFY_READ, (void *) arg, sizeof (ti));
verify_area223drivers/scsi/sr_ioctl.cerr = verify_area (VERIFY_WRITE, (void *) arg, sizeof (struct cdrom_tochdr));
verify_area236drivers/scsi/sr_ioctl.cerr = verify_area (VERIFY_READ, (void *) arg, sizeof (struct cdrom_tocentry));
verify_area265drivers/scsi/sr_ioctl.cerr = verify_area (VERIFY_WRITE, (void *) arg, sizeof (struct cdrom_tocentry));
verify_area318drivers/scsi/sr_ioctl.cerr = verify_area (VERIFY_READ, (void *) arg, sizeof (struct cdrom_volctrl));
verify_area416drivers/scsi/sr_ioctl.cerr = verify_area (VERIFY_WRITE, (void *) arg, sizeof (struct cdrom_subchnl));
verify_area434drivers/scsi/sr_ioctl.cerr = verify_area(VERIFY_READ, (void *) arg,
verify_area452drivers/scsi/sr_ioctl.cerr=verify_area(VERIFY_WRITE,(void *) arg,
verify_area1785drivers/scsi/st.ci = verify_area(VERIFY_READ, (void *)arg, sizeof(mtc));
verify_area1853drivers/scsi/st.ci = verify_area(VERIFY_WRITE, (void *)arg, sizeof(struct mtget));
verify_area1920drivers/scsi/st.ci = verify_area(VERIFY_WRITE, (void *)arg, sizeof(struct mtpos));
verify_area177drivers/sound/soundcard.cif ((err = verify_area (VERIFY_READ, (void *) arg, len)) < 0)
verify_area183drivers/sound/soundcard.cif ((err = verify_area (VERIFY_WRITE, (void *) arg, len)) < 0)
verify_area150fs/binfmt_aout.cif (verify_area(VERIFY_READ, (void *) START_DATA(dump), dump.u_dsize << PAGE_SHIFT))
verify_area152fs/binfmt_aout.cif (verify_area(VERIFY_READ, (void *) dump.start_stack, dump.u_ssize << PAGE_SHIFT))
verify_area83fs/binfmt_elf.cif (verify_area(VERIFY_WRITE, (void *) elf_bss, nbyte)) {
verify_area1919fs/buffer.cerror = verify_area(VERIFY_WRITE, (void *) data, sizeof(int));
verify_area594fs/dquot.cif ((error = verify_area(VERIFY_READ, dqblk, sizeof(struct dqblk))) != 0)
verify_area652fs/dquot.cif ((error = verify_area(VERIFY_WRITE, dqblk, sizeof(struct dqblk))) != 0)
verify_area668fs/dquot.cif ((error = verify_area(VERIFY_WRITE, addr, sizeof(struct dqstats))) != 0)
verify_area260fs/exec.cerror = verify_area(VERIFY_READ, tmp, sizeof(char *));
verify_area265fs/exec.cerror = verify_area(VERIFY_READ, p, 1);
verify_area399fs/exec.cresult = verify_area(VERIFY_WRITE, addr, count);
verify_area29fs/ext2/ioctl.cif ((err = verify_area (VERIFY_WRITE, (long *) arg, sizeof(long))))
verify_area62fs/ext2/ioctl.cif ((err = verify_area (VERIFY_WRITE, (long *) arg, sizeof(long))))
verify_area28fs/ioctl.cerror = verify_area(VERIFY_WRITE,(void *) arg,4);
verify_area38fs/ioctl.cerror = verify_area(VERIFY_WRITE,(void *) arg,4);
verify_area45fs/ioctl.cerror = verify_area(VERIFY_WRITE,(void *) arg,sizeof(int));
verify_area182fs/locks.cerror = verify_area(VERIFY_WRITE, l, sizeof(*l));
verify_area230fs/locks.cerror = verify_area(VERIFY_READ, l, sizeof(*l));
verify_area35fs/ncpfs/ioctl.cif ((result = verify_area(VERIFY_READ, (char *)arg,
verify_area51fs/ncpfs/ioctl.cif ((result = verify_area(VERIFY_WRITE, (char *)request.data,
verify_area84fs/ncpfs/ioctl.cif ((result = verify_area(VERIFY_WRITE, (char *)arg,
verify_area115fs/ncpfs/ioctl.cif ((result = verify_area(VERIFY_WRITE, (uid_t*) arg,
verify_area30fs/open.cerror = verify_area(VERIFY_WRITE, buf, sizeof(struct statfs));
verify_area51fs/open.cerror = verify_area(VERIFY_WRITE, buf, sizeof(struct statfs));
verify_area163fs/open.cerror = verify_area(VERIFY_READ, times, sizeof(*times));
verify_area205fs/open.cerror = verify_area(VERIFY_READ, utimes, sizeof(times));
verify_area141fs/pipe.cerror = verify_area(VERIFY_WRITE, (void *) arg, sizeof(int));
verify_area67fs/read_write.cif ((err = verify_area(VERIFY_WRITE, result, sizeof(loff_t))))
verify_area117fs/read_write.cerror = verify_area(VERIFY_WRITE,buf,count);
verify_area138fs/read_write.cerror = verify_area(VERIFY_READ,buf,count);
verify_area207fs/read_write.cretval = verify_area(VERIFY_READ, vector, count*sizeof(*vector));
verify_area214fs/read_write.cretval = verify_area(type, iov[i].iov_base, iov[i].iov_len);
verify_area66fs/readdir.cerror = verify_area(VERIFY_WRITE, dirent, sizeof(struct old_linux_dirent));
verify_area130fs/readdir.cerror = verify_area(VERIFY_WRITE, dirent, count);
verify_area165fs/select.cerror = verify_area(VERIFY_WRITE,fs_pointer,sizeof(fd_set));
verify_area227fs/select.ci = verify_area(VERIFY_WRITE, tvp, sizeof(*tvp));
verify_area24fs/smbfs/ioctl.cif ((result = verify_area(VERIFY_WRITE, (uid_t*) arg,
verify_area115fs/stat.cerror = verify_area(VERIFY_WRITE,statbuf,sizeof (*statbuf));
verify_area132fs/stat.cerror = verify_area(VERIFY_WRITE,statbuf,sizeof (*statbuf));
verify_area154fs/stat.cerror = verify_area(VERIFY_WRITE,statbuf,sizeof (*statbuf));
verify_area172fs/stat.cerror = verify_area(VERIFY_WRITE,statbuf,sizeof (*statbuf));
verify_area195fs/stat.cerror = verify_area(VERIFY_WRITE,statbuf,sizeof (*statbuf));
verify_area212fs/stat.cerror = verify_area(VERIFY_WRITE,statbuf,sizeof (*statbuf));
verify_area228fs/stat.cerror = verify_area(VERIFY_WRITE,buf,bufsiz);
verify_area219fs/super.cerr = verify_area(VERIFY_WRITE, buf, len);
verify_area402fs/super.cerror = verify_area(VERIFY_WRITE,ubuf,sizeof(struct ustat));
verify_area71fs/umsdos/ioctl.cif ((err = verify_area(VERIFY_WRITE,(void*)data,sizeof(struct umsdos_ioctl))) < 0) {
verify_area102include/linux/blk.hcase BLKROGET: { int __err = verify_area(VERIFY_WRITE, (void *) (where), sizeof(long)); \
verify_area18include/linux/mm.hextern int verify_area(int, const void *, unsigned long);
verify_area65ipc/msg.cerr = verify_area (VERIFY_READ, msgp->mtext, msgsz);
verify_area172ipc/msg.cerr = verify_area (VERIFY_WRITE, msgp->mtext, msgsz);
verify_area455ipc/msg.cerr = verify_area (VERIFY_WRITE, buf, sizeof (struct msginfo));
verify_area464ipc/msg.cerr = verify_area (VERIFY_WRITE, buf, sizeof (*buf));
verify_area489ipc/msg.cerr = verify_area (VERIFY_READ, buf, sizeof (*buf));
verify_area497ipc/msg.cerr = verify_area (VERIFY_WRITE, buf, sizeof(*buf));
verify_area395ipc/sem.ci = verify_area(VERIFY_WRITE, tmp, sizeof(struct seminfo));
verify_area404ipc/sem.ci = verify_area (VERIFY_WRITE, buf, sizeof (*buf));
verify_area459ipc/sem.ci = verify_area (VERIFY_WRITE, array, nsems*sizeof(ushort));
verify_area477ipc/sem.cif ((i = verify_area (VERIFY_READ, array, nsems*sizeof(ushort))))
verify_area486ipc/sem.cif ((i = verify_area (VERIFY_WRITE, buf, sizeof(*buf))))
verify_area491ipc/sem.cif ((i = verify_area (VERIFY_READ, buf, sizeof (*buf))))
verify_area571ipc/sem.cif ((i = verify_area (VERIFY_READ, tsops, nsops * sizeof(*tsops))))
verify_area215ipc/shm.cerr = verify_area (VERIFY_READ, buf, sizeof (*buf));
verify_area232ipc/shm.cerr = verify_area (VERIFY_WRITE, buf, sizeof (struct shminfo));
verify_area243ipc/shm.cerr = verify_area (VERIFY_WRITE, buf, sizeof (shm_info));
verify_area258ipc/shm.cerr = verify_area (VERIFY_WRITE, buf, sizeof (*buf));
verify_area311ipc/shm.cerr = verify_area (VERIFY_WRITE, buf, sizeof (*buf));
verify_area560kernel/exit.cflag = verify_area(VERIFY_WRITE, stat_addr, sizeof(*stat_addr));
verify_area565kernel/exit.cflag = verify_area(VERIFY_WRITE, ru, sizeof(*ru));
verify_area23kernel/info.cerror = verify_area(VERIFY_WRITE, info, sizeof(struct sysinfo));
verify_area91kernel/itimer.cerror = verify_area(VERIFY_WRITE, value, sizeof(struct itimerval));
verify_area162kernel/itimer.cerror = verify_area(VERIFY_READ, value, sizeof(*value));
verify_area170kernel/itimer.cerror = verify_area(VERIFY_WRITE, ovalue, sizeof(struct itimerval));
verify_area151kernel/ksyms.cX(verify_area),
verify_area256kernel/module.cif ((error = verify_area(VERIFY_READ, &symtab->size, sizeof(symtab->size))))
verify_area264kernel/module.cif ((error = verify_area(VERIFY_READ, symtab, size))) {
verify_area415kernel/module.cif ((i = verify_area(VERIFY_WRITE, to, nmodsyms * sizeof(*table))))
verify_area80kernel/printk.cerror = verify_area(VERIFY_WRITE,buf,len);
verify_area113kernel/printk.cerror = verify_area(VERIFY_WRITE,buf,len);
verify_area1017kernel/sched.cerror = verify_area(VERIFY_READ, param, sizeof(struct sched_param));
verify_area1090kernel/sched.cerror = verify_area(VERIFY_WRITE, param, sizeof(struct sched_param));
verify_area1142kernel/sched.cerror = verify_area(VERIFY_WRITE, interval, sizeof(struct timespec));
verify_area1183kernel/sched.cerror = verify_area(VERIFY_READ, rqtp, sizeof(struct timespec));
verify_area1188kernel/sched.cerror = verify_area(VERIFY_WRITE, rmtp,
verify_area35kernel/signal.cerror = verify_area(VERIFY_READ, set, sizeof(sigset_t));
verify_area54kernel/signal.cerror = verify_area(VERIFY_WRITE, oset, sizeof(sigset_t));
verify_area84kernel/signal.cerror = verify_area(VERIFY_WRITE, set, sizeof(sigset_t));
verify_area138kernel/signal.cerr = verify_area(VERIFY_READ, handler, 1);
verify_area163kernel/signal.cint err = verify_area(VERIFY_READ, action, sizeof(*action));
verify_area172kernel/signal.cerr = verify_area(VERIFY_READ, new_sa.sa_handler, 1);
verify_area178kernel/signal.cint err = verify_area(VERIFY_WRITE, oldaction, sizeof(*oldaction));
verify_area426kernel/sys.cint error = verify_area(VERIFY_WRITE,tbuf,sizeof *tbuf);
verify_area605kernel/sys.ci = verify_area(VERIFY_WRITE, grouplist, sizeof(gid_t) * gidsetsize);
verify_area629kernel/sys.ci = verify_area(VERIFY_READ, grouplist, sizeof(gid_t) * gidsetsize);
verify_area662kernel/sys.cerror = verify_area(VERIFY_WRITE, name, sizeof *name);
verify_area679kernel/sys.cerror = verify_area(VERIFY_WRITE, name,sizeof *name);
verify_area700kernel/sys.cerror = verify_area(VERIFY_WRITE, name,sizeof *name);
verify_area726kernel/sys.cerror = verify_area(VERIFY_READ, name, len);
verify_area740kernel/sys.ci = verify_area(VERIFY_WRITE, name, len);
verify_area762kernel/sys.cerror = verify_area(VERIFY_READ, name, len);
verify_area776kernel/sys.cerror = verify_area(VERIFY_WRITE,rlim,sizeof *rlim);
verify_area790kernel/sys.cerr = verify_area(VERIFY_READ, rlim, sizeof(*rlim));
verify_area820kernel/sys.cerror = verify_area(VERIFY_WRITE, ru, sizeof *ru);
verify_area154kernel/sysctl.cerror = verify_area(VERIFY_READ,name,nlen*sizeof(int));
verify_area159kernel/sysctl.cerror = verify_area(VERIFY_WRITE,oldlenp,sizeof(size_t));
verify_area161kernel/sysctl.cerror = verify_area(VERIFY_WRITE,oldval,get_user(oldlenp));
verify_area165kernel/sysctl.cerror = verify_area(VERIFY_READ,newval,newlen);
verify_area186kernel/sysctl.cerror = verify_area(VERIFY_READ, args, sizeof(*args));
verify_area435kernel/sysctl.cerror = verify_area(write ? VERIFY_READ : VERIFY_WRITE, buf, count);
verify_area51kernel/time.cint error = verify_area(VERIFY_WRITE, tloc, sizeof(*tloc));
verify_area71kernel/time.cerror = verify_area(VERIFY_READ, tptr, sizeof(*tptr));
verify_area93kernel/time.cerror = verify_area(VERIFY_WRITE, tv, sizeof *tv);
verify_area100kernel/time.cerror = verify_area(VERIFY_WRITE, tz, sizeof *tz);
verify_area150kernel/time.cint error = verify_area(VERIFY_READ, tv, sizeof(*tv));
verify_area156kernel/time.cint error = verify_area(VERIFY_READ, tz, sizeof(*tz));
verify_area203kernel/time.cerror = verify_area(VERIFY_WRITE, txc_p, sizeof(struct timex));
verify_area695net/appletalk/ddp.cint err=verify_area(ro?VERIFY_READ:VERIFY_WRITE, arg,sizeof(atreq));
verify_area821net/appletalk/ddp.cerr=verify_area(VERIFY_READ, arg, sizeof(rt));
verify_area977net/appletalk/ddp.cerr=verify_area(VERIFY_READ,optval,sizeof(int));
verify_area1031net/appletalk/ddp.cerr=verify_area(VERIFY_WRITE,optlen,sizeof(int));
verify_area1035net/appletalk/ddp.cerr=verify_area(VERIFY_WRITE,optval,sizeof(int));
verify_area1793net/appletalk/ddp.cerr=verify_area(VERIFY_WRITE,(void *)arg,sizeof(struct timeval));
verify_area1843net/appletalk/ddp.cerr=verify_area(VERIFY_WRITE,(void *)arg,sizeof(unsigned long));
verify_area743net/ax25/af_ax25.cif ((err = verify_area(VERIFY_READ, optval, sizeof(int))) != 0)
verify_area853net/ax25/af_ax25.cif ((err = verify_area(VERIFY_WRITE, optlen, sizeof(int))) != 0)
verify_area858net/ax25/af_ax25.cif ((err = verify_area(VERIFY_WRITE, optval, sizeof(int))) != 0)
verify_area2003net/ax25/af_ax25.cif ((err = verify_area(VERIFY_WRITE, (void *)arg, sizeof(unsigned long))) != 0)
verify_area2017net/ax25/af_ax25.cif ((err = verify_area(VERIFY_WRITE, (void *)arg, sizeof(unsigned long))) != 0)
verify_area2027net/ax25/af_ax25.cif ((err = verify_area(VERIFY_WRITE,(void *)arg,sizeof(struct timeval))) != 0)
verify_area2039net/ax25/af_ax25.cif ((err = verify_area(VERIFY_READ, (void *)arg, sizeof(struct sockaddr_ax25))) != 0)
verify_area2046net/ax25/af_ax25.cif ((err = verify_area(VERIFY_READ, (void *)arg, sizeof(unsigned long))) != 0)
verify_area177net/ax25/ax25_route.cif ((err = verify_area(VERIFY_READ, arg, sizeof(route))) != 0)
verify_area232net/ax25/ax25_route.cif ((err = verify_area(VERIFY_READ, arg, sizeof(route))) != 0)
verify_area601net/ax25/ax25_route.cif ((err = verify_area(VERIFY_READ, arg, sizeof(ax25_parms))) != 0)
verify_area652net/ax25/ax25_route.cif ((err = verify_area(VERIFY_WRITE, arg, sizeof(struct ax25_parms_struct))) != 0)
verify_area736net/ax25/ax25_route.cif ((err = verify_area(VERIFY_READ, arg, sizeof(bpqaddr))) != 0)
verify_area776net/core/dev.cerr=verify_area(VERIFY_WRITE, arg, sizeof(struct ifconf));
verify_area788net/core/dev.cerr=verify_area(VERIFY_WRITE,pos,len);
verify_area944net/core/dev.cint err=verify_area(VERIFY_WRITE, arg, sizeof(struct ifreq));
verify_area40net/core/iovec.cerr=verify_area(mode, m->msg_name, m->msg_namelen);
verify_area46net/core/iovec.cerr=verify_area(mode, m->msg_accrights, m->msg_accrightslen);
verify_area53net/core/iovec.cerr=verify_area(VERIFY_READ, &m->msg_iov[ct], sizeof(struct iovec));
verify_area57net/core/iovec.cerr=verify_area(mode, iov[ct].iov_base, iov[ct].iov_len);
verify_area145net/core/sock.cerr=verify_area(VERIFY_READ, optval, sizeof(int));
verify_area212net/core/sock.cerr=verify_area(VERIFY_READ,optval,sizeof(ling));
verify_area295net/core/sock.cerr=verify_area(VERIFY_WRITE,optval,sizeof(ling));
verify_area298net/core/sock.cerr=verify_area(VERIFY_WRITE,optlen,sizeof(int));
verify_area314net/core/sock.cerr=verify_area(VERIFY_WRITE, optlen, sizeof(int));
verify_area319net/core/sock.cerr=verify_area(VERIFY_WRITE, optval, sizeof(int));
verify_area1204net/ipv4/af_inet.cerr=verify_area(VERIFY_READ,(int *)arg,sizeof(long));
verify_area1215net/ipv4/af_inet.cerr=verify_area(VERIFY_WRITE,(void *) arg, sizeof(long));
verify_area1223net/ipv4/af_inet.cerr=verify_area(VERIFY_WRITE,(void *)arg,sizeof(struct timeval));
verify_area1878net/ipv4/arp.cerr = verify_area(VERIFY_READ, arg, sizeof(struct arpreq));
verify_area1888net/ipv4/arp.cerr = verify_area(VERIFY_READ, arg, sizeof(struct arpreq_old));
verify_area1954net/ipv4/arp.cerr = verify_area(VERIFY_WRITE, arg, sizeof(struct arpreq));
verify_area1962net/ipv4/arp.cerr = verify_area(VERIFY_WRITE, arg, sizeof(struct arpreq_old));
verify_area125net/ipv4/ip_sockglue.cerr=verify_area(VERIFY_READ, optval, sizeof(int));
verify_area149net/ipv4/ip_sockglue.cerr = verify_area(VERIFY_READ, optval, optlen);
verify_area221net/ipv4/ip_sockglue.cerr=verify_area(VERIFY_READ, optval, sizeof(addr));
verify_area271net/ipv4/ip_sockglue.cerr=verify_area(VERIFY_READ, optval, sizeof(mreq));
verify_area328net/ipv4/ip_sockglue.cerr=verify_area(VERIFY_READ, optval, sizeof(mreq));
verify_area394net/ipv4/ip_sockglue.cerr=verify_area(VERIFY_READ,optval,optlen);
verify_area412net/ipv4/ip_sockglue.cerr=verify_area(VERIFY_READ,optval,optlen);
verify_area453net/ipv4/ip_sockglue.cerr = verify_area(VERIFY_WRITE, optlen, sizeof(int));
verify_area466net/ipv4/ip_sockglue.cerr = verify_area(VERIFY_WRITE, optval, opt->optlen);
verify_area519net/ipv4/ip_sockglue.cerr=verify_area(VERIFY_WRITE, optlen, sizeof(int));
verify_area523net/ipv4/ip_sockglue.cerr=verify_area(VERIFY_WRITE, optval, len);
verify_area533net/ipv4/ip_sockglue.cerr=verify_area(VERIFY_WRITE, optlen, sizeof(int));
verify_area538net/ipv4/ip_sockglue.cerr=verify_area(VERIFY_WRITE, optval, sizeof(int));
verify_area446net/ipv4/ipmr.cif((err=verify_area(VERIFY_READ,optval,sizeof(int)))<0)
verify_area463net/ipv4/ipmr.cif((err=verify_area(VERIFY_READ, optval, sizeof(vif)))<0)
verify_area540net/ipv4/ipmr.cerr=verify_area(VERIFY_READ, optval, sizeof(mfc));
verify_area551net/ipv4/ipmr.cif((err=verify_area(VERIFY_READ, optval,sizeof(int)))<0)
verify_area581net/ipv4/ipmr.cerr=verify_area(VERIFY_WRITE, optval,sizeof(int));
verify_area606net/ipv4/ipmr.cerr=verify_area(VERIFY_WRITE, (void *)arg, sizeof(vr));
verify_area624net/ipv4/ipmr.cerr=verify_area(VERIFY_WRITE, (void *)arg, sizeof(sr));
verify_area454net/ipv4/rarp.cerr = verify_area(VERIFY_READ, arg, sizeof(struct arpreq));
verify_area465net/ipv4/rarp.cerr = verify_area(VERIFY_WRITE, arg, sizeof(struct arpreq));
verify_area472net/ipv4/rarp.cerr = verify_area(VERIFY_READ, arg, sizeof(struct arpreq));
verify_area1763net/ipv4/route.cerr=verify_area(VERIFY_READ, arg, sizeof(struct rtentry));
verify_area764net/ipv4/tcp.cerr=verify_area(VERIFY_WRITE,(void *)arg, sizeof(int));
verify_area774net/ipv4/tcp.cerr = verify_area(VERIFY_WRITE,(void *) arg, sizeof(int));
verify_area786net/ipv4/tcp.cerr=verify_area(VERIFY_WRITE,(void *)arg, sizeof(int));
verify_area2121net/ipv4/tcp.cerr=verify_area(VERIFY_READ, optval, sizeof(int));
verify_area2165net/ipv4/tcp.cerr=verify_area(VERIFY_WRITE, optlen, sizeof(int));
verify_area2170net/ipv4/tcp.cerr=verify_area(VERIFY_WRITE, optval, sizeof(int));
verify_area455net/ipv4/udp.cerr=verify_area(VERIFY_WRITE,(void *)arg,
verify_area479net/ipv4/udp.cerr=verify_area(VERIFY_WRITE,(void *)arg,
verify_area1003net/ipx/af_ipx.cerr=verify_area(VERIFY_READ,arg,sizeof(ifr));
verify_area1026net/ipx/af_ipx.cerr=verify_area(VERIFY_WRITE,arg,sizeof(ifr));
verify_area1044net/ipx/af_ipx.cerr=verify_area(VERIFY_READ,arg,sizeof(char));
verify_area1049net/ipx/af_ipx.cerr=verify_area(VERIFY_READ,arg,sizeof(char));
verify_area1269net/ipx/af_ipx.cerr=verify_area(VERIFY_READ,arg,sizeof(rt));
verify_area1506net/ipx/af_ipx.cerr=verify_area(VERIFY_READ,optval,sizeof(int));
verify_area1561net/ipx/af_ipx.cerr=verify_area(VERIFY_WRITE,optlen,sizeof(int));
verify_area1565net/ipx/af_ipx.cerr=verify_area(VERIFY_WRITE,optval,sizeof(int));
verify_area2092net/ipx/af_ipx.cerr=verify_area(VERIFY_WRITE,(void *)arg,sizeof(unsigned long));
verify_area2106net/ipx/af_ipx.cerr=verify_area(VERIFY_WRITE,(void *)arg,sizeof(unsigned long));
verify_area2126net/ipx/af_ipx.cerr=verify_area(VERIFY_WRITE,(void *)arg,
verify_area2136net/ipx/af_ipx.cerr=verify_area(VERIFY_WRITE,(void *)arg,sizeof(struct timeval));
verify_area302net/netrom/af_netrom.cif ((err = verify_area(VERIFY_READ, optval, sizeof(int))) != 0)
verify_area371net/netrom/af_netrom.cif ((err = verify_area(VERIFY_WRITE, optlen, sizeof(int))) != 0)
verify_area376net/netrom/af_netrom.cif ((err = verify_area(VERIFY_WRITE, optval, sizeof(int))) != 0)
verify_area1177net/netrom/af_netrom.cif ((err = verify_area(VERIFY_WRITE, (void *)arg, sizeof(unsigned long))) != 0)
verify_area1190net/netrom/af_netrom.cif ((err = verify_area(VERIFY_WRITE, (void *)arg, sizeof(unsigned long))) != 0)
verify_area1200net/netrom/af_netrom.cif ((err = verify_area(VERIFY_WRITE,(void *)arg,sizeof(struct timeval))) != 0)
verify_area1228net/netrom/af_netrom.cif ((err = verify_area(VERIFY_WRITE, (void *)arg, sizeof(struct nr_parms_struct))) != 0)
verify_area1239net/netrom/af_netrom.cif ((err = verify_area(VERIFY_READ, (void *)arg, sizeof(struct nr_parms_struct))) != 0)
verify_area574net/netrom/nr_route.cif ((err = verify_area(VERIFY_READ, arg, sizeof(struct nr_route_struct))) != 0)
verify_area594net/netrom/nr_route.cif ((err = verify_area(VERIFY_READ, arg, sizeof(struct nr_route_struct))) != 0)
verify_area614net/netrom/nr_route.cif ((err = verify_area(VERIFY_READ, arg, sizeof(int))) != 0)
verify_area129net/socket.cif((err=verify_area(VERIFY_READ,uaddr,ulen))<0)
verify_area141net/socket.cif((err=verify_area(VERIFY_WRITE,ulen,sizeof(*ulen)))<0)
verify_area150net/socket.cif((err=verify_area(VERIFY_WRITE,uaddr,len))<0)
verify_area337net/socket.cif ((err=verify_area(VERIFY_WRITE,ubuf,size))<0)
verify_area371net/socket.cif ((err=verify_area(VERIFY_READ,ubuf,size))<0)
verify_area618net/socket.cer=verify_area(VERIFY_WRITE, usockvec, sizeof(usockvec));
verify_area879net/socket.cerr=verify_area(VERIFY_READ, buff, len);
verify_area915net/socket.cerr=verify_area(VERIFY_READ,buff,len);
verify_area956net/socket.cerr=verify_area(VERIFY_WRITE, ubuf, size);
verify_area995net/socket.cerr=verify_area(VERIFY_WRITE,ubuf,size);
verify_area1096net/socket.cerr=verify_area(VERIFY_READ, msg,sizeof(struct msghdr));
verify_area1135net/socket.cerr=verify_area(VERIFY_READ, msg,sizeof(struct msghdr));
verify_area1198net/socket.cer=verify_area(VERIFY_READ, args, nargs[call] * sizeof(unsigned long));
verify_area1026net/unix/af_unix.cerr=verify_area(VERIFY_WRITE,(void *)arg,sizeof(unsigned long));
verify_area1042net/unix/af_unix.cerr=verify_area(VERIFY_WRITE,(void *)arg,sizeof(unsigned long));