taglinefilesource code
VERIFY_WRITE108arch/alpha/kernel/osf_sys.cerror = verify_area(VERIFY_WRITE, dirent, count);
VERIFY_WRITE112arch/alpha/kernel/osf_sys.cerror = verify_area(VERIFY_WRITE, basep, sizeof(long));
VERIFY_WRITE179arch/alpha/kernel/osf_sys.cretval = verify_area(VERIFY_WRITE, buffer, bufsiz);
VERIFY_WRITE200arch/alpha/kernel/osf_sys.cretval = verify_area(VERIFY_WRITE, buffer, bufsiz);
VERIFY_WRITE398arch/alpha/kernel/osf_sys.cif (remain && (retval = verify_area(VERIFY_WRITE, remain, sizeof(*remain))))
VERIFY_WRITE423arch/alpha/kernel/osf_sys.cint error = verify_area(VERIFY_WRITE, name, 5*32);
VERIFY_WRITE471arch/alpha/kernel/osf_sys.cerror = verify_area(VERIFY_WRITE, name, namelen);
VERIFY_WRITE595arch/alpha/kernel/osf_sys.cerror = verify_area(VERIFY_WRITE, min_buf_size_ptr,
VERIFY_WRITE608arch/alpha/kernel/osf_sys.cerror = verify_area(VERIFY_WRITE, min_buf_size_ptr,
VERIFY_WRITE144arch/alpha/kernel/signal.cif (verify_area(VERIFY_WRITE, sc, sizeof(*sc)))
VERIFY_WRITE269arch/alpha/kernel/traps.cdir = VERIFY_WRITE;
VERIFY_WRITE323arch/alpha/kernel/traps.cif (opcode >= 0x28 && reg == 30 && dir == VERIFY_WRITE) {
VERIFY_WRITE30arch/i386/kernel/ldt.cerror = verify_area(VERIFY_WRITE, ptr, size);
VERIFY_WRITE358arch/i386/kernel/ptrace.cres = verify_area(VERIFY_WRITE, (void *) data, sizeof(long));
VERIFY_WRITE373arch/i386/kernel/ptrace.cres = verify_area(VERIFY_WRITE, (void *) data, sizeof(long));
VERIFY_WRITE96arch/i386/kernel/signal.cif (verify_area(VERIFY_WRITE,frame,32*4))
VERIFY_WRITE29arch/i386/kernel/sys_i386.cerror = verify_area(VERIFY_WRITE,fildes,8);
VERIFY_WRITE153arch/i386/kernel/sys_i386.cif ((err = verify_area(VERIFY_WRITE, (ulong*) third, sizeof(ulong))))
VERIFY_WRITE111arch/i386/kernel/vm86.cerror = verify_area(VERIFY_WRITE,v86,sizeof(*v86));
VERIFY_WRITE236arch/i386/math-emu/load_store.cFPU_verify_area(VERIFY_WRITE,data_address,2);
VERIFY_WRITE248arch/i386/math-emu/load_store.cFPU_verify_area(VERIFY_WRITE,data_address,2);
VERIFY_WRITE434arch/i386/math-emu/reg_ld_str.cFPU_verify_area(VERIFY_WRITE, d, 10);
VERIFY_WRITE447arch/i386/math-emu/reg_ld_str.cFPU_verify_area(VERIFY_WRITE,d,10);
VERIFY_WRITE633arch/i386/math-emu/reg_ld_str.cFPU_verify_area(VERIFY_WRITE,(void *)dfloat,8);
VERIFY_WRITE646arch/i386/math-emu/reg_ld_str.cFPU_verify_area(VERIFY_WRITE,(void *)dfloat,8);
VERIFY_WRITE817arch/i386/math-emu/reg_ld_str.cFPU_verify_area(VERIFY_WRITE,(void *)single,4);
VERIFY_WRITE836arch/i386/math-emu/reg_ld_str.cFPU_verify_area(VERIFY_WRITE,(void *)single,4);
VERIFY_WRITE894arch/i386/math-emu/reg_ld_str.cFPU_verify_area(VERIFY_WRITE,(void *)d,8);
VERIFY_WRITE949arch/i386/math-emu/reg_ld_str.cFPU_verify_area(VERIFY_WRITE,d,4);
VERIFY_WRITE1003arch/i386/math-emu/reg_ld_str.cFPU_verify_area(VERIFY_WRITE,d,2);
VERIFY_WRITE1043arch/i386/math-emu/reg_ld_str.cFPU_verify_area(VERIFY_WRITE,d,10);
VERIFY_WRITE1062arch/i386/math-emu/reg_ld_str.cFPU_verify_area(VERIFY_WRITE,d,10);
VERIFY_WRITE1297arch/i386/math-emu/reg_ld_str.cFPU_verify_area(VERIFY_WRITE,d,14);
VERIFY_WRITE1325arch/i386/math-emu/reg_ld_str.cFPU_verify_area(VERIFY_WRITE,d,28);
VERIFY_WRITE1365arch/i386/math-emu/reg_ld_str.cFPU_verify_area(VERIFY_WRITE,d,80);
VERIFY_WRITE87arch/mips/kernel/ipc.cif ((err = verify_area(VERIFY_WRITE, (ulong*) third, sizeof(ulong))))
VERIFY_WRITE340arch/mips/kernel/ptrace.cres = verify_area(VERIFY_WRITE, (void *) data, sizeof(long));
VERIFY_WRITE355arch/mips/kernel/ptrace.cres = verify_area(VERIFY_WRITE, (void *) data, sizeof(long));
VERIFY_WRITE160arch/mips/kernel/signal.cif (verify_area(VERIFY_WRITE, frame, sizeof (struct sc)) ||
VERIFY_WRITE74arch/mips/kernel/sysmips.cretval = verify_area(VERIFY_WRITE, p, sizeof(*p));
VERIFY_WRITE134arch/sparc/kernel/signal.cif(!(sp & 7) && !verify_area(VERIFY_WRITE, (char *)sp,
VERIFY_WRITE186arch/sparc/kernel/signal.cif(verify_area(VERIFY_WRITE, sframep, sizeof(*sframep)) ||
VERIFY_WRITE356arch/sparc/kernel/signal.cif(verify_area(VERIFY_WRITE, ossptr, sizeof(struct sigstack)))
VERIFY_WRITE112arch/sparc/kernel/sys_sparc.cif ((err = verify_area(VERIFY_WRITE, (ulong*) third, sizeof(ulong))))
VERIFY_WRITE282arch/sparc/kernel/sys_sunos.cif(verify_area(VERIFY_WRITE, array, num_pages))
VERIFY_WRITE383arch/sparc/kernel/sys_sunos.cif(verify_area(VERIFY_WRITE, dirent, cnt))
VERIFY_WRITE408arch/sparc/kernel/sys_sunos.cerror = verify_area(VERIFY_WRITE, name, len);
VERIFY_WRITE429arch/sparc/kernel/sys_sunos.cerror = verify_area(VERIFY_WRITE, name, sizeof *name);
VERIFY_WRITE252arch/sparc/mm/fault.cverify_area(VERIFY_WRITE,
VERIFY_WRITE2752drivers/block/floppy.cECALL(verify_area(VERIFY_WRITE,param,size));
VERIFY_WRITE2944drivers/block/floppy.cECALL( verify_area( VERIFY_WRITE, ptr->data, 
VERIFY_WRITE3216drivers/block/floppy.cECALL(verify_area(VERIFY_WRITE,(void *) param, size));
VERIFY_WRITE793drivers/block/hd.cerr = verify_area(VERIFY_WRITE, loc, sizeof(*loc));
VERIFY_WRITE812drivers/block/hd.cerr = verify_area(VERIFY_WRITE, (long *) arg, sizeof(long));
VERIFY_WRITE819drivers/block/hd.cerr = verify_area(VERIFY_WRITE, (long *) arg, sizeof(long));
VERIFY_WRITE842drivers/block/hd.cerr = verify_area(VERIFY_WRITE, (long *) arg, sizeof(long));
VERIFY_WRITE850drivers/block/hd.cerr = verify_area(VERIFY_WRITE, (long *) arg, sizeof(long));
VERIFY_WRITE878drivers/block/hd.cerr = verify_area(VERIFY_WRITE, (char *) arg, sizeof(struct hd_driveid));
VERIFY_WRITE2201drivers/block/ide-cd.cstat = verify_area (VERIFY_WRITE, (void *) arg, sizeof (tochdr));
VERIFY_WRITE2225drivers/block/ide-cd.cstat = verify_area (VERIFY_WRITE, (void *) arg, sizeof (tocentry));
VERIFY_WRITE2258drivers/block/ide-cd.cstat = verify_area (VERIFY_WRITE, (void *) arg, sizeof (subchnl));
VERIFY_WRITE2345drivers/block/ide-cd.cstat = verify_area (VERIFY_WRITE, (void *) arg, sizeof (volctrl));
VERIFY_WRITE2369drivers/block/ide-cd.cstat = verify_area (VERIFY_WRITE, (void *)arg, sizeof (ms_info));
VERIFY_WRITE2423drivers/block/ide-cd.cstat = verify_area (VERIFY_WRITE, (char *)ra.buf,
VERIFY_WRITE2475drivers/block/ide-cd.cstat = verify_area (VERIFY_WRITE, (char *)arg, blocksize);
VERIFY_WRITE2529drivers/block/ide-cd.cstat = verify_area (VERIFY_WRITE, (void *) arg, len);
VERIFY_WRITE3812drivers/block/ide-tape.cretval=verify_area (VERIFY_WRITE,(char *) arg,sizeof (struct mtget));
VERIFY_WRITE3821drivers/block/ide-tape.cretval=verify_area (VERIFY_WRITE,(char *) arg,sizeof (struct mtpos));
VERIFY_WRITE1801drivers/block/ide.cif ((err = verify_area(VERIFY_WRITE, (long *)useraddr, sizeof(long))))
VERIFY_WRITE1824drivers/block/ide.cerr = verify_area(VERIFY_WRITE, loc, sizeof(*loc));
VERIFY_WRITE1873drivers/block/ide.cerr = verify_area(VERIFY_WRITE, (char *)arg, sizeof(*drive->id));
VERIFY_WRITE1959drivers/block/ide.cif (!(err = verify_area(VERIFY_WRITE,(long *)arg,sizeof(long)))) {
VERIFY_WRITE149drivers/block/rd.cerr = verify_area(VERIFY_WRITE, (long *) arg,
VERIFY_WRITE249drivers/block/xd.cif ((err = verify_area(VERIFY_WRITE,geometry,sizeof(*geometry))))
VERIFY_WRITE270drivers/block/xd.cif ((err = verify_area(VERIFY_WRITE,(long *) arg,sizeof(long))))
VERIFY_WRITE689drivers/cdrom/aztcd.cst = verify_area(VERIFY_WRITE, (void*) arg, sizeof(struct cdrom_multisession));
VERIFY_WRITE767drivers/cdrom/aztcd.cst = verify_area(VERIFY_WRITE, (void *) arg, sizeof tocHdr);
VERIFY_WRITE776drivers/cdrom/aztcd.cst = verify_area(VERIFY_WRITE, (void *) arg, sizeof entry);
VERIFY_WRITE810drivers/cdrom/aztcd.cst = verify_area(VERIFY_WRITE, (void *) arg, sizeof(struct cdrom_subchnl));
VERIFY_WRITE891drivers/cdrom/aztcd.cst = verify_area(VERIFY_WRITE, (void *) arg, sizeof buf);
VERIFY_WRITE1977drivers/cdrom/cdu31a.cverify_area(VERIFY_WRITE, (char *) arg, sizeof(schi));
VERIFY_WRITE2482drivers/cdrom/cdu31a.ci=verify_area(VERIFY_WRITE, hdr, sizeof(*hdr));
VERIFY_WRITE2508drivers/cdrom/cdu31a.ci=verify_area(VERIFY_WRITE, entry, sizeof(*entry));
VERIFY_WRITE2664drivers/cdrom/cdu31a.ci=verify_area(VERIFY_WRITE, ra.buf, CD_FRAMESIZE_RAW * ra.nframes);
VERIFY_WRITE902drivers/cdrom/cm206.cst=verify_area(VERIFY_WRITE, (void *) arg, 
VERIFY_WRITE932drivers/cdrom/cm206.cst=verify_area(VERIFY_WRITE, (void *) arg, sizeof(header));
VERIFY_WRITE944drivers/cdrom/cm206.cst=verify_area(VERIFY_WRITE, (void *) arg, sizeof(entry));
VERIFY_WRITE1002drivers/cdrom/cm206.cst=verify_area(VERIFY_WRITE, (void *) arg, sizeof(q));
VERIFY_WRITE1015drivers/cdrom/cm206.cst=verify_area(VERIFY_WRITE, (void *) arg, 8);
VERIFY_WRITE450drivers/cdrom/mcd.cst = verify_area(VERIFY_WRITE, (void *) arg, sizeof tocHdr);
VERIFY_WRITE461drivers/cdrom/mcd.cst = verify_area(VERIFY_WRITE, (void *) arg, sizeof entry);
VERIFY_WRITE498drivers/cdrom/mcd.cst = verify_area(VERIFY_WRITE, (void *) arg, sizeof subchnl);
VERIFY_WRITE369drivers/cdrom/mcdx.cif ((ans = verify_area(VERIFY_WRITE, (void*) arg, sizeof(entry)))) return ans;
VERIFY_WRITE422drivers/cdrom/mcdx.cif ((ans = verify_area(VERIFY_WRITE, (void*) arg, sizeof(sub))))
VERIFY_WRITE434drivers/cdrom/mcdx.cif ((ans = verify_area(VERIFY_WRITE, (void*) arg, sizeof toc)))
VERIFY_WRITE473drivers/cdrom/mcdx.cif (0 != (ans = verify_area(VERIFY_WRITE, (void*) arg,
VERIFY_WRITE1502drivers/cdrom/optcd.cstatus = verify_area(VERIFY_WRITE, (void *) arg, sizeof tochdr);
VERIFY_WRITE1523drivers/cdrom/optcd.cstatus = verify_area(VERIFY_WRITE, (void *) arg, sizeof entry);
VERIFY_WRITE1588drivers/cdrom/optcd.cstatus = verify_area(VERIFY_WRITE, (void *) arg, sizeof subchnl);
VERIFY_WRITE1617drivers/cdrom/optcd.cstatus = verify_area(VERIFY_WRITE, (void *) arg, blocksize);
VERIFY_WRITE1669drivers/cdrom/optcd.cstatus = verify_area(VERIFY_WRITE, (void*) arg, sizeof ms);
VERIFY_WRITE3971drivers/cdrom/sbpcd.cst=verify_area(VERIFY_WRITE, (void *) arg, sizeof(struct cdrom_tochdr));
VERIFY_WRITE3996drivers/cdrom/sbpcd.cst=verify_area(VERIFY_WRITE,(void *) arg, sizeof(struct cdrom_tocentry));
VERIFY_WRITE4054drivers/cdrom/sbpcd.cst=verify_area(VERIFY_WRITE,(void *)arg,sizeof(volctrl));
VERIFY_WRITE4070drivers/cdrom/sbpcd.cst=verify_area(VERIFY_WRITE, (void *) arg, sizeof(struct cdrom_subchnl));
VERIFY_WRITE4166drivers/cdrom/sbpcd.ci=verify_area(VERIFY_WRITE, read_audio.buf,
VERIFY_WRITE4368drivers/cdrom/sbpcd.cst=verify_area(VERIFY_WRITE,(void *) arg, sizeof(struct cdrom_multisession));
VERIFY_WRITE839drivers/cdrom/sjcd.cif( ( s = verify_area( VERIFY_WRITE, (void *)arg, sizeof( toc_header ) ) ) == 0 ){
VERIFY_WRITE852drivers/cdrom/sjcd.cif( ( s = verify_area( VERIFY_WRITE, (void *)arg, sizeof( toc_entry ) ) ) == 0 ){
VERIFY_WRITE887drivers/cdrom/sjcd.cif( ( s = verify_area( VERIFY_WRITE, (void *)arg, sizeof( subchnl ) ) ) == 0 ){
VERIFY_WRITE954drivers/cdrom/sjcd.cif( ( s = verify_area( VERIFY_WRITE, (void *)arg, sizeof( statistic ) ) ) == 0 )
VERIFY_WRITE1016drivers/cdrom/sonycd535.cerr = verify_area(VERIFY_WRITE /* and read */ , (char *)arg, sizeof schi);
VERIFY_WRITE1212drivers/cdrom/sonycd535.cerr = verify_area(VERIFY_WRITE, hdr, sizeof *hdr);
VERIFY_WRITE1234drivers/cdrom/sonycd535.cerr = verify_area(VERIFY_WRITE /* and read */ , entry, sizeof *entry);
VERIFY_WRITE177drivers/char/busmouse.cif ((r = verify_area(VERIFY_WRITE, buffer, count)))
VERIFY_WRITE248drivers/char/consolemap.ci = verify_area(VERIFY_WRITE, (void *)arg, E_TABSZ);
VERIFY_WRITE282drivers/char/consolemap.ci = verify_area(VERIFY_WRITE, (void *)arg,
VERIFY_WRITE2150drivers/char/cyclades.cerror = verify_area(VERIFY_WRITE, (void *) arg
VERIFY_WRITE2159drivers/char/cyclades.cerror = verify_area(VERIFY_WRITE, (void *) arg
VERIFY_WRITE2171drivers/char/cyclades.cerror = verify_area(VERIFY_WRITE, (void *) arg
VERIFY_WRITE2183drivers/char/cyclades.cerror = verify_area(VERIFY_WRITE, (void *) arg
VERIFY_WRITE2195drivers/char/cyclades.cerror = verify_area(VERIFY_WRITE, (void *) arg
VERIFY_WRITE2229drivers/char/cyclades.cerror = verify_area(VERIFY_WRITE, (void *) arg
VERIFY_WRITE2245drivers/char/cyclades.cerror = verify_area(VERIFY_WRITE, (void *) arg
VERIFY_WRITE2254drivers/char/cyclades.cerror = verify_area(VERIFY_WRITE, (void *) arg
VERIFY_WRITE1827drivers/char/istallion.cif ((rc = verify_area(VERIFY_WRITE, (void *) arg, sizeof(long))) == 0)
VERIFY_WRITE1837drivers/char/istallion.cif ((rc = verify_area(VERIFY_WRITE, (void *) arg, sizeof(unsigned int))) == 0) {
VERIFY_WRITE1866drivers/char/istallion.cif ((rc = verify_area(VERIFY_WRITE, (void *) arg, sizeof(struct serial_struct))) == 0)
VERIFY_WRITE476drivers/char/lp.cretval = verify_area(VERIFY_WRITE, (void *) arg,
VERIFY_WRITE483drivers/char/lp.cretval = verify_area(VERIFY_WRITE, (void *) arg,
VERIFY_WRITE496drivers/char/lp.cretval = verify_area(VERIFY_WRITE, (void *) arg,
VERIFY_WRITE507drivers/char/lp.cretval = verify_area(VERIFY_WRITE, (void *) arg,
VERIFY_WRITE739drivers/char/random.cretval = verify_area(VERIFY_WRITE, (void *) arg, sizeof(int));
VERIFY_WRITE758drivers/char/random.cretval = verify_area(VERIFY_WRITE, (void *) p, sizeof(int));
VERIFY_WRITE2276drivers/char/scc.cerror = verify_area(VERIFY_WRITE, (void *) arg,sizeof(unsigned int *));
VERIFY_WRITE2327drivers/char/scc.cerror = verify_area(VERIFY_WRITE, (void *) arg, sizeof(struct termios));
VERIFY_WRITE2365drivers/char/scc.cerror = verify_area(VERIFY_WRITE, (void *) arg,sizeof(struct scc_stat));
VERIFY_WRITE2382drivers/char/scc.cerror = verify_area(VERIFY_WRITE, (void *) arg,sizeof(struct ioctl_command));
VERIFY_WRITE1903drivers/char/serial.cerror = verify_area(VERIFY_WRITE, (void *) arg,sizeof(long));
VERIFY_WRITE1916drivers/char/serial.cerror = verify_area(VERIFY_WRITE, (void *) arg,
VERIFY_WRITE1926drivers/char/serial.cerror = verify_area(VERIFY_WRITE, (void *) arg,
VERIFY_WRITE1939drivers/char/serial.cerror = verify_area(VERIFY_WRITE, (void *) arg,
VERIFY_WRITE1947drivers/char/serial.cerror = verify_area(VERIFY_WRITE, (void *) arg,
VERIFY_WRITE1963drivers/char/serial.cerror = verify_area(VERIFY_WRITE, (void *) arg,
VERIFY_WRITE1972drivers/char/serial.cerror = verify_area(VERIFY_WRITE, (void *) arg,
VERIFY_WRITE2016drivers/char/serial.cerror = verify_area(VERIFY_WRITE, (void *) arg,
VERIFY_WRITE1196drivers/char/stallion.cif ((rc = verify_area(VERIFY_WRITE, (void *) arg, sizeof(long))) == 0)
VERIFY_WRITE1206drivers/char/stallion.cif ((rc = verify_area(VERIFY_WRITE, (void *) arg, sizeof(unsigned int))) == 0) {
VERIFY_WRITE1230drivers/char/stallion.cif ((rc = verify_area(VERIFY_WRITE, (void *) arg, sizeof(struct serial_struct))) == 0)
VERIFY_WRITE389drivers/char/tga.ci = verify_area(set ? VERIFY_READ : VERIFY_WRITE, (void *)arg, 16*3);
VERIFY_WRITE1949drivers/char/tpqic02.cerror = verify_area(VERIFY_WRITE, buf, count);
VERIFY_WRITE2615drivers/char/tpqic02.cerror = verify_area(VERIFY_WRITE, (void *) ioarg, sizeof(qic02_tape_dynconf));
VERIFY_WRITE2730drivers/char/tpqic02.cerror =  verify_area(VERIFY_WRITE, (void *) ioarg, sizeof(ioctl_status));
VERIFY_WRITE2758drivers/char/tpqic02.cerror = verify_area(VERIFY_WRITE, (void *) ioarg, sizeof(ioctl_tell));
VERIFY_WRITE1341drivers/char/tty_io.ci = verify_area(VERIFY_WRITE, (void *)arg, sizeof(struct tstruct));
VERIFY_WRITE1391drivers/char/tty_io.cretval = verify_area(VERIFY_WRITE, (void *) arg,
VERIFY_WRITE1489drivers/char/tty_io.cretval = verify_area(VERIFY_WRITE, (void *) arg,
VERIFY_WRITE1511drivers/char/tty_io.cretval = verify_area(VERIFY_WRITE, (void *) arg,
VERIFY_WRITE1583drivers/char/tty_io.cretval = verify_area(VERIFY_WRITE, (void *) arg,
VERIFY_WRITE184drivers/char/tty_ioctl.ci = verify_area(VERIFY_WRITE, termio, sizeof (struct termio));
VERIFY_WRITE239drivers/char/tty_ioctl.cretval = verify_area(VERIFY_WRITE, sgttyb, sizeof(struct sgttyb));
VERIFY_WRITE304drivers/char/tty_ioctl.cretval = verify_area(VERIFY_WRITE, tchars, sizeof(struct tchars));
VERIFY_WRITE342drivers/char/tty_ioctl.cretval = verify_area(VERIFY_WRITE, ltchars, sizeof(struct ltchars));
VERIFY_WRITE408drivers/char/tty_ioctl.cretval = verify_area(VERIFY_WRITE, (void *) arg,
VERIFY_WRITE477drivers/char/tty_ioctl.cretval = verify_area(VERIFY_WRITE, (void *) arg,
VERIFY_WRITE488drivers/char/tty_ioctl.cretval = verify_area(VERIFY_WRITE, (void *) arg,
VERIFY_WRITE500drivers/char/tty_ioctl.cretval = verify_area(VERIFY_WRITE, (void *) arg,
VERIFY_WRITE331drivers/char/vga.ci = verify_area(set ? VERIFY_READ : VERIFY_WRITE, (void *)arg,
VERIFY_WRITE539drivers/char/vga.ci = verify_area(set ? VERIFY_READ : VERIFY_WRITE, (void *)arg, 16*3);
VERIFY_WRITE245drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *) arg, sizeof(unsigned char));
VERIFY_WRITE299drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *) arg, sizeof(int));
VERIFY_WRITE338drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *) arg, sizeof(int));
VERIFY_WRITE364drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *) arg, sizeof(int));
VERIFY_WRITE378drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *)a, sizeof(struct kbkeycode));
VERIFY_WRITE410drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *)a, sizeof(struct kbentry));
VERIFY_WRITE507drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *)a, sizeof(struct kbsentry));
VERIFY_WRITE603drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *) a, sizeof(struct kbdiacrs));
VERIFY_WRITE633drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *) arg, sizeof(unsigned char));
VERIFY_WRITE653drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *) arg, sizeof(unsigned char));
VERIFY_WRITE694drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *)vtmode, sizeof(struct vt_mode));
VERIFY_WRITE715drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *)arg, sizeof(struct vt_mode));
VERIFY_WRITE736drivers/char/vt.ci = verify_area(VERIFY_WRITE,(void *)vtstat, sizeof(struct vt_stat));
VERIFY_WRITE752drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *) arg, sizeof(int));
VERIFY_WRITE1022drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *)arg,
VERIFY_WRITE1094drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *)arg, sizeof(struct unimapdesc));
VERIFY_WRITE1100drivers/char/vt.ci = verify_area(VERIFY_WRITE, (void *) list,
VERIFY_WRITE137drivers/char/wdt.cerr=verify_area(VERIFY_WRITE, buf, 1);
VERIFY_WRITE2510drivers/net/de4x5.cstatus = verify_area(VERIFY_WRITE, (void *)ioc->data, ioc->len);
VERIFY_WRITE2572drivers/net/de4x5.cstatus = verify_area(VERIFY_WRITE, ioc->data, ioc->len);
VERIFY_WRITE2613drivers/net/de4x5.cstatus = verify_area(VERIFY_WRITE, (void *)ioc->data, ioc->len);
VERIFY_WRITE2634drivers/net/de4x5.cif (!(status = verify_area(VERIFY_WRITE, (void *)ioc->data, 1))) {
VERIFY_WRITE2661drivers/net/de4x5.cif (!(status = verify_area(VERIFY_WRITE, (void *)ioc->data, ioc->len))) {
VERIFY_WRITE2724drivers/net/de4x5.cif (!(status = verify_area(VERIFY_WRITE, (void *)ioc->data, ioc->len))) {
VERIFY_WRITE1714drivers/net/depca.cif (!(status = verify_area(VERIFY_WRITE, (void *)ioc->data, ioc->len))) {
VERIFY_WRITE1783drivers/net/depca.cif (!(status = verify_area(VERIFY_WRITE, ioc->data, ioc->len))) {
VERIFY_WRITE1818drivers/net/depca.cif (!(status=verify_area(VERIFY_WRITE, ioc->data, ioc->len))) {
VERIFY_WRITE1841drivers/net/depca.cif (!(status=verify_area(VERIFY_WRITE, ioc->data, ioc->len))) {
VERIFY_WRITE522drivers/net/eql.cerr = verify_area(VERIFY_WRITE, (void *)scp, sizeof (slave_config_t));
VERIFY_WRITE583drivers/net/eql.cerr = verify_area(VERIFY_WRITE, (void *)mcp, sizeof (master_config_t));
VERIFY_WRITE1688drivers/net/ewrk3.cif (!(status = verify_area(VERIFY_WRITE, (void *)ioc->data, ioc->len))) {
VERIFY_WRITE1740drivers/net/ewrk3.cif (!(status = verify_area(VERIFY_WRITE, ioc->data, ioc->len))) {
VERIFY_WRITE1791drivers/net/ewrk3.cif (!(status=verify_area(VERIFY_WRITE, ioc->data, ioc->len))) {
VERIFY_WRITE1810drivers/net/ewrk3.cif (!(status=verify_area(VERIFY_WRITE, ioc->data, ioc->len))) {
VERIFY_WRITE1837drivers/net/ewrk3.cif (!(status=verify_area(VERIFY_WRITE, ioc->data, ioc->len))) {
VERIFY_WRITE1861drivers/net/ewrk3.cif (!(status=verify_area(VERIFY_WRITE, ioc->data, ioc->len))) {
VERIFY_WRITE1601drivers/net/pi2.cint ret = verify_area(VERIFY_WRITE, ifr->ifr_data, sizeof(struct pi_req));
VERIFY_WRITE1826drivers/net/ppp.cindx = verify_area (VERIFY_WRITE, buf, nr);
VERIFY_WRITE1890drivers/net/ppp.cindx = verify_area (VERIFY_WRITE, buf, len + 2);
VERIFY_WRITE2369drivers/net/ppp.cerror = verify_area (VERIFY_WRITE, (void *) param3,
VERIFY_WRITE2415drivers/net/ppp.cerror = verify_area (VERIFY_WRITE, (void *) param3,
VERIFY_WRITE2459drivers/net/ppp.cerror = verify_area (VERIFY_WRITE, (void *) param3,
VERIFY_WRITE2489drivers/net/ppp.cerror = verify_area (VERIFY_WRITE, (void *) param3,
VERIFY_WRITE2505drivers/net/ppp.cerror = verify_area (VERIFY_WRITE, (void *) param3,
VERIFY_WRITE2525drivers/net/ppp.cerror = verify_area (VERIFY_WRITE,
VERIFY_WRITE2760drivers/net/ppp.cerror  = verify_area (VERIFY_WRITE, result, len);
VERIFY_WRITE2783drivers/net/ppp.cerror = verify_area (VERIFY_WRITE,
VERIFY_WRITE2826drivers/net/ppp.cerror = verify_area (VERIFY_WRITE,
VERIFY_WRITE1035drivers/net/pt.cint ret = verify_area(VERIFY_WRITE, ifr->ifr_data, sizeof(struct pt_req));
VERIFY_WRITE1048drivers/net/slip.cerr = verify_area(VERIFY_WRITE, arg, strlen(sl->dev->name) + 1);
VERIFY_WRITE1056drivers/net/slip.cerr = verify_area(VERIFY_WRITE, arg, sizeof(int));
VERIFY_WRITE1134drivers/net/slip.cerr = verify_area(VERIFY_WRITE, arg, sizeof(int));
VERIFY_WRITE1159drivers/net/slip.cerr = verify_area(VERIFY_WRITE, arg, sizeof(int));
VERIFY_WRITE56drivers/scsi/scsi_ioctl.cresult = verify_area(VERIFY_WRITE, buffer, len);
VERIFY_WRITE254drivers/scsi/scsi_ioctl.cresult = verify_area(VERIFY_WRITE, 
VERIFY_WRITE262drivers/scsi/scsi_ioctl.cresult = verify_area(VERIFY_WRITE, cmd_in, outlen);
VERIFY_WRITE310drivers/scsi/scsi_ioctl.cresult = verify_area(VERIFY_WRITE, (void *) arg, 2*sizeof(long));
VERIFY_WRITE33drivers/scsi/sd_ioctl.cerror = verify_area(VERIFY_WRITE, loc, sizeof(*loc));
VERIFY_WRITE51drivers/scsi/sd_ioctl.cerror = verify_area(VERIFY_WRITE, (long *) arg, sizeof(long));
VERIFY_WRITE205drivers/scsi/sg.cif ((i=verify_area(VERIFY_WRITE,buf,count)))
VERIFY_WRITE223drivers/scsi/sr_ioctl.cerr = verify_area (VERIFY_WRITE, (void *) arg, sizeof (struct cdrom_tochdr));
VERIFY_WRITE265drivers/scsi/sr_ioctl.cerr = verify_area (VERIFY_WRITE, (void *) arg, sizeof (struct cdrom_tocentry));
VERIFY_WRITE416drivers/scsi/sr_ioctl.cerr = verify_area (VERIFY_WRITE, (void *) arg, sizeof (struct cdrom_subchnl));
VERIFY_WRITE452drivers/scsi/sr_ioctl.cerr=verify_area(VERIFY_WRITE,(void *) arg,
VERIFY_WRITE1853drivers/scsi/st.ci = verify_area(VERIFY_WRITE, (void *)arg, sizeof(struct mtget));
VERIFY_WRITE1920drivers/scsi/st.ci = verify_area(VERIFY_WRITE, (void *)arg, sizeof(struct mtpos));
VERIFY_WRITE186drivers/sound/soundcard.cif ((err = verify_area (VERIFY_WRITE, (void *) arg, len)) < 0)
VERIFY_WRITE83fs/binfmt_elf.cif (verify_area(VERIFY_WRITE, (void *) elf_bss, nbyte)) {
VERIFY_WRITE1906fs/buffer.cerror = verify_area(VERIFY_WRITE, (void *) data, sizeof(int));
VERIFY_WRITE649fs/dquot.cif ((error = verify_area(VERIFY_WRITE, dqblk, sizeof(struct dqblk))) != 0)
VERIFY_WRITE665fs/dquot.cif ((error = verify_area(VERIFY_WRITE, addr, sizeof(struct dqstats))) != 0)
VERIFY_WRITE392fs/exec.cresult = verify_area(VERIFY_WRITE, addr, count);
VERIFY_WRITE29fs/ext2/ioctl.cif ((err = verify_area (VERIFY_WRITE, (long *) arg, sizeof(long))))
VERIFY_WRITE62fs/ext2/ioctl.cif ((err = verify_area (VERIFY_WRITE, (long *) arg, sizeof(long))))
VERIFY_WRITE28fs/ioctl.cerror = verify_area(VERIFY_WRITE,(void *) arg,4);
VERIFY_WRITE38fs/ioctl.cerror = verify_area(VERIFY_WRITE,(void *) arg,4);
VERIFY_WRITE45fs/ioctl.cerror = verify_area(VERIFY_WRITE,(void *) arg,sizeof(int));
VERIFY_WRITE182fs/locks.cerror = verify_area(VERIFY_WRITE, l, sizeof(*l));
VERIFY_WRITE51fs/ncpfs/ioctl.cif ((result = verify_area(VERIFY_WRITE, (char *)request.data,
VERIFY_WRITE84fs/ncpfs/ioctl.cif ((result = verify_area(VERIFY_WRITE, (char *)arg,
VERIFY_WRITE115fs/ncpfs/ioctl.cif ((result = verify_area(VERIFY_WRITE, (uid_t*) arg,
VERIFY_WRITE30fs/open.cerror = verify_area(VERIFY_WRITE, buf, sizeof(struct statfs));
VERIFY_WRITE51fs/open.cerror = verify_area(VERIFY_WRITE, buf, sizeof(struct statfs));
VERIFY_WRITE141fs/pipe.cerror = verify_area(VERIFY_WRITE, (void *) arg, sizeof(int));
VERIFY_WRITE67fs/read_write.cif ((err = verify_area(VERIFY_WRITE, result, sizeof(loff_t))))
VERIFY_WRITE117fs/read_write.cerror = verify_area(VERIFY_WRITE,buf,count);
VERIFY_WRITE177fs/read_write.cif (type == VERIFY_WRITE) {
VERIFY_WRITE265fs/read_write.creturn do_readv_writev(VERIFY_WRITE, inode, file, vector, count);
VERIFY_WRITE66fs/readdir.cerror = verify_area(VERIFY_WRITE, dirent, sizeof(struct old_linux_dirent));
VERIFY_WRITE130fs/readdir.cerror = verify_area(VERIFY_WRITE, dirent, count);
VERIFY_WRITE165fs/select.cerror = verify_area(VERIFY_WRITE,fs_pointer,sizeof(fd_set));
VERIFY_WRITE227fs/select.ci = verify_area(VERIFY_WRITE, tvp, sizeof(*tvp));
VERIFY_WRITE24fs/smbfs/ioctl.cif ((result = verify_area(VERIFY_WRITE, (uid_t*) arg,
VERIFY_WRITE102fs/stat.cerror = verify_area(VERIFY_WRITE,statbuf,sizeof (*statbuf));
VERIFY_WRITE118fs/stat.cerror = verify_area(VERIFY_WRITE,statbuf,sizeof (*statbuf));
VERIFY_WRITE134fs/stat.cerror = verify_area(VERIFY_WRITE,statbuf,sizeof (*statbuf));
VERIFY_WRITE150fs/stat.cerror = verify_area(VERIFY_WRITE,statbuf,sizeof (*statbuf));
VERIFY_WRITE167fs/stat.cerror = verify_area(VERIFY_WRITE,statbuf,sizeof (*statbuf));
VERIFY_WRITE182fs/stat.cerror = verify_area(VERIFY_WRITE,statbuf,sizeof (*statbuf));
VERIFY_WRITE198fs/stat.cerror = verify_area(VERIFY_WRITE,buf,bufsiz);
VERIFY_WRITE219fs/super.cerr = verify_area(VERIFY_WRITE, buf, len);
VERIFY_WRITE385fs/super.cerror = verify_area(VERIFY_WRITE,ubuf,sizeof(struct ustat));
VERIFY_WRITE71fs/umsdos/ioctl.cif (err = verify_area(VERIFY_WRITE,(void*)data,sizeof(struct umsdos_ioctl)) < 0){
VERIFY_WRITE93include/linux/blk.hcase BLKROGET: { int __err = verify_area(VERIFY_WRITE, (void *) (where), sizeof(long)); \
VERIFY_WRITE172ipc/msg.cerr = verify_area (VERIFY_WRITE, msgp->mtext, msgsz);
VERIFY_WRITE454ipc/msg.cerr = verify_area (VERIFY_WRITE, buf, sizeof (struct msginfo));
VERIFY_WRITE463ipc/msg.cerr = verify_area (VERIFY_WRITE, buf, sizeof (*buf));
VERIFY_WRITE496ipc/msg.cerr = verify_area (VERIFY_WRITE, buf, sizeof(*buf));
VERIFY_WRITE395ipc/sem.ci = verify_area(VERIFY_WRITE, tmp, sizeof(struct seminfo));
VERIFY_WRITE404ipc/sem.ci = verify_area (VERIFY_WRITE, buf, sizeof (*buf));
VERIFY_WRITE459ipc/sem.ci = verify_area (VERIFY_WRITE, array, nsems*sizeof(ushort));
VERIFY_WRITE486ipc/sem.cif ((i = verify_area (VERIFY_WRITE, buf, sizeof(*buf))))
VERIFY_WRITE232ipc/shm.cerr = verify_area (VERIFY_WRITE, buf, sizeof (struct shminfo));
VERIFY_WRITE243ipc/shm.cerr = verify_area (VERIFY_WRITE, buf, sizeof (shm_info));
VERIFY_WRITE258ipc/shm.cerr = verify_area (VERIFY_WRITE, buf, sizeof (*buf));
VERIFY_WRITE311ipc/shm.cerr = verify_area (VERIFY_WRITE, buf, sizeof (*buf));
VERIFY_WRITE560kernel/exit.cflag = verify_area(VERIFY_WRITE, stat_addr, sizeof(*stat_addr));
VERIFY_WRITE565kernel/exit.cflag = verify_area(VERIFY_WRITE, ru, sizeof(*ru));
VERIFY_WRITE23kernel/info.cerror = verify_area(VERIFY_WRITE, info, sizeof(struct sysinfo));
VERIFY_WRITE91kernel/itimer.cerror = verify_area(VERIFY_WRITE, value, sizeof(struct itimerval));
VERIFY_WRITE170kernel/itimer.cerror = verify_area(VERIFY_WRITE, ovalue, sizeof(struct itimerval));
VERIFY_WRITE415kernel/module.cif ((i = verify_area(VERIFY_WRITE, to, nmodsyms * sizeof(*table))))
VERIFY_WRITE80kernel/printk.cerror = verify_area(VERIFY_WRITE,buf,len);
VERIFY_WRITE113kernel/printk.cerror = verify_area(VERIFY_WRITE,buf,len);
VERIFY_WRITE1063kernel/sched.cerror = verify_area(VERIFY_WRITE, param, sizeof(struct sched_param));
VERIFY_WRITE1114kernel/sched.cerror = verify_area(VERIFY_WRITE, interval, sizeof(struct timespec));
VERIFY_WRITE47kernel/signal.cerror = verify_area(VERIFY_WRITE, oset, sizeof(sigset_t));
VERIFY_WRITE72kernel/signal.cerror = verify_area(VERIFY_WRITE, set, sizeof(sigset_t));
VERIFY_WRITE161kernel/signal.cint err = verify_area(VERIFY_WRITE, oldaction, sizeof(*oldaction));
VERIFY_WRITE406kernel/sys.cint error = verify_area(VERIFY_WRITE,tbuf,sizeof *tbuf);
VERIFY_WRITE585kernel/sys.ci = verify_area(VERIFY_WRITE, grouplist, sizeof(gid_t) * gidsetsize);
VERIFY_WRITE642kernel/sys.cerror = verify_area(VERIFY_WRITE, name, sizeof *name);
VERIFY_WRITE653kernel/sys.cerror = verify_area(VERIFY_WRITE, name,sizeof *name);
VERIFY_WRITE674kernel/sys.cerror = verify_area(VERIFY_WRITE, name,sizeof *name);
VERIFY_WRITE712kernel/sys.ci = verify_area(VERIFY_WRITE, name, len);
VERIFY_WRITE748kernel/sys.cerror = verify_area(VERIFY_WRITE,rlim,sizeof *rlim);
VERIFY_WRITE792kernel/sys.cerror = verify_area(VERIFY_WRITE, ru, sizeof *ru);
VERIFY_WRITE153kernel/sysctl.cerror = verify_area(VERIFY_WRITE,oldlenp,sizeof(size_t));
VERIFY_WRITE155kernel/sysctl.cerror = verify_area(VERIFY_WRITE,oldval,get_user(oldlenp));
VERIFY_WRITE429kernel/sysctl.cerror = verify_area(write ? VERIFY_READ : VERIFY_WRITE, buf, count);
VERIFY_WRITE43kernel/time.cint error = verify_area(VERIFY_WRITE, tloc, sizeof(*tloc));
VERIFY_WRITE77kernel/time.cerror = verify_area(VERIFY_WRITE, tv, sizeof *tv);
VERIFY_WRITE84kernel/time.cerror = verify_area(VERIFY_WRITE, tz, sizeof *tz);
VERIFY_WRITE187kernel/time.cerror = verify_area(VERIFY_WRITE, txc_p, sizeof(struct timex));
VERIFY_WRITE688mm/memory.cif (type == VERIFY_WRITE)
VERIFY_WRITE695net/appletalk/ddp.cint err=verify_area(ro?VERIFY_READ:VERIFY_WRITE, arg,sizeof(atreq));
VERIFY_WRITE1031net/appletalk/ddp.cerr=verify_area(VERIFY_WRITE,optlen,sizeof(int));
VERIFY_WRITE1035net/appletalk/ddp.cerr=verify_area(VERIFY_WRITE,optval,sizeof(int));
VERIFY_WRITE1793net/appletalk/ddp.cerr=verify_area(VERIFY_WRITE,(void *)arg,sizeof(struct timeval));
VERIFY_WRITE1843net/appletalk/ddp.cerr=verify_area(VERIFY_WRITE,(void *)arg,sizeof(unsigned long));
VERIFY_WRITE854net/ax25/af_ax25.cif ((err = verify_area(VERIFY_WRITE, optlen, sizeof(int))) != 0)
VERIFY_WRITE859net/ax25/af_ax25.cif ((err = verify_area(VERIFY_WRITE, optval, sizeof(int))) != 0)
VERIFY_WRITE2017net/ax25/af_ax25.cif ((err = verify_area(VERIFY_WRITE, (void *)arg, sizeof(unsigned long))) != 0)
VERIFY_WRITE2031net/ax25/af_ax25.cif ((err = verify_area(VERIFY_WRITE, (void *)arg, sizeof(unsigned long))) != 0)
VERIFY_WRITE2041net/ax25/af_ax25.cif ((err = verify_area(VERIFY_WRITE,(void *)arg,sizeof(struct timeval))) != 0)
VERIFY_WRITE623net/ax25/ax25_route.cif ((err = verify_area(VERIFY_WRITE, arg, sizeof(struct ax25_parms_struct))) != 0)
VERIFY_WRITE769net/core/dev.cerr=verify_area(VERIFY_WRITE, arg, sizeof(struct ifconf));
VERIFY_WRITE781net/core/dev.cerr=verify_area(VERIFY_WRITE,pos,len);
VERIFY_WRITE936net/core/dev.cint err=verify_area(VERIFY_WRITE, arg, sizeof(struct ifreq));
VERIFY_WRITE295net/core/sock.cerr=verify_area(VERIFY_WRITE,optval,sizeof(ling));
VERIFY_WRITE298net/core/sock.cerr=verify_area(VERIFY_WRITE,optlen,sizeof(int));
VERIFY_WRITE314net/core/sock.cerr=verify_area(VERIFY_WRITE, optlen, sizeof(int));
VERIFY_WRITE319net/core/sock.cerr=verify_area(VERIFY_WRITE, optval, sizeof(int));
VERIFY_WRITE1263net/ipv4/af_inet.cerr=verify_area(VERIFY_WRITE,(void *) arg, sizeof(long));
VERIFY_WRITE1271net/ipv4/af_inet.cerr=verify_area(VERIFY_WRITE,(void *)arg,sizeof(struct timeval));
VERIFY_WRITE1952net/ipv4/arp.cerr = verify_area(VERIFY_WRITE, arg, sizeof(struct arpreq));
VERIFY_WRITE1960net/ipv4/arp.cerr = verify_area(VERIFY_WRITE, arg, sizeof(struct arpreq_old));
VERIFY_WRITE453net/ipv4/ip_sockglue.cerr = verify_area(VERIFY_WRITE, optlen, sizeof(int));
VERIFY_WRITE466net/ipv4/ip_sockglue.cerr = verify_area(VERIFY_WRITE, optval, opt->optlen);
VERIFY_WRITE519net/ipv4/ip_sockglue.cerr=verify_area(VERIFY_WRITE, optlen, sizeof(int));
VERIFY_WRITE523net/ipv4/ip_sockglue.cerr=verify_area(VERIFY_WRITE, optval, len);
VERIFY_WRITE533net/ipv4/ip_sockglue.cerr=verify_area(VERIFY_WRITE, optlen, sizeof(int));
VERIFY_WRITE538net/ipv4/ip_sockglue.cerr=verify_area(VERIFY_WRITE, optval, sizeof(int));
VERIFY_WRITE581net/ipv4/ipmr.cerr=verify_area(VERIFY_WRITE, optval,sizeof(int));
VERIFY_WRITE606net/ipv4/ipmr.cerr=verify_area(VERIFY_WRITE, (void *)arg, sizeof(vr));
VERIFY_WRITE624net/ipv4/ipmr.cerr=verify_area(VERIFY_WRITE, (void *)arg, sizeof(sr));
VERIFY_WRITE461net/ipv4/rarp.cerr = verify_area(VERIFY_WRITE, arg, sizeof(struct arpreq));
VERIFY_WRITE765net/ipv4/tcp.cerr=verify_area(VERIFY_WRITE,(void *)arg, sizeof(int));
VERIFY_WRITE775net/ipv4/tcp.cerr = verify_area(VERIFY_WRITE,(void *) arg, sizeof(int));
VERIFY_WRITE787net/ipv4/tcp.cerr=verify_area(VERIFY_WRITE,(void *)arg, sizeof(int));
VERIFY_WRITE2145net/ipv4/tcp.cerr=verify_area(VERIFY_WRITE, optlen, sizeof(int));
VERIFY_WRITE2150net/ipv4/tcp.cerr=verify_area(VERIFY_WRITE, optval, sizeof(int));
VERIFY_WRITE455net/ipv4/udp.cerr=verify_area(VERIFY_WRITE,(void *)arg,
VERIFY_WRITE479net/ipv4/udp.cerr=verify_area(VERIFY_WRITE,(void *)arg,
VERIFY_WRITE1024net/ipx/af_ipx.cerr=verify_area(VERIFY_WRITE,arg,sizeof(ifr));
VERIFY_WRITE1552net/ipx/af_ipx.cerr=verify_area(VERIFY_WRITE,optlen,sizeof(int));
VERIFY_WRITE1556net/ipx/af_ipx.cerr=verify_area(VERIFY_WRITE,optval,sizeof(int));
VERIFY_WRITE2078net/ipx/af_ipx.cerr=verify_area(VERIFY_WRITE,(void *)arg,sizeof(unsigned long));
VERIFY_WRITE2092net/ipx/af_ipx.cerr=verify_area(VERIFY_WRITE,(void *)arg,sizeof(unsigned long));
VERIFY_WRITE2112net/ipx/af_ipx.cerr=verify_area(VERIFY_WRITE,(void *)arg,
VERIFY_WRITE2122net/ipx/af_ipx.cerr=verify_area(VERIFY_WRITE,(void *)arg,sizeof(struct timeval));
VERIFY_WRITE371net/netrom/af_netrom.cif ((err = verify_area(VERIFY_WRITE, optlen, sizeof(int))) != 0)
VERIFY_WRITE376net/netrom/af_netrom.cif ((err = verify_area(VERIFY_WRITE, optval, sizeof(int))) != 0)
VERIFY_WRITE1184net/netrom/af_netrom.cif ((err = verify_area(VERIFY_WRITE, (void *)arg, sizeof(unsigned long))) != 0)
VERIFY_WRITE1198net/netrom/af_netrom.cif ((err = verify_area(VERIFY_WRITE, (void *)arg, sizeof(unsigned long))) != 0)
VERIFY_WRITE1208net/netrom/af_netrom.cif ((err = verify_area(VERIFY_WRITE,(void *)arg,sizeof(struct timeval))) != 0)
VERIFY_WRITE1237net/netrom/af_netrom.cif ((err = verify_area(VERIFY_WRITE, (void *)arg, sizeof(struct nr_parms_struct))) != 0)
VERIFY_WRITE141net/socket.cif((err=verify_area(VERIFY_WRITE,ulen,sizeof(*ulen)))<0)
VERIFY_WRITE150net/socket.cif((err=verify_area(VERIFY_WRITE,uaddr,len))<0)
VERIFY_WRITE337net/socket.cif ((err=verify_area(VERIFY_WRITE,ubuf,size))<0)
VERIFY_WRITE618net/socket.cer=verify_area(VERIFY_WRITE, usockvec, sizeof(usockvec));
VERIFY_WRITE956net/socket.cerr=verify_area(VERIFY_WRITE, ubuf, size);
VERIFY_WRITE995net/socket.cerr=verify_area(VERIFY_WRITE,ubuf,size);
VERIFY_WRITE1135net/socket.cerr=verify_iovec(&msg_sys,iov,address, VERIFY_WRITE);
VERIFY_WRITE948net/unix/af_unix.cerr=verify_area(VERIFY_WRITE,(void *)arg,sizeof(unsigned long));
VERIFY_WRITE964net/unix/af_unix.cerr=verify_area(VERIFY_WRITE,(void *)arg,sizeof(unsigned long));