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