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?
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.