OsIsr/InterruptSource与NVIC的对应关系是什么？

大家好
我正在开发在 S32K144W 上安装 MICROSAR OS 的软件。
大家好， 我正在开发在 S32K144W 上安装 MICROSAR OS 的软件。 MICROSAR OS 有一个名为 OsIsr/InterruptSource 的配置。 我应该在这里设置 S32K144W 的 NVIC 中断号吗？ 例如，如果我想使用带有 NVIC 中断 ID60 的 PORTB 中断，我应该为 OsIsr/InterruptSource 设置什么数字？