clk_get_rate(9) on Linux

The text 754014770c46, as Debian 8 (Jessie) shipped it.

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