gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / e3bc477e8038195b54bf50e7915b111e9c357cf0 / drivers / soc / samsung / exynos-pmu.c