The text 47d70f64dbbe, as Debian 8 (Jessie) shipped it.
set the clock rate for a clock source
clk_set_rate(9) on Linux now
