gerrit.devboardsforandroid.linaro.org / platform / external / u-boot / 97d9df0a91f1c68695913518d8dfaf26c41dbb32 / drivers / pinctrl / pinctrl-at91-pio4.c