gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / 721d6b594be4dc2d13b61f6afee9e437278d3ddd / drivers / clk / mpc83xx_clk.h