gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / 23750f60fa1e30e69c4eab748582d8d078a01b72 / drivers / reset / reset-npcm.c