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