Marking local functions: prvTestWaitCondition vPortSetBASEPRI ulPortRaiseBASEPRI vPortRaiseBASEPRI


Marking externally visible functions: vEventGroupSetNumber uxEventGroupGetNumber xEventGroupSetBitsFromISR vEventGroupClearBitsCallback vEventGroupSetBitsCallback vEventGroupDelete xEventGroupSetBits xEventGroupGetBitsFromISR xEventGroupClearBitsFromISR xEventGroupClearBits xEventGroupWaitBits xEventGroupSync xEventGroupCreate


Marking externally visible variables:


Reclaiming functions:
Reclaiming variables:
Clearing address taken flags:
Symbol table:

vPortFree/29 (vPortFree) @05e96b60
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: vEventGroupDelete/11 
  Calls: 
vTaskRemoveFromUnorderedEventList/28 (vTaskRemoveFromUnorderedEventList) @05e969a0
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: vEventGroupDelete/11 xEventGroupSetBits/10 
  Calls: 
xTimerPendFunctionCallFromISR/27 (xTimerPendFunctionCallFromISR) @05e96460
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: xEventGroupSetBitsFromISR/15 xEventGroupClearBitsFromISR/8 
  Calls: 
vPortExitCritical/26 (vPortExitCritical) @05e77d20
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: xEventGroupClearBits/7 xEventGroupWaitBits/6 xEventGroupSync/5 
  Calls: 
vPortEnterCritical/25 (vPortEnterCritical) @05e77c40
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: xEventGroupClearBits/7 xEventGroupWaitBits/6 xEventGroupSync/5 
  Calls: 
uxTaskResetEventItemValue/24 (uxTaskResetEventItemValue) @05e77b60
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: xEventGroupWaitBits/6 xEventGroupSync/5 
  Calls: 
xTaskResumeAll/23 (xTaskResumeAll) @05e77a80
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: vEventGroupDelete/11 xEventGroupSetBits/10 xEventGroupWaitBits/6 xEventGroupSync/5 
  Calls: 
vTaskPlaceOnUnorderedEventList/22 (vTaskPlaceOnUnorderedEventList) @05e779a0
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: xEventGroupWaitBits/6 xEventGroupSync/5 
  Calls: 
vTaskSuspendAll/21 (vTaskSuspendAll) @05e778c0
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: vEventGroupDelete/11 xEventGroupSetBits/10 xEventGroupWaitBits/6 xEventGroupSync/5 
  Calls: 
xTaskGetSchedulerState/20 (xTaskGetSchedulerState) @05e777e0
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: xEventGroupWaitBits/6 xEventGroupSync/5 
  Calls: 
vListInitialise/19 (vListInitialise) @05e77460
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: xEventGroupCreate/4 
  Calls: 
pvPortMalloc/18 (pvPortMalloc) @05e77380
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: xEventGroupCreate/4 
  Calls: 
vEventGroupSetNumber/17 (vEventGroupSetNumber) @05e6be00
  Type: function definition analyzed
  Visibility: externally_visible public
  References: 
  Referring: 
  Availability: available
  Function flags: body optimize_size
  Called by: 
  Calls: 
uxEventGroupGetNumber/16 (uxEventGroupGetNumber) @05e6b8c0
  Type: function definition analyzed
  Visibility: externally_visible public
  References: 
  Referring: 
  Availability: available
  Function flags: body optimize_size
  Called by: 
  Calls: 
xEventGroupSetBitsFromISR/15 (xEventGroupSetBitsFromISR) @05e6b2a0
  Type: function definition analyzed
  Visibility: externally_visible public
  References: vEventGroupSetBitsCallback/12 (addr)
  Referring: 
  Availability: available
  Function flags: body optimize_size
  Called by: 
  Calls: xTimerPendFunctionCallFromISR/27 
prvTestWaitCondition/14 (prvTestWaitCondition) @05e6bd20
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  References: 
  Referring: 
  Availability: local
  Function flags: body local optimize_size
  Called by: xEventGroupWaitBits/6 xEventGroupWaitBits/6 
  Calls: 
vEventGroupClearBitsCallback/13 (vEventGroupClearBitsCallback) @05e6ba80
  Type: function definition analyzed
  Visibility: externally_visible public
  Address is taken.
  References: 
  Referring: xEventGroupClearBitsFromISR/8 (addr)
  Availability: available
  Function flags: body optimize_size
  Called by: 
  Calls: xEventGroupClearBits/7 
vEventGroupSetBitsCallback/12 (vEventGroupSetBitsCallback) @05e6b7e0
  Type: function definition analyzed
  Visibility: externally_visible public
  Address is taken.
  References: 
  Referring: xEventGroupSetBitsFromISR/15 (addr)
  Availability: available
  Function flags: body optimize_size
  Called by: 
  Calls: xEventGroupSetBits/10 
vEventGroupDelete/11 (vEventGroupDelete) @05e6b540
  Type: function definition analyzed
  Visibility: externally_visible public
  References: 
  Referring: 
  Availability: available
  Function flags: body optimize_size
  Called by: 
  Calls: xTaskResumeAll/23 vPortFree/29 vTaskRemoveFromUnorderedEventList/28 vPortRaiseBASEPRI/1 vTaskSuspendAll/21 vPortRaiseBASEPRI/1 
xEventGroupSetBits/10 (xEventGroupSetBits) @05e6b1c0
  Type: function definition analyzed
  Visibility: externally_visible public
  References: 
  Referring: 
  Availability: available
  Function flags: body optimize_size
  Called by: vEventGroupSetBitsCallback/12 xEventGroupSync/5 
  Calls: xTaskResumeAll/23 vTaskRemoveFromUnorderedEventList/28 vTaskSuspendAll/21 vPortRaiseBASEPRI/1 vPortRaiseBASEPRI/1 
xEventGroupGetBitsFromISR/9 (xEventGroupGetBitsFromISR) @05e27a80
  Type: function definition analyzed
  Visibility: externally_visible public
  References: 
  Referring: 
  Availability: available
  Function flags: body optimize_size
  Called by: 
  Calls: vPortSetBASEPRI/3 ulPortRaiseBASEPRI/2 
xEventGroupClearBitsFromISR/8 (xEventGroupClearBitsFromISR) @05e270e0
  Type: function definition analyzed
  Visibility: externally_visible public
  References: vEventGroupClearBitsCallback/13 (addr)
  Referring: 
  Availability: available
  Function flags: body optimize_size
  Called by: 
  Calls: xTimerPendFunctionCallFromISR/27 
xEventGroupClearBits/7 (xEventGroupClearBits) @05e27d20
  Type: function definition analyzed
  Visibility: externally_visible public
  References: 
  Referring: 
  Availability: available
  Function flags: body optimize_size
  Called by: vEventGroupClearBitsCallback/13 
  Calls: vPortExitCritical/26 vPortEnterCritical/25 vPortRaiseBASEPRI/1 vPortRaiseBASEPRI/1 
xEventGroupWaitBits/6 (xEventGroupWaitBits) @05e279a0
  Type: function definition analyzed
  Visibility: externally_visible public
  References: 
  Referring: 
  Availability: available
  Function flags: body optimize_size
  Called by: 
  Calls: vPortExitCritical/26 prvTestWaitCondition/14 vPortEnterCritical/25 uxTaskResetEventItemValue/24 xTaskResumeAll/23 vTaskPlaceOnUnorderedEventList/22 prvTestWaitCondition/14 vTaskSuspendAll/21 vPortRaiseBASEPRI/1 xTaskGetSchedulerState/20 vPortRaiseBASEPRI/1 vPortRaiseBASEPRI/1 vPortRaiseBASEPRI/1 
xEventGroupSync/5 (xEventGroupSync) @05e27460
  Type: function definition analyzed
  Visibility: externally_visible public
  References: 
  Referring: 
  Availability: available
  Function flags: body optimize_size
  Called by: 
  Calls: vPortExitCritical/26 vPortEnterCritical/25 uxTaskResetEventItemValue/24 xTaskResumeAll/23 vTaskPlaceOnUnorderedEventList/22 xEventGroupSetBits/10 vTaskSuspendAll/21 vPortRaiseBASEPRI/1 xTaskGetSchedulerState/20 vPortRaiseBASEPRI/1 vPortRaiseBASEPRI/1 
xEventGroupCreate/4 (xEventGroupCreate) @05e27000
  Type: function definition analyzed
  Visibility: externally_visible public
  References: 
  Referring: 
  Availability: available
  Function flags: body optimize_size
  Called by: 
  Calls: vListInitialise/19 pvPortMalloc/18 
vPortSetBASEPRI/3 (vPortSetBASEPRI) @05db3380
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  References: 
  Referring: 
  Availability: local
  Function flags: body local optimize_size
  Called by: xEventGroupGetBitsFromISR/9 
  Calls: 
ulPortRaiseBASEPRI/2 (ulPortRaiseBASEPRI) @05db30e0
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  References: 
  Referring: 
  Availability: local
  Function flags: body local optimize_size
  Called by: xEventGroupGetBitsFromISR/9 
  Calls: 
vPortRaiseBASEPRI/1 (vPortRaiseBASEPRI) @05dadd20
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  References: 
  Referring: 
  Availability: local
  Function flags: body local optimize_size
  Called by: vEventGroupDelete/11 vEventGroupDelete/11 xEventGroupSetBits/10 xEventGroupSetBits/10 xEventGroupClearBits/7 xEventGroupClearBits/7 xEventGroupWaitBits/6 xEventGroupWaitBits/6 xEventGroupWaitBits/6 xEventGroupWaitBits/6 xEventGroupSync/5 xEventGroupSync/5 xEventGroupSync/5 
  Calls: 
vEventGroupSetNumber (void * xEventGroup, UBaseType_t uxEventGroupNumber)
{
  <bb 2> :
  # DEBUG BEGIN_STMT
  MEM[(struct EventGroup_t *)xEventGroup].uxEventGroupNumber = uxEventGroupNumber;
  return;

}


uxEventGroupGetNumber (void * xEventGroup)
{
  const struct EventGroup_t * pxEventBits;
  UBaseType_t xReturn;
  UBaseType_t D.6566;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  pxEventBits = xEventGroup;
  # DEBUG BEGIN_STMT
  if (xEventGroup == 0B)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  xReturn = 0;
  goto <bb 5>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  xReturn = pxEventBits->uxEventGroupNumber;

  <bb 5> :
  # DEBUG BEGIN_STMT
  D.6566 = xReturn;
  return D.6566;

}


xEventGroupSetBitsFromISR (struct EventGroupDef_t * xEventGroup, const EventBits_t uxBitsToSet, BaseType_t * pxHigherPriorityTaskWoken)
{
  BaseType_t xReturn;
  BaseType_t D.6561;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  xReturn = xTimerPendFunctionCallFromISR (vEventGroupSetBitsCallback, xEventGroup, uxBitsToSet, pxHigherPriorityTaskWoken);
  # DEBUG BEGIN_STMT
  D.6561 = xReturn;
  return D.6561;

}


prvTestWaitCondition (const EventBits_t uxCurrentEventBits, const EventBits_t uxBitsToWaitFor, const BaseType_t xWaitForAllBits)
{
  BaseType_t xWaitConditionMet;
  BaseType_t D.6523;

  <bb 2> :
  # DEBUG BEGIN_STMT
  xWaitConditionMet = 0;
  # DEBUG BEGIN_STMT
  if (xWaitForAllBits == 0)
    goto <bb 3>; [INV]
  else
    goto <bb 5>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  _1 = uxCurrentEventBits & uxBitsToWaitFor;
  if (_1 != 0)
    goto <bb 4>; [INV]
  else
    goto <bb 7>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  xWaitConditionMet = 1;
  goto <bb 7>; [INV]

  <bb 5> :
  # DEBUG BEGIN_STMT
  _2 = uxCurrentEventBits & uxBitsToWaitFor;
  if (uxBitsToWaitFor == _2)
    goto <bb 6>; [INV]
  else
    goto <bb 7>; [INV]

  <bb 6> :
  # DEBUG BEGIN_STMT
  xWaitConditionMet = 1;

  <bb 7> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  D.6523 = xWaitConditionMet;
  return D.6523;

}


vEventGroupClearBitsCallback (void * pvEventGroup, const uint32_t ulBitsToClear)
{
  <bb 2> :
  # DEBUG BEGIN_STMT
  xEventGroupClearBits (pvEventGroup, ulBitsToClear);
  return;

}


vEventGroupSetBitsCallback (void * pvEventGroup, const uint32_t ulBitsToSet)
{
  <bb 2> :
  # DEBUG BEGIN_STMT
  xEventGroupSetBits (pvEventGroup, ulBitsToSet);
  return;

}


vEventGroupDelete (struct EventGroupDef_t * xEventGroup)
{
  const struct List_t * pxTasksWaitingForBits;
  struct EventGroup_t * pxEventBits;

  <bb 2> :
  # DEBUG BEGIN_STMT
  if (xEventGroup == 0B)
    goto <bb 3>; [INV]
  else
    goto <bb 5>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  vPortRaiseBASEPRI ();

  <bb 4> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  goto <bb 4>; [INV]

  <bb 5> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  pxEventBits = xEventGroup;
  # DEBUG BEGIN_STMT
  pxTasksWaitingForBits = &pxEventBits->xTasksWaitingForBits;
  # DEBUG BEGIN_STMT
  vTaskSuspendAll ();
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  goto <bb 10>; [INV]

  <bb 6> :
  # DEBUG BEGIN_STMT
  _1 = pxTasksWaitingForBits->xListEnd.pxNext;
  _2 = &pxTasksWaitingForBits->xListEnd;
  if (_1 == _2)
    goto <bb 7>; [INV]
  else
    goto <bb 9>; [INV]

  <bb 7> :
  # DEBUG BEGIN_STMT
  vPortRaiseBASEPRI ();

  <bb 8> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  goto <bb 8>; [INV]

  <bb 9> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _3 = pxTasksWaitingForBits->xListEnd.pxNext;
  vTaskRemoveFromUnorderedEventList (_3, 33554432);

  <bb 10> :
  # DEBUG BEGIN_STMT
  _4 = pxTasksWaitingForBits->uxNumberOfItems;
  if (_4 != 0)
    goto <bb 6>; [INV]
  else
    goto <bb 11>; [INV]

  <bb 11> :
  # DEBUG BEGIN_STMT
  vPortFree (pxEventBits);
  # DEBUG BEGIN_STMT
  xTaskResumeAll ();
  return;

}


xEventGroupSetBits (struct EventGroupDef_t * xEventGroup, const EventBits_t uxBitsToSet)
{
  BaseType_t xMatchFound;
  struct EventGroup_t * pxEventBits;
  EventBits_t uxControlBits;
  EventBits_t uxBitsWaitedFor;
  EventBits_t uxBitsToClear;
  const struct List_t * pxList;
  const struct ListItem_t * pxListEnd;
  struct ListItem_t * pxNext;
  struct ListItem_t * pxListItem;
  EventBits_t D.6555;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  uxBitsToClear = 0;
  # DEBUG BEGIN_STMT
  pxEventBits = xEventGroup;
  # DEBUG BEGIN_STMT
  xMatchFound = 0;
  # DEBUG BEGIN_STMT
  if (xEventGroup == 0B)
    goto <bb 3>; [INV]
  else
    goto <bb 5>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  vPortRaiseBASEPRI ();

  <bb 4> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  goto <bb 4>; [INV]

  <bb 5> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = uxBitsToSet & 4278190080;
  if (_1 != 0)
    goto <bb 6>; [INV]
  else
    goto <bb 8>; [INV]

  <bb 6> :
  # DEBUG BEGIN_STMT
  vPortRaiseBASEPRI ();

  <bb 7> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  goto <bb 7>; [INV]

  <bb 8> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  pxList = &pxEventBits->xTasksWaitingForBits;
  # DEBUG BEGIN_STMT
  pxListEnd = &pxList->xListEnd;
  # DEBUG BEGIN_STMT
  vTaskSuspendAll ();
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  pxListItem = pxList->xListEnd.pxNext;
  # DEBUG BEGIN_STMT
  _2 = pxEventBits->uxEventBits;
  _3 = uxBitsToSet | _2;
  pxEventBits->uxEventBits = _3;
  # DEBUG BEGIN_STMT
  goto <bb 19>; [INV]

  <bb 9> :
  # DEBUG BEGIN_STMT
  pxNext = pxListItem->pxNext;
  # DEBUG BEGIN_STMT
  uxBitsWaitedFor = pxListItem->xItemValue;
  # DEBUG BEGIN_STMT
  xMatchFound = 0;
  # DEBUG BEGIN_STMT
  uxControlBits = uxBitsWaitedFor & 4278190080;
  # DEBUG BEGIN_STMT
  uxBitsWaitedFor = uxBitsWaitedFor & 16777215;
  # DEBUG BEGIN_STMT
  _4 = uxControlBits & 67108864;
  if (_4 == 0)
    goto <bb 10>; [INV]
  else
    goto <bb 12>; [INV]

  <bb 10> :
  # DEBUG BEGIN_STMT
  _5 = pxEventBits->uxEventBits;
  _6 = uxBitsWaitedFor & _5;
  if (_6 != 0)
    goto <bb 11>; [INV]
  else
    goto <bb 14>; [INV]

  <bb 11> :
  # DEBUG BEGIN_STMT
  xMatchFound = 1;
  goto <bb 14>; [INV]

  <bb 12> :
  # DEBUG BEGIN_STMT
  _7 = pxEventBits->uxEventBits;
  _8 = uxBitsWaitedFor & _7;
  if (uxBitsWaitedFor == _8)
    goto <bb 13>; [INV]
  else
    goto <bb 14>; [INV]

  <bb 13> :
  # DEBUG BEGIN_STMT
  xMatchFound = 1;

  <bb 14> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (xMatchFound != 0)
    goto <bb 15>; [INV]
  else
    goto <bb 18>; [INV]

  <bb 15> :
  # DEBUG BEGIN_STMT
  _9 = uxControlBits & 16777216;
  if (_9 != 0)
    goto <bb 16>; [INV]
  else
    goto <bb 17>; [INV]

  <bb 16> :
  # DEBUG BEGIN_STMT
  uxBitsToClear = uxBitsToClear | uxBitsWaitedFor;

  <bb 17> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _10 = pxEventBits->uxEventBits;
  _11 = _10 | 33554432;
  vTaskRemoveFromUnorderedEventList (pxListItem, _11);

  <bb 18> :
  # DEBUG BEGIN_STMT
  pxListItem = pxNext;

  <bb 19> :
  # DEBUG BEGIN_STMT
  if (pxListItem != pxListEnd)
    goto <bb 9>; [INV]
  else
    goto <bb 20>; [INV]

  <bb 20> :
  # DEBUG BEGIN_STMT
  _12 = pxEventBits->uxEventBits;
  _13 = ~uxBitsToClear;
  _14 = _12 & _13;
  pxEventBits->uxEventBits = _14;
  # DEBUG BEGIN_STMT
  xTaskResumeAll ();
  # DEBUG BEGIN_STMT
  D.6555 = pxEventBits->uxEventBits;
  return D.6555;

}


xEventGroupGetBitsFromISR (struct EventGroupDef_t * xEventGroup)
{
  EventBits_t uxReturn;
  const struct EventGroup_t * const pxEventBits;
  UBaseType_t uxSavedInterruptStatus;
  EventBits_t D.6533;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  pxEventBits = xEventGroup;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  uxSavedInterruptStatus = ulPortRaiseBASEPRI ();
  # DEBUG BEGIN_STMT
  uxReturn = pxEventBits->uxEventBits;
  # DEBUG BEGIN_STMT
  vPortSetBASEPRI (uxSavedInterruptStatus);
  # DEBUG BEGIN_STMT
  D.6533 = uxReturn;
  return D.6533;

}


xEventGroupClearBitsFromISR (struct EventGroupDef_t * xEventGroup, const EventBits_t uxBitsToClear)
{
  BaseType_t xReturn;
  BaseType_t D.6531;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  xReturn = xTimerPendFunctionCallFromISR (vEventGroupClearBitsCallback, xEventGroup, uxBitsToClear, 0B);
  # DEBUG BEGIN_STMT
  D.6531 = xReturn;
  return D.6531;

}


xEventGroupClearBits (struct EventGroupDef_t * xEventGroup, const EventBits_t uxBitsToClear)
{
  EventBits_t uxReturn;
  struct EventGroup_t * pxEventBits;
  EventBits_t D.6529;

  <bb 2> :
  # DEBUG BEGIN_STMT
  pxEventBits = xEventGroup;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (xEventGroup == 0B)
    goto <bb 3>; [INV]
  else
    goto <bb 5>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  vPortRaiseBASEPRI ();

  <bb 4> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  goto <bb 4>; [INV]

  <bb 5> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = uxBitsToClear & 4278190080;
  if (_1 != 0)
    goto <bb 6>; [INV]
  else
    goto <bb 8>; [INV]

  <bb 6> :
  # DEBUG BEGIN_STMT
  vPortRaiseBASEPRI ();

  <bb 7> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  goto <bb 7>; [INV]

  <bb 8> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  vPortEnterCritical ();
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  uxReturn = pxEventBits->uxEventBits;
  # DEBUG BEGIN_STMT
  _2 = pxEventBits->uxEventBits;
  _3 = ~uxBitsToClear;
  _4 = _2 & _3;
  pxEventBits->uxEventBits = _4;
  # DEBUG BEGIN_STMT
  vPortExitCritical ();
  # DEBUG BEGIN_STMT
  D.6529 = uxReturn;
  return D.6529;

}


xEventGroupWaitBits (struct EventGroupDef_t * xEventGroup, const EventBits_t uxBitsToWaitFor, const BaseType_t xClearOnExit, const BaseType_t xWaitForAllBits, TickType_t xTicksToWait)
{
  const EventBits_t uxCurrentEventBits;
  BaseType_t xTimeoutOccurred;
  BaseType_t xAlreadyYielded;
  BaseType_t xWaitConditionMet;
  EventBits_t uxControlBits;
  EventBits_t uxReturn;
  struct EventGroup_t * pxEventBits;
  EventBits_t D.6512;
  int iftmp.1;

  <bb 2> :
  # DEBUG BEGIN_STMT
  pxEventBits = xEventGroup;
  # DEBUG BEGIN_STMT
  uxControlBits = 0;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  xTimeoutOccurred = 0;
  # DEBUG BEGIN_STMT
  if (xEventGroup == 0B)
    goto <bb 3>; [INV]
  else
    goto <bb 5>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  vPortRaiseBASEPRI ();

  <bb 4> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  goto <bb 4>; [INV]

  <bb 5> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = uxBitsToWaitFor & 4278190080;
  if (_1 != 0)
    goto <bb 6>; [INV]
  else
    goto <bb 8>; [INV]

  <bb 6> :
  # DEBUG BEGIN_STMT
  vPortRaiseBASEPRI ();

  <bb 7> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  goto <bb 7>; [INV]

  <bb 8> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (uxBitsToWaitFor == 0)
    goto <bb 9>; [INV]
  else
    goto <bb 11>; [INV]

  <bb 9> :
  # DEBUG BEGIN_STMT
  vPortRaiseBASEPRI ();

  <bb 10> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  goto <bb 10>; [INV]

  <bb 11> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _2 = xTaskGetSchedulerState ();
  if (_2 != 0)
    goto <bb 13>; [INV]
  else
    goto <bb 12>; [INV]

  <bb 12> :
  if (xTicksToWait == 0)
    goto <bb 13>; [INV]
  else
    goto <bb 14>; [INV]

  <bb 13> :
  iftmp.1 = 1;
  goto <bb 15>; [INV]

  <bb 14> :
  iftmp.1 = 0;

  <bb 15> :
  if (iftmp.1 == 0)
    goto <bb 16>; [INV]
  else
    goto <bb 18>; [INV]

  <bb 16> :
  # DEBUG BEGIN_STMT
  vPortRaiseBASEPRI ();

  <bb 17> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  goto <bb 17>; [INV]

  <bb 18> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  vTaskSuspendAll ();
  # DEBUG BEGIN_STMT
  uxCurrentEventBits = pxEventBits->uxEventBits;
  # DEBUG BEGIN_STMT
  xWaitConditionMet = prvTestWaitCondition (uxCurrentEventBits, uxBitsToWaitFor, xWaitForAllBits);
  # DEBUG BEGIN_STMT
  if (xWaitConditionMet != 0)
    goto <bb 19>; [INV]
  else
    goto <bb 21>; [INV]

  <bb 19> :
  # DEBUG BEGIN_STMT
  uxReturn = uxCurrentEventBits;
  # DEBUG BEGIN_STMT
  xTicksToWait = 0;
  # DEBUG BEGIN_STMT
  if (xClearOnExit != 0)
    goto <bb 20>; [INV]
  else
    goto <bb 28>; [INV]

  <bb 20> :
  # DEBUG BEGIN_STMT
  _3 = pxEventBits->uxEventBits;
  _4 = ~uxBitsToWaitFor;
  _5 = _3 & _4;
  pxEventBits->uxEventBits = _5;
  goto <bb 28>; [INV]

  <bb 21> :
  # DEBUG BEGIN_STMT
  if (xTicksToWait == 0)
    goto <bb 22>; [INV]
  else
    goto <bb 23>; [INV]

  <bb 22> :
  # DEBUG BEGIN_STMT
  uxReturn = uxCurrentEventBits;
  # DEBUG BEGIN_STMT
  xTimeoutOccurred = 1;
  goto <bb 28>; [INV]

  <bb 23> :
  # DEBUG BEGIN_STMT
  if (xClearOnExit != 0)
    goto <bb 24>; [INV]
  else
    goto <bb 25>; [INV]

  <bb 24> :
  # DEBUG BEGIN_STMT
  uxControlBits = uxControlBits | 16777216;

  <bb 25> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (xWaitForAllBits != 0)
    goto <bb 26>; [INV]
  else
    goto <bb 27>; [INV]

  <bb 26> :
  # DEBUG BEGIN_STMT
  uxControlBits = uxControlBits | 67108864;

  <bb 27> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _6 = &pxEventBits->xTasksWaitingForBits;
  _7 = uxBitsToWaitFor | uxControlBits;
  vTaskPlaceOnUnorderedEventList (_6, _7, xTicksToWait);
  # DEBUG BEGIN_STMT
  uxReturn = 0;

  <bb 28> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  xAlreadyYielded = xTaskResumeAll ();
  # DEBUG BEGIN_STMT
  if (xTicksToWait != 0)
    goto <bb 29>; [INV]
  else
    goto <bb 37>; [INV]

  <bb 29> :
  # DEBUG BEGIN_STMT
  if (xAlreadyYielded == 0)
    goto <bb 30>; [INV]
  else
    goto <bb 31>; [INV]

  <bb 30> :
  # DEBUG BEGIN_STMT
  _8 = 3758157060B;
  *_8 = 268435456;
  # DEBUG BEGIN_STMT
  __asm__ __volatile__("dsb" :  :  : "memory");
  # DEBUG BEGIN_STMT
  __asm__ __volatile__("isb");
  # DEBUG BEGIN_STMT

  <bb 31> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  uxReturn = uxTaskResetEventItemValue ();
  # DEBUG BEGIN_STMT
  _9 = uxReturn & 33554432;
  if (_9 == 0)
    goto <bb 32>; [INV]
  else
    goto <bb 36>; [INV]

  <bb 32> :
  # DEBUG BEGIN_STMT
  vPortEnterCritical ();
  # DEBUG BEGIN_STMT
  uxReturn = pxEventBits->uxEventBits;
  # DEBUG BEGIN_STMT
  _10 = prvTestWaitCondition (uxReturn, uxBitsToWaitFor, xWaitForAllBits);
  if (_10 != 0)
    goto <bb 33>; [INV]
  else
    goto <bb 35>; [INV]

  <bb 33> :
  # DEBUG BEGIN_STMT
  if (xClearOnExit != 0)
    goto <bb 34>; [INV]
  else
    goto <bb 35>; [INV]

  <bb 34> :
  # DEBUG BEGIN_STMT
  _11 = pxEventBits->uxEventBits;
  _12 = ~uxBitsToWaitFor;
  _13 = _11 & _12;
  pxEventBits->uxEventBits = _13;

  <bb 35> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  xTimeoutOccurred = 1;
  # DEBUG BEGIN_STMT
  vPortExitCritical ();

  <bb 36> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  uxReturn = uxReturn & 16777215;

  <bb 37> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  D.6512 = uxReturn;
  return D.6512;

}


xEventGroupSync (struct EventGroupDef_t * xEventGroup, const EventBits_t uxBitsToSet, const EventBits_t uxBitsToWaitFor, TickType_t xTicksToWait)
{
  BaseType_t xTimeoutOccurred;
  BaseType_t xAlreadyYielded;
  struct EventGroup_t * pxEventBits;
  EventBits_t uxReturn;
  EventBits_t uxOriginalBitValue;
  EventBits_t D.6468;
  int iftmp.0;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  pxEventBits = xEventGroup;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  xTimeoutOccurred = 0;
  # DEBUG BEGIN_STMT
  _1 = uxBitsToWaitFor & 4278190080;
  if (_1 != 0)
    goto <bb 3>; [INV]
  else
    goto <bb 5>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  vPortRaiseBASEPRI ();

  <bb 4> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  goto <bb 4>; [INV]

  <bb 5> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (uxBitsToWaitFor == 0)
    goto <bb 6>; [INV]
  else
    goto <bb 8>; [INV]

  <bb 6> :
  # DEBUG BEGIN_STMT
  vPortRaiseBASEPRI ();

  <bb 7> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  goto <bb 7>; [INV]

  <bb 8> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _2 = xTaskGetSchedulerState ();
  if (_2 != 0)
    goto <bb 10>; [INV]
  else
    goto <bb 9>; [INV]

  <bb 9> :
  if (xTicksToWait == 0)
    goto <bb 10>; [INV]
  else
    goto <bb 11>; [INV]

  <bb 10> :
  iftmp.0 = 1;
  goto <bb 12>; [INV]

  <bb 11> :
  iftmp.0 = 0;

  <bb 12> :
  if (iftmp.0 == 0)
    goto <bb 13>; [INV]
  else
    goto <bb 15>; [INV]

  <bb 13> :
  # DEBUG BEGIN_STMT
  vPortRaiseBASEPRI ();

  <bb 14> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  goto <bb 14>; [INV]

  <bb 15> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  vTaskSuspendAll ();
  # DEBUG BEGIN_STMT
  uxOriginalBitValue = pxEventBits->uxEventBits;
  # DEBUG BEGIN_STMT
  xEventGroupSetBits (xEventGroup, uxBitsToSet);
  # DEBUG BEGIN_STMT
  _3 = uxOriginalBitValue | uxBitsToSet;
  _4 = uxBitsToWaitFor & _3;
  if (uxBitsToWaitFor == _4)
    goto <bb 16>; [INV]
  else
    goto <bb 17>; [INV]

  <bb 16> :
  # DEBUG BEGIN_STMT
  uxReturn = uxOriginalBitValue | uxBitsToSet;
  # DEBUG BEGIN_STMT
  _5 = pxEventBits->uxEventBits;
  _6 = ~uxBitsToWaitFor;
  _7 = _5 & _6;
  pxEventBits->uxEventBits = _7;
  # DEBUG BEGIN_STMT
  xTicksToWait = 0;
  goto <bb 20>; [INV]

  <bb 17> :
  # DEBUG BEGIN_STMT
  if (xTicksToWait != 0)
    goto <bb 18>; [INV]
  else
    goto <bb 19>; [INV]

  <bb 18> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _8 = &pxEventBits->xTasksWaitingForBits;
  _9 = uxBitsToWaitFor | 83886080;
  vTaskPlaceOnUnorderedEventList (_8, _9, xTicksToWait);
  # DEBUG BEGIN_STMT
  uxReturn = 0;
  goto <bb 20>; [INV]

  <bb 19> :
  # DEBUG BEGIN_STMT
  uxReturn = pxEventBits->uxEventBits;
  # DEBUG BEGIN_STMT
  xTimeoutOccurred = 1;

  <bb 20> :
  # DEBUG BEGIN_STMT
  xAlreadyYielded = xTaskResumeAll ();
  # DEBUG BEGIN_STMT
  if (xTicksToWait != 0)
    goto <bb 21>; [INV]
  else
    goto <bb 28>; [INV]

  <bb 21> :
  # DEBUG BEGIN_STMT
  if (xAlreadyYielded == 0)
    goto <bb 22>; [INV]
  else
    goto <bb 23>; [INV]

  <bb 22> :
  # DEBUG BEGIN_STMT
  _10 = 3758157060B;
  *_10 = 268435456;
  # DEBUG BEGIN_STMT
  __asm__ __volatile__("dsb" :  :  : "memory");
  # DEBUG BEGIN_STMT
  __asm__ __volatile__("isb");
  # DEBUG BEGIN_STMT

  <bb 23> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  uxReturn = uxTaskResetEventItemValue ();
  # DEBUG BEGIN_STMT
  _11 = uxReturn & 33554432;
  if (_11 == 0)
    goto <bb 24>; [INV]
  else
    goto <bb 27>; [INV]

  <bb 24> :
  # DEBUG BEGIN_STMT
  vPortEnterCritical ();
  # DEBUG BEGIN_STMT
  uxReturn = pxEventBits->uxEventBits;
  # DEBUG BEGIN_STMT
  _12 = uxReturn & uxBitsToWaitFor;
  if (uxBitsToWaitFor == _12)
    goto <bb 25>; [INV]
  else
    goto <bb 26>; [INV]

  <bb 25> :
  # DEBUG BEGIN_STMT
  _13 = pxEventBits->uxEventBits;
  _14 = ~uxBitsToWaitFor;
  _15 = _13 & _14;
  pxEventBits->uxEventBits = _15;

  <bb 26> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  vPortExitCritical ();
  # DEBUG BEGIN_STMT
  xTimeoutOccurred = 1;

  <bb 27> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  uxReturn = uxReturn & 16777215;

  <bb 28> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  D.6468 = uxReturn;
  return D.6468;

}


xEventGroupCreate ()
{
  struct EventGroup_t * pxEventBits;
  struct EventGroupDef_t * D.6438;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  pxEventBits = pvPortMalloc (28);
  # DEBUG BEGIN_STMT
  if (pxEventBits != 0B)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  pxEventBits->uxEventBits = 0;
  # DEBUG BEGIN_STMT
  _1 = &pxEventBits->xTasksWaitingForBits;
  vListInitialise (_1);
  # DEBUG BEGIN_STMT

  <bb 4> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  D.6438 = pxEventBits;
  return D.6438;

}


__attribute__((always_inline))
vPortSetBASEPRI (uint32_t ulNewMaskValue)
{
  <bb 2> :
  # DEBUG BEGIN_STMT
  __asm__ __volatile__("	msr basepri, %0	" :  : "r" ulNewMaskValue : "memory");
  return;

}


__attribute__((always_inline))
ulPortRaiseBASEPRI ()
{
  uint32_t ulNewBASEPRI;
  uint32_t ulOriginalBASEPRI;
  uint32_t D.6535;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  __asm__ __volatile__("	mrs %0, basepri											
	mov %1, %2												
	msr basepri, %1											
	isb														
	dsb														
" : "=r" ulOriginalBASEPRI, "=r" ulNewBASEPRI : "i" 16 : "memory");
  # DEBUG BEGIN_STMT
  D.6535 = ulOriginalBASEPRI;
  return D.6535;

}


__attribute__((always_inline))
vPortRaiseBASEPRI ()
{
  uint32_t ulNewBASEPRI;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  __asm__ __volatile__("	mov %0, %1												
	msr basepri, %0											
	isb														
	dsb														
" : "=r" ulNewBASEPRI : "i" 16 : "memory");
  return;

}