The Status Registers of Interrupt Sources are configured as "Clear on Read". So if those registers are read using the Corresponding API inside the ISR, then the Status Register for that Interrupt will be cleared and will be ready to accept next Interrupt.
Timer_ReadStatusRegister() API for Timer User Module
UART_GetRxInterruptSource() API for UART User Module
Counter_ReadStatusRegister() API for Counter User Module