如何使用S32K1 RTD设置中断优先级？

在调查 S32K1 上的中断优先级问题时，我发现 RTD 示例中没有一个设置了中断优先级。
中断优先级不应该设置如下吗？
IntCtrl_Ip_Init(&IntCtrlConfig_0);
此外，S32K1 示例都通过直接调用 IntCtrl_Ip_InstallHandler() 来设置处理程序，而不是使用外围配置工具以及
IntCtrl_Ip_ConfigIrqRouting(&intRouteConfig);
由于示例代码应该向用户展示如何使用 RTD，他们不应该使用这两个函数吗？