Surely I must be missing something obvious, but the documentation for the macros traceTASK_SWITCHED_IN and traceTASK_SWITCHED_OUT states “At this point pxCurrentTCB contains the handle of the task…”, implying that whatever your function wants to know is just a pointer dereference away.
Except that pxCurrentTCB is private to tasks.c. Okay, I can declare it extern in my code, except that its type, struct tskTaskControlBlock (aka TCB_t), is also private to tasks.c.
Short of copying the TCB_t structure to some place visible to my code, what do people do to make use of these macros?
Xilinx Spartan 6
Xilinx EDK 14.5