drivers/pinctrl/pinctrl-pic32.c

391 			PIC32_PINCTRL_FUNCTION(T6CK, T6CKR, 13),
541 			PIC32_PINCTRL_FUNCTION(T6CK, T6CKR, 8),
646 			PIC32_PINCTRL_FUNCTION(T6CK, T6CKR, 5),
673 			PIC32_PINCTRL_FUNCTION(T6CK, T6CKR, 6),
751 			PIC32_PINCTRL_FUNCTION(T6CK, T6CKR, 10),
877 			PIC32_PINCTRL_FUNCTION(T6CK, T6CKR, 7),
928 			PIC32_PINCTRL_FUNCTION(T6CK, T6CKR, 0),
1030 			PIC32_PINCTRL_FUNCTION(T6CK, T6CKR, 14),
1172 			PIC32_PINCTRL_FUNCTION(T6CK, T6CKR, 11),
1338 			PIC32_PINCTRL_FUNCTION(T6CK, T6CKR, 4),
1413 			PIC32_PINCTRL_FUNCTION(T6CK, T6CKR, 2),
1566 			PIC32_PINCTRL_FUNCTION(T6CK, T6CKR, 12),
1644 			PIC32_PINCTRL_FUNCTION(T6CK, T6CKR, 1),