
Marking local functions: Mcl_DmaReturnCheck Mcl_ValidatePtrInit


Marking externally visible functions: Mcl_CacheCleanByAddr Mcl_CacheInvalidateByAddr Mcl_CacheClean Mcl_CacheInvalidate Mcl_CacheDisable Mcl_CacheEnable Mcl_SetDmaChannelScatterGatherConfig Mcl_GetDmaChannelParam Mcl_SetDmaChannelScatterGatherList Mcl_SetDmaChannelTransferList Mcl_SetDmaChannelGlobalList Mcl_GetDmaChannelStatus Mcl_SetDmaChannelCommand Mcl_GetDmaInstanceStatus Mcl_SetDmaInstanceCommand Mcl_DeInit Mcl_Init


Marking externally visible variables: MclFlexioLogicToHwInstance


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

Cache_Ip_CleanByAddr/41 (Cache_Ip_CleanByAddr) @06425000
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Mcl_CacheCleanByAddr/20 
  Calls: 
Cache_Ip_InvalidateByAddr/40 (Cache_Ip_InvalidateByAddr) @063d3e00
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Mcl_CacheInvalidateByAddr/19 
  Calls: 
Cache_Ip_Clean/39 (Cache_Ip_Clean) @063d3c40
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Mcl_CacheClean/18 
  Calls: 
Cache_Ip_Invalidate/38 (Cache_Ip_Invalidate) @063d3a80
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Mcl_CacheInvalidate/17 
  Calls: 
Cache_Ip_Disable/37 (Cache_Ip_Disable) @063d38c0
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Mcl_CacheDisable/16 
  Calls: 
Cache_Ip_Enable/36 (Cache_Ip_Enable) @063d3700
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Mcl_CacheEnable/15 
  Calls: 
Dma_Ip_SetLogicChannelScatterGatherConfig/35 (Dma_Ip_SetLogicChannelScatterGatherConfig) @063d3540
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Mcl_SetDmaChannelScatterGatherConfig/14 
  Calls: 
Dma_Ip_GetLogicChannelParam/34 (Dma_Ip_GetLogicChannelParam) @063d3380
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Mcl_GetDmaChannelParam/13 
  Calls: 
Dma_Ip_SetLogicChannelScatterGatherList/33 (Dma_Ip_SetLogicChannelScatterGatherList) @063d31c0
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Mcl_SetDmaChannelScatterGatherList/12 
  Calls: 
Dma_Ip_SetLogicChannelTransferList/32 (Dma_Ip_SetLogicChannelTransferList) @063d3000
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Mcl_SetDmaChannelTransferList/11 
  Calls: 
Dma_Ip_SetLogicChannelGlobalList/31 (Dma_Ip_SetLogicChannelGlobalList) @063b5e00
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Mcl_SetDmaChannelGlobalList/10 
  Calls: 
Dma_Ip_GetLogicChannelStatus/30 (Dma_Ip_GetLogicChannelStatus) @063b5c40
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Mcl_GetDmaChannelStatus/9 
  Calls: 
Dma_Ip_SetLogicChannelCommand/29 (Dma_Ip_SetLogicChannelCommand) @063b5a80
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Mcl_SetDmaChannelCommand/8 
  Calls: 
Dma_Ip_GetLogicInstanceStatus/28 (Dma_Ip_GetLogicInstanceStatus) @063b58c0
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Mcl_GetDmaInstanceStatus/7 
  Calls: 
Dma_Ip_SetLogicInstanceCommand/27 (Dma_Ip_SetLogicInstanceCommand) @063b5700
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Mcl_SetDmaInstanceCommand/6 
  Calls: 
Flexio_Mcl_Ip_DeinitDevice/26 (Flexio_Mcl_Ip_DeinitDevice) @063b5460
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Mcl_DeInit/5 
  Calls: 
Dma_Ip_Deinit/25 (Dma_Ip_Deinit) @063b5380
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Mcl_DeInit/5 
  Calls: 
Flexio_Mcl_Ip_InitDevice/24 (Flexio_Mcl_Ip_InitDevice) @063b50e0
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Mcl_Init/4 
  Calls: 
Det_ReportError/23 (Det_ReportError) @063b5000
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Mcl_CacheCleanByAddr/20 Mcl_CacheInvalidateByAddr/19 Mcl_CacheClean/18 Mcl_CacheInvalidate/17 Mcl_CacheDisable/16 Mcl_CacheEnable/15 Mcl_SetDmaChannelScatterGatherConfig/14 Mcl_GetDmaChannelParam/13 Mcl_GetDmaChannelParam/13 Mcl_SetDmaChannelScatterGatherList/12 Mcl_SetDmaChannelScatterGatherList/12 Mcl_SetDmaChannelScatterGatherList/12 Mcl_SetDmaChannelTransferList/11 Mcl_SetDmaChannelTransferList/11 Mcl_SetDmaChannelTransferList/11 Mcl_SetDmaChannelGlobalList/10 Mcl_SetDmaChannelGlobalList/10 Mcl_SetDmaChannelGlobalList/10 Mcl_GetDmaChannelStatus/9 Mcl_GetDmaChannelStatus/9 Mcl_SetDmaChannelCommand/8 Mcl_SetDmaChannelCommand/8 Mcl_GetDmaInstanceStatus/7 Mcl_GetDmaInstanceStatus/7 Mcl_SetDmaInstanceCommand/6 Mcl_SetDmaInstanceCommand/6 Mcl_DmaReturnCheck/3 Mcl_DmaReturnCheck/3 Mcl_DmaReturnCheck/3 Mcl_DeInit/5 Mcl_ValidatePtrInit/2 Mcl_Init/4 Mcl_Init/4 
  Calls: 
Dma_Ip_Init/22 (Dma_Ip_Init) @062e0d20
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags: optimize_size
  Called by: Mcl_Init/4 
  Calls: 
Mcl_Config/21 (Mcl_Config) @063b42d0
  Type: variable
  Body removed by symtab_remove_unreachable_nodes
  Visibility: external public
  References: 
  Referring: Mcl_Init/4 (addr)
  Availability: not_available
  Varpool flags: read-only
Mcl_CacheCleanByAddr/20 (Mcl_CacheCleanByAddr) @062e0ee0
  Type: function definition analyzed
  Visibility: externally_visible public
  References: 
  Referring: 
  Availability: available
  Function flags: body optimize_size
  Called by: 
  Calls: Cache_Ip_CleanByAddr/41 Det_ReportError/23 
Mcl_CacheInvalidateByAddr/19 (Mcl_CacheInvalidateByAddr) @062e0c40
  Type: function definition analyzed
  Visibility: externally_visible public
  References: 
  Referring: 
  Availability: available
  Function flags: body optimize_size
  Called by: 
  Calls: Cache_Ip_InvalidateByAddr/40 Det_ReportError/23 
Mcl_CacheClean/18 (Mcl_CacheClean) @062e09a0
  Type: function definition analyzed
  Visibility: externally_visible public
  References: 
  Referring: 
  Availability: available
  Function flags: body optimize_size
  Called by: 
  Calls: Cache_Ip_Clean/39 Det_ReportError/23 
Mcl_CacheInvalidate/17 (Mcl_CacheInvalidate) @062e0700
  Type: function definition analyzed
  Visibility: externally_visible public
  References: 
  Referring: 
  Availability: available
  Function flags: body optimize_size
  Called by: 
  Calls: Cache_Ip_Invalidate/38 Det_ReportError/23 
Mcl_CacheDisable/16 (Mcl_CacheDisable) @062e0460
  Type: function definition analyzed
  Visibility: externally_visible public
  References: 
  Referring: 
  Availability: available
  Function flags: body optimize_size
  Called by: 
  Calls: Cache_Ip_Disable/37 Det_ReportError/23 
Mcl_CacheEnable/15 (Mcl_CacheEnable) @062e01c0
  Type: function definition analyzed
  Visibility: externally_visible public
  References: 
  Referring: 
  Availability: available
  Function flags: body optimize_size
  Called by: 
  Calls: Cache_Ip_Enable/36 Det_ReportError/23 
Mcl_SetDmaChannelScatterGatherConfig/14 (Mcl_SetDmaChannelScatterGatherConfig) @062d5d20
  Type: function definition analyzed
  Visibility: externally_visible public
  References: 
  Referring: 
  Availability: available
  Function flags: body optimize_size
  Called by: 
  Calls: Mcl_DmaReturnCheck/3 Dma_Ip_SetLogicChannelScatterGatherConfig/35 Det_ReportError/23 
Mcl_GetDmaChannelParam/13 (Mcl_GetDmaChannelParam) @062d57e0
  Type: function definition analyzed
  Visibility: externally_visible public
  References: 
  Referring: 
  Availability: available
  Function flags: body optimize_size
  Called by: 
  Calls: Mcl_DmaReturnCheck/3 Dma_Ip_GetLogicChannelParam/34 Det_ReportError/23 Det_ReportError/23 
Mcl_SetDmaChannelScatterGatherList/12 (Mcl_SetDmaChannelScatterGatherList) @062d52a0
  Type: function definition analyzed
  Visibility: externally_visible public
  References: 
  Referring: 
  Availability: available
  Function flags: body optimize_size
  Called by: 
  Calls: Mcl_DmaReturnCheck/3 Dma_Ip_SetLogicChannelScatterGatherList/33 Det_ReportError/23 Det_ReportError/23 Det_ReportError/23 
Mcl_SetDmaChannelTransferList/11 (Mcl_SetDmaChannelTransferList) @062d5ee0
  Type: function definition analyzed
  Visibility: externally_visible public
  References: 
  Referring: 
  Availability: available
  Function flags: body optimize_size
  Called by: 
  Calls: Mcl_DmaReturnCheck/3 Dma_Ip_SetLogicChannelTransferList/32 Det_ReportError/23 Det_ReportError/23 Det_ReportError/23 
Mcl_SetDmaChannelGlobalList/10 (Mcl_SetDmaChannelGlobalList) @062d5c40
  Type: function definition analyzed
  Visibility: externally_visible public
  References: 
  Referring: 
  Availability: available
  Function flags: body optimize_size
  Called by: 
  Calls: Mcl_DmaReturnCheck/3 Dma_Ip_SetLogicChannelGlobalList/31 Det_ReportError/23 Det_ReportError/23 Det_ReportError/23 
Mcl_GetDmaChannelStatus/9 (Mcl_GetDmaChannelStatus) @062d59a0
  Type: function definition analyzed
  Visibility: externally_visible public
  References: 
  Referring: 
  Availability: available
  Function flags: body optimize_size
  Called by: 
  Calls: Mcl_DmaReturnCheck/3 Dma_Ip_GetLogicChannelStatus/30 Det_ReportError/23 Det_ReportError/23 
Mcl_SetDmaChannelCommand/8 (Mcl_SetDmaChannelCommand) @062d5700
  Type: function definition analyzed
  Visibility: externally_visible public
  References: 
  Referring: 
  Availability: available
  Function flags: body optimize_size
  Called by: 
  Calls: Mcl_DmaReturnCheck/3 Dma_Ip_SetLogicChannelCommand/29 Det_ReportError/23 Det_ReportError/23 
Mcl_GetDmaInstanceStatus/7 (Mcl_GetDmaInstanceStatus) @062d5460
  Type: function definition analyzed
  Visibility: externally_visible public
  References: 
  Referring: 
  Availability: available
  Function flags: body optimize_size
  Called by: 
  Calls: Mcl_DmaReturnCheck/3 Dma_Ip_GetLogicInstanceStatus/28 Det_ReportError/23 Det_ReportError/23 
Mcl_SetDmaInstanceCommand/6 (Mcl_SetDmaInstanceCommand) @062d51c0
  Type: function definition analyzed
  Visibility: externally_visible public
  References: 
  Referring: 
  Availability: available
  Function flags: body optimize_size
  Called by: 
  Calls: Mcl_DmaReturnCheck/3 Dma_Ip_SetLogicInstanceCommand/27 Det_ReportError/23 Det_ReportError/23 
Mcl_DeInit/5 (Mcl_DeInit) @05e6ae00
  Type: function definition analyzed
  Visibility: externally_visible public
  References: Mcl_pConfig/0 (read)Mcl_pConfig/0 (read)Mcl_pConfig/0 (read)Mcl_pConfig/0 (read)Mcl_pConfig/0 (write)
  Referring: 
  Availability: available
  Function flags: body optimize_size
  Called by: 
  Calls: Det_ReportError/23 Flexio_Mcl_Ip_DeinitDevice/26 Mcl_DmaReturnCheck/3 Dma_Ip_Deinit/25 
Mcl_Init/4 (Mcl_Init) @05e6a8c0
  Type: function definition analyzed
  Visibility: externally_visible public
  References: Mcl_pConfig/0 (read)Mcl_pConfig/0 (write)Mcl_Config/21 (addr)Mcl_pConfig/0 (read)Mcl_pConfig/0 (read)Mcl_pConfig/0 (read)Mcl_pConfig/0 (read)Mcl_pConfig/0 (read)
  Referring: 
  Availability: available
  Function flags: body optimize_size
  Called by: 
  Calls: Det_ReportError/23 Flexio_Mcl_Ip_InitDevice/24 Det_ReportError/23 Dma_Ip_Init/22 Mcl_ValidatePtrInit/2 
Mcl_DmaReturnCheck/3 (Mcl_DmaReturnCheck) @05e6ad20
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  References: 
  Referring: 
  Availability: local
  Function flags: body local optimize_size
  Called by: Mcl_SetDmaChannelScatterGatherConfig/14 Mcl_GetDmaChannelParam/13 Mcl_SetDmaChannelScatterGatherList/12 Mcl_SetDmaChannelTransferList/11 Mcl_SetDmaChannelGlobalList/10 Mcl_GetDmaChannelStatus/9 Mcl_SetDmaChannelCommand/8 Mcl_GetDmaInstanceStatus/7 Mcl_SetDmaInstanceCommand/6 Mcl_DeInit/5 
  Calls: Det_ReportError/23 Det_ReportError/23 Det_ReportError/23 
Mcl_ValidatePtrInit/2 (Mcl_ValidatePtrInit) @05e6aa80
  Type: function definition analyzed
  Visibility: prevailing_def_ironly
  References: 
  Referring: 
  Availability: local
  Function flags: body local optimize_size
  Called by: Mcl_Init/4 
  Calls: Det_ReportError/23 
MclFlexioLogicToHwInstance/1 (MclFlexioLogicToHwInstance) @0621fb88
  Type: variable definition analyzed
  Visibility: externally_visible public
  References: 
  Referring: 
  Availability: available
  Varpool flags: initialized
Mcl_pConfig/0 (Mcl_pConfig) @0621fa20
  Type: variable definition analyzed
  Visibility: prevailing_def_ironly
  References: 
  Referring: Mcl_Init/4 (read)Mcl_Init/4 (write)Mcl_Init/4 (read)Mcl_Init/4 (read)Mcl_Init/4 (read)Mcl_Init/4 (read)Mcl_Init/4 (read)Mcl_DeInit/5 (read)Mcl_DeInit/5 (read)Mcl_DeInit/5 (read)Mcl_DeInit/5 (read)Mcl_DeInit/5 (write)
  Availability: available
  Varpool flags:
Mcl_CacheCleanByAddr (Mcl_CacheType CacheType, boolean EnInvalidate, uint32 Addr, uint32 Length)
{
  <bb 2> :
  # DEBUG BEGIN_STMT
  if (CacheType > 2)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  _1 = (unsigned char) CacheType;
  Det_ReportError (255, _1, 21, 2);
  goto <bb 5>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  Cache_Ip_CleanByAddr (CacheType, EnInvalidate, Addr, Length);

  <bb 5> :
  return;

}


Mcl_CacheInvalidateByAddr (Mcl_CacheType CacheType, uint32 Addr, uint32 Length)
{
  <bb 2> :
  # DEBUG BEGIN_STMT
  if (CacheType > 2)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  _1 = (unsigned char) CacheType;
  Det_ReportError (255, _1, 20, 2);
  goto <bb 5>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  Cache_Ip_InvalidateByAddr (CacheType, Addr, Length);

  <bb 5> :
  return;

}


Mcl_CacheClean (Mcl_CacheType CacheType, boolean EnInvalidate)
{
  <bb 2> :
  # DEBUG BEGIN_STMT
  if (CacheType > 2)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  _1 = (unsigned char) CacheType;
  Det_ReportError (255, _1, 19, 2);
  goto <bb 5>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  Cache_Ip_Clean (CacheType, EnInvalidate);

  <bb 5> :
  return;

}


Mcl_CacheInvalidate (Mcl_CacheType CacheType)
{
  <bb 2> :
  # DEBUG BEGIN_STMT
  if (CacheType > 2)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  _1 = (unsigned char) CacheType;
  Det_ReportError (255, _1, 18, 2);
  goto <bb 5>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  Cache_Ip_Invalidate (CacheType);

  <bb 5> :
  return;

}


Mcl_CacheDisable (Mcl_CacheType CacheType)
{
  <bb 2> :
  # DEBUG BEGIN_STMT
  if (CacheType > 2)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  _1 = (unsigned char) CacheType;
  Det_ReportError (255, _1, 17, 2);
  goto <bb 5>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  Cache_Ip_Disable (CacheType);

  <bb 5> :
  return;

}


Mcl_CacheEnable (Mcl_CacheType CacheType)
{
  <bb 2> :
  # DEBUG BEGIN_STMT
  if (CacheType > 2)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  _1 = (unsigned char) CacheType;
  Det_ReportError (255, _1, 16, 2);
  goto <bb 5>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  Cache_Ip_Enable (CacheType);

  <bb 5> :
  return;

}


Mcl_SetDmaChannelScatterGatherConfig (const uint32 Channel, const uint32 Element)
{
  Dma_Ip_ReturnType RetStatus;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (Channel > 6)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  _1 = (unsigned char) Channel;
  Det_ReportError (255, _1, 9, 3);
  goto <bb 5>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  RetStatus = Dma_Ip_SetLogicChannelScatterGatherConfig (Channel, Element);
  # DEBUG BEGIN_STMT
  _2 = (unsigned char) Channel;
  Mcl_DmaReturnCheck (_2, 9, RetStatus);

  <bb 5> :
  return;

}


Mcl_GetDmaChannelParam (const uint32 Channel, const Mcl_DmaChannelInfoParamType Param, uint32 * const Value)
{
  Dma_Ip_ReturnType RetStatus;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (Channel > 6)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  _1 = (unsigned char) Channel;
  Det_ReportError (255, _1, 8, 3);
  goto <bb 7>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  if (Param > 7)
    goto <bb 5>; [INV]
  else
    goto <bb 6>; [INV]

  <bb 5> :
  # DEBUG BEGIN_STMT
  _2 = (unsigned char) Channel;
  Det_ReportError (255, _2, 8, 5);
  goto <bb 7>; [INV]

  <bb 6> :
  # DEBUG BEGIN_STMT
  RetStatus = Dma_Ip_GetLogicChannelParam (Channel, Param, Value);
  # DEBUG BEGIN_STMT
  _3 = (unsigned char) Channel;
  Mcl_DmaReturnCheck (_3, 8, RetStatus);

  <bb 7> :
  return;

}


Mcl_SetDmaChannelScatterGatherList (const uint32 Channel, const uint32 Element, const struct Mcl_DmaChannelScatterGatherListType * List, const uint32 ListDimension)
{
  boolean DetErrorCheck;
  uint8 Idx;
  Dma_Ip_ReturnType RetStatus;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  DetErrorCheck = 0;
  # DEBUG BEGIN_STMT
  if (Channel > 6)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  _1 = (unsigned char) Channel;
  Det_ReportError (255, _1, 7, 3);
  # DEBUG BEGIN_STMT
  DetErrorCheck = 1;

  <bb 4> :
  # DEBUG BEGIN_STMT
  if (ListDimension > 26)
    goto <bb 5>; [INV]
  else
    goto <bb 6>; [INV]

  <bb 5> :
  # DEBUG BEGIN_STMT
  _2 = (unsigned char) Channel;
  Det_ReportError (255, _2, 7, 5);
  # DEBUG BEGIN_STMT
  DetErrorCheck = 1;

  <bb 6> :
  # DEBUG BEGIN_STMT
  Idx = 0;
  goto <bb 10>; [INV]

  <bb 7> :
  # DEBUG BEGIN_STMT
  _3 = (unsigned int) Idx;
  _4 = _3 * 8;
  _5 = List + _4;
  _6 = _5->Param;
  if (_6 > 25)
    goto <bb 8>; [INV]
  else
    goto <bb 9>; [INV]

  <bb 8> :
  # DEBUG BEGIN_STMT
  _7 = (unsigned char) Channel;
  Det_ReportError (255, _7, 7, 5);
  # DEBUG BEGIN_STMT
  DetErrorCheck = 1;
  # DEBUG BEGIN_STMT
  goto <bb 11>; [INV]

  <bb 9> :
  # DEBUG BEGIN_STMT
  Idx.12_8 = Idx;
  Idx = Idx.12_8 + 1;

  <bb 10> :
  # DEBUG BEGIN_STMT
  _9 = (long unsigned int) Idx;
  if (ListDimension > _9)
    goto <bb 7>; [INV]
  else
    goto <bb 11>; [INV]

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

  <bb 12> :
  # DEBUG BEGIN_STMT
  RetStatus = Dma_Ip_SetLogicChannelScatterGatherList (Channel, Element, List, ListDimension);
  # DEBUG BEGIN_STMT
  _11 = (unsigned char) Channel;
  Mcl_DmaReturnCheck (_11, 7, RetStatus);

  <bb 13> :
  return;

}


Mcl_SetDmaChannelTransferList (const uint32 Channel, const struct Mcl_DmaChannelTransferListType * List, const uint32 ListDimension)
{
  boolean DetErrorCheck;
  uint8 Idx;
  Dma_Ip_ReturnType RetStatus;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  DetErrorCheck = 0;
  # DEBUG BEGIN_STMT
  if (Channel > 6)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  _1 = (unsigned char) Channel;
  Det_ReportError (255, _1, 6, 3);
  # DEBUG BEGIN_STMT
  DetErrorCheck = 1;

  <bb 4> :
  # DEBUG BEGIN_STMT
  if (ListDimension > 26)
    goto <bb 5>; [INV]
  else
    goto <bb 6>; [INV]

  <bb 5> :
  # DEBUG BEGIN_STMT
  _2 = (unsigned char) Channel;
  Det_ReportError (255, _2, 6, 5);
  # DEBUG BEGIN_STMT
  DetErrorCheck = 1;

  <bb 6> :
  # DEBUG BEGIN_STMT
  Idx = 0;
  goto <bb 10>; [INV]

  <bb 7> :
  # DEBUG BEGIN_STMT
  _3 = (unsigned int) Idx;
  _4 = _3 * 8;
  _5 = List + _4;
  _6 = _5->Param;
  if (_6 > 25)
    goto <bb 8>; [INV]
  else
    goto <bb 9>; [INV]

  <bb 8> :
  # DEBUG BEGIN_STMT
  _7 = (unsigned char) Channel;
  Det_ReportError (255, _7, 6, 5);
  # DEBUG BEGIN_STMT
  DetErrorCheck = 1;
  # DEBUG BEGIN_STMT
  goto <bb 11>; [INV]

  <bb 9> :
  # DEBUG BEGIN_STMT
  Idx.11_8 = Idx;
  Idx = Idx.11_8 + 1;

  <bb 10> :
  # DEBUG BEGIN_STMT
  _9 = (long unsigned int) Idx;
  if (ListDimension > _9)
    goto <bb 7>; [INV]
  else
    goto <bb 11>; [INV]

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

  <bb 12> :
  # DEBUG BEGIN_STMT
  RetStatus = Dma_Ip_SetLogicChannelTransferList (Channel, List, ListDimension);
  # DEBUG BEGIN_STMT
  _11 = (unsigned char) Channel;
  Mcl_DmaReturnCheck (_11, 6, RetStatus);

  <bb 13> :
  return;

}


Mcl_SetDmaChannelGlobalList (const uint32 Channel, const struct Mcl_DmaChannelGlobalListType * List, const uint32 ListDimension)
{
  boolean DetErrorCheck;
  uint8 Idx;
  Dma_Ip_ReturnType RetStatus;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  DetErrorCheck = 0;
  # DEBUG BEGIN_STMT
  if (Channel > 6)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  _1 = (unsigned char) Channel;
  Det_ReportError (255, _1, 5, 3);
  # DEBUG BEGIN_STMT
  DetErrorCheck = 1;

  <bb 4> :
  # DEBUG BEGIN_STMT
  if (ListDimension > 11)
    goto <bb 5>; [INV]
  else
    goto <bb 6>; [INV]

  <bb 5> :
  # DEBUG BEGIN_STMT
  _2 = (unsigned char) Channel;
  Det_ReportError (255, _2, 5, 5);
  # DEBUG BEGIN_STMT
  DetErrorCheck = 1;

  <bb 6> :
  # DEBUG BEGIN_STMT
  Idx = 0;
  goto <bb 10>; [INV]

  <bb 7> :
  # DEBUG BEGIN_STMT
  _3 = (unsigned int) Idx;
  _4 = _3 * 8;
  _5 = List + _4;
  _6 = _5->Param;
  if (_6 > 10)
    goto <bb 8>; [INV]
  else
    goto <bb 9>; [INV]

  <bb 8> :
  # DEBUG BEGIN_STMT
  _7 = (unsigned char) Channel;
  Det_ReportError (255, _7, 5, 5);
  # DEBUG BEGIN_STMT
  DetErrorCheck = 1;
  # DEBUG BEGIN_STMT
  goto <bb 11>; [INV]

  <bb 9> :
  # DEBUG BEGIN_STMT
  Idx.10_8 = Idx;
  Idx = Idx.10_8 + 1;

  <bb 10> :
  # DEBUG BEGIN_STMT
  _9 = (long unsigned int) Idx;
  if (ListDimension > _9)
    goto <bb 7>; [INV]
  else
    goto <bb 11>; [INV]

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

  <bb 12> :
  # DEBUG BEGIN_STMT
  RetStatus = Dma_Ip_SetLogicChannelGlobalList (Channel, List, ListDimension);
  # DEBUG BEGIN_STMT
  _11 = (unsigned char) Channel;
  Mcl_DmaReturnCheck (_11, 5, RetStatus);

  <bb 13> :
  return;

}


Mcl_GetDmaChannelStatus (const uint32 Channel, struct Mcl_DmaChannelStatusType * const Status)
{
  struct Dma_Ip_LogicChannelStatusType LocChStatus;
  Dma_Ip_ReturnType RetStatus;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (Channel > 6)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  _1 = (unsigned char) Channel;
  Det_ReportError (255, _1, 4, 3);
  goto <bb 7>; [INV]

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

  <bb 5> :
  # DEBUG BEGIN_STMT
  _2 = (unsigned char) Channel;
  Det_ReportError (255, _2, 4, 1);
  goto <bb 7>; [INV]

  <bb 6> :
  # DEBUG BEGIN_STMT
  RetStatus = Dma_Ip_GetLogicChannelStatus (Channel, &LocChStatus);
  # DEBUG BEGIN_STMT
  _3 = LocChStatus.ChStateValue;
  Status->ChannelState = _3;
  # DEBUG BEGIN_STMT
  _4 = LocChStatus.Errors;
  Status->Errors = _4;
  # DEBUG BEGIN_STMT
  _5 = LocChStatus.Active;
  Status->Active = _5;
  # DEBUG BEGIN_STMT
  _6 = LocChStatus.Done;
  Status->Done = _6;
  # DEBUG BEGIN_STMT
  _7 = (unsigned char) Channel;
  Mcl_DmaReturnCheck (_7, 4, RetStatus);

  <bb 7> :
  LocChStatus = {CLOBBER};
  return;

}


Mcl_SetDmaChannelCommand (const uint32 Channel, const Mcl_DmaChannelCmdType Command)
{
  Dma_Ip_ReturnType RetStatus;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (Channel > 6)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  _1 = (unsigned char) Channel;
  Det_ReportError (255, _1, 3, 3);
  goto <bb 7>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  if (Command > 4)
    goto <bb 5>; [INV]
  else
    goto <bb 6>; [INV]

  <bb 5> :
  # DEBUG BEGIN_STMT
  _2 = (unsigned char) Channel;
  Det_ReportError (255, _2, 3, 4);
  goto <bb 7>; [INV]

  <bb 6> :
  # DEBUG BEGIN_STMT
  RetStatus = Dma_Ip_SetLogicChannelCommand (Channel, Command);
  # DEBUG BEGIN_STMT
  _3 = (unsigned char) Channel;
  Mcl_DmaReturnCheck (_3, 3, RetStatus);

  <bb 7> :
  return;

}


Mcl_GetDmaInstanceStatus (const uint32 Instance, struct Mcl_DmaInstanceStatusType * const Status)
{
  struct Dma_Ip_LogicInstanceStatusType LocInstStatus;
  Dma_Ip_ReturnType RetStatus;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  LocInstStatus.Errors = 0;
  LocInstStatus.ActiveId = 0;
  LocInstStatus.Active = 0;
  # DEBUG BEGIN_STMT
  if (Instance > 1)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  _1 = (unsigned char) Instance;
  Det_ReportError (255, _1, 2, 2);
  goto <bb 7>; [INV]

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

  <bb 5> :
  # DEBUG BEGIN_STMT
  _2 = (unsigned char) Instance;
  Det_ReportError (255, _2, 2, 1);
  goto <bb 7>; [INV]

  <bb 6> :
  # DEBUG BEGIN_STMT
  RetStatus = Dma_Ip_GetLogicInstanceStatus (Instance, &LocInstStatus);
  # DEBUG BEGIN_STMT
  _3 = LocInstStatus.Errors;
  Status->Errors = _3;
  # DEBUG BEGIN_STMT
  _4 = LocInstStatus.ActiveId;
  Status->ActiveId = _4;
  # DEBUG BEGIN_STMT
  _5 = LocInstStatus.Active;
  Status->Active = _5;
  # DEBUG BEGIN_STMT
  _6 = (unsigned char) Instance;
  Mcl_DmaReturnCheck (_6, 2, RetStatus);

  <bb 7> :
  LocInstStatus = {CLOBBER};
  return;

}


Mcl_SetDmaInstanceCommand (const uint32 Instance, const Mcl_DmaInstanceCmdType Command)
{
  Dma_Ip_ReturnType RetStatus;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (Instance > 1)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  _1 = (unsigned char) Instance;
  Det_ReportError (255, _1, 1, 2);
  goto <bb 7>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  if (Command > 3)
    goto <bb 5>; [INV]
  else
    goto <bb 6>; [INV]

  <bb 5> :
  # DEBUG BEGIN_STMT
  _2 = (unsigned char) Instance;
  Det_ReportError (255, _2, 1, 4);
  goto <bb 7>; [INV]

  <bb 6> :
  # DEBUG BEGIN_STMT
  RetStatus = Dma_Ip_SetLogicInstanceCommand (Instance, Command);
  # DEBUG BEGIN_STMT
  _3 = (unsigned char) Instance;
  Mcl_DmaReturnCheck (_3, 1, RetStatus);

  <bb 7> :
  return;

}


Mcl_DeInit ()
{
  Dma_Ip_ReturnType RetStatus;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  Mcl_pConfig.6_1 = Mcl_pConfig;
  if (Mcl_pConfig.6_1 != 0B)
    goto <bb 3>; [INV]
  else
    goto <bb 8>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  Mcl_pConfig.7_2 = Mcl_pConfig;
  _3 = Mcl_pConfig.7_2->pxDmaInitType;
  if (_3 != 0B)
    goto <bb 4>; [INV]
  else
    goto <bb 5>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  RetStatus = Dma_Ip_Deinit ();
  # DEBUG BEGIN_STMT
  Mcl_DmaReturnCheck (0, 11, RetStatus);

  <bb 5> :
  # DEBUG BEGIN_STMT
  Mcl_pConfig.8_4 = Mcl_pConfig;
  _5 = Mcl_pConfig.8_4->pFlexioInitType;
  if (_5 != 0B)
    goto <bb 6>; [INV]
  else
    goto <bb 7>; [INV]

  <bb 6> :
  # DEBUG BEGIN_STMT
  Mcl_pConfig.9_6 = Mcl_pConfig;
  _7 = Mcl_pConfig.9_6->pFlexioInitType;
  _8 = _7->instance;
  _9 = (long unsigned int) _8;
  Flexio_Mcl_Ip_DeinitDevice (_9);

  <bb 7> :
  # DEBUG BEGIN_STMT
  Mcl_pConfig = 0B;
  goto <bb 9>; [INV]

  <bb 8> :
  # DEBUG BEGIN_STMT
  Det_ReportError (255, 0, 11, 0);

  <bb 9> :
  return;

}


Mcl_Init (const struct Mcl_ConfigType * const ConfigPtr)
{
  Mcl_ReturnType ValidPtr;
  Dma_Ip_ReturnType DmaIpStatus;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  ValidPtr = Mcl_ValidatePtrInit (ConfigPtr);
  # DEBUG BEGIN_STMT
  if (ValidPtr == 0)
    goto <bb 3>; [INV]
  else
    goto <bb 11>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  Mcl_pConfig.0_1 = Mcl_pConfig;
  if (Mcl_pConfig.0_1 == 0B)
    goto <bb 4>; [INV]
  else
    goto <bb 10>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  Mcl_pConfig = &Mcl_Config;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  Mcl_pConfig.1_2 = Mcl_pConfig;
  if (Mcl_pConfig.1_2 != 0B)
    goto <bb 5>; [INV]
  else
    goto <bb 11>; [INV]

  <bb 5> :
  # DEBUG BEGIN_STMT
  Mcl_pConfig.2_3 = Mcl_pConfig;
  _4 = Mcl_pConfig.2_3->pxDmaInitType;
  if (_4 != 0B)
    goto <bb 6>; [INV]
  else
    goto <bb 8>; [INV]

  <bb 6> :
  # DEBUG BEGIN_STMT
  Mcl_pConfig.3_5 = Mcl_pConfig;
  _6 = Mcl_pConfig.3_5->pxDmaInitType;
  DmaIpStatus = Dma_Ip_Init (_6);
  # DEBUG BEGIN_STMT
  if (DmaIpStatus != 0)
    goto <bb 7>; [INV]
  else
    goto <bb 8>; [INV]

  <bb 7> :
  # DEBUG BEGIN_STMT
  Det_ReportError (255, 0, 0, 0);

  <bb 8> :
  # DEBUG BEGIN_STMT
  Mcl_pConfig.4_7 = Mcl_pConfig;
  _8 = Mcl_pConfig.4_7->pFlexioInitType;
  if (_8 != 0B)
    goto <bb 9>; [INV]
  else
    goto <bb 11>; [INV]

  <bb 9> :
  # DEBUG BEGIN_STMT
  Mcl_pConfig.5_9 = Mcl_pConfig;
  _10 = Mcl_pConfig.5_9->pFlexioInitType;
  Flexio_Mcl_Ip_InitDevice (_10);
  goto <bb 11>; [INV]

  <bb 10> :
  # DEBUG BEGIN_STMT
  Det_ReportError (255, 0, 0, 0);

  <bb 11> :
  return;

}


Mcl_DmaReturnCheck (const uint8 Channel, const uint8 Function, const Dma_Ip_ReturnType RetStatus)
{
  <bb 2> :
  # DEBUG BEGIN_STMT
  switch (RetStatus) <default: <L6> [INV], case 1: <L0> [INV], case 2: <L1> [INV], case 3: <L2> [INV]>

  <bb 3> :
<L0>:
  # DEBUG BEGIN_STMT
  Det_ReportError (255, Channel, Function, 7);
  # DEBUG BEGIN_STMT
  goto <bb 6>; [INV]

  <bb 4> :
<L1>:
  # DEBUG BEGIN_STMT
  Det_ReportError (255, Channel, Function, 6);
  # DEBUG BEGIN_STMT
  goto <bb 6>; [INV]

  <bb 5> :
<L2>:
  # DEBUG BEGIN_STMT
  Det_ReportError (255, Channel, Function, 5);
  # DEBUG BEGIN_STMT

  <bb 6> :
<L6>:
  return;

}


Mcl_ValidatePtrInit (const struct Mcl_ConfigType * const ConfigPtr)
{
  Mcl_ReturnType Valid;
  Mcl_ReturnType D.6548;

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

  <bb 3> :
  # DEBUG BEGIN_STMT
  Valid = 1;
  # DEBUG BEGIN_STMT
  Det_ReportError (255, 0, 0, 11);

  <bb 4> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  D.6548 = Valid;
  return D.6548;

}


