gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / 9c211075d0f5872a18e442a1f2bddca40c98c000 / drivers / reset / reset-scmi.c