在哪里可以找到S32K144微控制器上的FTM1_IRQ编号？

我正在使用 S32K144 微控制器。我想测量一个时钟信号，为此我想使用 FTM1 定时器模块的输入捕获模式。但是要使用 NVIC 引擎启用 FTM1 中断，我不知道 FTM1_IRQ 编号。我实际上有两个问题：
1. 谁能告诉我 FTM1_IRQ 号？
2. 是否有文档或表格显示不同模块的IRQ 号？。如果是这样，你能告诉我在哪里/如何找到它吗