Hi @paolonese
If you are working with bare metal, you can find the interrupt vector numbers in, for example, S32K344_COMMON.h, the S32_NVIC register masks in S32K344_NVIC.h, and the functions that manage interrupts and exceptions through the NVIC in nvic.h/nvic.c.
BR, VaneB