-enum FreeRTOS_symbol_values {
- FreeRTOS_VAL_pxCurrentTCB = 0,
- FreeRTOS_VAL_pxReadyTasksLists = 1,
- FreeRTOS_VAL_xDelayedTaskList1 = 2,
- FreeRTOS_VAL_xDelayedTaskList2 = 3,
- FreeRTOS_VAL_pxDelayedTaskList = 4,
- FreeRTOS_VAL_pxOverflowDelayedTaskList = 5,
- FreeRTOS_VAL_xPendingReadyList = 6,
- FreeRTOS_VAL_xTasksWaitingTermination = 7,
- FreeRTOS_VAL_xSuspendedTaskList = 8,
- FreeRTOS_VAL_uxCurrentNumberOfTasks = 9,
- FreeRTOS_VAL_uxTopUsedPriority = 10,
+enum freertos_symbol_values {
+ FREERTOS_VAL_PX_CURRENT_TCB = 0,
+ FREERTOS_VAL_PX_READY_TASKS_LISTS = 1,
+ FREERTOS_VAL_X_DELAYED_TASK_LIST1 = 2,
+ FREERTOS_VAL_X_DELAYED_TASK_LIST2 = 3,
+ FREERTOS_VAL_PX_DELAYED_TASK_LIST = 4,
+ FREERTOS_VAL_PX_OVERFLOW_DELAYED_TASK_LIST = 5,
+ FREERTOS_VAL_X_PENDING_READY_LIST = 6,
+ FREERTOS_VAL_X_TASKS_WAITING_TERMINATION = 7,
+ FREERTOS_VAL_X_SUSPENDED_TASK_LIST = 8,
+ FREERTOS_VAL_UX_CURRENT_NUMBER_OF_TASKS = 9,
+ FREERTOS_VAL_UX_TOP_USED_PRIORITY = 10,