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