taglinefilesource code
verify_area94arch/i386/ibcs/binfmt_coff.cstatus = verify_area (VERIFY_WRITE,
verify_area49arch/i386/ibcs/binfmt_elf.cverify_area(VERIFY_WRITE, (void *) elf_bss, nbyte);
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_area360arch/i386/kernel/ptrace.cres = verify_area(VERIFY_WRITE, (void *) data, sizeof(long));
verify_area375arch/i386/kernel/ptrace.cres = verify_area(VERIFY_WRITE, (void *) data, sizeof(long));
verify_area57arch/i386/kernel/signal.cif (verify_area(VERIFY_READ, (void *) regs->esp, sizeof(context)))
verify_area95arch/i386/kernel/signal.cif (verify_area(VERIFY_WRITE,frame,32*4))
verify_area111arch/i386/kernel/vm86.cerror = verify_area(VERIFY_WRITE,v86,sizeof(*v86));
verify_area66arch/i386/math-emu/fpu_system.h#define FPU_verify_area(x,y,z)  if ( verify_area(x,y,z) ) \
verify_area341arch/mips/kernel/ptrace.cres = verify_area(VERIFY_WRITE, (void *) data, sizeof(long));
verify_area356arch/mips/kernel/ptrace.cres = verify_area(VERIFY_WRITE, (void *) data, sizeof(long));
verify_area53arch/mips/kernel/signal.cif (verify_area(VERIFY_READ, (void *) regs->reg29, sizeof(context)))
verify_area112arch/mips/kernel/signal.cif (verify_area(VERIFY_WRITE,frame,21*4))
verify_area569drivers/block/aztcd.cst = verify_area(VERIFY_READ, (void *) arg, sizeof ti);
verify_area600drivers/block/aztcd.cst = verify_area(VERIFY_READ, (void *) arg, sizeof msf);
verify_area630drivers/block/aztcd.cst = verify_area(VERIFY_WRITE, (void *) arg, sizeof tocHdr);
verify_area637drivers/block/aztcd.cst = verify_area(VERIFY_READ, (void *) arg, sizeof entry);
verify_area639drivers/block/aztcd.cst = verify_area(VERIFY_WRITE, (void *) arg, sizeof entry);
verify_area666drivers/block/aztcd.cst = verify_area(VERIFY_READ, (void *) arg, sizeof subchnl);
verify_area668drivers/block/aztcd.cst = verify_area(VERIFY_WRITE, (void *) arg, sizeof subchnl);
verify_area698drivers/block/aztcd.cst=verify_area(VERIFY_READ,(void *) arg, sizeof(volctrl));
verify_area727drivers/block/aztcd.c{ st = verify_area(VERIFY_READ,  (void *) arg, sizeof msf);
verify_area729drivers/block/aztcd.cst = verify_area(VERIFY_WRITE, (void *) arg, sizeof buf);
verify_area75drivers/block/blk.hcase BLKROGET: { int __err = verify_area(VERIFY_WRITE, (void *) (where), sizeof(long)); \
verify_area1789drivers/block/cdu31a.cverify_area(VERIFY_READ, (char *) arg, sizeof(schi));
verify_area1790drivers/block/cdu31a.cverify_area(VERIFY_WRITE, (char *) arg, sizeof(schi));
verify_area2265drivers/block/cdu31a.cverify_area(VERIFY_READ, (char *) arg, 6);
verify_area2302drivers/block/cdu31a.cverify_area(VERIFY_WRITE, hdr, sizeof(*hdr));
verify_area2324drivers/block/cdu31a.cverify_area(VERIFY_READ, entry, sizeof(*entry));
verify_area2325drivers/block/cdu31a.cverify_area(VERIFY_WRITE, entry, sizeof(*entry));
verify_area2376drivers/block/cdu31a.cverify_area(VERIFY_READ, (char *) arg, sizeof(ti));
verify_area2442drivers/block/cdu31a.cverify_area(VERIFY_READ, (char *) arg, sizeof(volctrl));
verify_area2483drivers/block/cdu31a.cverify_area(VERIFY_READ, (char *) arg, sizeof(ra));
verify_area2486drivers/block/cdu31a.cverify_area(VERIFY_WRITE, ra.buf, CD_FRAMESIZE_RAW * ra.nframes);
verify_area2612drivers/block/floppy.ci = verify_area(VERIFY_WRITE,param,size);
verify_area2683drivers/block/floppy.ci = verify_area(VERIFY_READ, raw_cmd.data, count );
verify_area2755drivers/block/floppy.ci=verify_area(VERIFY_WRITE,(void *) param,16);
verify_area794drivers/block/hd.cerr = verify_area(VERIFY_WRITE, loc, sizeof(*loc));
verify_area813drivers/block/hd.cerr = verify_area(VERIFY_WRITE, (long *) arg, sizeof(long));
verify_area820drivers/block/hd.cerr = verify_area(VERIFY_WRITE, (long *) arg, sizeof(long));
verify_area843drivers/block/hd.cerr = verify_area(VERIFY_WRITE, (long *) arg, sizeof(long));
verify_area851drivers/block/hd.cerr = verify_area(VERIFY_WRITE, (long *) arg, sizeof(long));
verify_area879drivers/block/hd.cerr = verify_area(VERIFY_WRITE, (char *) arg, sizeof(struct hd_driveid));
verify_area1339drivers/block/ide-cd.cstat = verify_area (VERIFY_READ, (void *)arg, sizeof (msf));
verify_area1362drivers/block/ide-cd.cstat = verify_area (VERIFY_READ, (void *)arg, sizeof (ti));
verify_area1387drivers/block/ide-cd.cstat = verify_area (VERIFY_WRITE, (void *) arg, sizeof (tochdr));
verify_area1409drivers/block/ide-cd.cstat = verify_area (VERIFY_READ, (void *) arg, sizeof (tocentry));
verify_area1411drivers/block/ide-cd.cstat = verify_area (VERIFY_WRITE, (void *) arg, sizeof (tocentry));
verify_area1444drivers/block/ide-cd.cstat = verify_area (VERIFY_WRITE, (void *) arg, sizeof (subchnl));
verify_area1446drivers/block/ide-cd.cstat = verify_area (VERIFY_READ, (void *) arg, sizeof (subchnl));
verify_area1492drivers/block/ide-cd.cstat = verify_area (VERIFY_READ, (void *) arg, sizeof (volctrl));
verify_area1519drivers/block/ide-cd.cstat = verify_area (VERIFY_READ, (void *) arg, sizeof (pc.c));
verify_area1531drivers/block/ide-cd.cstat = verify_area (VERIFY_WRITE, (void *) arg, sizeof (reqbuf));
verify_area1398drivers/block/ide.cif ((err = verify_area(VERIFY_WRITE, (long *)useraddr, sizeof(long))))
verify_area1419drivers/block/ide.cerr = verify_area(VERIFY_WRITE, loc, sizeof(*loc));
verify_area1465drivers/block/ide.cerr = verify_area(VERIFY_WRITE, (char *)arg, sizeof(*dev->id));
verify_area1520drivers/block/ide.cif (!(err = verify_area(VERIFY_WRITE,(long *)arg,sizeof(long))))
verify_area324drivers/block/mcd.cst = verify_area(VERIFY_READ, (void *) arg, sizeof ti);
verify_area367drivers/block/mcd.cst = verify_area(VERIFY_READ, (void *) arg, sizeof msf);
verify_area406drivers/block/mcd.cst = verify_area(VERIFY_WRITE, (void *) arg, sizeof tocHdr);
verify_area417drivers/block/mcd.cst = verify_area(VERIFY_WRITE, (void *) arg, sizeof entry);
verify_area454drivers/block/mcd.cst = verify_area(VERIFY_WRITE, (void *) arg, sizeof subchnl);
verify_area493drivers/block/mcd.cst = verify_area(VERIFY_READ, (void *) arg, sizeof(volctrl));
verify_area3107drivers/block/sbpcd.ci = verify_area(VERIFY_READ, (int *) arg, sizeof(int));
verify_area3162drivers/block/sbpcd.cst=verify_area(VERIFY_READ, (void *) arg, sizeof(struct cdrom_msf));
verify_area3190drivers/block/sbpcd.cst=verify_area(VERIFY_READ,(void *) arg,sizeof(struct cdrom_ti));
verify_area3216drivers/block/sbpcd.cst=verify_area(VERIFY_WRITE, (void *) arg, sizeof(struct cdrom_tochdr));
verify_area3223drivers/block/sbpcd.cst=verify_area(VERIFY_READ, (void *) arg, sizeof(struct cdrom_tocentry));
verify_area3240drivers/block/sbpcd.cst=verify_area(VERIFY_WRITE,(void *) arg, sizeof(struct cdrom_tocentry));
verify_area3279drivers/block/sbpcd.cst=verify_area(VERIFY_READ,(void *) arg,sizeof(volctrl));
verify_area3294drivers/block/sbpcd.cst=verify_area(VERIFY_WRITE, (void *) arg, sizeof(struct cdrom_subchnl));
verify_area3366drivers/block/sbpcd.ci=verify_area(VERIFY_READ, (void *) arg, sizeof(struct cdrom_read_audio));
verify_area3370drivers/block/sbpcd.ci=verify_area(VERIFY_WRITE, read_audio.buf,
verify_area3553drivers/block/sbpcd.cst=verify_area(VERIFY_READ, (void *) arg, sizeof(struct cdrom_multisession));
verify_area3563drivers/block/sbpcd.cst=verify_area(VERIFY_WRITE,(void *) arg, sizeof(struct cdrom_multisession));
verify_area1021drivers/block/sonycd535.cverify_area(VERIFY_WRITE /* and read */ , (char *)arg, sizeof schi);
verify_area1173drivers/block/sonycd535.cverify_area(VERIFY_READ, (char *)arg, 6);
verify_area1212drivers/block/sonycd535.cverify_area(VERIFY_WRITE, hdr, sizeof *hdr);
verify_area1232drivers/block/sonycd535.cverify_area(VERIFY_WRITE /* and read */ , entry, sizeof *entry);
verify_area1271drivers/block/sonycd535.cverify_area(VERIFY_READ, (char *)arg, sizeof ti);
verify_area1340drivers/block/sonycd535.cverify_area(VERIFY_READ, (char *)arg, sizeof volctrl);
verify_area247drivers/block/xd.cif ((err = verify_area(VERIFY_WRITE,geometry,sizeof(*geometry))))
verify_area265drivers/block/xd.cif ((err = verify_area(VERIFY_WRITE,(long *) arg,sizeof(long))))
verify_area145drivers/char/busmouse.cif ((r = verify_area(VERIFY_WRITE, buffer, count)))
verify_area2213drivers/char/console.ci = verify_area(set ? VERIFY_READ : VERIFY_WRITE, (void *)arg, cmapsz);
verify_area141drivers/char/consolemap.ci = verify_area(VERIFY_READ, (void *)arg, E_TABSZ);
verify_area157drivers/char/consolemap.ci = verify_area(VERIFY_WRITE, (void *)arg, E_TABSZ);
verify_area2090drivers/char/cyclades.cerror = verify_area(VERIFY_WRITE, (void *) arg
verify_area2099drivers/char/cyclades.cerror = verify_area(VERIFY_WRITE, (void *) arg
verify_area2111drivers/char/cyclades.cerror = verify_area(VERIFY_WRITE, (void *) arg
verify_area2123drivers/char/cyclades.cerror = verify_area(VERIFY_WRITE, (void *) arg
verify_area2135drivers/char/cyclades.cerror = verify_area(VERIFY_WRITE, (void *) arg
verify_area2169drivers/char/cyclades.cerror = verify_area(VERIFY_WRITE, (void *) arg
verify_area2185drivers/char/cyclades.cerror = verify_area(VERIFY_WRITE, (void *) arg
verify_area2194drivers/char/cyclades.cerror = verify_area(VERIFY_WRITE, (void *) arg
verify_area492drivers/char/lp.cretval = verify_area(VERIFY_WRITE, (void *) arg,
verify_area499drivers/char/lp.cretval = verify_area(VERIFY_WRITE, (void *) arg,
verify_area90drivers/char/selection.cint i = verify_area(VERIFY_READ, (char *) arg, 36);
verify_area1579drivers/char/serial.cerror = verify_area(VERIFY_READ, value, sizeof(int));
verify_area1834drivers/char/serial.cerror = verify_area(VERIFY_WRITE, (void *) arg,sizeof(long));
verify_area1847drivers/char/serial.cerror = verify_area(VERIFY_WRITE, (void *) arg,
verify_area1857drivers/char/serial.cerror = verify_area(VERIFY_WRITE, (void *) arg,
verify_area1870drivers/char/serial.cerror = verify_area(VERIFY_WRITE, (void *) arg,
verify_area1878drivers/char/serial.cerror = verify_area(VERIFY_WRITE, (void *) arg,
verify_area1894drivers/char/serial.cerror = verify_area(VERIFY_WRITE, (void *) arg,
verify_area1903drivers/char/serial.cerror = verify_area(VERIFY_WRITE, (void *) arg,
verify_area1948drivers/char/tpqic02.cerror = verify_area(VERIFY_WRITE, buf, count);
verify_area2130drivers/char/tpqic02.cerror = verify_area(VERIFY_READ, buf, count);
verify_area2593drivers/char/tpqic02.cverify_area(VERIFY_READ, (int *) ioarg, sizeof(int));
verify_area2619drivers/char/tpqic02.cerror = verify_area(VERIFY_WRITE, (void *) ioarg, sizeof(qic02_tape_dynconf));
verify_area2645drivers/char/tpqic02.cerror = verify_area(VERIFY_READ, (char *) ioarg, sizeof(qic02_tape_dynconf));
verify_area2677drivers/char/tpqic02.cerror = verify_area(VERIFY_READ, (char *) ioarg, sizeof(operation));
verify_area2734drivers/char/tpqic02.cerror =  verify_area(VERIFY_WRITE, (void *) ioarg, sizeof(ioctl_status));
verify_area2762drivers/char/tpqic02.cerror = verify_area(VERIFY_WRITE, (void *) ioarg, sizeof(ioctl_tell));
verify_area1263drivers/char/tty_io.ci = verify_area(VERIFY_WRITE, (void *)arg, sizeof(struct tstruct));
verify_area1306drivers/char/tty_io.cretval = verify_area(VERIFY_READ, (void *) arg, 1);
verify_area1313drivers/char/tty_io.cretval = verify_area(VERIFY_WRITE, (void *) arg,
verify_area1321drivers/char/tty_io.cretval = verify_area(VERIFY_READ, (void *) arg,
verify_area1350drivers/char/tty_io.cretval = verify_area(VERIFY_READ, (void *) arg, sizeof(long));
verify_area1411drivers/char/tty_io.cretval = verify_area(VERIFY_WRITE, (void *) arg,
verify_area1433drivers/char/tty_io.cretval = verify_area(VERIFY_WRITE, (void *) arg,
verify_area1450drivers/char/tty_io.cretval = verify_area(VERIFY_READ, (void *) arg, 1);
verify_area1494drivers/char/tty_io.cretval = verify_area(VERIFY_WRITE, (void *) arg,
verify_area109drivers/char/tty_ioctl.cretval = verify_area(VERIFY_READ, (void *) arg, sizeof(struct termio));
verify_area124drivers/char/tty_ioctl.cretval = verify_area(VERIFY_READ, (void *) arg, sizeof(struct termios));
verify_area185drivers/char/tty_ioctl.ci = verify_area(VERIFY_WRITE, termio, sizeof (struct termio));
verify_area233drivers/char/tty_ioctl.cretval = verify_area(VERIFY_WRITE, (void *) arg,
verify_area302drivers/char/tty_ioctl.cretval = verify_area(VERIFY_WRITE, (void *) arg,
verify_area313drivers/char/tty_ioctl.cretval = verify_area(VERIFY_WRITE, (void *) arg,
verify_area325drivers/char/tty_ioctl.cretval = verify_area(VERIFY_WRITE, (void *) arg,
verify_area336drivers/char/tty_ioctl.cretval = verify_area(VERIFY_READ, (void *) arg,
verify_area348drivers/char/tty_ioctl.cretval = verify_area(VERIFY_READ, (void *) arg,
verify_area185drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *) arg, sizeof(unsigned char));
verify_area239drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *) arg, sizeof(unsigned long));
verify_area278drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *) arg, sizeof(unsigned long));
verify_area304drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *) arg, sizeof(unsigned long));
verify_area318drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *)a, sizeof(struct kbkeycode));
verify_area336drivers/char/vt.ci = verify_area(VERIFY_READ, (void *)a, sizeof(struct kbkeycode));
verify_area350drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *)a, sizeof(struct kbentry));
verify_area377drivers/char/vt.ci = verify_area(VERIFY_READ, (void *)a, sizeof(struct kbentry));
verify_area447drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *)a, sizeof(struct kbsentry));
verify_area474drivers/char/vt.ci = verify_area(VERIFY_READ, (void *)a, sizeof(struct kbsentry));
verify_area543drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *) a, sizeof(struct kbdiacrs));
verify_area559drivers/char/vt.ci = verify_area(VERIFY_READ, (void *) a, sizeof(struct kbdiacrs));
verify_area573drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *) arg, sizeof(unsigned char));
verify_area593drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *) arg, sizeof(unsigned char));
verify_area634drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *)vtmode, sizeof(struct vt_mode));
verify_area655drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *)arg, sizeof(struct vt_mode));
verify_area676drivers/char/vt.ci = verify_area(VERIFY_WRITE,(void *)vtstat, sizeof(struct vt_stat));
verify_area692drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *) arg, sizeof(long));
verify_area819drivers/char/vt.ci = verify_area(VERIFY_READ, (void *)vtsizes, sizeof(struct vt_sizes));
verify_area853drivers/char/vt.ci = verify_area(VERIFY_READ, (void *)arg, sizeof(struct unimapinit));
verify_area868drivers/char/vt.ci = verify_area(VERIFY_READ, (void *)arg, sizeof(struct unimapdesc));
verify_area873drivers/char/vt.ci = verify_area(VERIFY_READ, (void *) list,
verify_area886drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *)arg, sizeof(struct unimapdesc));
verify_area892drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *) list,
verify_area633drivers/net/ppp.cerror = verify_area (VERIFY_READ,
verify_area1422drivers/net/ppp.cerror = verify_area (VERIFY_READ, (void *) l, sizeof (temp_i));
verify_area1432drivers/net/ppp.cerror = verify_area (VERIFY_WRITE, (void *) l, sizeof (temp_i));
verify_area1446drivers/net/ppp.cerror = verify_area (VERIFY_READ, (void *) l, sizeof (temp_i));
verify_area1455drivers/net/ppp.cerror = verify_area (VERIFY_WRITE, (void *) l, sizeof (temp_i));
verify_area1464drivers/net/ppp.cerror = verify_area (VERIFY_READ, (void *) l, sizeof (temp_i));
verify_area1475drivers/net/ppp.cerror = verify_area (VERIFY_READ, (void *) l, sizeof (temp_i));
verify_area1484drivers/net/ppp.cerror = verify_area (VERIFY_WRITE, (void *) l, sizeof (temp_i));
verify_area1492drivers/net/ppp.cerror = verify_area (VERIFY_READ, (void *) l, sizeof (temp_i));
verify_area1501drivers/net/ppp.cerror = verify_area (VERIFY_READ, (void *) l, sizeof (temp_i));
verify_area1512drivers/net/ppp.cerror = verify_area (VERIFY_WRITE, (void *) l, sizeof (temp_i));
verify_area1521drivers/net/ppp.cerror = verify_area (VERIFY_WRITE, (void *) l, sizeof (struct ppp_stats));
verify_area1529drivers/net/ppp.cerror = verify_area (VERIFY_WRITE, (void *) l, sizeof (struct ppp_ddinfo));
verify_area1546drivers/net/ppp.cerror = verify_area (VERIFY_WRITE,
verify_area1558drivers/net/ppp.cerror = verify_area (VERIFY_READ, (void *) l,
verify_area1580drivers/net/ppp.cerror = verify_area (VERIFY_READ, (void *) l, sizeof (temp_i));
verify_area939drivers/net/slip.cerr = verify_area(VERIFY_READ, addr, 7);
verify_area973drivers/net/slip.cerr = verify_area(VERIFY_WRITE, arg, 16);
verify_area981drivers/net/slip.cerr = verify_area(VERIFY_WRITE, arg, sizeof(long));
verify_area989drivers/net/slip.cerr = verify_area(VERIFY_READ, arg, sizeof(long));
verify_area2087drivers/scsi/53c7,8xx.cif (error = verify_area(VERIFY_READ,buf,count))
verify_area45drivers/scsi/scsi_ioctl.cverify_area(VERIFY_WRITE, buffer, len);
verify_area199drivers/scsi/scsi_ioctl.cresult = verify_area(VERIFY_WRITE, cmd_in, sizeof(SCpnt->sense_buffer));
verify_area205drivers/scsi/scsi_ioctl.cresult = verify_area(VERIFY_WRITE, cmd_in, (outlen > MAX_BUF) ? MAX_BUF  : outlen);
verify_area251drivers/scsi/scsi_ioctl.cverify_area(VERIFY_WRITE, (void *) arg, sizeof(int));
verify_area29drivers/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_area175drivers/scsi/sg.cif ((i=verify_area(VERIFY_WRITE,buf,count)))
verify_area237drivers/scsi/sg.cif ((i=verify_area(VERIFY_READ,buf,count)))
verify_area197drivers/scsi/sr_ioctl.cerr = verify_area (VERIFY_WRITE, (void *) arg, sizeof (struct cdrom_tochdr));
verify_area210drivers/scsi/sr_ioctl.cverify_area (VERIFY_READ, (void *) arg, sizeof (struct cdrom_tocentry));
verify_area237drivers/scsi/sr_ioctl.cerr = verify_area (VERIFY_WRITE, (void *) arg, sizeof (struct cdrom_tocentry));
verify_area282drivers/scsi/sr_ioctl.cverify_area (VERIFY_READ, (void *) arg, sizeof (struct cdrom_volctrl));
verify_area378drivers/scsi/sr_ioctl.cerr = verify_area (VERIFY_WRITE, (void *) arg, sizeof (struct cdrom_subchnl));
verify_area396drivers/scsi/sr_ioctl.cerr = verify_area(VERIFY_READ, (void *) arg,
verify_area414drivers/scsi/sr_ioctl.cerr=verify_area(VERIFY_WRITE,(void *) arg,
verify_area1755drivers/scsi/st.ci = verify_area(VERIFY_WRITE, (void *)arg, sizeof(mtc));
verify_area1781drivers/scsi/st.ci = verify_area(VERIFY_WRITE, (void *)arg, sizeof(struct mtget));
verify_area1844drivers/scsi/st.ci = verify_area(VERIFY_WRITE, (void *)arg, sizeof(struct mtpos));
verify_area52drivers/sound/soundcard.cerror = verify_area(VERIFY_WRITE, addr, sizeof(int));
verify_area73fs/binfmt_elf.cverify_area(VERIFY_WRITE, (void *) elf_bss, nbyte);
verify_area1778fs/buffer.cerror = verify_area(VERIFY_WRITE, (void *) data, sizeof(int));
verify_area357fs/exec.cerror = verify_area(VERIFY_READ, tmp, sizeof(char *));
verify_area362fs/exec.cerror = verify_area(VERIFY_READ, p, 1);
verify_area488fs/exec.cresult = verify_area(VERIFY_WRITE, addr, count);
verify_area29fs/ext2/ioctl.cif ((err = verify_area (VERIFY_WRITE, (long *) arg, sizeof(long))))
verify_area61fs/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,4);
verify_area67fs/locks.cerror = verify_area(VERIFY_WRITE,l, sizeof(*l));
verify_area111fs/locks.cerror = verify_area(VERIFY_READ, l, sizeof(*l));
verify_area35fs/open.cerror = verify_area(VERIFY_WRITE, buf, sizeof(struct statfs));
verify_area56fs/open.cerror = verify_area(VERIFY_WRITE, buf, sizeof(struct statfs));
verify_area155fs/open.cerror = verify_area(VERIFY_READ, times, sizeof(*times));
verify_area141fs/pipe.cerror = verify_area(VERIFY_WRITE, (void *) arg,4);
verify_area386fs/pipe.cj = verify_area(VERIFY_WRITE,fildes,8);
verify_area40fs/read_write.cerror = verify_area(VERIFY_WRITE, dirent, size);
verify_area96fs/read_write.cif ((err = verify_area(VERIFY_WRITE, result, sizeof(loff_t))))
verify_area136fs/read_write.cerror = verify_area(VERIFY_WRITE,buf,count);
verify_area157fs/read_write.cerror = verify_area(VERIFY_READ,buf,count);
verify_area164fs/select.cerror = verify_area(VERIFY_WRITE,fs_pointer,sizeof(fd_set));
verify_area213fs/select.ci = verify_area(VERIFY_READ, buffer, 20);
verify_area230fs/select.ci = verify_area(VERIFY_WRITE, tvp, sizeof(*tvp));
verify_area102fs/stat.cerror = verify_area(VERIFY_WRITE,statbuf,sizeof (*statbuf));
verify_area118fs/stat.cerror = verify_area(VERIFY_WRITE,statbuf,sizeof (*statbuf));
verify_area134fs/stat.cerror = verify_area(VERIFY_WRITE,statbuf,sizeof (*statbuf));
verify_area150fs/stat.cerror = verify_area(VERIFY_WRITE,statbuf,sizeof (*statbuf));
verify_area167fs/stat.cerror = verify_area(VERIFY_WRITE,statbuf,sizeof (*statbuf));
verify_area182fs/stat.cerror = verify_area(VERIFY_WRITE,statbuf,sizeof (*statbuf));
verify_area198fs/stat.cerror = verify_area(VERIFY_WRITE,buf,bufsiz);
verify_area110fs/super.cerr = verify_area(VERIFY_WRITE, buf, len);
verify_area18include/linux/mm.hextern int verify_area(int, const void *, unsigned long);
verify_area51ipc/msg.cerr = verify_area (VERIFY_READ, msgp->mtext, msgsz);
verify_area124ipc/msg.cerr = verify_area (VERIFY_WRITE, msgp->mtext, msgsz);
verify_area348ipc/msg.cerr = verify_area (VERIFY_WRITE, buf, sizeof (struct msginfo));
verify_area357ipc/msg.cerr = verify_area (VERIFY_WRITE, buf, sizeof (*buf));
verify_area382ipc/msg.cerr = verify_area (VERIFY_READ, buf, sizeof (*buf));
verify_area390ipc/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_area84ipc/util.cif ((err = verify_area (VERIFY_READ, ptr, sizeof(long))))
verify_area104ipc/util.cif ((err = verify_area (VERIFY_READ, ptr, sizeof(tmp))))
verify_area127ipc/util.cif ((err = verify_area(VERIFY_WRITE, (ulong*) third, sizeof(ulong))))
verify_area489kernel/exit.cflag = verify_area(VERIFY_WRITE, stat_addr, 4);
verify_area23kernel/info.cerror = verify_area(VERIFY_WRITE, info, sizeof(struct sysinfo));
verify_area67kernel/itimer.cerror = verify_area(VERIFY_WRITE, value, sizeof(struct itimerval));
verify_area117kernel/itimer.cerror = verify_area(VERIFY_READ, value, sizeof(*value));
verify_area125kernel/itimer.cerror = verify_area(VERIFY_WRITE, ovalue, sizeof(struct itimerval));
verify_area112kernel/ksyms.cX(verify_area),
verify_area234kernel/module.cif ((error = verify_area(VERIFY_READ, symtab, sizeof(int))))
verify_area242kernel/module.cif ((error = verify_area(VERIFY_READ, symtab, size))) {
verify_area381kernel/module.cif ((i = verify_area(VERIFY_WRITE, to, nmodsyms * sizeof(*table))))
verify_area74kernel/printk.cerror = verify_area(VERIFY_WRITE,buf,len);
verify_area107kernel/printk.cerror = verify_area(VERIFY_WRITE,buf,len);
verify_area28kernel/signal.cerror = verify_area(VERIFY_READ, set, sizeof(sigset_t));
verify_area47kernel/signal.cerror = verify_area(VERIFY_WRITE, oset, sizeof(sigset_t));
verify_area72kernel/signal.cerror = verify_area(VERIFY_WRITE, set, 4);
verify_area122kernel/signal.cerr = verify_area(VERIFY_READ, handler, 1);
verify_area147kernel/signal.cint err = verify_area(VERIFY_READ, action, sizeof(*action));
verify_area158kernel/signal.cerr = verify_area(VERIFY_READ, new_sa.sa_handler, 1);
verify_area164kernel/signal.cint err = verify_area(VERIFY_WRITE, oldaction, sizeof(*oldaction));
verify_area368kernel/sys.cint error = verify_area(VERIFY_WRITE,tbuf,sizeof *tbuf);
verify_area532kernel/sys.ci = verify_area(VERIFY_WRITE, grouplist, sizeof(gid_t) * gidsetsize);
verify_area585kernel/sys.cerror = verify_area(VERIFY_WRITE, name, sizeof *name);
verify_area596kernel/sys.cerror = verify_area(VERIFY_WRITE, name,sizeof *name);
verify_area617kernel/sys.cerror = verify_area(VERIFY_WRITE, name,sizeof *name);
verify_area678kernel/sys.cerror = verify_area(VERIFY_WRITE,rlim,sizeof *rlim);
verify_area695kernel/sys.cerr = verify_area(VERIFY_READ, rlim, sizeof(*rlim));
verify_area725kernel/sys.cerror = verify_area(VERIFY_WRITE, ru, sizeof *ru);
verify_area124kernel/time.cerror = verify_area(VERIFY_WRITE, tloc, 4);
verify_area139kernel/time.cerror = verify_area(VERIFY_READ, tptr, sizeof(*tptr));
verify_area234kernel/time.cerror = verify_area(VERIFY_WRITE, tv, sizeof *tv);
verify_area242kernel/time.cerror = verify_area(VERIFY_WRITE, tz, sizeof *tz);
verify_area293kernel/time.cint error = verify_area(VERIFY_READ, tv, sizeof(*tv));
verify_area299kernel/time.cint error = verify_area(VERIFY_READ, tz, sizeof(*tz));
verify_area347kernel/time.cerror = verify_area(VERIFY_WRITE, txc_p, sizeof(struct timex));
verify_area193mm/mmap.cerror = verify_area(VERIFY_READ, buffer, 6*sizeof(long));
verify_area1261net/inet/af_inet.cerr=verify_area(VERIFY_READ,(int *)arg,sizeof(long));
verify_area1268net/inet/af_inet.cerr=verify_area(VERIFY_WRITE,(void *) arg, sizeof(long));
verify_area1276net/inet/af_inet.cerr=verify_area(VERIFY_WRITE,(void *)arg,sizeof(struct timeval));
verify_area1236net/inet/arp.cerr = verify_area(VERIFY_READ, arg, sizeof(struct arpreq));
verify_area1246net/inet/arp.cerr = verify_area(VERIFY_WRITE, arg, sizeof(struct arpreq));
verify_area1253net/inet/arp.cerr = verify_area(VERIFY_READ, arg, sizeof(struct arpreq));
verify_area831net/inet/dev.cerr=verify_area(VERIFY_WRITE, arg, sizeof(struct ifconf));
verify_area843net/inet/dev.cerr=verify_area(VERIFY_WRITE,pos,len);
verify_area996net/inet/dev.cint err=verify_area(VERIFY_WRITE, arg, sizeof(struct ifreq));
verify_area2062net/inet/ip.cerr=verify_area(VERIFY_READ, optval, sizeof(int));
verify_area2118net/inet/ip.cerr=verify_area(VERIFY_READ, optval, sizeof(addr));
verify_area2175net/inet/ip.cerr=verify_area(VERIFY_READ, optval, sizeof(mreq));
verify_area2235net/inet/ip.cerr=verify_area(VERIFY_READ, optval, sizeof(mreq));
verify_area2294net/inet/ip.cerr=verify_area(VERIFY_READ,optval,optlen);
verify_area2311net/inet/ip.cerr=verify_area(VERIFY_READ,optval,optlen);
verify_area2355net/inet/ip.cerr=verify_area(VERIFY_WRITE, optlen, sizeof(int));
verify_area2359net/inet/ip.cerr=verify_area(VERIFY_WRITE, optval, len);
verify_area2369net/inet/ip.cerr=verify_area(VERIFY_WRITE, optlen, sizeof(int));
verify_area2374net/inet/ip.cerr=verify_area(VERIFY_WRITE, optval, sizeof(int));
verify_area828net/inet/ipx.cerr=verify_area(VERIFY_READ,arg,sizeof(ifr));
verify_area851net/inet/ipx.cerr=verify_area(VERIFY_WRITE,arg,sizeof(ifr));
verify_area868net/inet/ipx.cerr=verify_area(VERIFY_READ,arg,sizeof(char));
verify_area873net/inet/ipx.cerr=verify_area(VERIFY_READ,arg,sizeof(char));
verify_area1062net/inet/ipx.cerr=verify_area(VERIFY_READ,arg,sizeof(rt));
verify_area1278net/inet/ipx.cerr=verify_area(VERIFY_READ,optval,sizeof(int));
verify_area1333net/inet/ipx.cerr=verify_area(VERIFY_WRITE,optlen,sizeof(int));
verify_area1337net/inet/ipx.cerr=verify_area(VERIFY_WRITE,optval,sizeof(int));
verify_area1801net/inet/ipx.cerr=verify_area(VERIFY_WRITE,(void *)arg,sizeof(unsigned long));
verify_area1815net/inet/ipx.cerr=verify_area(VERIFY_WRITE,(void *)arg,sizeof(unsigned long));
verify_area1833net/inet/ipx.cerr=verify_area(VERIFY_WRITE,(void *)arg,
verify_area1843net/inet/ipx.cerr=verify_area(VERIFY_WRITE,(void *)arg,sizeof(struct timeval));
verify_area397net/inet/rarp.cerr = verify_area(VERIFY_READ, arg, sizeof(struct arpreq));
verify_area408net/inet/rarp.cerr = verify_area(VERIFY_WRITE, arg, sizeof(struct arpreq));
verify_area415net/inet/rarp.cerr = verify_area(VERIFY_READ, arg, sizeof(struct arpreq));
verify_area625net/inet/route.cerr=verify_area(VERIFY_READ, src, sizeof(*src));
verify_area664net/inet/route.cerr=verify_area(VERIFY_READ, arg, sizeof(struct rtentry));
verify_area127net/inet/sock.cerr=verify_area(VERIFY_READ, optval, sizeof(int));
verify_area157net/inet/sock.cerr=verify_area(VERIFY_READ,optval,sizeof(ling));
verify_area244net/inet/sock.cerr=verify_area(VERIFY_WRITE,optval,sizeof(ling));
verify_area247net/inet/sock.cerr=verify_area(VERIFY_WRITE,optlen,sizeof(int));
verify_area302net/inet/sock.cerr=verify_area(VERIFY_WRITE, optlen, sizeof(int));
verify_area307net/inet/sock.cerr=verify_area(VERIFY_WRITE, optval, sizeof(int));
verify_area978net/inet/tcp.cerr=verify_area(VERIFY_WRITE,(void *)arg,
verify_area989net/inet/tcp.cerr = verify_area(VERIFY_WRITE,(void *) arg,
verify_area1002net/inet/tcp.cerr=verify_area(VERIFY_WRITE,(void *)arg,
verify_area5011net/inet/tcp.cerr=verify_area(VERIFY_READ, optval, sizeof(int));
verify_area5055net/inet/tcp.cerr=verify_area(VERIFY_WRITE, optlen, sizeof(int));
verify_area5060net/inet/tcp.cerr=verify_area(VERIFY_WRITE, optval, sizeof(int));
verify_area423net/inet/udp.cerr=verify_area(VERIFY_WRITE,(void *)arg,
verify_area447net/inet/udp.cerr=verify_area(VERIFY_WRITE,(void *)arg,
verify_area126net/socket.cif((err=verify_area(VERIFY_READ,uaddr,ulen))<0)
verify_area138net/socket.cif((err=verify_area(VERIFY_WRITE,ulen,sizeof(*ulen)))<0)
verify_area147net/socket.cif((err=verify_area(VERIFY_WRITE,uaddr,len))<0)
verify_area335net/socket.cif ((err=verify_area(VERIFY_WRITE,ubuf,size))<0)
verify_area364net/socket.cif ((err=verify_area(VERIFY_READ,ubuf,size))<0)
verify_area707net/socket.cer=verify_area(VERIFY_WRITE, usockvec, 2 * sizeof(int));
verify_area964net/socket.cerr=verify_area(VERIFY_READ, buff, len);
verify_area991net/socket.cerr=verify_area(VERIFY_READ,buff,len);
verify_area1027net/socket.cerr=verify_area(VERIFY_WRITE, buff, len);
verify_area1057net/socket.cerr=verify_area(VERIFY_WRITE,buff,len);
verify_area1160net/socket.cer=verify_area(VERIFY_READ, args, 3 * sizeof(long));
verify_area1167net/socket.cer=verify_area(VERIFY_READ, args, 3 * sizeof(long));
verify_area1174net/socket.cer=verify_area(VERIFY_READ, args, 3 * sizeof(long));
verify_area1181net/socket.cer=verify_area(VERIFY_READ, args, 2 * sizeof(long));
verify_area1187net/socket.cer=verify_area(VERIFY_READ, args, 3 * sizeof(long));
verify_area1194net/socket.cer=verify_area(VERIFY_READ, args, 3 * sizeof(long));
verify_area1201net/socket.cer=verify_area(VERIFY_READ, args, 3 * sizeof(long));
verify_area1208net/socket.cer=verify_area(VERIFY_READ, args, 4 * sizeof(long));
verify_area1216net/socket.cer=verify_area(VERIFY_READ, args, 4 * sizeof(unsigned long));
verify_area1224net/socket.cer=verify_area(VERIFY_READ, args, 6 * sizeof(unsigned long));
verify_area1234net/socket.cer=verify_area(VERIFY_READ, args, 4 * sizeof(unsigned long));
verify_area1242net/socket.cer=verify_area(VERIFY_READ, args, 6 * sizeof(unsigned long));
verify_area1252net/socket.cer=verify_area(VERIFY_READ, args, 2* sizeof(unsigned long));
verify_area1258net/socket.cer=verify_area(VERIFY_READ, args, 5*sizeof(unsigned long));
verify_area1267net/socket.cer=verify_area(VERIFY_READ, args, 5*sizeof(unsigned long));
verify_area843net/unix/sock.cer=verify_area(VERIFY_WRITE,(void *)arg, sizeof(unsigned long));
verify_area854net/unix/sock.cer=verify_area(VERIFY_WRITE,(void *)arg, sizeof(unsigned long));