taglinefilesource code
VERIFY_WRITE27fs/ioctl.cerror = verify_area(VERIFY_WRITE,(void *) arg,4);
VERIFY_WRITE37fs/ioctl.cerror = verify_area(VERIFY_WRITE,(void *) arg,4);
VERIFY_WRITE44fs/ioctl.cerror = verify_area(VERIFY_WRITE,(void *) arg,4);
VERIFY_WRITE61fs/locks.cerror = verify_area(VERIFY_WRITE,l, sizeof(*l));
VERIFY_WRITE105fs/locks.cerror = verify_area(VERIFY_WRITE, l, sizeof(*l));
VERIFY_WRITE34fs/open.cerror = verify_area(VERIFY_WRITE, buf, sizeof(struct statfs));
VERIFY_WRITE55fs/open.cerror = verify_area(VERIFY_WRITE, buf, sizeof(struct statfs));
VERIFY_WRITE117fs/pipe.cerror = verify_area(VERIFY_WRITE, (void *) arg,4);
VERIFY_WRITE298fs/pipe.cj = verify_area(VERIFY_WRITE,fildes,8);
VERIFY_WRITE30fs/read_write.cerror = verify_area(VERIFY_WRITE, dirent, sizeof (*dirent));
VERIFY_WRITE84fs/read_write.cerror = verify_area(VERIFY_WRITE,buf,count);
VERIFY_WRITE158fs/select.cerror = verify_area(VERIFY_WRITE,fs_pointer,sizeof(fd_set));
VERIFY_WRITE224fs/select.ci = verify_area(VERIFY_WRITE, tvp, sizeof(*tvp));
VERIFY_WRITE94fs/stat.cerror = verify_area(VERIFY_WRITE,statbuf,sizeof (*statbuf));
VERIFY_WRITE110fs/stat.cerror = verify_area(VERIFY_WRITE,statbuf,sizeof (*statbuf));
VERIFY_WRITE126fs/stat.cerror = verify_area(VERIFY_WRITE,statbuf,sizeof (*statbuf));
VERIFY_WRITE142fs/stat.cerror = verify_area(VERIFY_WRITE,statbuf,sizeof (*statbuf));
VERIFY_WRITE159fs/stat.cerror = verify_area(VERIFY_WRITE,statbuf,sizeof (*statbuf));
VERIFY_WRITE174fs/stat.cerror = verify_area(VERIFY_WRITE,statbuf,sizeof (*statbuf));
VERIFY_WRITE190fs/stat.cerror = verify_area(VERIFY_WRITE,buf,bufsiz);
VERIFY_WRITE121ipc/msg.cerr = verify_area (VERIFY_WRITE, msgp->mtext, msgsz);
VERIFY_WRITE345ipc/msg.cerr = verify_area (VERIFY_WRITE, buf, sizeof (struct msginfo));
VERIFY_WRITE354ipc/msg.cerr = verify_area (VERIFY_WRITE, buf, sizeof (*msq));
VERIFY_WRITE375ipc/msg.cerr = verify_area (VERIFY_WRITE, buf, sizeof(*msq));
VERIFY_WRITE183ipc/sem.ci= verify_area(VERIFY_WRITE, tmp, sizeof(struct seminfo));
VERIFY_WRITE193ipc/sem.ci = verify_area (VERIFY_WRITE, buf, sizeof (*sma));
VERIFY_WRITE236ipc/sem.ci = verify_area (VERIFY_WRITE, array, nsems* sizeof(short));
VERIFY_WRITE267ipc/sem.cif ((i = verify_area (VERIFY_WRITE, arg, sizeof tbuf)))
VERIFY_WRITE221ipc/shm.cerr = verify_area (VERIFY_WRITE, buf, sizeof (struct shminfo));
VERIFY_WRITE232ipc/shm.cerr = verify_area (VERIFY_WRITE, buf, sizeof (shm_info));
VERIFY_WRITE247ipc/shm.cerr = verify_area (VERIFY_WRITE, buf, sizeof (*shp));
VERIFY_WRITE292ipc/shm.cerr = verify_area (VERIFY_WRITE, buf, sizeof (*shp));
VERIFY_WRITE187kernel/FPU-emu/load_store.cverify_area(VERIFY_WRITE,FPU_data_address,2);
VERIFY_WRITE202kernel/FPU-emu/load_store.cverify_area(VERIFY_WRITE,FPU_data_address,2);
VERIFY_WRITE509kernel/FPU-emu/reg_ld_str.cverify_area(VERIFY_WRITE,d,10);
VERIFY_WRITE684kernel/FPU-emu/reg_ld_str.cverify_area(VERIFY_WRITE,(void *)dfloat,8);
VERIFY_WRITE705kernel/FPU-emu/reg_ld_str.cverify_area(VERIFY_WRITE,(void *)dfloat,8);
VERIFY_WRITE866kernel/FPU-emu/reg_ld_str.cverify_area(VERIFY_WRITE,(void *)single,4);
VERIFY_WRITE893kernel/FPU-emu/reg_ld_str.cverify_area(VERIFY_WRITE,(void *)single,4);
VERIFY_WRITE945kernel/FPU-emu/reg_ld_str.cverify_area(VERIFY_WRITE,(void *)d,8);
VERIFY_WRITE969kernel/FPU-emu/reg_ld_str.cverify_area(VERIFY_WRITE,d,4);
VERIFY_WRITE998kernel/FPU-emu/reg_ld_str.cverify_area(VERIFY_WRITE,d,4);
VERIFY_WRITE1022kernel/FPU-emu/reg_ld_str.cverify_area(VERIFY_WRITE,d,2);
VERIFY_WRITE1051kernel/FPU-emu/reg_ld_str.cverify_area(VERIFY_WRITE,d,2);
VERIFY_WRITE1098kernel/FPU-emu/reg_ld_str.cverify_area(VERIFY_WRITE,d,10);
VERIFY_WRITE1109kernel/FPU-emu/reg_ld_str.cverify_area(VERIFY_WRITE,d,10);
VERIFY_WRITE1317kernel/FPU-emu/reg_ld_str.cverify_area(VERIFY_WRITE,d,28);
VERIFY_WRITE1347kernel/FPU-emu/reg_ld_str.cverify_area(VERIFY_WRITE,d,80);
VERIFY_WRITE94kernel/blk_drv/blk.hcase BLKROGET: { int __err = verify_area(VERIFY_WRITE, (void *) (where), sizeof(long)); \
VERIFY_WRITE1130kernel/blk_drv/floppy.ci = verify_area(VERIFY_WRITE,(void *) param,sizeof(struct floppy_struct));
VERIFY_WRITE539kernel/blk_drv/hd.cerr = verify_area(VERIFY_WRITE, loc, sizeof(*loc));
VERIFY_WRITE553kernel/blk_drv/hd.cerr = verify_area(VERIFY_WRITE, (long *) arg, sizeof(long));
VERIFY_WRITE40kernel/blk_drv/scsi/scsi_ioctl.cverify_area(VERIFY_WRITE, buffer, len);
VERIFY_WRITE192kernel/blk_drv/scsi/scsi_ioctl.cresult = verify_area(VERIFY_WRITE, cmd_in, (outlen > MAX_BUF) ? MAX_BUF  : outlen);
VERIFY_WRITE236kernel/blk_drv/scsi/scsi_ioctl.cverify_area(VERIFY_WRITE, (void *) arg, sizeof(int));
VERIFY_WRITE27kernel/blk_drv/scsi/sd_ioctl.cerror = verify_area(VERIFY_WRITE, loc, sizeof(*loc));
VERIFY_WRITE49kernel/blk_drv/scsi/sd_ioctl.cerror = verify_area(VERIFY_WRITE, (long *) arg, sizeof(long));
VERIFY_WRITE189kernel/blk_drv/scsi/sr_ioctl.cverify_area (VERIFY_WRITE, (void *) arg, sizeof (struct cdrom_tochdr));
VERIFY_WRITE222kernel/blk_drv/scsi/sr_ioctl.cverify_area (VERIFY_WRITE, (void *) arg, sizeof (struct cdrom_tocentry));
VERIFY_WRITE341kernel/blk_drv/scsi/sr_ioctl.cverify_area (VERIFY_WRITE, (void *) arg, sizeof (struct cdrom_subchnl));
VERIFY_WRITE1113kernel/blk_drv/scsi/st.ci = verify_area(VERIFY_WRITE, (void *)arg, sizeof(mtc));
VERIFY_WRITE1131kernel/blk_drv/scsi/st.ci = verify_area(VERIFY_WRITE, (void *)arg, sizeof(struct mtget));
VERIFY_WRITE1150kernel/blk_drv/scsi/st.ci = verify_area(VERIFY_WRITE, (void *)arg, sizeof(struct mtpos));
VERIFY_WRITE204kernel/blk_drv/xd.cif ((err = verify_area(VERIFY_WRITE,geometry,sizeof(*geometry))))
VERIFY_WRITE215kernel/blk_drv/xd.cif ((err = verify_area(VERIFY_WRITE,(long *) arg,sizeof(long))))
VERIFY_WRITE1519kernel/chr_drv/console.cl = verify_area(VERIFY_WRITE, buf,2+video_num_columns*video_num_lines);
VERIFY_WRITE1161kernel/chr_drv/serial.cerror = verify_area(VERIFY_WRITE, (void *) arg,sizeof(unsigned int *));
VERIFY_WRITE1174kernel/chr_drv/serial.cerror = verify_area(VERIFY_WRITE, (void *) arg,sizeof(unsigned int *));
VERIFY_WRITE1183kernel/chr_drv/serial.cerror = verify_area(VERIFY_WRITE, (void *) arg,
VERIFY_WRITE1196kernel/chr_drv/serial.cerror = verify_area(VERIFY_WRITE, (void *) arg,
VERIFY_WRITE1831kernel/chr_drv/tpqic02.cerror = verify_area(VERIFY_WRITE, buf, count);
VERIFY_WRITE2416kernel/chr_drv/tpqic02.cerror =  verify_area(VERIFY_WRITE, (void *) ioarg, sizeof(ioctl_status));
VERIFY_WRITE2444kernel/chr_drv/tpqic02.cerror = verify_area(VERIFY_WRITE, (void *) ioarg, sizeof(ioctl_tell));
VERIFY_WRITE113kernel/chr_drv/tty_ioctl.ci = verify_area(VERIFY_WRITE, (void *)arg, sizeof(struct tstruct));
VERIFY_WRITE134kernel/chr_drv/tty_ioctl.ci = verify_area(VERIFY_WRITE, termios, sizeof (*termios));
VERIFY_WRITE187kernel/chr_drv/tty_ioctl.ci = verify_area(VERIFY_WRITE, termio, sizeof (*termio));
VERIFY_WRITE275kernel/chr_drv/tty_ioctl.ci = verify_area(VERIFY_WRITE, ws, sizeof (*ws));
VERIFY_WRITE406kernel/chr_drv/tty_ioctl.cretval = verify_area(VERIFY_WRITE, (void *) arg,4);
VERIFY_WRITE423kernel/chr_drv/tty_ioctl.cretval = verify_area(VERIFY_WRITE, (void *) arg,4);
VERIFY_WRITE429kernel/chr_drv/tty_ioctl.cretval = verify_area(VERIFY_WRITE, (void *) arg,4);
VERIFY_WRITE503kernel/chr_drv/tty_ioctl.cretval = verify_area(VERIFY_WRITE, (void *) arg,4);
VERIFY_WRITE140kernel/chr_drv/vt.ci = verify_area(VERIFY_WRITE, (void *) arg, sizeof(unsigned char));
VERIFY_WRITE194kernel/chr_drv/vt.ci = verify_area(VERIFY_WRITE, (void *) arg, sizeof(unsigned long));
VERIFY_WRITE219kernel/chr_drv/vt.ci = verify_area(VERIFY_WRITE, (void *) arg, sizeof(unsigned long));
VERIFY_WRITE232kernel/chr_drv/vt.cverify_area(VERIFY_WRITE, (void *)a, sizeof(struct kbentry));
VERIFY_WRITE248kernel/chr_drv/vt.cverify_area(VERIFY_WRITE, (void *)a, sizeof(struct kbentry));
VERIFY_WRITE262kernel/chr_drv/vt.ci = verify_area(VERIFY_WRITE, (void *) arg, sizeof(unsigned char));
VERIFY_WRITE298kernel/chr_drv/vt.ci = verify_area(VERIFY_WRITE, (void *)vtmode, sizeof(struct vt_mode));
VERIFY_WRITE319kernel/chr_drv/vt.ci = verify_area(VERIFY_WRITE, (void *)arg, sizeof(struct vt_mode));
VERIFY_WRITE339kernel/chr_drv/vt.ci = verify_area(VERIFY_WRITE,(void *)vtstat, sizeof(struct vt_stat));
VERIFY_WRITE355kernel/chr_drv/vt.ci = verify_area(VERIFY_WRITE, (void *) arg, sizeof(long));
VERIFY_WRITE491kernel/exit.cflag = verify_area(VERIFY_WRITE, stat_addr, 4);
VERIFY_WRITE23kernel/info.cerror = verify_area(VERIFY_WRITE, info, sizeof(struct sysinfo));
VERIFY_WRITE66kernel/itimer.cerror = verify_area(VERIFY_WRITE, value, sizeof(struct itimerval));
VERIFY_WRITE113kernel/itimer.cerror = verify_area(VERIFY_WRITE, ovalue, sizeof(struct itimerval));
VERIFY_WRITE66kernel/printk.cverify_area(VERIFY_WRITE,buf,len);
VERIFY_WRITE93kernel/printk.cverify_area(VERIFY_WRITE,buf,len);
VERIFY_WRITE272kernel/ptrace.cres = verify_area(VERIFY_WRITE, (void *) data, 4);
VERIFY_WRITE286kernel/ptrace.cres = verify_area(VERIFY_WRITE, (void *) data, 4);
VERIFY_WRITE42kernel/signal.cerror = verify_area(VERIFY_WRITE, set, 4);
VERIFY_WRITE139kernel/signal.cif (!verify_area(VERIFY_WRITE,oldaction, sizeof(struct sigaction)))
VERIFY_WRITE178kernel/signal.cverify_area(VERIFY_WRITE,frame,32*4);
VERIFY_WRITE336kernel/sys.cerror = verify_area(VERIFY_WRITE, tloc, 4);
VERIFY_WRITE417kernel/sys.cint error = verify_area(VERIFY_WRITE,tbuf,sizeof *tbuf);
VERIFY_WRITE538kernel/sys.ci = verify_area(VERIFY_WRITE, grouplist, sizeof(gid_t) * gidsetsize);
VERIFY_WRITE591kernel/sys.cerror = verify_area(VERIFY_WRITE, name, sizeof *name);
VERIFY_WRITE602kernel/sys.cerror = verify_area(VERIFY_WRITE, name,sizeof *name);
VERIFY_WRITE623kernel/sys.cerror = verify_area(VERIFY_WRITE, name,sizeof *name);
VERIFY_WRITE684kernel/sys.cerror = verify_area(VERIFY_WRITE,rlim,sizeof *rlim);
VERIFY_WRITE725kernel/sys.cerror = verify_area(VERIFY_WRITE, ru, sizeof *ru);
VERIFY_WRITE816kernel/sys.cerror = verify_area(VERIFY_WRITE, tv, sizeof *tv);
VERIFY_WRITE824kernel/sys.cerror = verify_area(VERIFY_WRITE, tz, sizeof *tz);
VERIFY_WRITE658net/inet/dev.cverify_area(VERIFY_WRITE, arg, sizeof(struct ifconf));
VERIFY_WRITE702net/inet/dev.cverify_area(VERIFY_WRITE, arg, sizeof(struct ifreq));
VERIFY_WRITE208net/inet/packet.cverify_area(VERIFY_WRITE, addr_len, sizeof(*addr_len));
VERIFY_WRITE240net/inet/packet.cverify_area(VERIFY_WRITE, to, copied);
VERIFY_WRITE249net/inet/packet.cverify_area(VERIFY_WRITE, saddr, sizeof(*saddr));
VERIFY_WRITE331net/inet/raw.cverify_area(VERIFY_WRITE, addr_len, sizeof(*addr_len));
VERIFY_WRITE365net/inet/raw.cverify_area(VERIFY_WRITE, to, copied);
VERIFY_WRITE374net/inet/raw.cverify_area(VERIFY_WRITE, sin, sizeof(*sin));
VERIFY_WRITE375net/inet/route.cverify_area(VERIFY_WRITE, arg, sizeof(struct rtentry));
VERIFY_WRITE381net/inet/route.cverify_area(VERIFY_WRITE, arg, sizeof(struct rtentry));
VERIFY_WRITE682net/inet/slip.cverify_area(VERIFY_WRITE, arg, 16);
VERIFY_WRITE642net/inet/sock.cverify_area(VERIFY_WRITE, optlen, sizeof(int));
VERIFY_WRITE645net/inet/sock.cverify_area(VERIFY_WRITE, optval, sizeof(int));
VERIFY_WRITE1144net/inet/sock.cverify_area(VERIFY_WRITE, uaddr, len);
VERIFY_WRITE1146net/inet/sock.cverify_area(VERIFY_WRITE, uaddr_len, sizeof(len));
VERIFY_WRITE1378net/inet/sock.cverify_area(VERIFY_WRITE,(void *) arg, sizeof(long));
VERIFY_WRITE333net/inet/tcp.cverify_area(VERIFY_WRITE,(void *)arg,
VERIFY_WRITE354net/inet/tcp.cverify_area(VERIFY_WRITE,(void *) arg,
VERIFY_WRITE365net/inet/tcp.cverify_area(VERIFY_WRITE,(void *)arg,
VERIFY_WRITE1080net/inet/tcp.cverify_area(VERIFY_WRITE, to, amt);
VERIFY_WRITE1254net/inet/tcp.cverify_area(VERIFY_WRITE, to, used);
VERIFY_WRITE1395net/inet/tcp.cverify_area(VERIFY_WRITE, addr, len);
VERIFY_WRITE1397net/inet/tcp.cverify_area(VERIFY_WRITE, addr_len, sizeof(len));
VERIFY_WRITE261net/inet/udp.cverify_area(VERIFY_WRITE, from, len);
VERIFY_WRITE329net/inet/udp.cverify_area(VERIFY_WRITE, (void *)arg, sizeof(int));
VERIFY_WRITE349net/inet/udp.cverify_area(VERIFY_WRITE,(void *)arg,
VERIFY_WRITE374net/inet/udp.cverify_area(VERIFY_WRITE,(void *)arg,
VERIFY_WRITE414net/inet/udp.cverify_area(VERIFY_WRITE, addr_len, sizeof(*addr_len));
VERIFY_WRITE450net/inet/udp.cverify_area(VERIFY_WRITE, to, copied);
VERIFY_WRITE460net/inet/udp.cverify_area(VERIFY_WRITE, sin, sizeof(*sin));
VERIFY_WRITE107net/inet/utils.cverify_area(VERIFY_WRITE, (void *)arg, sizeof(int));
VERIFY_WRITE498net/socket.cverify_area(VERIFY_WRITE, usockvec, 2 * sizeof(int));
VERIFY_WRITE814net/socket.cverify_area(VERIFY_WRITE, args, 3 * sizeof(long));
VERIFY_WRITE819net/socket.cverify_area(VERIFY_WRITE, args, 3 * sizeof(long));
VERIFY_WRITE824net/socket.cverify_area(VERIFY_WRITE, args, 3 * sizeof(long));
VERIFY_WRITE829net/socket.cverify_area(VERIFY_WRITE, args, 2 * sizeof(long));
VERIFY_WRITE833net/socket.cverify_area(VERIFY_WRITE, args, 3 * sizeof(long));
VERIFY_WRITE838net/socket.cverify_area(VERIFY_WRITE, args, 3 * sizeof(long));
VERIFY_WRITE843net/socket.cverify_area(VERIFY_WRITE, args, 3 * sizeof(long));
VERIFY_WRITE848net/socket.cverify_area(VERIFY_WRITE, args, 4 * sizeof(long));
VERIFY_WRITE854net/socket.cverify_area(VERIFY_WRITE, args, 4 * sizeof(unsigned long));
VERIFY_WRITE860net/socket.cverify_area(VERIFY_WRITE, args, 6 * sizeof(unsigned long));
VERIFY_WRITE868net/socket.cverify_area(VERIFY_WRITE, args, 4 * sizeof(unsigned long));
VERIFY_WRITE874net/socket.cverify_area(VERIFY_WRITE, args, 6 * sizeof(unsigned long));
VERIFY_WRITE882net/socket.cverify_area(VERIFY_WRITE, args, 2* sizeof(unsigned long));
VERIFY_WRITE886net/socket.cverify_area(VERIFY_WRITE, args, 5*sizeof(unsigned long));
VERIFY_WRITE893net/socket.cverify_area(VERIFY_WRITE, args, 5*sizeof(unsigned long));
VERIFY_WRITE910net/socket.cverify_area(VERIFY_WRITE, (void *)arg, sizeof(int));
VERIFY_WRITE359net/unix/sock.cverify_area(VERIFY_WRITE, umyaddr, sockaddr_len);
VERIFY_WRITE414net/unix/sock.cverify_area(VERIFY_WRITE, uservaddr, sockaddr_len);
VERIFY_WRITE536net/unix/sock.cverify_area(VERIFY_WRITE, usockaddr_len, sizeof(*usockaddr_len));
VERIFY_WRITE540net/unix/sock.cverify_area(VERIFY_WRITE, usockaddr, len);
VERIFY_WRITE588net/unix/sock.cverify_area(VERIFY_WRITE, ubuf, cando);
VERIFY_WRITE662net/unix/sock.cverify_area(VERIFY_WRITE, ubuf, cando);
VERIFY_WRITE736net/unix/sock.cverify_area(VERIFY_WRITE,(void *)arg, sizeof(unsigned long));
VERIFY_WRITE744net/unix/sock.cverify_area(VERIFY_WRITE,(void *)arg, sizeof(unsigned long));
VERIFY_WRITE790net/unix/sock.cverify_area(VERIFY_WRITE,(void *)arg, sizeof(int));