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