gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / cbec53b434d290689ece1111f395d97f27f5c17f / drivers / sysreset / sysreset_mpc83xx.h