gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / 8d5d3bcf3c53d798bd7f3fe7092e994593bcc41c / drivers / sysreset / sysreset_mpc83xx.h