On Wed, Jan 02, 2013 at 08:29:57AM +0100, Julia Lawall wrote:

There are dereferences to the result of clk_get a few times.  I tried the 
following semantic patch:

And those are buggy; struct clk is _SUPPOSED_ to be an OPAQUE COOKIE
and no one other than the clk code should be dereferencing it.

I guess this is the danger of the common clk API - we now have a struct
clk that is exposed in a linux/*.h include which anyone can include, and
now anyone can get a definition for a struct clk and dereference it,
destroying opaqueness of this cookie.