PIN_CONFIG_MICROCHIP_DIGITAL 37 drivers/pinctrl/pinctrl-pic32.c {"microchip,digital", PIN_CONFIG_MICROCHIP_DIGITAL, 0}, PIN_CONFIG_MICROCHIP_DIGITAL 1894 drivers/pinctrl/pinctrl-pic32.c case PIN_CONFIG_MICROCHIP_DIGITAL: PIN_CONFIG_MICROCHIP_DIGITAL 1946 drivers/pinctrl/pinctrl-pic32.c case PIN_CONFIG_MICROCHIP_DIGITAL: