I saw that diagram, but unfortunately that chapter does not indicate how to map them in code. Nor does the IOCON chapter. However, diving deeper into the manual, the chapter that does provide information on how to map them is the INPUTMUX chapter (chapter 18). At least that chapter, along with the fsl_inputmux driver source, I was able to decipher how to get a CTIMER_INPxx mapped to a specific timer and channel (test case of 1, but I think I have figured it out