gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / f1433d0dc929b277551cd6095252b67ebe75307c / drivers / sysreset / sysreset_mpc83xx.c