Hi @user
Please refer to the module driver's integration manual which can be found at the following path: C:\NXP\S32DS.3.5\S32DS\software\PlatformSDK_S32K3\RTD\Gpt_TS_T40D34M50I0R0\doc (the path may vary depending on the software version, the installed S32DS, your installation directory and the driver). In the case of the PIT1 interrupt handler definition, it would be "PIT_1_ISR".
Please let me know if this information was useful and if you have more doubts.
- RomanVR.
Best Regards!