On Sat, Jan 28, 2012 at 7:28 PM, Julia Lawall <julia.lawall at lip6.fr> wrote: > In the function compat_drm_getclient, I have the impression that the > structure c32 is copied to user level with the field idx uninitialized? Looks like it alright, care to send a patch? Dave.