taglinefilesource code
VERIFY_READ60drivers/FPU-emu/fpu_system.h#define  FPU_code_verify_area(z) FPU_verify_area(VERIFY_READ,(void *)FPU_EIP,z)
VERIFY_READ171drivers/FPU-emu/load_store.cFPU_verify_area(VERIFY_READ, FPU_data_address, 2);
VERIFY_READ53drivers/FPU-emu/reg_ld_str.cFPU_verify_area(VERIFY_READ, s, 10);
VERIFY_READ155drivers/FPU-emu/reg_ld_str.cFPU_verify_area(VERIFY_READ, dfloat, 8);
VERIFY_READ233drivers/FPU-emu/reg_ld_str.cFPU_verify_area(VERIFY_READ, single, 4);
VERIFY_READ302drivers/FPU-emu/reg_ld_str.cFPU_verify_area(VERIFY_READ, _s, 8);
VERIFY_READ334drivers/FPU-emu/reg_ld_str.cFPU_verify_area(VERIFY_READ, _s, 4);
VERIFY_READ365drivers/FPU-emu/reg_ld_str.cFPU_verify_area(VERIFY_READ, _s, 2);
VERIFY_READ400drivers/FPU-emu/reg_ld_str.cFPU_verify_area(VERIFY_READ, s, 10);
VERIFY_READ1177drivers/FPU-emu/reg_ld_str.cFPU_verify_area(VERIFY_READ, s, 0x0e);
VERIFY_READ1196drivers/FPU-emu/reg_ld_str.cFPU_verify_area(VERIFY_READ, s, 0x1c);
VERIFY_READ1215drivers/block/cdu31a.cverify_area(VERIFY_READ, (char *) arg, sizeof(schi));
VERIFY_READ1375drivers/block/cdu31a.cverify_area(VERIFY_READ, (char *) arg, 6);
VERIFY_READ1434drivers/block/cdu31a.cverify_area(VERIFY_READ, entry, sizeof(*entry));
VERIFY_READ1486drivers/block/cdu31a.cverify_area(VERIFY_READ, (char *) arg, sizeof(ti));
VERIFY_READ1552drivers/block/cdu31a.cverify_area(VERIFY_READ, (char *) arg, sizeof(volctrl));
VERIFY_READ272drivers/block/mcd.cst = verify_area(VERIFY_READ, (void *) arg, sizeof ti);
VERIFY_READ315drivers/block/mcd.cst = verify_area(VERIFY_READ, (void *) arg, sizeof msf);
VERIFY_READ447drivers/block/mcd.cst = verify_area(VERIFY_READ, (void *) arg, sizeof(volctrl));
VERIFY_READ2014drivers/block/sbpcd.ci = verify_area(VERIFY_READ, (int *) arg, sizeof(int));
VERIFY_READ2064drivers/block/sbpcd.cst=verify_area(VERIFY_READ, (void *) arg, sizeof(struct cdrom_msf));
VERIFY_READ2092drivers/block/sbpcd.cst=verify_area(VERIFY_READ,(void *) arg,sizeof(struct cdrom_ti));
VERIFY_READ2125drivers/block/sbpcd.cst=verify_area(VERIFY_READ, (void *) arg, sizeof(struct cdrom_tocentry));
VERIFY_READ2179drivers/block/sbpcd.cst=verify_area(VERIFY_READ,(void *) arg,sizeof(volctrl));
VERIFY_READ1867drivers/char/console.ci = verify_area(set ? VERIFY_READ : VERIFY_WRITE, (void *)arg, cmapsz);
VERIFY_READ1945drivers/char/console.ci = verify_area(VERIFY_READ, (void *)arg, E_TABSZ);
VERIFY_READ2011drivers/char/tpqic02.cerror = verify_area(VERIFY_READ, buf, count);
VERIFY_READ2363drivers/char/tpqic02.cerror = verify_area(VERIFY_READ, (char *) ioarg, sizeof(operation));
VERIFY_READ535drivers/char/tty_ioctl.cretval = verify_area(VERIFY_READ, (void *) arg, 1);
VERIFY_READ638drivers/char/tty_ioctl.cretval = verify_area(VERIFY_READ, (void *) arg,
VERIFY_READ296drivers/char/vt.ci = verify_area(VERIFY_READ, (void *)a, sizeof(struct kbentry));
VERIFY_READ345drivers/char/vt.ci = verify_area(VERIFY_READ, (void *)a, sizeof(struct kbsentry));
VERIFY_READ400drivers/char/vt.ci = verify_area(VERIFY_READ, (void *) a, sizeof(struct kbdiacrs));
VERIFY_READ1080drivers/net/slip.cint err=verify_area(VERIFY_READ,addr,7);
VERIFY_READ1115drivers/net/slip.cerr=verify_area(VERIFY_READ,arg,sizeof(long));
VERIFY_READ214drivers/scsi/sg.cif ((i=verify_area(VERIFY_READ,buf,count)))
VERIFY_READ208drivers/scsi/sr_ioctl.cverify_area (VERIFY_READ, (void *) arg, sizeof (struct cdrom_tocentry));
VERIFY_READ280drivers/scsi/sr_ioctl.cverify_area (VERIFY_READ, (void *) arg, sizeof (struct cdrom_volctrl));
VERIFY_READ104fs/read_write.cerror = verify_area(VERIFY_READ,buf,count);
VERIFY_READ206fs/select.ci = verify_area(VERIFY_READ, buffer, 20);
VERIFY_READ20include/linux/mm.hif (wp_works_ok || type == VERIFY_READ || !size)
VERIFY_READ51ipc/msg.cerr = verify_area (VERIFY_READ, msgp->mtext, msgsz);
VERIFY_READ259ipc/sem.cif ((i = verify_area (VERIFY_READ, array, sizeof tbuf)))
VERIFY_READ275ipc/sem.cif ((i = verify_area (VERIFY_READ, buf, sizeof tbuf)))
VERIFY_READ206ipc/shm.cerr = verify_area (VERIFY_READ, buf, sizeof (*buf));
VERIFY_READ46kernel/ldt.cerror = verify_area(VERIFY_READ, ptr, sizeof(ldt_info));
VERIFY_READ56kernel/signal.cerror = verify_area(VERIFY_READ, set, sizeof(sigset_t));
VERIFY_READ186kernel/signal.cint err = verify_area(VERIFY_READ, action, sizeof(*action));
VERIFY_READ228kernel/signal.cif (verify_area(VERIFY_READ, (void *) regs->esp, sizeof(context)))
VERIFY_READ143mm/mmap.cerror = verify_area(VERIFY_READ, buffer, 6*4);
VERIFY_READ957net/inet/arp.cerr=verify_area(VERIFY_READ,arg,sizeof(struct arpreq));
VERIFY_READ968net/inet/arp.cerr=verify_area(VERIFY_READ,arg,sizeof(struct arpreq));
VERIFY_READ1553net/inet/ip.cerr=verify_area(VERIFY_READ, optval, sizeof(int));
VERIFY_READ101net/inet/packet.cerr=verify_area(VERIFY_READ, usin, sizeof(saddr));
VERIFY_READ108net/inet/packet.cerr=verify_area(VERIFY_READ,from,len);
VERIFY_READ157net/inet/raw.cerr=verify_area(VERIFY_READ,from,len);
VERIFY_READ163net/inet/raw.cerr=verify_area (VERIFY_READ, usin, sizeof (sin));
VERIFY_READ381net/inet/route.cerr=verify_area(VERIFY_READ, src, sizeof(*src));
VERIFY_READ415net/inet/route.cerr=verify_area(VERIFY_READ, arg, sizeof(struct rtentry));
VERIFY_READ524net/inet/sock.cerr=verify_area(VERIFY_READ, optval, sizeof(int));
VERIFY_READ550net/inet/sock.cerr=verify_area(VERIFY_READ,optval,sizeof(ling));
VERIFY_READ1031net/inet/sock.cerr=verify_area(VERIFY_READ, uaddr, addr_len);
VERIFY_READ1519net/inet/sock.cerr=verify_area(VERIFY_READ,(int *)arg,sizeof(long));
VERIFY_READ2969net/inet/tcp.cerr=verify_area(VERIFY_READ, usin, addr_len);
VERIFY_READ3653net/inet/tcp.cerr=verify_area(VERIFY_READ, optval, sizeof(int));
VERIFY_READ231net/inet/udp.cerr=verify_area(VERIFY_READ, from, len);
VERIFY_READ323net/inet/udp.cerr=verify_area(VERIFY_READ, usin, sizeof(sin));
VERIFY_READ369net/inet/udp.cerr=verify_area(VERIFY_READ, (void *)arg, sizeof(int));
VERIFY_READ517net/inet/udp.cer=verify_area(VERIFY_READ, usin, sizeof(sin));
VERIFY_READ110net/inet/utils.cerr=verify_area(VERIFY_READ, (void *)arg, sizeof(int));
VERIFY_READ856net/socket.cer=verify_area(VERIFY_READ, args, 3 * sizeof(long));
VERIFY_READ863net/socket.cer=verify_area(VERIFY_READ, args, 3 * sizeof(long));
VERIFY_READ870net/socket.cer=verify_area(VERIFY_READ, args, 3 * sizeof(long));
VERIFY_READ877net/socket.cer=verify_area(VERIFY_READ, args, 2 * sizeof(long));
VERIFY_READ883net/socket.cer=verify_area(VERIFY_READ, args, 3 * sizeof(long));
VERIFY_READ890net/socket.cer=verify_area(VERIFY_READ, args, 3 * sizeof(long));
VERIFY_READ897net/socket.cer=verify_area(VERIFY_READ, args, 3 * sizeof(long));
VERIFY_READ904net/socket.cer=verify_area(VERIFY_READ, args, 4 * sizeof(long));
VERIFY_READ912net/socket.cer=verify_area(VERIFY_READ, args, 4 * sizeof(unsigned long));
VERIFY_READ920net/socket.cer=verify_area(VERIFY_READ, args, 6 * sizeof(unsigned long));
VERIFY_READ930net/socket.cer=verify_area(VERIFY_READ, args, 4 * sizeof(unsigned long));
VERIFY_READ938net/socket.cer=verify_area(VERIFY_READ, args, 6 * sizeof(unsigned long));
VERIFY_READ948net/socket.cer=verify_area(VERIFY_READ, args, 2* sizeof(unsigned long));
VERIFY_READ954net/socket.cer=verify_area(VERIFY_READ, args, 5*sizeof(unsigned long));
VERIFY_READ963net/socket.cer=verify_area(VERIFY_READ, args, 5*sizeof(unsigned long));
VERIFY_READ983net/socket.cer=verify_area(VERIFY_READ, (void *)arg, sizeof(long));
VERIFY_READ461net/unix/sock.cer=verify_area(VERIFY_READ, uservaddr, sockaddr_len);
VERIFY_READ730net/unix/sock.cer=verify_area(VERIFY_READ, ubuf, cando);
VERIFY_READ871net/unix/sock.cer=verify_area(VERIFY_READ,(void *)arg, sizeof(int));