message: Restore __attribute__((used)) to pxCurrentTCB
diff: @@ -331,7 +331,7 @@ typedef tskTCB TCB_t;
  /*lint -save -e956 A manual analysis and inspection has been used to determine
  which static variables must be declared volatile. */
  -PRIVILEGED_DATA TCB_t * volatile pxCurrentTCB = NULL;
  +__attribute__((used)) PRIVILEGED_DATA TCB_t * volatile pxCurrentTCB = NULL;
  /* Lists for ready and blocked tasks. --------------------
  xDelayedTaskList1 and xDelayedTaskList2 could be move to function scople but
  