DB8500_PIN_AF3
PINCTRL_PIN(DB8500_PIN_AF3, "GPIO13_AF3"),
static const unsigned msp0tfstck_a_1_pins[] = { DB8500_PIN_AF3, DB8500_PIN_AE3 };