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