gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / 3b7a4b5d1ad897f08c9d666534622a344bf158c2 / drivers / cpu / mpc83xx_cpu.h