[CHECKER] amusing copy_from_user bug

[Dawson Engler]

copy_from_user should probably have something like
                (sizeof(agp_segment) * reserve.seg_count)
as it's size argumenbt rather than
		GFP_KERNEL 

/u2/engler/mc/oses/linux/2.4.3/drivers/char/agp/agpgart_fe.c:882:agpioc_reserve_
wrap: ERROR:SIZE-CHECK:882:882: segment = 'copy_from_user'(7 bytes), need 12

                agp_segment *segment;

                segment = kmalloc((sizeof(agp_segment) * reserve.seg_count),
                                  GFP_KERNEL);

                if (segment == NULL) {
                        return -ENOMEM;
                }
                if (copy_from_user(segment, (void *) reserve.seg_list,
                                   GFP_KERNEL)) {
                        kfree(segment);
                        return -EFAULT;
                }

As a side question: is it still true that verify_area's must be done before
any use of __put_user/__get_user/__copy_from_user/etc?