Symbol table:

Cache_Ip_CleanByAddr/41 (Cache_Ip_CleanByAddr) @070b2000
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags:
  Called by: Mcl_CacheCleanByAddr/20 
  Calls: 
Cache_Ip_InvalidateByAddr/40 (Cache_Ip_InvalidateByAddr) @070a7e00
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags:
  Called by: Mcl_CacheInvalidateByAddr/19 
  Calls: 
Cache_Ip_Clean/39 (Cache_Ip_Clean) @070a7c40
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags:
  Called by: Mcl_CacheClean/18 
  Calls: 
Cache_Ip_Invalidate/38 (Cache_Ip_Invalidate) @070a7a80
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags:
  Called by: Mcl_CacheInvalidate/17 
  Calls: 
Cache_Ip_Disable/37 (Cache_Ip_Disable) @070a78c0
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags:
  Called by: Mcl_CacheDisable/16 
  Calls: 
Cache_Ip_Enable/36 (Cache_Ip_Enable) @070a7700
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags:
  Called by: Mcl_CacheEnable/15 
  Calls: 
Dma_Ip_SetLogicChannelScatterGatherConfig/35 (Dma_Ip_SetLogicChannelScatterGatherConfig) @070a7540
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags:
  Called by: Mcl_SetDmaChannelScatterGatherConfig/14 
  Calls: 
Dma_Ip_GetLogicChannelParam/34 (Dma_Ip_GetLogicChannelParam) @070a7380
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags:
  Called by: Mcl_GetDmaChannelParam/13 
  Calls: 
Dma_Ip_SetLogicChannelScatterGatherList/33 (Dma_Ip_SetLogicChannelScatterGatherList) @070a71c0
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags:
  Called by: Mcl_SetDmaChannelScatterGatherList/12 
  Calls: 
Dma_Ip_SetLogicChannelTransferList/32 (Dma_Ip_SetLogicChannelTransferList) @070a7000
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags:
  Called by: Mcl_SetDmaChannelTransferList/11 
  Calls: 
Dma_Ip_SetLogicChannelGlobalList/31 (Dma_Ip_SetLogicChannelGlobalList) @07033e00
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags:
  Called by: Mcl_SetDmaChannelGlobalList/10 
  Calls: 
Dma_Ip_GetLogicChannelStatus/30 (Dma_Ip_GetLogicChannelStatus) @07033c40
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags:
  Called by: Mcl_GetDmaChannelStatus/9 
  Calls: 
Dma_Ip_SetLogicChannelCommand/29 (Dma_Ip_SetLogicChannelCommand) @07033a80
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags:
  Called by: Mcl_SetDmaChannelCommand/8 
  Calls: 
Dma_Ip_GetLogicInstanceStatus/28 (Dma_Ip_GetLogicInstanceStatus) @070338c0
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags:
  Called by: Mcl_GetDmaInstanceStatus/7 
  Calls: 
Dma_Ip_SetLogicInstanceCommand/27 (Dma_Ip_SetLogicInstanceCommand) @07033700
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags:
  Called by: Mcl_SetDmaInstanceCommand/6 
  Calls: 
Flexio_Mcl_Ip_DeinitDevice/26 (Flexio_Mcl_Ip_DeinitDevice) @07033540
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags:
  Called by: Mcl_DeInit/5 
  Calls: 
Dma_Ip_Deinit/25 (Dma_Ip_Deinit) @07033460
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags:
  Called by: Mcl_DeInit/5 
  Calls: 
Flexio_Mcl_Ip_InitDevice/24 (Flexio_Mcl_Ip_InitDevice) @070332a0
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags:
  Called by: Mcl_Init/4 
  Calls: 
Dma_Ip_Init/23 (Dma_Ip_Init) @070331c0
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags:
  Called by: Mcl_Init/4 
  Calls: 
Mcl_Config/22 (Mcl_Config) @07032708
  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
Det_ReportError/21 (Det_ReportError) @06f5fa80
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags:
  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_DeInit/5 Mcl_Init/4 Mcl_Init/4 Mcl_DmaReturnCheck/3 Mcl_DmaReturnCheck/3 Mcl_DmaReturnCheck/3 Mcl_ValidatePtrInit/2 
  Calls: 
Mcl_CacheCleanByAddr/20 (Mcl_CacheCleanByAddr) @06f5fee0
  Type: function definition analyzed
  Visibility: force_output externally_visible no_reorder public
  References: 
  Referring: 
  Availability: available
  Function flags: body
  Called by: 
  Calls: Cache_Ip_CleanByAddr/41 Det_ReportError/21 
Mcl_CacheInvalidateByAddr/19 (Mcl_CacheInvalidateByAddr) @06f5fc40
  Type: function definition analyzed
  Visibility: force_output externally_visible no_reorder public
  References: 
  Referring: 
  Availability: available
  Function flags: body
  Called by: 
  Calls: Cache_Ip_InvalidateByAddr/40 Det_ReportError/21 
Mcl_CacheClean/18 (Mcl_CacheClean) @06f5f9a0
  Type: function definition analyzed
  Visibility: force_output externally_visible no_reorder public
  References: 
  Referring: 
  Availability: available
  Function flags: body
  Called by: 
  Calls: Cache_Ip_Clean/39 Det_ReportError/21 
Mcl_CacheInvalidate/17 (Mcl_CacheInvalidate) @06f5f700
  Type: function definition analyzed
  Visibility: force_output externally_visible no_reorder public
  References: 
  Referring: 
  Availability: available
  Function flags: body
  Called by: 
  Calls: Cache_Ip_Invalidate/38 Det_ReportError/21 
Mcl_CacheDisable/16 (Mcl_CacheDisable) @06f5f460
  Type: function definition analyzed
  Visibility: force_output externally_visible no_reorder public
  References: 
  Referring: 
  Availability: available
  Function flags: body
  Called by: 
  Calls: Cache_Ip_Disable/37 Det_ReportError/21 
Mcl_CacheEnable/15 (Mcl_CacheEnable) @06f5f1c0
  Type: function definition analyzed
  Visibility: force_output externally_visible no_reorder public
  References: 
  Referring: 
  Availability: available
  Function flags: body
  Called by: 
  Calls: Cache_Ip_Enable/36 Det_ReportError/21 
Mcl_SetDmaChannelScatterGatherConfig/14 (Mcl_SetDmaChannelScatterGatherConfig) @06a66d20
  Type: function definition analyzed
  Visibility: force_output externally_visible no_reorder public
  References: 
  Referring: 
  Availability: available
  Function flags: body
  Called by: 
  Calls: Mcl_DmaReturnCheck/3 Dma_Ip_SetLogicChannelScatterGatherConfig/35 Det_ReportError/21 
Mcl_GetDmaChannelParam/13 (Mcl_GetDmaChannelParam) @06a667e0
  Type: function definition analyzed
  Visibility: force_output externally_visible no_reorder public
  References: 
  Referring: 
  Availability: available
  Function flags: body
  Called by: 
  Calls: Mcl_DmaReturnCheck/3 Dma_Ip_GetLogicChannelParam/34 Det_ReportError/21 Det_ReportError/21 
Mcl_SetDmaChannelScatterGatherList/12 (Mcl_SetDmaChannelScatterGatherList) @06a662a0
  Type: function definition analyzed
  Visibility: force_output externally_visible no_reorder public
  References: 
  Referring: 
  Availability: available
  Function flags: body
  Called by: 
  Calls: Mcl_DmaReturnCheck/3 Dma_Ip_SetLogicChannelScatterGatherList/33 Det_ReportError/21 Det_ReportError/21 Det_ReportError/21 
Mcl_SetDmaChannelTransferList/11 (Mcl_SetDmaChannelTransferList) @06a66ee0
  Type: function definition analyzed
  Visibility: force_output externally_visible no_reorder public
  References: 
  Referring: 
  Availability: available
  Function flags: body
  Called by: 
  Calls: Mcl_DmaReturnCheck/3 Dma_Ip_SetLogicChannelTransferList/32 Det_ReportError/21 Det_ReportError/21 Det_ReportError/21 
Mcl_SetDmaChannelGlobalList/10 (Mcl_SetDmaChannelGlobalList) @06a66c40
  Type: function definition analyzed
  Visibility: force_output externally_visible no_reorder public
  References: 
  Referring: 
  Availability: available
  Function flags: body
  Called by: 
  Calls: Mcl_DmaReturnCheck/3 Dma_Ip_SetLogicChannelGlobalList/31 Det_ReportError/21 Det_ReportError/21 Det_ReportError/21 
Mcl_GetDmaChannelStatus/9 (Mcl_GetDmaChannelStatus) @06a669a0
  Type: function definition analyzed
  Visibility: force_output externally_visible no_reorder public
  References: 
  Referring: 
  Availability: available
  Function flags: body
  Called by: 
  Calls: Mcl_DmaReturnCheck/3 Dma_Ip_GetLogicChannelStatus/30 Det_ReportError/21 Det_ReportError/21 
Mcl_SetDmaChannelCommand/8 (Mcl_SetDmaChannelCommand) @06a66700
  Type: function definition analyzed
  Visibility: force_output externally_visible no_reorder public
  References: 
  Referring: 
  Availability: available
  Function flags: body
  Called by: 
  Calls: Mcl_DmaReturnCheck/3 Dma_Ip_SetLogicChannelCommand/29 Det_ReportError/21 Det_ReportError/21 
Mcl_GetDmaInstanceStatus/7 (Mcl_GetDmaInstanceStatus) @06a66460
  Type: function definition analyzed
  Visibility: force_output externally_visible no_reorder public
  References: 
  Referring: 
  Availability: available
  Function flags: body
  Called by: 
  Calls: Mcl_DmaReturnCheck/3 Dma_Ip_GetLogicInstanceStatus/28 Det_ReportError/21 Det_ReportError/21 
Mcl_SetDmaInstanceCommand/6 (Mcl_SetDmaInstanceCommand) @06a661c0
  Type: function definition analyzed
  Visibility: force_output externally_visible no_reorder public
  References: 
  Referring: 
  Availability: available
  Function flags: body
  Called by: 
  Calls: Mcl_DmaReturnCheck/3 Dma_Ip_SetLogicInstanceCommand/27 Det_ReportError/21 Det_ReportError/21 
Mcl_DeInit/5 (Mcl_DeInit) @06a5ee00
  Type: function definition analyzed
  Visibility: force_output externally_visible no_reorder 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
  Called by: 
  Calls: Det_ReportError/21 Flexio_Mcl_Ip_DeinitDevice/26 Mcl_DmaReturnCheck/3 Dma_Ip_Deinit/25 
Mcl_Init/4 (Mcl_Init) @06a5e8c0
  Type: function definition analyzed
  Visibility: force_output externally_visible no_reorder public
  References: Mcl_pConfig/0 (read)Mcl_pConfig/0 (write)Mcl_Config/22 (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
  Called by: 
  Calls: Det_ReportError/21 Flexio_Mcl_Ip_InitDevice/24 Det_ReportError/21 Dma_Ip_Init/23 Mcl_ValidatePtrInit/2 
Mcl_DmaReturnCheck/3 (Mcl_DmaReturnCheck) @06a5ed20
  Type: function definition analyzed
  Visibility: force_output no_reorder prevailing_def_ironly
  References: 
  Referring: 
  Availability: available
  Function flags: body
  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/21 Det_ReportError/21 Det_ReportError/21 
Mcl_ValidatePtrInit/2 (Mcl_ValidatePtrInit) @06a5ea80
  Type: function definition analyzed
  Visibility: force_output no_reorder prevailing_def_ironly
  References: 
  Referring: 
  Availability: available
  Function flags: body
  Called by: Mcl_Init/4 
  Calls: Det_ReportError/21 
MclFlexioLogicToHwInstance/1 (MclFlexioLogicToHwInstance) @06a59a68
  Type: variable definition analyzed
  Visibility: force_output externally_visible no_reorder public
  References: 
  Referring: 
  Availability: available
  Varpool flags: initialized
Mcl_pConfig/0 (Mcl_pConfig) @06a59900
  Type: variable definition analyzed
  Visibility: force_output no_reorder prevailing_def_ironly
  References: 
  Referring: Mcl_Init/4 (read)Mcl_Init/4 (read)Mcl_Init/4 (read)Mcl_Init/4 (read)Mcl_Init/4 (read)Mcl_Init/4 (read)Mcl_Init/4 (write)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)
{
  unsigned char _1;

  <bb 2> :
  if (CacheType_3(D) > 2)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  _1 = (unsigned char) CacheType_3(D);
  Det_ReportError (255, _1, 21, 2);
  goto <bb 5>; [INV]

  <bb 4> :
  Cache_Ip_CleanByAddr (CacheType_3(D), EnInvalidate_5(D), Addr_6(D), Length_7(D));

  <bb 5> :
  return;

}


Mcl_CacheInvalidateByAddr (Mcl_CacheType CacheType, uint32 Addr, uint32 Length)
{
  unsigned char _1;

  <bb 2> :
  if (CacheType_3(D) > 2)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  _1 = (unsigned char) CacheType_3(D);
  Det_ReportError (255, _1, 20, 2);
  goto <bb 5>; [INV]

  <bb 4> :
  Cache_Ip_InvalidateByAddr (CacheType_3(D), Addr_5(D), Length_6(D));

  <bb 5> :
  return;

}


Mcl_CacheClean (Mcl_CacheType CacheType, boolean EnInvalidate)
{
  unsigned char _1;

  <bb 2> :
  if (CacheType_3(D) > 2)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  _1 = (unsigned char) CacheType_3(D);
  Det_ReportError (255, _1, 19, 2);
  goto <bb 5>; [INV]

  <bb 4> :
  Cache_Ip_Clean (CacheType_3(D), EnInvalidate_5(D));

  <bb 5> :
  return;

}


Mcl_CacheInvalidate (Mcl_CacheType CacheType)
{
  unsigned char _1;

  <bb 2> :
  if (CacheType_3(D) > 2)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  _1 = (unsigned char) CacheType_3(D);
  Det_ReportError (255, _1, 18, 2);
  goto <bb 5>; [INV]

  <bb 4> :
  Cache_Ip_Invalidate (CacheType_3(D));

  <bb 5> :
  return;

}


Mcl_CacheDisable (Mcl_CacheType CacheType)
{
  unsigned char _1;

  <bb 2> :
  if (CacheType_3(D) > 2)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  _1 = (unsigned char) CacheType_3(D);
  Det_ReportError (255, _1, 17, 2);
  goto <bb 5>; [INV]

  <bb 4> :
  Cache_Ip_Disable (CacheType_3(D));

  <bb 5> :
  return;

}


Mcl_CacheEnable (Mcl_CacheType CacheType)
{
  unsigned char _1;

  <bb 2> :
  if (CacheType_3(D) > 2)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  _1 = (unsigned char) CacheType_3(D);
  Det_ReportError (255, _1, 16, 2);
  goto <bb 5>; [INV]

  <bb 4> :
  Cache_Ip_Enable (CacheType_3(D));

  <bb 5> :
  return;

}


Mcl_SetDmaChannelScatterGatherConfig (const uint32 Channel, const uint32 Element)
{
  Dma_Ip_ReturnType RetStatus;
  unsigned char _1;
  unsigned char _2;

  <bb 2> :
  if (Channel_4(D) > 6)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  _1 = (unsigned char) Channel_4(D);
  Det_ReportError (255, _1, 9, 3);
  goto <bb 5>; [INV]

  <bb 4> :
  RetStatus_8 = Dma_Ip_SetLogicChannelScatterGatherConfig (Channel_4(D), Element_6(D));
  _2 = (unsigned char) Channel_4(D);
  Mcl_DmaReturnCheck (_2, 9, RetStatus_8);

  <bb 5> :
  return;

}


Mcl_GetDmaChannelParam (const uint32 Channel, const Mcl_DmaChannelInfoParamType Param, uint32 * const Value)
{
  Dma_Ip_ReturnType RetStatus;
  unsigned char _1;
  unsigned char _2;
  unsigned char _3;

  <bb 2> :
  if (Channel_5(D) > 6)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  _1 = (unsigned char) Channel_5(D);
  Det_ReportError (255, _1, 8, 3);
  goto <bb 7>; [INV]

  <bb 4> :
  if (Param_6(D) > 7)
    goto <bb 5>; [INV]
  else
    goto <bb 6>; [INV]

  <bb 5> :
  _2 = (unsigned char) Channel_5(D);
  Det_ReportError (255, _2, 8, 5);
  goto <bb 7>; [INV]

  <bb 6> :
  RetStatus_10 = Dma_Ip_GetLogicChannelParam (Channel_5(D), Param_6(D), Value_8(D));
  _3 = (unsigned char) Channel_5(D);
  Mcl_DmaReturnCheck (_3, 8, RetStatus_10);

  <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;
  unsigned char _1;
  unsigned char _2;
  unsigned int _3;
  unsigned int _4;
  const struct Mcl_DmaChannelScatterGatherListType * _5;
  <unnamed type> _6;
  unsigned char _7;
  unsigned char Idx.12_8;
  long unsigned int _9;
  _Bool _10;
  unsigned char _11;

  <bb 2> :
  DetErrorCheck_20 = 0;
  if (Channel_21(D) > 6)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  _1 = (unsigned char) Channel_21(D);
  Det_ReportError (255, _1, 7, 3);
  DetErrorCheck_24 = 1;

  <bb 4> :
  # DetErrorCheck_13 = PHI <DetErrorCheck_20(2), DetErrorCheck_24(3)>
  if (ListDimension_25(D) > 26)
    goto <bb 5>; [INV]
  else
    goto <bb 6>; [INV]

  <bb 5> :
  _2 = (unsigned char) Channel_21(D);
  Det_ReportError (255, _2, 7, 5);
  DetErrorCheck_27 = 1;

  <bb 6> :
  # DetErrorCheck_14 = PHI <DetErrorCheck_13(4), DetErrorCheck_27(5)>
  Idx_28 = 0;
  goto <bb 10>; [INV]

  <bb 7> :
  _3 = (unsigned int) Idx_12;
  _4 = _3 * 8;
  _5 = List_29(D) + _4;
  _6 = _5->Param;
  if (_6 > 25)
    goto <bb 8>; [INV]
  else
    goto <bb 9>; [INV]

  <bb 8> :
  _7 = (unsigned char) Channel_21(D);
  Det_ReportError (255, _7, 7, 5);
  DetErrorCheck_32 = 1;
  goto <bb 11>; [INV]

  <bb 9> :
  Idx.12_8 = Idx_12;
  Idx_30 = Idx.12_8 + 1;

  <bb 10> :
  # Idx_12 = PHI <Idx_28(6), Idx_30(9)>
  _9 = (long unsigned int) Idx_12;
  if (ListDimension_25(D) > _9)
    goto <bb 7>; [INV]
  else
    goto <bb 11>; [INV]

  <bb 11> :
  # DetErrorCheck_15 = PHI <DetErrorCheck_32(8), DetErrorCheck_14(10)>
  _10 = ~DetErrorCheck_15;
  if (_10 != 0)
    goto <bb 12>; [INV]
  else
    goto <bb 13>; [INV]

  <bb 12> :
  RetStatus_35 = Dma_Ip_SetLogicChannelScatterGatherList (Channel_21(D), Element_33(D), List_29(D), ListDimension_25(D));
  _11 = (unsigned char) Channel_21(D);
  Mcl_DmaReturnCheck (_11, 7, RetStatus_35);

  <bb 13> :
  return;

}


Mcl_SetDmaChannelTransferList (const uint32 Channel, const struct Mcl_DmaChannelTransferListType * List, const uint32 ListDimension)
{
  boolean DetErrorCheck;
  uint8 Idx;
  Dma_Ip_ReturnType RetStatus;
  unsigned char _1;
  unsigned char _2;
  unsigned int _3;
  unsigned int _4;
  const struct Mcl_DmaChannelTransferListType * _5;
  <unnamed type> _6;
  unsigned char _7;
  unsigned char Idx.11_8;
  long unsigned int _9;
  _Bool _10;
  unsigned char _11;

  <bb 2> :
  DetErrorCheck_20 = 0;
  if (Channel_21(D) > 6)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  _1 = (unsigned char) Channel_21(D);
  Det_ReportError (255, _1, 6, 3);
  DetErrorCheck_24 = 1;

  <bb 4> :
  # DetErrorCheck_13 = PHI <DetErrorCheck_20(2), DetErrorCheck_24(3)>
  if (ListDimension_25(D) > 26)
    goto <bb 5>; [INV]
  else
    goto <bb 6>; [INV]

  <bb 5> :
  _2 = (unsigned char) Channel_21(D);
  Det_ReportError (255, _2, 6, 5);
  DetErrorCheck_27 = 1;

  <bb 6> :
  # DetErrorCheck_14 = PHI <DetErrorCheck_13(4), DetErrorCheck_27(5)>
  Idx_28 = 0;
  goto <bb 10>; [INV]

  <bb 7> :
  _3 = (unsigned int) Idx_12;
  _4 = _3 * 8;
  _5 = List_29(D) + _4;
  _6 = _5->Param;
  if (_6 > 25)
    goto <bb 8>; [INV]
  else
    goto <bb 9>; [INV]

  <bb 8> :
  _7 = (unsigned char) Channel_21(D);
  Det_ReportError (255, _7, 6, 5);
  DetErrorCheck_32 = 1;
  goto <bb 11>; [INV]

  <bb 9> :
  Idx.11_8 = Idx_12;
  Idx_30 = Idx.11_8 + 1;

  <bb 10> :
  # Idx_12 = PHI <Idx_28(6), Idx_30(9)>
  _9 = (long unsigned int) Idx_12;
  if (ListDimension_25(D) > _9)
    goto <bb 7>; [INV]
  else
    goto <bb 11>; [INV]

  <bb 11> :
  # DetErrorCheck_15 = PHI <DetErrorCheck_32(8), DetErrorCheck_14(10)>
  _10 = ~DetErrorCheck_15;
  if (_10 != 0)
    goto <bb 12>; [INV]
  else
    goto <bb 13>; [INV]

  <bb 12> :
  RetStatus_34 = Dma_Ip_SetLogicChannelTransferList (Channel_21(D), List_29(D), ListDimension_25(D));
  _11 = (unsigned char) Channel_21(D);
  Mcl_DmaReturnCheck (_11, 6, RetStatus_34);

  <bb 13> :
  return;

}


Mcl_SetDmaChannelGlobalList (const uint32 Channel, const struct Mcl_DmaChannelGlobalListType * List, const uint32 ListDimension)
{
  boolean DetErrorCheck;
  uint8 Idx;
  Dma_Ip_ReturnType RetStatus;
  unsigned char _1;
  unsigned char _2;
  unsigned int _3;
  unsigned int _4;
  const struct Mcl_DmaChannelGlobalListType * _5;
  <unnamed type> _6;
  unsigned char _7;
  unsigned char Idx.10_8;
  long unsigned int _9;
  _Bool _10;
  unsigned char _11;

  <bb 2> :
  DetErrorCheck_20 = 0;
  if (Channel_21(D) > 6)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  _1 = (unsigned char) Channel_21(D);
  Det_ReportError (255, _1, 5, 3);
  DetErrorCheck_24 = 1;

  <bb 4> :
  # DetErrorCheck_13 = PHI <DetErrorCheck_20(2), DetErrorCheck_24(3)>
  if (ListDimension_25(D) > 11)
    goto <bb 5>; [INV]
  else
    goto <bb 6>; [INV]

  <bb 5> :
  _2 = (unsigned char) Channel_21(D);
  Det_ReportError (255, _2, 5, 5);
  DetErrorCheck_27 = 1;

  <bb 6> :
  # DetErrorCheck_14 = PHI <DetErrorCheck_13(4), DetErrorCheck_27(5)>
  Idx_28 = 0;
  goto <bb 10>; [INV]

  <bb 7> :
  _3 = (unsigned int) Idx_12;
  _4 = _3 * 8;
  _5 = List_29(D) + _4;
  _6 = _5->Param;
  if (_6 > 10)
    goto <bb 8>; [INV]
  else
    goto <bb 9>; [INV]

  <bb 8> :
  _7 = (unsigned char) Channel_21(D);
  Det_ReportError (255, _7, 5, 5);
  DetErrorCheck_32 = 1;
  goto <bb 11>; [INV]

  <bb 9> :
  Idx.10_8 = Idx_12;
  Idx_30 = Idx.10_8 + 1;

  <bb 10> :
  # Idx_12 = PHI <Idx_28(6), Idx_30(9)>
  _9 = (long unsigned int) Idx_12;
  if (ListDimension_25(D) > _9)
    goto <bb 7>; [INV]
  else
    goto <bb 11>; [INV]

  <bb 11> :
  # DetErrorCheck_15 = PHI <DetErrorCheck_32(8), DetErrorCheck_14(10)>
  _10 = ~DetErrorCheck_15;
  if (_10 != 0)
    goto <bb 12>; [INV]
  else
    goto <bb 13>; [INV]

  <bb 12> :
  RetStatus_34 = Dma_Ip_SetLogicChannelGlobalList (Channel_21(D), List_29(D), ListDimension_25(D));
  _11 = (unsigned char) Channel_21(D);
  Mcl_DmaReturnCheck (_11, 5, RetStatus_34);

  <bb 13> :
  return;

}


Mcl_GetDmaChannelStatus (const uint32 Channel, struct Mcl_DmaChannelStatusType * const Status)
{
  struct Dma_Ip_LogicChannelStatusType LocChStatus;
  Dma_Ip_ReturnType RetStatus;
  unsigned char _1;
  unsigned char _2;
  <unnamed type> _3;
  long unsigned int _4;
  _Bool _5;
  _Bool _6;
  unsigned char _7;

  <bb 2> :
  if (Channel_9(D) > 6)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  _1 = (unsigned char) Channel_9(D);
  Det_ReportError (255, _1, 4, 3);
  goto <bb 7>; [INV]

  <bb 4> :
  if (Status_10(D) == 0B)
    goto <bb 5>; [INV]
  else
    goto <bb 6>; [INV]

  <bb 5> :
  _2 = (unsigned char) Channel_9(D);
  Det_ReportError (255, _2, 4, 1);
  goto <bb 7>; [INV]

  <bb 6> :
  RetStatus_13 = Dma_Ip_GetLogicChannelStatus (Channel_9(D), &LocChStatus);
  _3 = LocChStatus.ChStateValue;
  Status_10(D)->ChannelState = _3;
  _4 = LocChStatus.Errors;
  Status_10(D)->Errors = _4;
  _5 = LocChStatus.Active;
  Status_10(D)->Active = _5;
  _6 = LocChStatus.Done;
  Status_10(D)->Done = _6;
  _7 = (unsigned char) Channel_9(D);
  Mcl_DmaReturnCheck (_7, 4, RetStatus_13);

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

}


Mcl_SetDmaChannelCommand (const uint32 Channel, const Mcl_DmaChannelCmdType Command)
{
  Dma_Ip_ReturnType RetStatus;
  unsigned char _1;
  unsigned char _2;
  unsigned char _3;

  <bb 2> :
  if (Channel_5(D) > 6)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  _1 = (unsigned char) Channel_5(D);
  Det_ReportError (255, _1, 3, 3);
  goto <bb 7>; [INV]

  <bb 4> :
  if (Command_6(D) > 4)
    goto <bb 5>; [INV]
  else
    goto <bb 6>; [INV]

  <bb 5> :
  _2 = (unsigned char) Channel_5(D);
  Det_ReportError (255, _2, 3, 4);
  goto <bb 7>; [INV]

  <bb 6> :
  RetStatus_9 = Dma_Ip_SetLogicChannelCommand (Channel_5(D), Command_6(D));
  _3 = (unsigned char) Channel_5(D);
  Mcl_DmaReturnCheck (_3, 3, RetStatus_9);

  <bb 7> :
  return;

}


Mcl_GetDmaInstanceStatus (const uint32 Instance, struct Mcl_DmaInstanceStatusType * const Status)
{
  struct Dma_Ip_LogicInstanceStatusType LocInstStatus;
  Dma_Ip_ReturnType RetStatus;
  unsigned char _1;
  unsigned char _2;
  long unsigned int _3;
  unsigned char _4;
  _Bool _5;
  unsigned char _6;

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

  <bb 3> :
  _1 = (unsigned char) Instance_12(D);
  Det_ReportError (255, _1, 2, 2);
  goto <bb 7>; [INV]

  <bb 4> :
  if (Status_13(D) == 0B)
    goto <bb 5>; [INV]
  else
    goto <bb 6>; [INV]

  <bb 5> :
  _2 = (unsigned char) Instance_12(D);
  Det_ReportError (255, _2, 2, 1);
  goto <bb 7>; [INV]

  <bb 6> :
  RetStatus_15 = Dma_Ip_GetLogicInstanceStatus (Instance_12(D), &LocInstStatus);
  _3 = LocInstStatus.Errors;
  Status_13(D)->Errors = _3;
  _4 = LocInstStatus.ActiveId;
  Status_13(D)->ActiveId = _4;
  _5 = LocInstStatus.Active;
  Status_13(D)->Active = _5;
  _6 = (unsigned char) Instance_12(D);
  Mcl_DmaReturnCheck (_6, 2, RetStatus_15);

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

}


Mcl_SetDmaInstanceCommand (const uint32 Instance, const Mcl_DmaInstanceCmdType Command)
{
  Dma_Ip_ReturnType RetStatus;
  unsigned char _1;
  unsigned char _2;
  unsigned char _3;

  <bb 2> :
  if (Instance_5(D) > 1)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  _1 = (unsigned char) Instance_5(D);
  Det_ReportError (255, _1, 1, 2);
  goto <bb 7>; [INV]

  <bb 4> :
  if (Command_6(D) > 3)
    goto <bb 5>; [INV]
  else
    goto <bb 6>; [INV]

  <bb 5> :
  _2 = (unsigned char) Instance_5(D);
  Det_ReportError (255, _2, 1, 4);
  goto <bb 7>; [INV]

  <bb 6> :
  RetStatus_9 = Dma_Ip_SetLogicInstanceCommand (Instance_5(D), Command_6(D));
  _3 = (unsigned char) Instance_5(D);
  Mcl_DmaReturnCheck (_3, 1, RetStatus_9);

  <bb 7> :
  return;

}


Mcl_DeInit ()
{
  Dma_Ip_ReturnType RetStatus;
  const struct Mcl_ConfigType * Mcl_pConfig.6_1;
  const struct Mcl_ConfigType * Mcl_pConfig.7_2;
  const struct Dma_Ip_InitType * _3;
  const struct Mcl_ConfigType * Mcl_pConfig.8_4;
  const struct Flexio_Ip_InstanceConfigType * _5;
  const struct Mcl_ConfigType * Mcl_pConfig.9_6;
  const struct Flexio_Ip_InstanceConfigType * _7;
  unsigned char _8;
  long unsigned int _9;

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

  <bb 3> :
  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> :
  RetStatus_16 = Dma_Ip_Deinit ();
  Mcl_DmaReturnCheck (0, 11, RetStatus_16);

  <bb 5> :
  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> :
  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> :
  Mcl_pConfig = 0B;
  goto <bb 9>; [INV]

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

  <bb 9> :
  return;

}


Mcl_Init (const struct Mcl_ConfigType * const ConfigPtr)
{
  Mcl_ReturnType ValidPtr;
  Dma_Ip_ReturnType DmaIpStatus;
  const struct Mcl_ConfigType * Mcl_pConfig.0_1;
  const struct Mcl_ConfigType * Mcl_pConfig.1_2;
  const struct Mcl_ConfigType * Mcl_pConfig.2_3;
  const struct Dma_Ip_InitType * _4;
  const struct Mcl_ConfigType * Mcl_pConfig.3_5;
  const struct Dma_Ip_InitType * _6;
  const struct Mcl_ConfigType * Mcl_pConfig.4_7;
  const struct Flexio_Ip_InstanceConfigType * _8;
  const struct Mcl_ConfigType * Mcl_pConfig.5_9;
  const struct Flexio_Ip_InstanceConfigType * _10;

  <bb 2> :
  ValidPtr_16 = Mcl_ValidatePtrInit (ConfigPtr_14(D));
  if (ValidPtr_16 == 0)
    goto <bb 3>; [INV]
  else
    goto <bb 11>; [INV]

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

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

  <bb 5> :
  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> :
  Mcl_pConfig.3_5 = Mcl_pConfig;
  _6 = Mcl_pConfig.3_5->pxDmaInitType;
  DmaIpStatus_20 = Dma_Ip_Init (_6);
  if (DmaIpStatus_20 != 0)
    goto <bb 7>; [INV]
  else
    goto <bb 8>; [INV]

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

  <bb 8> :
  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> :
  Mcl_pConfig.5_9 = Mcl_pConfig;
  _10 = Mcl_pConfig.5_9->pFlexioInitType;
  Flexio_Mcl_Ip_InitDevice (_10);
  goto <bb 11>; [INV]

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

  <bb 11> :
  return;

}


Mcl_DmaReturnCheck (const uint8 Channel, const uint8 Function, const Dma_Ip_ReturnType RetStatus)
{
  <bb 2> :
  switch (RetStatus_2(D)) <default: <L4> [INV], case 0: <L3> [INV], case 1: <L0> [INV], case 2: <L1> [INV], case 3: <L2> [INV]>

  <bb 3> :
<L0>:
  Det_ReportError (255, Channel_4(D), Function_5(D), 7);
  goto <bb 8>; [INV]

  <bb 4> :
<L1>:
  Det_ReportError (255, Channel_4(D), Function_5(D), 6);
  goto <bb 8>; [INV]

  <bb 5> :
<L2>:
  Det_ReportError (255, Channel_4(D), Function_5(D), 5);
  goto <bb 8>; [INV]

  <bb 6> :
<L3>:
  goto <bb 8>; [INV]

  <bb 7> :
<L4>:

  <bb 8> :
  return;

}


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

  <bb 2> :
  Valid_3 = 0;
  if (ConfigPtr_4(D) != 0B)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  Valid_6 = 1;
  Det_ReportError (255, 0, 0, 11);

  <bb 4> :
  # Valid_1 = PHI <Valid_3(2), Valid_6(3)>
  _8 = Valid_1;

  <bb 5> :
<L3>:
  return _8;

}