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