gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / a79f82331437909c8f99217c616bb17e26013448 / drivers / reset / reset-zynqmp.c