clk_get_rate(9) on Linux

The text f8c292666c91, as Debian 7 (Wheezy) shipped it.

obtain the current clock rate (in Hz) for a clock source. This is only valid once the clock source has been enabled.