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