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: