/*!
 * @brief Implementation of TPM2 handler named in startup code.
 *
 * Passes instance to generic TPM IRQ handler.
 */
void TPM2_IRQHandler(void)
{
    TPM_DRV_IRQHandler(2U);
}
/*!
 * @brief Implementation of  handler named in startup code.
 *
 * Passes instance to generic TPM IRQ handler.
 */
void TPM0_IRQHandler(void)
{
    TPM_DRV_IRQHandler(0U);
}
/*!
 * @brief Implementation of TPM1 handler named in startup code.
 *
 * Passes instance to generic TPM IRQ handler.
 */
void TPM1_IRQHandler(void)
{
    TPM_DRV_IRQHandler(1U);
}
/*
** ===================================================================
**     Interrupt handler : TPM1_IRQHandler
**
**     Description :
**         User interrupt service routine. 
**     Parameters  : None
**     Returns     : Nothing
** ===================================================================
*/
void TPM1_IRQHandler(void)
{
  TPM_DRV_IRQHandler(tpmTmr1_IDX);
  /* Write your code here ... */
}