Open
Description
traceTASK_SWITCHED_IN is used on multiple places in task.c
it is called before the scheduler started or it can be called inside an ISR.
That doesn't help to optimize on some uses / implementation to know if is inside an ISR or not.
Also, xCoreID is available on some case and not on others.
It may help to uniformize it somehow.