1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950515253545556575859606162636465666768697071727374757677787980818283848586878889909192939495969798991001011021031041051061071081091101111121131141151161171181191201211221231241251261271281291301311321331341351361371381391401411421431441451461471481491501511521531541551561571581591601611621631641651661671681691701711721731741751761771781791801811821831841851861871881891901911921931941951961971981992002012022032042052062072082092102112122132142152162172182192202212222232242252262272282292302312322332342352362372382392402412422432442452462472482492502512522532542552562572582592602612622632642652662672682692702712722732742752762772782792802812822832842852862872882892902912922932942952962972982993003013023033043053063073083093103113123133143153163173183193203213223233243253263273283293303313323333343353363373383393403413423433443453463473483493503513523533543553563573583593603613623633643653663673683693703713723733743753763773783793803813823833843853863873883893903913923933943953963973983994004014024034044054064074084094104114124134144154164174184194204214224234244254264274284294304314324334344354364374384394404414424434444454464474484494504514524534544554564574584594604614624634644654664674684694704714724734744754764774784794804814824834844854864874884894904914924934944954964974984995005015025035045055065075085095105115125135145155165175185195205215225235245255265275285295305315325335345355365375385395405415425435445455465475485495505515525535545555565575585595605615625635645655665675685695705715725735745755765775785795805815825835845855865875885895905915925935945955965975985996006016026036046056066076086096106116126136146156166176186196206216226236246256266276286296306316326336346356366376386396406416426436446456466476486496506516526536546556566576586596606616626636646656666676686696706716726736746756766776786796806816826836846856866876886896906916926936946956966976986997007017027037047057067077087097107117127137147157167177187197207217227237247257267277287297307317327337347357367377387397407417427437447457467477487497507517527537547557567577587597607617627637647657667677687697707717727737747757767777787797807817827837847857867877887897907917927937947957967977987998008018028038048058068078088098108118128138148158168178188198208218228238248258268278288298308318328338348358368378388398408418428438448458468478488498508518528538548558568578588598608618628638648658668678688698708718728738748758768778788798808818828838848858868878888898908918928938948958968978988999009019029039049059069079089099109119129139149159169179189199209219229239249259269279289299309319329339349359369379389399409419429439449459469479489499509519529539549559569579589599609619629639649659669679689699709719729739749759769779789799809819829839849859869879889899909919929939949959969979989991000100110021003100410051006100710081009101010111012101310141015101610171018101910201021102210231024102510261027102810291030103110321033103410351036103710381039104010411042104310441045104610471048104910501051105210531054105510561057105810591060106110621063106410651066106710681069107010711072107310741075107610771078107910801081108210831084108510861087108810891090109110921093109410951096109710981099110011011102110311041105110611071108110911101111111211131114111511161117111811191120112111221123112411251126112711281129113011311132113311341135113611371138113911401141114211431144114511461147114811491150115111521153115411551156115711581159116011611162116311641165116611671168116911701171117211731174117511761177117811791180118111821183118411851186118711881189119011911192119311941195119611971198119912001201120212031204120512061207120812091210121112121213121412151216121712181219122012211222122312241225122612271228122912301231123212331234123512361237123812391240124112421243124412451246124712481249125012511252125312541255125612571258125912601261126212631264126512661267126812691270127112721273127412751276127712781279128012811282128312841285128612871288128912901291129212931294129512961297129812991300130113021303130413051306130713081309131013111312131313141315131613171318131913201321132213231324132513261327132813291330133113321333133413351336133713381339134013411342134313441345134613471348134913501351135213531354135513561357135813591360136113621363136413651366136713681369137013711372137313741375137613771378137913801381138213831384138513861387138813891390139113921393139413951396139713981399140014011402140314041405140614071408140914101411141214131414141514161417141814191420142114221423142414251426142714281429143014311432143314341435143614371438143914401441144214431444144514461447144814491450145114521453145414551456145714581459146014611462146314641465146614671468146914701471147214731474147514761477147814791480148114821483148414851486148714881489149014911492149314941495149614971498149915001501150215031504150515061507150815091510151115121513151415151516151715181519152015211522152315241525152615271528152915301531153215331534153515361537153815391540154115421543154415451546154715481549155015511552155315541555155615571558155915601561156215631564156515661567156815691570157115721573157415751576 |
- prvInsertTimerInActiveList.part.0 (struct Timer_t * const pxTimer)
- {
- BaseType_t xProcessTimerNow;
- const TickType_t xNextExpiryTime;
- const TickType_t xTimeNow;
- const TickType_t xCommandTime;
- struct List_t * pxOverflowTimerList.14_1;
- struct ListItem_t * _3;
- <bb 4> [local count: 1073741824]:
-
-
-
-
-
-
- <bb 2> [local count: 1073741824]:
-
- pxOverflowTimerList.14_1 = pxOverflowTimerList;
- _3 = &pxTimer_2(D)->xTimerListItem;
- vListInsert (pxOverflowTimerList.14_1, _3);
- <bb 3> [local count: 1073741824]:
-
-
-
- return xProcessTimerNow_4;
- }
- vTimerSetTimerNumber (struct tmrTimerControl * xTimer, UBaseType_t uxTimerNumber)
- {
- <bb 2> [local count: 1073741824]:
-
- MEM[(struct Timer_t *)xTimer_2(D)].uxTimerNumber = uxTimerNumber_3(D);
- return;
- }
- uxTimerGetTimerNumber (struct tmrTimerControl * xTimer)
- {
- UBaseType_t _3;
- <bb 2> [local count: 1073741824]:
-
- _3 = MEM[(struct Timer_t *)xTimer_2(D)].uxTimerNumber;
- return _3;
- }
- xTimerPendFunctionCall (void (*PendedFunction_t) (void *, uint32_t) xFunctionToPend, void * pvParameter1, uint32_t ulParameter2, TickType_t xTicksToWait)
- {
- uint32_t ulNewBASEPRI;
- BaseType_t xReturn;
- struct DaemonTaskMessage_t xMessage;
- struct QueueDefinition * xTimerQueue.26_1;
- <bb 2> [local count: 230763]:
-
-
-
- xTimerQueue.26_1 = xTimerQueue;
- if (xTimerQueue.26_1 == 0B)
- goto <bb 3>; [46.53%]
- else
- goto <bb 5>; [53.47%]
- <bb 3> [local count: 107374]:
-
-
-
-
- __asm__ __volatile__(" mov %0, %1
- msr basepri, %0
- isb
- dsb
- " : "=r" ulNewBASEPRI_14 : "i" 16 : "memory");
-
- <bb 4> [local count: 1073741824]:
-
-
-
-
- <bb 6> [local count: 1073741824]:
- goto <bb 4>; [100.00%]
- <bb 5> [local count: 123389]:
-
-
- xMessage.xMessageID = -1;
-
- xMessage.u.xCallbackParameters.pxCallbackFunction = xFunctionToPend_4(D);
-
- xMessage.u.xCallbackParameters.pvParameter1 = pvParameter1_6(D);
-
- xMessage.u.xCallbackParameters.ulParameter2 = ulParameter2_8(D);
-
- xReturn_12 = xQueueGenericSend (xTimerQueue.26_1, &xMessage, xTicksToWait_10(D), 0);
-
-
-
- xMessage ={v} {CLOBBER};
- return xReturn_12;
- }
- xTimerPendFunctionCallFromISR (void (*PendedFunction_t) (void *, uint32_t) xFunctionToPend, void * pvParameter1, uint32_t ulParameter2, BaseType_t * pxHigherPriorityTaskWoken)
- {
- BaseType_t xReturn;
- struct DaemonTaskMessage_t xMessage;
- struct QueueDefinition * xTimerQueue.25_1;
- <bb 2> [local count: 1073741824]:
-
-
-
- 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);
-
-
-
- xMessage ={v} {CLOBBER};
- return xReturn_12;
- }
- vTimerSetTimerID (struct tmrTimerControl * xTimer, void * pvNewID)
- {
- uint32_t ulNewBASEPRI;
- <bb 2> [local count: 230763]:
-
-
-
- if (xTimer_1(D) == 0B)
- goto <bb 3>; [46.53%]
- else
- goto <bb 5>; [53.47%]
- <bb 3> [local count: 107374]:
-
-
-
-
- __asm__ __volatile__(" mov %0, %1
- msr basepri, %0
- isb
- dsb
- " : "=r" ulNewBASEPRI_7 : "i" 16 : "memory");
-
- <bb 4> [local count: 1073741824]:
-
-
-
-
- <bb 6> [local count: 1073741824]:
- goto <bb 4>; [100.00%]
- <bb 5> [local count: 123389]:
-
-
- vPortEnterCritical ();
-
- MEM[(struct Timer_t *)xTimer_1(D)].pvTimerID = pvNewID_4(D);
-
- vPortExitCritical ();
- return;
- }
- pvTimerGetTimerID (struct tmrTimerControl * const xTimer)
- {
- uint32_t ulNewBASEPRI;
- void * pvReturn;
- <bb 2> [local count: 230763]:
-
-
-
-
- if (xTimer_1(D) == 0B)
- goto <bb 3>; [46.53%]
- else
- goto <bb 5>; [53.47%]
- <bb 3> [local count: 107374]:
-
-
-
-
- __asm__ __volatile__(" mov %0, %1
- msr basepri, %0
- isb
- dsb
- " : "=r" ulNewBASEPRI_6 : "i" 16 : "memory");
-
- <bb 4> [local count: 1073741824]:
-
-
-
-
- <bb 6> [local count: 1073741824]:
- goto <bb 4>; [100.00%]
- <bb 5> [local count: 123389]:
-
-
- vPortEnterCritical ();
-
- pvReturn_4 = MEM[(struct Timer_t *)xTimer_1(D)].pvTimerID;
-
-
- vPortExitCritical ();
-
- return pvReturn_4;
- }
- xTimerIsTimerActive (struct tmrTimerControl * xTimer)
- {
- uint32_t ulNewBASEPRI;
- unsigned char _1;
- long int _2;
- unsigned char _4;
- <bb 2> [local count: 230763]:
-
-
-
-
- if (xTimer_3(D) == 0B)
- goto <bb 3>; [46.53%]
- else
- goto <bb 5>; [53.47%]
- <bb 3> [local count: 107374]:
-
-
-
-
- __asm__ __volatile__(" mov %0, %1
- msr basepri, %0
- isb
- dsb
- " : "=r" ulNewBASEPRI_8 : "i" 16 : "memory");
-
- <bb 4> [local count: 1073741824]:
-
-
-
-
- <bb 6> [local count: 1073741824]:
- goto <bb 4>; [100.00%]
- <bb 5> [local count: 123389]:
-
-
- vPortEnterCritical ();
-
- _1 = MEM[(struct Timer_t *)xTimer_3(D)].ucStatus;
- _4 = _1 & 1;
- _2 = (long int) _4;
-
-
- vPortExitCritical ();
-
- return _2;
- }
- prvCheckForValidListAndQueue ()
- {
- struct QueueDefinition * xTimerQueue.17_1;
- struct QueueDefinition * _2;
- <bb 2> [local count: 1073741824]:
-
- vPortEnterCritical ();
-
- xTimerQueue.17_1 = xTimerQueue;
- if (xTimerQueue.17_1 == 0B)
- goto <bb 3>; [17.43%]
- else
- goto <bb 5>; [82.57%]
- <bb 3> [local count: 187153200]:
-
- vListInitialise (&xActiveTimerList1);
-
- vListInitialise (&xActiveTimerList2);
-
- pxCurrentTimerList = &xActiveTimerList1;
-
- pxOverflowTimerList = &xActiveTimerList2;
-
- _2 = xQueueGenericCreate (10, 16, 0);
- xTimerQueue = _2;
-
- if (_2 != 0B)
- goto <bb 4>; [53.47%]
- else
- goto <bb 5>; [46.53%]
- <bb 4> [local count: 100070816]:
-
- vQueueAddToRegistry (_2, "TmrQ");
- <bb 5> [local count: 1073741824]:
-
-
- vPortExitCritical ();
- return;
- }
- prvSwitchTimerLists ()
- {
- TickType_t xNextExpireTime;
- struct xLIST_ITEM * _1;
- struct List_t * pxCurrentTimerList.11_2;
- long unsigned int _3;
- struct List_t * pxOverflowTimerList.12_4;
- struct List_t * pxCurrentTimerList.11_7;
- <bb 2> [local count: 118111600]:
-
-
-
- goto <bb 4>; [100.00%]
- <bb 3> [local count: 955630223]:
-
- _1 = pxCurrentTimerList.11_2->xListEnd.pxNext;
- xNextExpireTime_10 = _1->xItemValue;
-
-
- prvProcessExpiredTimer (xNextExpireTime_10, 4294967295);
- <bb 4> [local count: 1073741824]:
-
- pxCurrentTimerList.11_2 = pxCurrentTimerList;
- _3 ={v} pxCurrentTimerList.11_2->uxNumberOfItems;
- if (_3 != 0)
- goto <bb 3>; [89.00%]
- else
- goto <bb 5>; [11.00%]
- <bb 5> [local count: 118111601]:
-
-
-
-
- pxOverflowTimerList.12_4 = pxOverflowTimerList;
- pxCurrentTimerList = pxOverflowTimerList.12_4;
-
- pxOverflowTimerList = pxCurrentTimerList.11_7;
- return;
- }
- prvProcessReceivedCommands ()
- {
- uint32_t ulNewBASEPRI;
- 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 int _15;
- unsigned char _16;
- long unsigned int _17;
- long unsigned int _18;
- long unsigned int _19;
- unsigned char _21;
- void (*<T689>) (struct tmrTimerControl *) _22;
- unsigned char _23;
- unsigned char _24;
- unsigned char _25;
- unsigned char _26;
- long unsigned int _27;
- long unsigned int _30;
- unsigned char _31;
- unsigned char _33;
- struct QueueDefinition * xTimerQueue.16_34;
- long int _35;
- unsigned char _63;
- unsigned char _65;
- <bb 2> [local count: 10436763]:
-
-
-
-
-
- goto <bb 23>; [100.00%]
- <bb 3> [local count: 177477686]:
-
- _1 = xMessage.xMessageID;
- if (_1 < 0)
- goto <bb 4>; [41.00%]
- else
- goto <bb 5>; [59.00%]
- <bb 4> [local count: 72765851]:
-
-
-
-
-
- _2 = MEM[(const struct CallbackParameters_t *)&xMessage + 4B].pxCallbackFunction;
- _3 = MEM[(const struct CallbackParameters_t *)&xMessage + 4B].pvParameter1;
- _4 = MEM[(const struct CallbackParameters_t *)&xMessage + 4B].ulParameter2;
- _2 (_3, _4);
- <bb 5> [local count: 177477686]:
-
-
- _5 = xMessage.xMessageID;
- if (_5 >= 0)
- goto <bb 6>; [5.50%]
- else
- goto <bb 29>; [94.50%]
- <bb 29> [local count: 167716413]:
- goto <bb 25>; [100.00%]
- <bb 6> [local count: 9761273]:
-
- pxTimer_47 = xMessage.u.xTimerParameters.pxTimer;
-
-
- _6 = pxTimer_47->xTimerListItem.pvContainer;
- if (_6 != 0B)
- goto <bb 7>; [53.47%]
- else
- goto <bb 8>; [46.53%]
- <bb 7> [local count: 5219353]:
-
- _7 = &pxTimer_47->xTimerListItem;
- uxListRemove (_7);
- <bb 8> [local count: 9761273]:
-
-
-
- xTimeNow_50 = prvSampleTimeNow (&xTimerListsWereSwitched);
-
-
- _8 = xMessage.xMessageID;
- switch (_8) <default: <L41> [20.00%], case 1 ... 2: <L11> [20.00%], case 3: <L21> [20.00%], case 4: <L23> [20.00%], case 5: <L28> [20.00%], case 6 ... 7: <L11> [20.00%], case 8: <L21> [20.00%], case 9: <L23> [20.00%]>
- <bb 28> [local count: 1952255]:
- <L41>:
- goto <bb 24>; [100.00%]
- <bb 9> [local count: 1952255]:
-
-
- <L11>:
-
- _9 = pxTimer_14->ucStatus;
- _10 = _9 | 1;
- pxTimer_14->ucStatus = _10;
-
- _11 = xMessage.u.xTimerParameters.xMessageValue;
- _12 = pxTimer_14->xTimerPeriodInTicks;
- _13 = _11 + _12;
- _15 = prvInsertTimerInActiveList (pxTimer_14, _13, xTimeNow_46, _11);
- if (_15 != 0)
- goto <bb 10>; [50.00%]
- else
- goto <bb 22>; [50.00%]
- <bb 10> [local count: 976127]:
-
- _16 = pxTimer_14->ucStatus;
- _65 = _16 & 4;
- if (_65 != 0)
- goto <bb 11>; [33.00%]
- else
- goto <bb 12>; [67.00%]
- <bb 11> [local count: 322122]:
-
- _17 = xMessage.u.xTimerParameters.xMessageValue;
- _18 = pxTimer_14->xTimerPeriodInTicks;
- _19 = _17 + _18;
- prvReloadTimer (pxTimer_14, _19, xTimeNow_46);
- goto <bb 13>; [100.00%]
- <bb 12> [local count: 654005]:
-
- _21 = _16 & 254;
- pxTimer_14->ucStatus = _21;
- <bb 13> [local count: 976127]:
-
-
- _22 = pxTimer_14->pxCallbackFunction;
- _22 (pxTimer_14);
- goto <bb 22>; [100.00%]
- <bb 14> [local count: 1952255]:
-
- <L21>:
-
- _23 = pxTimer_20->ucStatus;
- _24 = _23 & 254;
- pxTimer_20->ucStatus = _24;
-
- goto <bb 22>; [100.00%]
- <bb 15> [local count: 1952255]:
-
-
- <L23>:
-
- _25 = pxTimer_44->ucStatus;
- _26 = _25 | 1;
- pxTimer_44->ucStatus = _26;
-
- _27 = xMessage.u.xTimerParameters.xMessageValue;
- pxTimer_44->xTimerPeriodInTicks = _27;
-
- if (_27 == 0)
- goto <bb 16>; [5.50%]
- else
- goto <bb 18>; [94.50%]
- <bb 16> [local count: 107374]:
-
-
-
-
- __asm__ __volatile__(" mov %0, %1
- msr basepri, %0
- isb
- dsb
- " : "=r" ulNewBASEPRI_64 : "i" 16 : "memory");
-
- <bb 17> [local count: 1073741824]:
-
-
-
-
- <bb 27> [local count: 1073741824]:
- goto <bb 17>; [100.00%]
- <bb 18> [local count: 1844881]:
-
-
- _30 = _27 + xTimeNow_67;
- prvInsertTimerInActiveList (pxTimer_44, _30, xTimeNow_67, xTimeNow_67);
-
- goto <bb 22>; [100.00%]
- <bb 19> [local count: 1952255]:
-
- <L28>:
-
- _31 = pxTimer_56->ucStatus;
- _63 = _31 & 2;
- if (_63 == 0)
- goto <bb 20>; [33.00%]
- else
- goto <bb 21>; [67.00%]
- <bb 20> [local count: 644244]:
-
- vPortFree (pxTimer_56);
- goto <bb 22>; [100.00%]
- <bb 21> [local count: 1308011]:
-
- _33 = _31 & 254;
- pxTimer_56->ucStatus = _33;
- <bb 22> [local count: 7701644]:
- <bb 23> [local count: 18138407]:
- <bb 24> [local count: 20090662]:
- <L38>:
- <bb 25> [local count: 187807075]:
-
- xTimerQueue.16_34 = xTimerQueue;
- _35 = xQueueReceive (xTimerQueue.16_34, &xMessage, 0);
- if (_35 != 0)
- goto <bb 3>; [94.50%]
- else
- goto <bb 26>; [5.50%]
- <bb 26> [local count: 10329389]:
- 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;
- long unsigned int _1;
- long unsigned int _2;
- struct List_t * pxCurrentTimerList.15_3;
- struct ListItem_t * _4;
- <bb 2> [local count: 1073741824]:
-
-
-
- pxTimer_8(D)->xTimerListItem.xItemValue = xNextExpiryTime_9(D);
-
- pxTimer_8(D)->xTimerListItem.pvOwner = pxTimer_8(D);
-
- if (xNextExpiryTime_9(D) <= xTimeNow_12(D))
- goto <bb 3>; [50.00%]
- else
- goto <bb 5>; [50.00%]
- <bb 3> [local count: 536870913]:
-
- _1 = xTimeNow_12(D) - xCommandTime_13(D);
- _2 = pxTimer_8(D)->xTimerPeriodInTicks;
- if (_1 >= _2)
- goto <bb 8>; [67.00%]
- else
- goto <bb 4>; [33.00%]
- <bb 4> [local count: 177167400]:
-
-
-
- xProcessTimerNow_16 = prvInsertTimerInActiveList.part.0 (pxTimer_8(D));
- goto <bb 8>; [100.00%]
- <bb 5> [local count: 536870913]:
-
- if (xTimeNow_12(D) < xCommandTime_13(D))
- goto <bb 6>; [67.00%]
- else
- goto <bb 7>; [33.00%]
- <bb 6> [local count: 359703511]:
- if (xNextExpiryTime_9(D) >= xCommandTime_13(D))
- goto <bb 8>; [50.00%]
- else
- goto <bb 7>; [50.00%]
- <bb 7> [local count: 357019157]:
-
- pxCurrentTimerList.15_3 = pxCurrentTimerList;
- _4 = &pxTimer_8(D)->xTimerListItem;
- vListInsert (pxCurrentTimerList.15_3, _4);
- <bb 8> [local count: 1073741824]:
-
-
-
- return xProcessTimerNow_5;
- }
- prvSampleTimeNow (BaseType_t * const pxTimerListsWereSwitched)
- {
- static TickType_t xLastTime = 0;
- TickType_t xTimeNow;
- long unsigned int xLastTime.9_1;
- <bb 2> [local count: 1073741824]:
-
-
-
- xTimeNow_5 = xTaskGetTickCount ();
-
-
- xLastTime.9_1 = xLastTime;
- if (xLastTime.9_1 > xTimeNow_5)
- goto <bb 3>; [33.00%]
- else
- goto <bb 4>; [67.00%]
- <bb 3> [local count: 354334802]:
-
- prvSwitchTimerLists ();
-
- *pxTimerListsWereSwitched_6(D) = 1;
- goto <bb 5>; [100.00%]
- <bb 4> [local count: 719407023]:
-
- *pxTimerListsWereSwitched_6(D) = 0;
- <bb 5> [local count: 1073741824]:
-
- xLastTime = xTimeNow_5;
-
- return xTimeNow_5;
- }
- prvGetNextExpireTime (BaseType_t * const pxListWasEmpty)
- {
- TickType_t xNextExpireTime;
- struct List_t * pxCurrentTimerList.3_1;
- long unsigned int _2;
- struct xLIST_ITEM * _3;
- long int iftmp.2_5;
- <bb 2> [local count: 1073741824]:
-
-
- pxCurrentTimerList.3_1 = pxCurrentTimerList;
- _2 ={v} pxCurrentTimerList.3_1->uxNumberOfItems;
- if (_2 == 0)
- goto <bb 4>; [50.00%]
- else
- goto <bb 3>; [50.00%]
- <bb 3> [local count: 536870913]:
- <bb 4> [local count: 1073741824]:
-
- *pxListWasEmpty_7(D) = iftmp.2_5;
-
- if (iftmp.2_5 == 0)
- goto <bb 5>; [50.00%]
- else
- goto <bb 6>; [50.00%]
- <bb 5> [local count: 536870913]:
-
- _3 = pxCurrentTimerList.3_1->xListEnd.pxNext;
- xNextExpireTime_9 = _3->xItemValue;
-
- <bb 6> [local count: 1073741824]:
-
-
-
- return xNextExpireTime_4;
- }
- prvProcessTimerOrBlockTask (const TickType_t xNextExpireTime, BaseType_t xListWasEmpty)
- {
- BaseType_t xTimerListsWereSwitched;
- TickType_t xTimeNow;
- long int xTimerListsWereSwitched.5_1;
- struct List_t * pxOverflowTimerList.7_2;
- long unsigned int _3;
- struct QueueDefinition * xTimerQueue.8_4;
- long unsigned int _5;
- long int _6;
- <bb 2> [local count: 1073741823]:
-
-
-
- vTaskSuspendAll ();
-
- xTimeNow_12 = prvSampleTimeNow (&xTimerListsWereSwitched);
-
-
- xTimerListsWereSwitched.5_1 = xTimerListsWereSwitched;
- if (xTimerListsWereSwitched.5_1 == 0)
- goto <bb 3>; [67.00%]
- else
- goto <bb 12>; [33.00%]
- <bb 3> [local count: 719407022]:
-
- if (xListWasEmpty_14(D) == 0)
- goto <bb 4>; [50.00%]
- else
- goto <bb 6>; [50.00%]
- <bb 4> [local count: 359703511]:
- if (xTimeNow_12 >= xNextExpireTime_15(D))
- goto <bb 5>; [33.00%]
- else
- goto <bb 6>; [67.00%]
- <bb 5> [local count: 118702158]:
-
- xTaskResumeAll ();
-
- prvProcessExpiredTimer (xNextExpireTime_15(D), xTimeNow_12);
- goto <bb 13>; [100.00%]
- <bb 6> [local count: 600704864]:
-
- if (xListWasEmpty_14(D) != 0)
- goto <bb 7>; [50.00%]
- else
- goto <bb 10>; [50.00%]
- <bb 7> [local count: 300352432]:
-
- pxOverflowTimerList.7_2 = pxOverflowTimerList;
- _3 ={v} pxOverflowTimerList.7_2->uxNumberOfItems;
- if (_3 == 0)
- goto <bb 10>; [50.00%]
- else
- goto <bb 8>; [50.00%]
- <bb 8> [local count: 150176216]:
- <bb 10> [local count: 600704864]:
-
-
-
- xTimerQueue.8_4 = xTimerQueue;
- _5 = xNextExpireTime_15(D) - xTimeNow_12;
- vQueueWaitForMessageRestricted (xTimerQueue.8_4, _5, xListWasEmpty_7);
-
- _6 = xTaskResumeAll ();
- if (_6 == 0)
- goto <bb 11>; [50.00%]
- else
- goto <bb 13>; [50.00%]
- <bb 11> [local count: 300352432]:
-
- MEM[(volatile uint32_t *)3758157060B] ={v} 268435456;
-
- __asm__ __volatile__("dsb" : : : "memory");
-
- __asm__ __volatile__("isb");
-
- goto <bb 13>; [100.00%]
- <bb 12> [local count: 354334802]:
-
- xTaskResumeAll ();
- <bb 13> [local count: 1073741824]:
- xTimerListsWereSwitched ={v} {CLOBBER};
- return;
- }
- prvTimerTask (void * pvParameters)
- {
- BaseType_t xListWasEmpty;
- TickType_t xNextExpireTime;
- long int xListWasEmpty.1_1;
- <bb 2> [local count: 107374]:
- <bb 3> [local count: 1073741824]:
-
-
-
-
-
- xNextExpireTime_5 = prvGetNextExpireTime (&xListWasEmpty);
-
-
- xListWasEmpty.1_1 = xListWasEmpty;
- prvProcessTimerOrBlockTask (xNextExpireTime_5, xListWasEmpty.1_1);
-
- prvProcessReceivedCommands ();
-
- <bb 4> [local count: 1073741824]:
- goto <bb 3>; [100.00%]
- }
- prvProcessExpiredTimer (const TickType_t xNextExpireTime, const TickType_t xTimeNow)
- {
- struct Timer_t * const pxTimer;
- struct List_t * pxCurrentTimerList.13_1;
- struct xLIST_ITEM * _2;
- struct ListItem_t * _3;
- unsigned char _4;
- unsigned char _5;
- void (*<T689>) (struct tmrTimerControl *) _6;
- unsigned char _16;
- <bb 2> [local count: 1073741824]:
-
- pxCurrentTimerList.13_1 = pxCurrentTimerList;
- _2 = pxCurrentTimerList.13_1->xListEnd.pxNext;
- pxTimer_9 = _2->pvOwner;
-
-
- _3 = &pxTimer_9->xTimerListItem;
- uxListRemove (_3);
-
- _4 = pxTimer_9->ucStatus;
- _16 = _4 & 4;
- if (_16 != 0)
- goto <bb 3>; [33.00%]
- else
- goto <bb 4>; [67.00%]
- <bb 3> [local count: 354334802]:
-
- prvReloadTimer (pxTimer_9, xNextExpireTime_12(D), xTimeNow_13(D));
- goto <bb 5>; [100.00%]
- <bb 4> [local count: 719407023]:
-
- _5 = _4 & 254;
- pxTimer_9->ucStatus = _5;
- <bb 5> [local count: 1073741824]:
-
-
- _6 = pxTimer_9->pxCallbackFunction;
- _6 (pxTimer_9);
- 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> [local count: 118111600]:
-
- goto <bb 4>; [100.00%]
- <bb 3> [local count: 955630223]:
-
- _1 = pxTimer_10(D)->xTimerPeriodInTicks;
- xExpiredTime_13 = _1 + xExpiredTime_6;
-
-
-
- _2 = pxTimer_10(D)->pxCallbackFunction;
- _2 (pxTimer_10(D));
- <bb 4> [local count: 1073741824]:
-
-
-
- _3 = pxTimer_10(D)->xTimerPeriodInTicks;
- _4 = _3 + xExpiredTime_6;
- _5 = prvInsertTimerInActiveList (pxTimer_10(D), _4, xTimeNow_11(D), xExpiredTime_6);
- if (_5 != 0)
- goto <bb 3>; [89.00%]
- else
- goto <bb 5>; [11.00%]
- <bb 5> [local count: 118111601]:
- return;
- }
- pcTimerGetName (struct tmrTimerControl * xTimer)
- {
- uint32_t ulNewBASEPRI;
- const char * _3;
- <bb 2> [local count: 357913]:
-
-
-
- if (xTimer_1(D) == 0B)
- goto <bb 3>; [30.00%]
- else
- goto <bb 5>; [70.00%]
- <bb 3> [local count: 107374]:
-
-
-
-
- __asm__ __volatile__(" mov %0, %1
- msr basepri, %0
- isb
- dsb
- " : "=r" ulNewBASEPRI_4 : "i" 16 : "memory");
-
- <bb 4> [local count: 1073741824]:
-
-
-
-
- <bb 6> [local count: 1073741824]:
- goto <bb 4>; [100.00%]
- <bb 5> [local count: 250539]:
-
-
- _3 = MEM[(struct Timer_t *)xTimer_1(D)].pcTimerName;
- return _3;
- }
- xTimerGetExpiryTime (struct tmrTimerControl * xTimer)
- {
- uint32_t ulNewBASEPRI;
- TickType_t xReturn;
- <bb 2> [local count: 357913]:
-
-
-
-
- if (xTimer_1(D) == 0B)
- goto <bb 3>; [30.00%]
- else
- goto <bb 5>; [70.00%]
- <bb 3> [local count: 107374]:
-
-
-
-
- __asm__ __volatile__(" mov %0, %1
- msr basepri, %0
- isb
- dsb
- " : "=r" ulNewBASEPRI_4 : "i" 16 : "memory");
-
- <bb 4> [local count: 1073741824]:
-
-
-
-
- <bb 6> [local count: 1073741824]:
- goto <bb 4>; [100.00%]
- <bb 5> [local count: 250539]:
-
-
- xReturn_3 = MEM[(struct Timer_t *)xTimer_1(D)].xTimerListItem.xItemValue;
-
-
- return xReturn_3;
- }
- uxTimerGetReloadMode (struct tmrTimerControl * xTimer)
- {
- uint32_t ulNewBASEPRI;
- UBaseType_t uxReturn;
- unsigned char _1;
- unsigned char _4;
- <bb 2> [local count: 230763]:
-
-
-
-
- if (xTimer_3(D) == 0B)
- goto <bb 3>; [46.53%]
- else
- goto <bb 5>; [53.47%]
- <bb 3> [local count: 107374]:
-
-
-
-
- __asm__ __volatile__(" mov %0, %1
- msr basepri, %0
- isb
- dsb
- " : "=r" ulNewBASEPRI_8 : "i" 16 : "memory");
-
- <bb 4> [local count: 1073741824]:
-
-
-
-
- <bb 8> [local count: 1073741824]:
- goto <bb 4>; [100.00%]
- <bb 5> [local count: 123389]:
-
-
- vPortEnterCritical ();
-
- _1 = MEM[(struct Timer_t *)xTimer_3(D)].ucStatus;
- _4 = _1 & 4;
- if (_4 == 0)
- goto <bb 7>; [50.00%]
- else
- goto <bb 6>; [50.00%]
- <bb 6> [local count: 61694]:
-
-
- <bb 7> [local count: 123389]:
-
-
-
- vPortExitCritical ();
-
- return uxReturn_2;
- }
- vTimerSetReloadMode (struct tmrTimerControl * xTimer, const UBaseType_t uxAutoReload)
- {
- uint32_t ulNewBASEPRI;
- unsigned char _1;
- unsigned char _2;
- unsigned char _3;
- unsigned char _4;
- <bb 2> [local count: 230763]:
-
-
-
- if (xTimer_6(D) == 0B)
- goto <bb 3>; [46.53%]
- else
- goto <bb 5>; [53.47%]
- <bb 3> [local count: 107374]:
-
-
-
-
- __asm__ __volatile__(" mov %0, %1
- msr basepri, %0
- isb
- dsb
- " : "=r" ulNewBASEPRI_13 : "i" 16 : "memory");
-
- <bb 4> [local count: 1073741824]:
-
-
-
-
- <bb 9> [local count: 1073741824]:
- goto <bb 4>; [100.00%]
- <bb 5> [local count: 123389]:
-
-
- vPortEnterCritical ();
-
- if (uxAutoReload_9(D) != 0)
- goto <bb 6>; [50.00%]
- else
- goto <bb 7>; [50.00%]
- <bb 6> [local count: 61694]:
-
- _1 = MEM[(struct Timer_t *)xTimer_6(D)].ucStatus;
- _2 = _1 | 4;
- MEM[(struct Timer_t *)xTimer_6(D)].ucStatus = _2;
- goto <bb 8>; [100.00%]
- <bb 7> [local count: 61694]:
-
- _3 = MEM[(struct Timer_t *)xTimer_6(D)].ucStatus;
- _4 = _3 & 251;
- MEM[(struct Timer_t *)xTimer_6(D)].ucStatus = _4;
- <bb 8> [local count: 123389]:
-
- vPortExitCritical ();
- return;
- }
- xTimerGetPeriod (struct tmrTimerControl * xTimer)
- {
- uint32_t ulNewBASEPRI;
- TickType_t _3;
- <bb 2> [local count: 357913]:
-
-
-
- if (xTimer_1(D) == 0B)
- goto <bb 3>; [30.00%]
- else
- goto <bb 5>; [70.00%]
- <bb 3> [local count: 107374]:
-
-
-
-
- __asm__ __volatile__(" mov %0, %1
- msr basepri, %0
- isb
- dsb
- " : "=r" ulNewBASEPRI_4 : "i" 16 : "memory");
-
- <bb 4> [local count: 1073741824]:
-
-
-
-
- <bb 6> [local count: 1073741824]:
- goto <bb 4>; [100.00%]
- <bb 5> [local count: 250539]:
-
-
- _3 = MEM[(struct Timer_t *)xTimer_1(D)].xTimerPeriodInTicks;
- return _3;
- }
- xTimerGetTimerDaemonTaskHandle ()
- {
- uint32_t ulNewBASEPRI;
- struct tskTaskControlBlock * xTimerTaskHandle.24_1;
- <bb 2> [local count: 357913]:
-
- xTimerTaskHandle.24_1 = xTimerTaskHandle;
- if (xTimerTaskHandle.24_1 == 0B)
- goto <bb 3>; [30.00%]
- else
- goto <bb 5>; [70.00%]
- <bb 3> [local count: 107374]:
-
-
-
-
- __asm__ __volatile__(" mov %0, %1
- msr basepri, %0
- isb
- dsb
- " : "=r" ulNewBASEPRI_3 : "i" 16 : "memory");
-
- <bb 4> [local count: 1073741824]:
-
-
-
-
- <bb 6> [local count: 1073741824]:
- goto <bb 4>; [100.00%]
- <bb 5> [local count: 250539]:
-
-
- return xTimerTaskHandle.24_1;
- }
- xTimerGenericCommand (struct tmrTimerControl * xTimer, const BaseType_t xCommandID, const TickType_t xOptionalValue, BaseType_t * const pxHigherPriorityTaskWoken, const TickType_t xTicksToWait)
- {
- uint32_t ulNewBASEPRI;
- struct DaemonTaskMessage_t xMessage;
- BaseType_t xReturn;
- struct QueueDefinition * xTimerQueue.20_1;
- long int _2;
- struct QueueDefinition * xTimerQueue.21_3;
- struct QueueDefinition * xTimerQueue.22_4;
- <bb 2> [local count: 357913]:
-
-
-
-
- if (xTimer_7(D) == 0B)
- goto <bb 3>; [30.00%]
- else
- goto <bb 5>; [70.00%]
- <bb 3> [local count: 107374]:
-
-
-
-
- __asm__ __volatile__(" mov %0, %1
- msr basepri, %0
- isb
- dsb
- " : "=r" ulNewBASEPRI_24 : "i" 16 : "memory");
-
- <bb 4> [local count: 1073741824]:
-
-
-
-
- <bb 12> [local count: 1073741824]:
- goto <bb 4>; [100.00%]
- <bb 5> [local count: 250539]:
-
-
- xTimerQueue.20_1 = xTimerQueue;
- if (xTimerQueue.20_1 != 0B)
- goto <bb 6>; [70.00%]
- else
- goto <bb 11>; [30.00%]
- <bb 6> [local count: 175378]:
-
- xMessage.xMessageID = xCommandID_9(D);
-
- xMessage.u.xTimerParameters.xMessageValue = xOptionalValue_11(D);
-
- xMessage.u.xTimerParameters.pxTimer = xTimer_7(D);
-
- if (xCommandID_9(D) <= 5)
- goto <bb 7>; [50.00%]
- else
- goto <bb 10>; [50.00%]
- <bb 7> [local count: 87689]:
-
- _2 = xTaskGetSchedulerState ();
- if (_2 == 2)
- goto <bb 8>; [34.00%]
- else
- goto <bb 9>; [66.00%]
- <bb 8> [local count: 29814]:
-
- xTimerQueue.21_3 = xTimerQueue;
- xReturn_22 = xQueueGenericSend (xTimerQueue.21_3, &xMessage, xTicksToWait_20(D), 0);
-
- goto <bb 11>; [100.00%]
- <bb 9> [local count: 57875]:
-
- xTimerQueue.22_4 = xTimerQueue;
- xReturn_19 = xQueueGenericSend (xTimerQueue.22_4, &xMessage, 0, 0);
-
- goto <bb 11>; [100.00%]
- <bb 10> [local count: 87689]:
-
- xReturn_16 = xQueueGenericSendFromISR (xTimerQueue.20_1, &xMessage, pxHigherPriorityTaskWoken_14(D), 0);
-
- <bb 11> [local count: 250539]:
-
-
-
-
- xMessage ={v} {CLOBBER};
- return xReturn_5;
- }
- 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)
- {
- uint32_t ulNewBASEPRI;
- struct ListItem_t * _1;
- unsigned char _2;
- unsigned char _3;
- <bb 2> [local count: 160260]:
-
- if (xTimerPeriodInTicks_5(D) == 0)
- goto <bb 3>; [67.00%]
- else
- goto <bb 5>; [33.00%]
- <bb 3> [local count: 107374]:
-
-
-
-
- __asm__ __volatile__(" mov %0, %1
- msr basepri, %0
- isb
- dsb
- " : "=r" ulNewBASEPRI_19 : "i" 16 : "memory");
-
- <bb 4> [local count: 1073741824]:
-
-
-
-
- <bb 8> [local count: 1073741824]:
- goto <bb 4>; [100.00%]
- <bb 5> [local count: 52886]:
-
-
- 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>; [50.00%]
- else
- goto <bb 7>; [50.00%]
- <bb 6> [local count: 26443]:
-
- _2 = pxNewTimer_8(D)->ucStatus;
- _3 = _2 | 4;
- pxNewTimer_8(D)->ucStatus = _3;
- <bb 7> [local count: 52886]:
-
- 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;
- <bb 2> [local count: 1073741824]:
-
-
- pxNewTimer_4 = pvPortMalloc (44);
-
-
- if (pxNewTimer_4 != 0B)
- goto <bb 3>; [53.47%]
- else
- goto <bb 4>; [46.53%]
- <bb 3> [local count: 574129754]:
-
- pxNewTimer_4->ucStatus = 0;
-
- prvInitialiseNewTimer (pcTimerName_6(D), xTimerPeriodInTicks_7(D), uxAutoReload_8(D), pvTimerID_9(D), pxCallbackFunction_10(D), pxNewTimer_4);
- <bb 4> [local count: 1073741824]:
-
- return pxNewTimer_4;
- }
- xTimerCreateTimerTask ()
- {
- uint32_t ulNewBASEPRI;
- BaseType_t xReturn;
- struct QueueDefinition * xTimerQueue.0_1;
- <bb 2> [local count: 146556]:
-
-
-
- prvCheckForValidListAndQueue ();
-
- xTimerQueue.0_1 = xTimerQueue;
- if (xTimerQueue.0_1 != 0B)
- goto <bb 4>; [53.47%]
- else
- goto <bb 5>; [46.53%]
- <bb 4> [local count: 78363]:
-
- xReturn_5 = xTaskCreate (prvTimerTask, "Tmr Svc", 180, 0B, 2, &xTimerTaskHandle);
-
-
-
- if (xReturn_5 == 0)
- goto <bb 5>; [50.00%]
- else
- goto <bb 7>; [50.00%]
- <bb 5> [local count: 107374]:
-
-
-
-
-
- __asm__ __volatile__(" mov %0, %1
- msr basepri, %0
- isb
- dsb
- " : "=r" ulNewBASEPRI_7 : "i" 16 : "memory");
-
- <bb 6> [local count: 1073741824]:
-
-
-
-
- <bb 8> [local count: 1073741824]:
- goto <bb 6>; [100.00%]
- <bb 7> [local count: 39182]:
-
-
- return xReturn_5;
- }
|