Marking local functions:


Marking externally visible functions: Dma_Ip_SetHwChannelStatePointer Dma_Ip_GetHwChannelStatePointer Dma_Ip_GetHwChannelState Dma_Ip_SetHwChannelState


Marking externally visible variables:


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

fpa_Dma_Ip_HwChannelState.6006/10 (fpa_Dma_Ip_HwChannelState) @06e1e7e0
  Type: variable definition analyzed
  Visibility: force_output no_reorder prevailing_def_ironly
  References: Dma_Ip_SetHwChannel_ResetEvent/1 (addr)Dma_Ip_SetHwChannel_ReadyEvent/2 (addr)Dma_Ip_SetHwChannel_ErrorEvent/5 (addr)Dma_Ip_SetHwChannel_ErrorEvent/5 (addr)Dma_Ip_SetHwChannel_ErrorEvent/5 (addr)Dma_Ip_SetHwChannel_ResetEvent/1 (addr)Dma_Ip_SetHwChannel_ReadyEvent/2 (addr)Dma_Ip_SetHwChannel_TransferEvent/3 (addr)Dma_Ip_SetHwChannel_ScatterGatherEvent/4 (addr)Dma_Ip_SetHwChannel_ErrorEvent/5 (addr)Dma_Ip_SetHwChannel_ResetEvent/1 (addr)Dma_Ip_SetHwChannel_ReadyEvent/2 (addr)Dma_Ip_SetHwChannel_TransferEvent/3 (addr)Dma_Ip_SetHwChannel_ScatterGatherEvent/4 (addr)Dma_Ip_SetHwChannel_ErrorEvent/5 (addr)Dma_Ip_SetHwChannel_ResetEvent/1 (addr)Dma_Ip_SetHwChannel_ReadyEvent/2 (addr)Dma_Ip_SetHwChannel_TransferEvent/3 (addr)Dma_Ip_SetHwChannel_ScatterGatherEvent/4 (addr)Dma_Ip_SetHwChannel_ErrorEvent/5 (addr)Dma_Ip_SetHwChannel_ResetEvent/1 (addr)Dma_Ip_SetHwChannel_ReadyEvent/2 (addr)Dma_Ip_SetHwChannel_ErrorEvent/5 (addr)Dma_Ip_SetHwChannel_ErrorEvent/5 (addr)Dma_Ip_SetHwChannel_ErrorEvent/5 (addr)
  Referring: Dma_Ip_SetHwChannelState/6 (read)
  Availability: available
  Varpool flags: initialized read-only const-value-known
Dma_Ip_SetHwChannelStatePointer/9 (Dma_Ip_SetHwChannelStatePointer) @06e1b7e0
  Type: function definition analyzed
  Visibility: force_output externally_visible no_reorder public
  References: Dma_Ip_xHwState/0 (write)
  Referring: 
  Availability: available
  Function flags: body
  Called by: 
  Calls: 
Dma_Ip_GetHwChannelStatePointer/8 (Dma_Ip_GetHwChannelStatePointer) @06e1b540
  Type: function definition analyzed
  Visibility: force_output externally_visible no_reorder public
  References: Dma_Ip_xHwState/0 (read)
  Referring: 
  Availability: available
  Function flags: body
  Called by: 
  Calls: 
Dma_Ip_GetHwChannelState/7 (Dma_Ip_GetHwChannelState) @06e1b2a0
  Type: function definition analyzed
  Visibility: force_output externally_visible no_reorder public
  References: Dma_Ip_xHwState/0 (read)
  Referring: 
  Availability: available
  Function flags: body
  Called by: 
  Calls: 
Dma_Ip_SetHwChannelState/6 (Dma_Ip_SetHwChannelState) @06e1b000
  Type: function definition analyzed
  Visibility: force_output externally_visible no_reorder public
  References: Dma_Ip_xHwState/0 (read)fpa_Dma_Ip_HwChannelState.6006/10 (read)
  Referring: 
  Availability: available
  Function flags: body
  Called by: 
  Calls: 
   Indirect call
Dma_Ip_SetHwChannel_ErrorEvent/5 (Dma_Ip_SetHwChannel_ErrorEvent) @06e12b60
  Type: function definition analyzed
  Visibility: force_output no_reorder prevailing_def_ironly
  Address is taken.
  References: Dma_Ip_xHwState/0 (read)
  Referring: fpa_Dma_Ip_HwChannelState.6006/10 (addr)fpa_Dma_Ip_HwChannelState.6006/10 (addr)fpa_Dma_Ip_HwChannelState.6006/10 (addr)fpa_Dma_Ip_HwChannelState.6006/10 (addr)fpa_Dma_Ip_HwChannelState.6006/10 (addr)fpa_Dma_Ip_HwChannelState.6006/10 (addr)fpa_Dma_Ip_HwChannelState.6006/10 (addr)fpa_Dma_Ip_HwChannelState.6006/10 (addr)fpa_Dma_Ip_HwChannelState.6006/10 (addr)
  Availability: available
  Function flags: body
  Called by: 
  Calls: 
Dma_Ip_SetHwChannel_ScatterGatherEvent/4 (Dma_Ip_SetHwChannel_ScatterGatherEvent) @06e12620
  Type: function definition analyzed
  Visibility: force_output no_reorder prevailing_def_ironly
  Address is taken.
  References: Dma_Ip_xHwState/0 (read)
  Referring: fpa_Dma_Ip_HwChannelState.6006/10 (addr)fpa_Dma_Ip_HwChannelState.6006/10 (addr)fpa_Dma_Ip_HwChannelState.6006/10 (addr)
  Availability: available
  Function flags: body
  Called by: 
  Calls: 
Dma_Ip_SetHwChannel_TransferEvent/3 (Dma_Ip_SetHwChannel_TransferEvent) @06e12d20
  Type: function definition analyzed
  Visibility: force_output no_reorder prevailing_def_ironly
  Address is taken.
  References: Dma_Ip_xHwState/0 (read)
  Referring: fpa_Dma_Ip_HwChannelState.6006/10 (addr)fpa_Dma_Ip_HwChannelState.6006/10 (addr)fpa_Dma_Ip_HwChannelState.6006/10 (addr)
  Availability: available
  Function flags: body
  Called by: 
  Calls: 
Dma_Ip_SetHwChannel_ReadyEvent/2 (Dma_Ip_SetHwChannel_ReadyEvent) @06e12a80
  Type: function definition analyzed
  Visibility: force_output no_reorder prevailing_def_ironly
  Address is taken.
  References: Dma_Ip_xHwState/0 (read)
  Referring: fpa_Dma_Ip_HwChannelState.6006/10 (addr)fpa_Dma_Ip_HwChannelState.6006/10 (addr)fpa_Dma_Ip_HwChannelState.6006/10 (addr)fpa_Dma_Ip_HwChannelState.6006/10 (addr)fpa_Dma_Ip_HwChannelState.6006/10 (addr)
  Availability: available
  Function flags: body
  Called by: 
  Calls: 
Dma_Ip_SetHwChannel_ResetEvent/1 (Dma_Ip_SetHwChannel_ResetEvent) @06e127e0
  Type: function definition analyzed
  Visibility: force_output no_reorder prevailing_def_ironly
  Address is taken.
  References: Dma_Ip_xHwState/0 (read)
  Referring: fpa_Dma_Ip_HwChannelState.6006/10 (addr)fpa_Dma_Ip_HwChannelState.6006/10 (addr)fpa_Dma_Ip_HwChannelState.6006/10 (addr)fpa_Dma_Ip_HwChannelState.6006/10 (addr)fpa_Dma_Ip_HwChannelState.6006/10 (addr)
  Availability: available
  Function flags: body
  Called by: 
  Calls: 
Dma_Ip_xHwState/0 (Dma_Ip_xHwState) @06df9870
  Type: variable definition analyzed
  Visibility: force_output no_reorder prevailing_def_ironly
  References: 
  Referring: Dma_Ip_SetHwChannel_ResetEvent/1 (read)Dma_Ip_SetHwChannel_ReadyEvent/2 (read)Dma_Ip_SetHwChannel_TransferEvent/3 (read)Dma_Ip_SetHwChannel_ScatterGatherEvent/4 (read)Dma_Ip_SetHwChannel_ErrorEvent/5 (read)Dma_Ip_SetHwChannelState/6 (read)Dma_Ip_GetHwChannelState/7 (read)Dma_Ip_GetHwChannelStatePointer/8 (read)Dma_Ip_SetHwChannelStatePointer/9 (write)
  Availability: available
  Varpool flags:
Dma_Ip_SetHwChannelStatePointer (uint32 LocHwVers, uint32 LocHwInst, uint32 LocHwCh, struct Dma_Ip_HwChannelStateType * StatePointer)
{
  <bb 2> :
  if (LocHwVers == 2)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  Dma_Ip_xHwState.ptHwChV2StateArray[LocHwInst][LocHwCh] = StatePointer;

  <bb 4> :
  return;

}


Dma_Ip_GetHwChannelStatePointer (uint32 LocHwVers, uint32 LocHwInst, uint32 LocHwCh)
{
  struct Dma_Ip_HwChannelStateType * ptStatePtr;
  struct Dma_Ip_HwChannelStateType * D.6048;

  <bb 2> :
  ptStatePtr = 0B;
  if (LocHwVers == 2)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  ptStatePtr = Dma_Ip_xHwState.ptHwChV2StateArray[LocHwInst][LocHwCh];

  <bb 4> :
  D.6048 = ptStatePtr;

  <bb 5> :
<L2>:
  return D.6048;

}


Dma_Ip_GetHwChannelState (uint32 LocHwVers, uint32 LocHwInst, uint32 LocHwCh)
{
  Dma_Ip_HwChannelStateValueType StateValue;
  Dma_Ip_HwChannelStateValueType D.6044;

  <bb 2> :
  StateValue = 0;
  if (LocHwVers == 2)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  _1 = Dma_Ip_xHwState.ptHwChV2StateArray[LocHwInst][LocHwCh];
  StateValue = _1->StateValue;

  <bb 4> :
  D.6044 = StateValue;

  <bb 5> :
<L2>:
  return D.6044;

}


Dma_Ip_SetHwChannelState (const uint32 LocHwVers, const uint32 LocHwInst, const uint32 LocHwCh, const Dma_Ip_HwChannelEventValueEnum EventValue)
{
  Dma_Ip_HwChannelStateValueType StateValue;
  static void (*<T585>) (const uint32, const uint32, const uint32) fpa_Dma_Ip_HwChannelState[5][5] = {{Dma_Ip_SetHwChannel_ResetEvent, Dma_Ip_SetHwChannel_ReadyEvent, Dma_Ip_SetHwChannel_ErrorEvent, Dma_Ip_SetHwChannel_ErrorEvent, Dma_Ip_SetHwChannel_ErrorEvent}, {Dma_Ip_SetHwChannel_ResetEvent, Dma_Ip_SetHwChannel_ReadyEvent, Dma_Ip_SetHwChannel_TransferEvent, Dma_Ip_SetHwChannel_ScatterGatherEvent, Dma_Ip_SetHwChannel_ErrorEvent}, {Dma_Ip_SetHwChannel_ResetEvent, Dma_Ip_SetHwChannel_ReadyEvent, Dma_Ip_SetHwChannel_TransferEvent, Dma_Ip_SetHwChannel_ScatterGatherEvent, Dma_Ip_SetHwChannel_ErrorEvent}, {Dma_Ip_SetHwChannel_ResetEvent, Dma_Ip_SetHwChannel_ReadyEvent, Dma_Ip_SetHwChannel_TransferEvent, Dma_Ip_SetHwChannel_ScatterGatherEvent, Dma_Ip_SetHwChannel_ErrorEvent}, {Dma_Ip_SetHwChannel_ResetEvent, Dma_Ip_SetHwChannel_ReadyEvent, Dma_Ip_SetHwChannel_ErrorEvent, Dma_Ip_SetHwChannel_ErrorEvent, Dma_Ip_SetHwChannel_ErrorEvent}};

  <bb 2> :
  StateValue = 0;
  if (LocHwVers == 2)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  _1 = Dma_Ip_xHwState.ptHwChV2StateArray[LocHwInst][LocHwCh];
  StateValue = _1->StateValue;
  _2 = fpa_Dma_Ip_HwChannelState[StateValue][EventValue];
  _2 (LocHwVers, LocHwInst, LocHwCh);

  <bb 4> :
  return;

}


Dma_Ip_SetHwChannel_ErrorEvent (const uint32 LocHwVers, const uint32 LocHwInst, const uint32 LocHwCh)
{
  <bb 2> :
  if (LocHwVers == 2)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  _1 = Dma_Ip_xHwState.ptHwChV2StateArray[LocHwInst][LocHwCh];
  _1->StateValue = 4;

  <bb 4> :
  return;

}


Dma_Ip_SetHwChannel_ScatterGatherEvent (const uint32 LocHwVers, const uint32 LocHwInst, const uint32 LocHwCh)
{
  <bb 2> :
  if (LocHwVers == 2)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  _1 = Dma_Ip_xHwState.ptHwChV2StateArray[LocHwInst][LocHwCh];
  _1->StateValue = 3;

  <bb 4> :
  return;

}


Dma_Ip_SetHwChannel_TransferEvent (const uint32 LocHwVers, const uint32 LocHwInst, const uint32 LocHwCh)
{
  <bb 2> :
  if (LocHwVers == 2)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  _1 = Dma_Ip_xHwState.ptHwChV2StateArray[LocHwInst][LocHwCh];
  _1->StateValue = 2;

  <bb 4> :
  return;

}


Dma_Ip_SetHwChannel_ReadyEvent (const uint32 LocHwVers, const uint32 LocHwInst, const uint32 LocHwCh)
{
  <bb 2> :
  if (LocHwVers == 2)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  _1 = Dma_Ip_xHwState.ptHwChV2StateArray[LocHwInst][LocHwCh];
  _1->StateValue = 1;

  <bb 4> :
  return;

}


Dma_Ip_SetHwChannel_ResetEvent (const uint32 LocHwVers, const uint32 LocHwInst, const uint32 LocHwCh)
{
  <bb 2> :
  if (LocHwVers == 2)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  _1 = Dma_Ip_xHwState.ptHwChV2StateArray[LocHwInst][LocHwCh];
  _1->StateValue = 0;

  <bb 4> :
  return;

}