drivers/pinctrl/pinctrl-pic32.c

493 			PIC32_PINCTRL_FUNCTION(T9CK, T9CKR, 7),
568 			PIC32_PINCTRL_FUNCTION(T9CK, T9CKR, 4),
700 			PIC32_PINCTRL_FUNCTION(T9CK, T9CKR, 2),
778 			PIC32_PINCTRL_FUNCTION(T9CK, T9CKR, 12),
904 			PIC32_PINCTRL_FUNCTION(T9CK, T9CKR, 3),
1006 			PIC32_PINCTRL_FUNCTION(T9CK, T9CKR, 6),
1263 			PIC32_PINCTRL_FUNCTION(T9CK, T9CKR, 13),
1365 			PIC32_PINCTRL_FUNCTION(T9CK, T9CKR, 11),
1389 			PIC32_PINCTRL_FUNCTION(T9CK, T9CKR, 8),
1518 			PIC32_PINCTRL_FUNCTION(T9CK, T9CKR, 9),
1671 			PIC32_PINCTRL_FUNCTION(T9CK, T9CKR, 1),