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