DB8500_PIN_AF3    200 drivers/pinctrl/nomadik/pinctrl-nomadik-db8500.c 	PINCTRL_PIN(DB8500_PIN_AF3, "GPIO13_AF3"),
DB8500_PIN_AF3    380 drivers/pinctrl/nomadik/pinctrl-nomadik-db8500.c static const unsigned msp0tfstck_a_1_pins[] = { DB8500_PIN_AF3, DB8500_PIN_AE3 };