gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / 480a9b834c661fc88217f50bdf780192c3018d66 / drivers / pinctrl / pinctrl-at91.c