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