We’re using pxCurrentTCB kernel symbol to trace tasks. Now I would like to know if there are any kernel symbol/macro definitions for ISRs tracing? Is there any tracing mechanism available for such case? Thanks.

I think FreeRTOS+Trace does have some ability to show ISR execution, although I’m not sure how in cases where individual interrupts are vectored to directly with no common entry code. If not then you can manually insert trace points yourself in the implementation of the interrupt service routines using the trace recorder API – but be careful of interrupt/thread/re-entrancy issues.