The text c37d3a610b8e, as Debian 7 (Wheezy) shipped it.
lookup and obtain a reference to a clock producer.
clk_get(9) on Linux now
