vTimerSetTimerNumber (struct tmrTimerControl * xTimer, UBaseType_t uxTimerNumber) { <bb 2> : MEM[(struct Timer_t *)xTimer_2(D)].uxTimerNumber = uxTimerNumber_3(D); return; } uxTimerGetTimerNumber (struct tmrTimerControl * xTimer) { UBaseType_t D.6791; UBaseType_t _3; <bb 2> : _3 = MEM[(struct Timer_t *)xTimer_2(D)].uxTimerNumber; <bb 3> : <L0>: return _3; } xTimerPendFunctionCall (void (*PendedFunction_t) (void *, uint32_t) xFunctionToPend, void * pvParameter1, uint32_t ulParameter2, TickType_t xTicksToWait) { BaseType_t xReturn; struct DaemonTaskMessage_t xMessage; BaseType_t D.6788; struct QueueDefinition * xTimerQueue.26_1; struct QueueDefinition * xTimerQueue.27_2; BaseType_t _14; <bb 2> : xTimerQueue.26_1 = xTimerQueue; if (xTimerQueue.26_1 == 0B) goto <bb 3>; [INV] else goto <bb 5>; [INV] <bb 3> : vPortRaiseBASEPRI (); <bb 4> : goto <bb 4>; [INV] <bb 5> : xMessage.xMessageID = -1; xMessage.u.xCallbackParameters.pxCallbackFunction = xFunctionToPend_5(D); xMessage.u.xCallbackParameters.pvParameter1 = pvParameter1_7(D); xMessage.u.xCallbackParameters.ulParameter2 = ulParameter2_9(D); xTimerQueue.27_2 = xTimerQueue; xReturn_13 = xQueueGenericSend (xTimerQueue.27_2, &xMessage, xTicksToWait_11(D), 0); _14 = xReturn_13; xMessage ={v} {CLOBBER}; <bb 6> : <L4>: return _14; } xTimerPendFunctionCallFromISR (void (*PendedFunction_t) (void *, uint32_t) xFunctionToPend, void * pvParameter1, uint32_t ulParameter2, BaseType_t * pxHigherPriorityTaskWoken) { BaseType_t xReturn; struct DaemonTaskMessage_t xMessage; BaseType_t D.6783; struct QueueDefinition * xTimerQueue.25_1; BaseType_t _13; <bb 2> : xMessage.xMessageID = -2; xMessage.u.xCallbackParameters.pxCallbackFunction = xFunctionToPend_4(D); xMessage.u.xCallbackParameters.pvParameter1 = pvParameter1_6(D); xMessage.u.xCallbackParameters.ulParameter2 = ulParameter2_8(D); xTimerQueue.25_1 = xTimerQueue; xReturn_12 = xQueueGenericSendFromISR (xTimerQueue.25_1, &xMessage, pxHigherPriorityTaskWoken_10(D), 0); _13 = xReturn_12; xMessage ={v} {CLOBBER}; <bb 3> : <L1>: return _13; } vTimerSetTimerID (struct tmrTimerControl * xTimer, void * pvNewID) { struct Timer_t * const pxTimer; <bb 2> : pxTimer_2 = xTimer_1(D); if (xTimer_1(D) == 0B) goto <bb 3>; [INV] else goto <bb 5>; [INV] <bb 3> : vPortRaiseBASEPRI (); <bb 4> : goto <bb 4>; [INV] <bb 5> : vPortEnterCritical (); pxTimer_2->pvTimerID = pvNewID_5(D); vPortExitCritical (); return; } pvTimerGetTimerID (struct tmrTimerControl * const xTimer) { void * pvReturn; struct Timer_t * const pxTimer; void * D.6779; void * _7; <bb 2> : pxTimer_2 = xTimer_1(D); if (xTimer_1(D) == 0B) goto <bb 3>; [INV] else goto <bb 5>; [INV] <bb 3> : vPortRaiseBASEPRI (); <bb 4> : goto <bb 4>; [INV] <bb 5> : vPortEnterCritical (); pvReturn_5 = pxTimer_2->pvTimerID; vPortExitCritical (); _7 = pvReturn_5; <bb 6> : <L3>: return _7; } xTimerIsTimerActive (struct tmrTimerControl * xTimer) { struct Timer_t * pxTimer; BaseType_t xReturn; BaseType_t D.6775; unsigned char _1; int _2; int _3; BaseType_t _12; <bb 2> : pxTimer_6 = xTimer_5(D); if (xTimer_5(D) == 0B) goto <bb 3>; [INV] else goto <bb 5>; [INV] <bb 3> : vPortRaiseBASEPRI (); <bb 4> : goto <bb 4>; [INV] <bb 5> : vPortEnterCritical (); _1 = pxTimer_6->ucStatus; _2 = (int) _1; _3 = _2 & 1; if (_3 == 0) goto <bb 6>; [INV] else goto <bb 7>; [INV] <bb 6> : xReturn_10 = 0; goto <bb 8>; [INV] <bb 7> : xReturn_9 = 1; <bb 8> : # xReturn_4 = PHI <xReturn_10(6), xReturn_9(7)> vPortExitCritical (); _12 = xReturn_4; <bb 9> : <L6>: return _12; } prvCheckForValidListAndQueue () { struct QueueDefinition * xTimerQueue.22_1; struct QueueDefinition * _2; struct QueueDefinition * xTimerQueue.23_3; struct QueueDefinition * xTimerQueue.24_4; <bb 2> : vPortEnterCritical (); xTimerQueue.22_1 = xTimerQueue; if (xTimerQueue.22_1 == 0B) goto <bb 3>; [INV] else goto <bb 5>; [INV] <bb 3> : vListInitialise (&xActiveTimerList1); vListInitialise (&xActiveTimerList2); pxCurrentTimerList = &xActiveTimerList1; pxOverflowTimerList = &xActiveTimerList2; _2 = xQueueGenericCreate (10, 16, 0); xTimerQueue = _2; xTimerQueue.23_3 = xTimerQueue; if (xTimerQueue.23_3 != 0B) goto <bb 4>; [INV] else goto <bb 5>; [INV] <bb 4> : xTimerQueue.24_4 = xTimerQueue; vQueueAddToRegistry (xTimerQueue.24_4, "TmrQ"); <bb 5> : vPortExitCritical (); return; } prvSwitchTimerLists () { struct List_t * pxTemp; TickType_t xNextExpireTime; struct List_t * pxCurrentTimerList.19_1; struct xLIST_ITEM * _2; struct List_t * pxCurrentTimerList.20_3; long unsigned int _4; struct List_t * pxOverflowTimerList.21_5; <bb 2> : goto <bb 4>; [INV] <bb 3> : pxCurrentTimerList.19_1 = pxCurrentTimerList; _2 = pxCurrentTimerList.19_1->xListEnd.pxNext; xNextExpireTime_11 = _2->xItemValue; prvProcessExpiredTimer (xNextExpireTime_11, 4294967295); <bb 4> : pxCurrentTimerList.20_3 = pxCurrentTimerList; _4 ={v} pxCurrentTimerList.20_3->uxNumberOfItems; if (_4 != 0) goto <bb 3>; [INV] else goto <bb 5>; [INV] <bb 5> : pxTemp_8 = pxCurrentTimerList; pxOverflowTimerList.21_5 = pxOverflowTimerList; pxCurrentTimerList = pxOverflowTimerList.21_5; pxOverflowTimerList = pxTemp_8; return; } prvProcessReceivedCommands () { const struct CallbackParameters_t * const pxCallback; TickType_t xTimeNow; BaseType_t xTimerListsWereSwitched; struct Timer_t * pxTimer; struct DaemonTaskMessage_t xMessage; long int _1; void (*<T68e>) (void *, uint32_t) _2; void * _3; long unsigned int _4; long int _5; struct xLIST * _6; struct ListItem_t * _7; long int _8; unsigned char _9; unsigned char _10; long unsigned int _11; long unsigned int _12; long unsigned int _13; long unsigned int _14; long int _15; unsigned char _16; int _17; int _18; long unsigned int _19; long unsigned int _20; long unsigned int _21; unsigned char _22; unsigned char _23; void (*<T689>) (struct tmrTimerControl *) _24; unsigned char _25; unsigned char _26; unsigned char _27; unsigned char _28; long unsigned int _29; long unsigned int _30; long unsigned int _31; long unsigned int _32; unsigned char _33; int _34; int _35; unsigned char _36; unsigned char _37; struct QueueDefinition * xTimerQueue.18_38; long int _39; <bb 2> : goto <bb 28>; [INV] <bb 3> : _1 = xMessage.xMessageID; if (_1 < 0) goto <bb 4>; [INV] else goto <bb 8>; [INV] <bb 4> : pxCallback_50 = &xMessage.u.xCallbackParameters; if (pxCallback_50 == 0B) goto <bb 5>; [INV] else goto <bb 7>; [INV] <bb 5> : vPortRaiseBASEPRI (); <bb 6> : goto <bb 6>; [INV] <bb 7> : _2 = pxCallback_50->pxCallbackFunction; _3 = pxCallback_50->pvParameter1; _4 = pxCallback_50->ulParameter2; _2 (_3, _4); <bb 8> : _5 = xMessage.xMessageID; if (_5 >= 0) goto <bb 9>; [INV] else goto <bb 28>; [INV] <bb 9> : pxTimer_53 = xMessage.u.xTimerParameters.pxTimer; _6 = pxTimer_53->xTimerListItem.pvContainer; if (_6 != 0B) goto <bb 10>; [INV] else goto <bb 11>; [INV] <bb 10> : _7 = &pxTimer_53->xTimerListItem; uxListRemove (_7); <bb 11> : xTimeNow_56 = prvSampleTimeNow (&xTimerListsWereSwitched); _8 = xMessage.xMessageID; switch (_8) <default: <L32> [INV], case 1 ... 2: <L11> [INV], case 3: <L21> [INV], case 4: <L23> [INV], case 5: <L28> [INV], case 6 ... 7: <L11> [INV], case 8: <L21> [INV], case 9: <L23> [INV]> <bb 12> : <L11>: _9 = pxTimer_53->ucStatus; _10 = _9 | 1; pxTimer_53->ucStatus = _10; _11 = xMessage.u.xTimerParameters.xMessageValue; _12 = pxTimer_53->xTimerPeriodInTicks; _13 = _11 + _12; _14 = xMessage.u.xTimerParameters.xMessageValue; _15 = prvInsertTimerInActiveList (pxTimer_53, _13, xTimeNow_56, _14); if (_15 != 0) goto <bb 13>; [INV] else goto <bb 17>; [INV] <bb 13> : _16 = pxTimer_53->ucStatus; _17 = (int) _16; _18 = _17 & 4; if (_18 != 0) goto <bb 14>; [INV] else goto <bb 15>; [INV] <bb 14> : _19 = xMessage.u.xTimerParameters.xMessageValue; _20 = pxTimer_53->xTimerPeriodInTicks; _21 = _19 + _20; prvReloadTimer (pxTimer_53, _21, xTimeNow_56); goto <bb 16>; [INV] <bb 15> : _22 = pxTimer_53->ucStatus; _23 = _22 & 254; pxTimer_53->ucStatus = _23; <bb 16> : _24 = pxTimer_53->pxCallbackFunction; _24 (pxTimer_53); <bb 17> : goto <bb 28>; [INV] <bb 18> : <L21>: _25 = pxTimer_53->ucStatus; _26 = _25 & 254; pxTimer_53->ucStatus = _26; goto <bb 28>; [INV] <bb 19> : <L23>: _27 = pxTimer_53->ucStatus; _28 = _27 | 1; pxTimer_53->ucStatus = _28; _29 = xMessage.u.xTimerParameters.xMessageValue; pxTimer_53->xTimerPeriodInTicks = _29; _30 = pxTimer_53->xTimerPeriodInTicks; if (_30 == 0) goto <bb 20>; [INV] else goto <bb 22>; [INV] <bb 20> : vPortRaiseBASEPRI (); <bb 21> : goto <bb 21>; [INV] <bb 22> : _31 = pxTimer_53->xTimerPeriodInTicks; _32 = xTimeNow_56 + _31; prvInsertTimerInActiveList (pxTimer_53, _32, xTimeNow_56, xTimeNow_56); goto <bb 28>; [INV] <bb 23> : <L28>: _33 = pxTimer_53->ucStatus; _34 = (int) _33; _35 = _34 & 2; if (_35 == 0) goto <bb 24>; [INV] else goto <bb 25>; [INV] <bb 24> : vPortFree (pxTimer_53); goto <bb 26>; [INV] <bb 25> : _36 = pxTimer_53->ucStatus; _37 = _36 & 254; pxTimer_53->ucStatus = _37; <bb 26> : goto <bb 28>; [INV] <bb 27> : <L32>: <bb 28> : xTimerQueue.18_38 = xTimerQueue; _39 = xQueueReceive (xTimerQueue.18_38, &xMessage, 0); if (_39 != 0) goto <bb 3>; [INV] else goto <bb 29>; [INV] <bb 29> : xMessage ={v} {CLOBBER}; xTimerListsWereSwitched ={v} {CLOBBER}; return; } prvInsertTimerInActiveList (struct Timer_t * const pxTimer, const TickType_t xNextExpiryTime, const TickType_t xTimeNow, const TickType_t xCommandTime) { BaseType_t xProcessTimerNow; BaseType_t D.6741; long unsigned int _1; long unsigned int _2; struct List_t * pxOverflowTimerList.16_3; struct ListItem_t * _4; struct List_t * pxCurrentTimerList.17_5; struct ListItem_t * _6; BaseType_t _21; <bb 2> : xProcessTimerNow_9 = 0; pxTimer_11(D)->xTimerListItem.xItemValue = xNextExpiryTime_12(D); pxTimer_11(D)->xTimerListItem.pvOwner = pxTimer_11(D); if (xNextExpiryTime_12(D) <= xTimeNow_15(D)) goto <bb 3>; [INV] else goto <bb 6>; [INV] <bb 3> : _1 = xTimeNow_15(D) - xCommandTime_16(D); _2 = pxTimer_11(D)->xTimerPeriodInTicks; if (_1 >= _2) goto <bb 4>; [INV] else goto <bb 5>; [INV] <bb 4> : xProcessTimerNow_20 = 1; goto <bb 10>; [INV] <bb 5> : pxOverflowTimerList.16_3 = pxOverflowTimerList; _4 = &pxTimer_11(D)->xTimerListItem; vListInsert (pxOverflowTimerList.16_3, _4); goto <bb 10>; [INV] <bb 6> : if (xTimeNow_15(D) < xCommandTime_16(D)) goto <bb 7>; [INV] else goto <bb 9>; [INV] <bb 7> : if (xNextExpiryTime_12(D) >= xCommandTime_16(D)) goto <bb 8>; [INV] else goto <bb 9>; [INV] <bb 8> : xProcessTimerNow_17 = 1; goto <bb 10>; [INV] <bb 9> : pxCurrentTimerList.17_5 = pxCurrentTimerList; _6 = &pxTimer_11(D)->xTimerListItem; vListInsert (pxCurrentTimerList.17_5, _6); <bb 10> : # xProcessTimerNow_7 = PHI <xProcessTimerNow_9(5), xProcessTimerNow_17(8), xProcessTimerNow_9(9), xProcessTimerNow_20(4)> _21 = xProcessTimerNow_7; <bb 11> : <L10>: return _21; } prvSampleTimeNow (BaseType_t * const pxTimerListsWereSwitched) { static TickType_t xLastTime = 0; TickType_t xTimeNow; TickType_t D.6729; long unsigned int xLastTime.15_1; TickType_t _11; <bb 2> : xTimeNow_5 = xTaskGetTickCount (); xLastTime.15_1 = xLastTime; if (xTimeNow_5 < xLastTime.15_1) goto <bb 3>; [INV] else goto <bb 4>; [INV] <bb 3> : prvSwitchTimerLists (); *pxTimerListsWereSwitched_6(D) = 1; goto <bb 5>; [INV] <bb 4> : *pxTimerListsWereSwitched_6(D) = 0; <bb 5> : xLastTime = xTimeNow_5; _11 = xTimeNow_5; <bb 6> : <L3>: return _11; } prvGetNextExpireTime (BaseType_t * const pxListWasEmpty) { TickType_t xNextExpireTime; TickType_t D.6724; long int iftmp.12; struct List_t * pxCurrentTimerList.13_1; long unsigned int _2; long int _3; struct List_t * pxCurrentTimerList.14_4; struct xLIST_ITEM * _5; long int iftmp.12_7; long int iftmp.12_9; long int iftmp.12_10; TickType_t _15; <bb 2> : pxCurrentTimerList.13_1 = pxCurrentTimerList; _2 ={v} pxCurrentTimerList.13_1->uxNumberOfItems; if (_2 == 0) goto <bb 3>; [INV] else goto <bb 4>; [INV] <bb 3> : iftmp.12_10 = 1; goto <bb 5>; [INV] <bb 4> : iftmp.12_9 = 0; <bb 5> : # iftmp.12_7 = PHI <iftmp.12_10(3), iftmp.12_9(4)> *pxListWasEmpty_11(D) = iftmp.12_7; _3 = *pxListWasEmpty_11(D); if (_3 == 0) goto <bb 6>; [INV] else goto <bb 7>; [INV] <bb 6> : pxCurrentTimerList.14_4 = pxCurrentTimerList; _5 = pxCurrentTimerList.14_4->xListEnd.pxNext; xNextExpireTime_14 = _5->xItemValue; goto <bb 8>; [INV] <bb 7> : xNextExpireTime_13 = 0; <bb 8> : # xNextExpireTime_6 = PHI <xNextExpireTime_14(6), xNextExpireTime_13(7)> _15 = xNextExpireTime_6; <bb 9> : <L6>: return _15; } prvProcessTimerOrBlockTask (const TickType_t xNextExpireTime, BaseType_t xListWasEmpty) { BaseType_t xTimerListsWereSwitched; TickType_t xTimeNow; long int iftmp.9; long int xTimerListsWereSwitched.8_1; struct List_t * pxOverflowTimerList.10_2; long unsigned int _3; struct QueueDefinition * xTimerQueue.11_4; long unsigned int _5; long int _6; volatile uint32_t * _7; long int iftmp.9_9; long int iftmp.9_21; long int iftmp.9_22; <bb 2> : vTaskSuspendAll (); xTimeNow_15 = prvSampleTimeNow (&xTimerListsWereSwitched); xTimerListsWereSwitched.8_1 = xTimerListsWereSwitched; if (xTimerListsWereSwitched.8_1 == 0) goto <bb 3>; [INV] else goto <bb 14>; [INV] <bb 3> : if (xListWasEmpty_17(D) == 0) goto <bb 4>; [INV] else goto <bb 6>; [INV] <bb 4> : if (xNextExpireTime_18(D) <= xTimeNow_15) goto <bb 5>; [INV] else goto <bb 6>; [INV] <bb 5> : xTaskResumeAll (); prvProcessExpiredTimer (xNextExpireTime_18(D), xTimeNow_15); goto <bb 13>; [INV] <bb 6> : if (xListWasEmpty_17(D) != 0) goto <bb 7>; [INV] else goto <bb 11>; [INV] <bb 7> : pxOverflowTimerList.10_2 = pxOverflowTimerList; _3 ={v} pxOverflowTimerList.10_2->uxNumberOfItems; if (_3 == 0) goto <bb 8>; [INV] else goto <bb 9>; [INV] <bb 8> : iftmp.9_22 = 1; goto <bb 10>; [INV] <bb 9> : iftmp.9_21 = 0; <bb 10> : # iftmp.9_9 = PHI <iftmp.9_22(8), iftmp.9_21(9)> xListWasEmpty_23 = iftmp.9_9; <bb 11> : # xListWasEmpty_8 = PHI <xListWasEmpty_17(D)(6), xListWasEmpty_23(10)> xTimerQueue.11_4 = xTimerQueue; _5 = xNextExpireTime_18(D) - xTimeNow_15; vQueueWaitForMessageRestricted (xTimerQueue.11_4, _5, xListWasEmpty_8); _6 = xTaskResumeAll (); if (_6 == 0) goto <bb 12>; [INV] else goto <bb 13>; [INV] <bb 12> : _7 = 3758157060B; *_7 ={v} 268435456; __asm__ __volatile__("dsb" : : : "memory"); __asm__ __volatile__("isb"); <bb 13> : goto <bb 15>; [INV] <bb 14> : xTaskResumeAll (); <bb 15> : xTimerListsWereSwitched ={v} {CLOBBER}; return; } prvTimerTask (void * pvParameters) { BaseType_t xListWasEmpty; TickType_t xNextExpireTime; long int xListWasEmpty.7_1; <bb 2> : xNextExpireTime_5 = prvGetNextExpireTime (&xListWasEmpty); xListWasEmpty.7_1 = xListWasEmpty; prvProcessTimerOrBlockTask (xNextExpireTime_5, xListWasEmpty.7_1); prvProcessReceivedCommands (); goto <bb 2>; [INV] } prvProcessExpiredTimer (const TickType_t xNextExpireTime, const TickType_t xTimeNow) { struct Timer_t * const pxTimer; struct List_t * pxCurrentTimerList.6_1; struct xLIST_ITEM * _2; struct ListItem_t * _3; unsigned char _4; int _5; int _6; unsigned char _7; unsigned char _8; void (*<T689>) (struct tmrTimerControl *) _9; <bb 2> : pxCurrentTimerList.6_1 = pxCurrentTimerList; _2 = pxCurrentTimerList.6_1->xListEnd.pxNext; pxTimer_12 = _2->pvOwner; _3 = &pxTimer_12->xTimerListItem; uxListRemove (_3); _4 = pxTimer_12->ucStatus; _5 = (int) _4; _6 = _5 & 4; if (_6 != 0) goto <bb 3>; [INV] else goto <bb 4>; [INV] <bb 3> : prvReloadTimer (pxTimer_12, xNextExpireTime_15(D), xTimeNow_16(D)); goto <bb 5>; [INV] <bb 4> : _7 = pxTimer_12->ucStatus; _8 = _7 & 254; pxTimer_12->ucStatus = _8; <bb 5> : _9 = pxTimer_12->pxCallbackFunction; _9 (pxTimer_12); return; } prvReloadTimer (struct Timer_t * const pxTimer, TickType_t xExpiredTime, const TickType_t xTimeNow) { long unsigned int _1; void (*<T689>) (struct tmrTimerControl *) _2; long unsigned int _3; long unsigned int _4; long int _5; <bb 2> : goto <bb 4>; [INV] <bb 3> : _1 = pxTimer_10(D)->xTimerPeriodInTicks; xExpiredTime_13 = xExpiredTime_6 + _1; _2 = pxTimer_10(D)->pxCallbackFunction; _2 (pxTimer_10(D)); <bb 4> : # xExpiredTime_6 = PHI <xExpiredTime_8(D)(2), xExpiredTime_13(3)> _3 = pxTimer_10(D)->xTimerPeriodInTicks; _4 = xExpiredTime_6 + _3; _5 = prvInsertTimerInActiveList (pxTimer_10(D), _4, xTimeNow_11(D), xExpiredTime_6); if (_5 != 0) goto <bb 3>; [INV] else goto <bb 5>; [INV] <bb 5> : return; } pcTimerGetName (struct tmrTimerControl * xTimer) { struct Timer_t * pxTimer; const char * D.6696; const char * _4; <bb 2> : pxTimer_2 = xTimer_1(D); if (xTimer_1(D) == 0B) goto <bb 3>; [INV] else goto <bb 5>; [INV] <bb 3> : vPortRaiseBASEPRI (); <bb 4> : goto <bb 4>; [INV] <bb 5> : _4 = pxTimer_2->pcTimerName; <bb 6> : <L3>: return _4; } xTimerGetExpiryTime (struct tmrTimerControl * xTimer) { TickType_t xReturn; struct Timer_t * pxTimer; TickType_t D.6692; TickType_t _5; <bb 2> : pxTimer_2 = xTimer_1(D); if (xTimer_1(D) == 0B) goto <bb 3>; [INV] else goto <bb 5>; [INV] <bb 3> : vPortRaiseBASEPRI (); <bb 4> : goto <bb 4>; [INV] <bb 5> : xReturn_4 = pxTimer_2->xTimerListItem.xItemValue; _5 = xReturn_4; <bb 6> : <L3>: return _5; } uxTimerGetReloadMode (struct tmrTimerControl * xTimer) { UBaseType_t uxReturn; struct Timer_t * pxTimer; UBaseType_t D.6688; unsigned char _1; int _2; int _3; UBaseType_t _12; <bb 2> : pxTimer_6 = xTimer_5(D); if (xTimer_5(D) == 0B) goto <bb 3>; [INV] else goto <bb 5>; [INV] <bb 3> : vPortRaiseBASEPRI (); <bb 4> : goto <bb 4>; [INV] <bb 5> : vPortEnterCritical (); _1 = pxTimer_6->ucStatus; _2 = (int) _1; _3 = _2 & 4; if (_3 == 0) goto <bb 6>; [INV] else goto <bb 7>; [INV] <bb 6> : uxReturn_10 = 0; goto <bb 8>; [INV] <bb 7> : uxReturn_9 = 1; <bb 8> : # uxReturn_4 = PHI <uxReturn_10(6), uxReturn_9(7)> vPortExitCritical (); _12 = uxReturn_4; <bb 9> : <L6>: return _12; } vTimerSetReloadMode (struct tmrTimerControl * xTimer, const UBaseType_t uxAutoReload) { struct Timer_t * pxTimer; unsigned char _1; unsigned char _2; unsigned char _3; unsigned char _4; <bb 2> : pxTimer_7 = xTimer_6(D); if (xTimer_6(D) == 0B) goto <bb 3>; [INV] else goto <bb 5>; [INV] <bb 3> : vPortRaiseBASEPRI (); <bb 4> : goto <bb 4>; [INV] <bb 5> : vPortEnterCritical (); if (uxAutoReload_10(D) != 0) goto <bb 6>; [INV] else goto <bb 7>; [INV] <bb 6> : _1 = pxTimer_7->ucStatus; _2 = _1 | 4; pxTimer_7->ucStatus = _2; goto <bb 8>; [INV] <bb 7> : _3 = pxTimer_7->ucStatus; _4 = _3 & 251; pxTimer_7->ucStatus = _4; <bb 8> : vPortExitCritical (); return; } xTimerGetPeriod (struct tmrTimerControl * xTimer) { struct Timer_t * pxTimer; TickType_t D.6676; TickType_t _4; <bb 2> : pxTimer_2 = xTimer_1(D); if (xTimer_1(D) == 0B) goto <bb 3>; [INV] else goto <bb 5>; [INV] <bb 3> : vPortRaiseBASEPRI (); <bb 4> : goto <bb 4>; [INV] <bb 5> : _4 = pxTimer_2->xTimerPeriodInTicks; <bb 6> : <L3>: return _4; } xTimerGetTimerDaemonTaskHandle () { struct tskTaskControlBlock * D.6672; struct tskTaskControlBlock * xTimerTaskHandle.5_1; struct tskTaskControlBlock * _3; <bb 2> : xTimerTaskHandle.5_1 = xTimerTaskHandle; if (xTimerTaskHandle.5_1 == 0B) goto <bb 3>; [INV] else goto <bb 5>; [INV] <bb 3> : vPortRaiseBASEPRI (); <bb 4> : goto <bb 4>; [INV] <bb 5> : _3 = xTimerTaskHandle; <bb 6> : <L3>: return _3; } xTimerGenericCommand (struct tmrTimerControl * xTimer, const BaseType_t xCommandID, const TickType_t xOptionalValue, BaseType_t * const pxHigherPriorityTaskWoken, const TickType_t xTicksToWait) { struct DaemonTaskMessage_t xMessage; BaseType_t xReturn; BaseType_t D.6667; struct QueueDefinition * xTimerQueue.1_1; long int _2; struct QueueDefinition * xTimerQueue.2_3; struct QueueDefinition * xTimerQueue.3_4; struct QueueDefinition * xTimerQueue.4_5; BaseType_t _25; <bb 2> : xReturn_8 = 0; if (xTimer_9(D) == 0B) goto <bb 3>; [INV] else goto <bb 5>; [INV] <bb 3> : vPortRaiseBASEPRI (); <bb 4> : goto <bb 4>; [INV] <bb 5> : xTimerQueue.1_1 = xTimerQueue; if (xTimerQueue.1_1 != 0B) goto <bb 6>; [INV] else goto <bb 11>; [INV] <bb 6> : xMessage.xMessageID = xCommandID_11(D); xMessage.u.xTimerParameters.xMessageValue = xOptionalValue_13(D); xMessage.u.xTimerParameters.pxTimer = xTimer_9(D); if (xCommandID_11(D) <= 5) goto <bb 7>; [INV] else goto <bb 10>; [INV] <bb 7> : _2 = xTaskGetSchedulerState (); if (_2 == 2) goto <bb 8>; [INV] else goto <bb 9>; [INV] <bb 8> : xTimerQueue.2_3 = xTimerQueue; xReturn_24 = xQueueGenericSend (xTimerQueue.2_3, &xMessage, xTicksToWait_22(D), 0); goto <bb 11>; [INV] <bb 9> : xTimerQueue.3_4 = xTimerQueue; xReturn_21 = xQueueGenericSend (xTimerQueue.3_4, &xMessage, 0, 0); goto <bb 11>; [INV] <bb 10> : xTimerQueue.4_5 = xTimerQueue; xReturn_18 = xQueueGenericSendFromISR (xTimerQueue.4_5, &xMessage, pxHigherPriorityTaskWoken_16(D), 0); <bb 11> : # xReturn_6 = PHI <xReturn_8(5), xReturn_18(10), xReturn_21(9), xReturn_24(8)> _25 = xReturn_6; xMessage ={v} {CLOBBER}; <bb 12> : <L13>: return _25; } prvInitialiseNewTimer (const char * const pcTimerName, const TickType_t xTimerPeriodInTicks, const UBaseType_t uxAutoReload, void * const pvTimerID, void (*TimerCallbackFunction_t) (struct tmrTimerControl *) pxCallbackFunction, struct Timer_t * pxNewTimer) { struct ListItem_t * _1; unsigned char _2; unsigned char _3; <bb 2> : if (xTimerPeriodInTicks_5(D) == 0) goto <bb 3>; [INV] else goto <bb 5>; [INV] <bb 3> : vPortRaiseBASEPRI (); <bb 4> : goto <bb 4>; [INV] <bb 5> : prvCheckForValidListAndQueue (); pxNewTimer_8(D)->pcTimerName = pcTimerName_9(D); pxNewTimer_8(D)->xTimerPeriodInTicks = xTimerPeriodInTicks_5(D); pxNewTimer_8(D)->pvTimerID = pvTimerID_12(D); pxNewTimer_8(D)->pxCallbackFunction = pxCallbackFunction_14(D); _1 = &pxNewTimer_8(D)->xTimerListItem; vListInitialiseItem (_1); if (uxAutoReload_17(D) != 0) goto <bb 6>; [INV] else goto <bb 7>; [INV] <bb 6> : _2 = pxNewTimer_8(D)->ucStatus; _3 = _2 | 4; pxNewTimer_8(D)->ucStatus = _3; <bb 7> : return; } xTimerCreate (const char * const pcTimerName, const TickType_t xTimerPeriodInTicks, const UBaseType_t uxAutoReload, void * const pvTimerID, void (*TimerCallbackFunction_t) (struct tmrTimerControl *) pxCallbackFunction) { struct Timer_t * pxNewTimer; struct tmrTimerControl * D.6650; struct tmrTimerControl * _12; <bb 2> : pxNewTimer_4 = pvPortMalloc (44); if (pxNewTimer_4 != 0B) goto <bb 3>; [INV] else goto <bb 4>; [INV] <bb 3> : pxNewTimer_4->ucStatus = 0; prvInitialiseNewTimer (pcTimerName_6(D), xTimerPeriodInTicks_7(D), uxAutoReload_8(D), pvTimerID_9(D), pxCallbackFunction_10(D), pxNewTimer_4); <bb 4> : _12 = pxNewTimer_4; <bb 5> : <L2>: return _12; } xTimerCreateTimerTask () { BaseType_t xReturn; BaseType_t D.6646; struct QueueDefinition * xTimerQueue.0_1; BaseType_t _9; <bb 2> : xReturn_4 = 0; prvCheckForValidListAndQueue (); xTimerQueue.0_1 = xTimerQueue; if (xTimerQueue.0_1 != 0B) goto <bb 3>; [INV] else goto <bb 4>; [INV] <bb 3> : xReturn_8 = xTaskCreate (prvTimerTask, "Tmr Svc", 180, 0B, 2, &xTimerTaskHandle); <bb 4> : # xReturn_2 = PHI <xReturn_4(2), xReturn_8(3)> if (xReturn_2 == 0) goto <bb 5>; [INV] else goto <bb 7>; [INV] <bb 5> : vPortRaiseBASEPRI (); <bb 6> : goto <bb 6>; [INV] <bb 7> : _9 = xReturn_2; <bb 8> : <L6>: return _9; } __attribute__((always_inline)) vPortRaiseBASEPRI () { uint32_t ulNewBASEPRI; <bb 2> : __asm__ __volatile__(" mov %0, %1 msr basepri, %0 isb dsb " : "=r" ulNewBASEPRI_3 : "i" 16 : "memory"); return; }