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