Hi Sylvia,
If there is pending interrupt, the corresponding NVIC_ISPRn and NVIC_ICPRn bit is set.
For more information about NVIC, please refer to ARM®v7-M Architecture Reference Manual.
The S32K3xx NVIC interrupt mapping is specified in the S32K3xx_interrupt_map.xlsx file that is attached to the RM.
Regards,
Daniel