lessee_ids        606 drivers/gpu/drm/drm_lease.c 	__u32 __user *lessee_ids = (__u32 __user *) (uintptr_t) (arg->lessees_ptr);
lessee_ids        629 drivers/gpu/drm/drm_lease.c 				ret = put_user(lessee->lessee_id, lessee_ids + count);