Histogram:
Mcl_DmaReturnCheck.part.0 (const uint8 Channel, const uint8 Function)
{
  const Dma_Ip_ReturnType RetStatus;

  <bb 4> [local count: 1073741824]:
  # DEBUG D#2 s=> RetStatus
  # DEBUG RetStatus => D#2

  <bb 2> [local count: 1073741824]:
<L0>:
  # DEBUG BEGIN_STMT
  Det_ReportError (255, Channel_1(D), Function_2(D), 5);
  # DEBUG BEGIN_STMT

  <bb 3> [local count: 1073741824]:
<L1>:
  return;

}


Mcl_CacheCleanByAddr (Mcl_CacheType CacheType, boolean EnInvalidate, uint32 Addr, uint32 Length)
{
  unsigned char _1;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  if (CacheType_3(D) > 2)
    goto <bb 3>; [50.00%]
  else
    goto <bb 4>; [50.00%]

  <bb 3> [local count: 536870913]:
  # DEBUG BEGIN_STMT
  _1 = (unsigned char) CacheType_3(D);
  Det_ReportError (255, _1, 21, 2);
  goto <bb 5>; [100.00%]

  <bb 4> [local count: 536870913]:
  # DEBUG BEGIN_STMT
  Cache_Ip_CleanByAddr (CacheType_3(D), EnInvalidate_5(D), Addr_6(D), Length_7(D));

  <bb 5> [local count: 1073741824]:
  return;

}


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

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  if (CacheType_3(D) > 2)
    goto <bb 3>; [50.00%]
  else
    goto <bb 4>; [50.00%]

  <bb 3> [local count: 536870913]:
  # DEBUG BEGIN_STMT
  _1 = (unsigned char) CacheType_3(D);
  Det_ReportError (255, _1, 20, 2);
  goto <bb 5>; [100.00%]

  <bb 4> [local count: 536870913]:
  # DEBUG BEGIN_STMT
  Cache_Ip_InvalidateByAddr (CacheType_3(D), Addr_5(D), Length_6(D));

  <bb 5> [local count: 1073741824]:
  return;

}


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

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  if (CacheType_3(D) > 2)
    goto <bb 3>; [50.00%]
  else
    goto <bb 4>; [50.00%]

  <bb 3> [local count: 536870913]:
  # DEBUG BEGIN_STMT
  _1 = (unsigned char) CacheType_3(D);
  Det_ReportError (255, _1, 19, 2);
  goto <bb 5>; [100.00%]

  <bb 4> [local count: 536870913]:
  # DEBUG BEGIN_STMT
  Cache_Ip_Clean (CacheType_3(D), EnInvalidate_5(D));

  <bb 5> [local count: 1073741824]:
  return;

}


Mcl_CacheInvalidate (Mcl_CacheType CacheType)
{
  unsigned char _1;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  if (CacheType_3(D) > 2)
    goto <bb 3>; [50.00%]
  else
    goto <bb 4>; [50.00%]

  <bb 3> [local count: 536870913]:
  # DEBUG BEGIN_STMT
  _1 = (unsigned char) CacheType_3(D);
  Det_ReportError (255, _1, 18, 2);
  goto <bb 5>; [100.00%]

  <bb 4> [local count: 536870913]:
  # DEBUG BEGIN_STMT
  Cache_Ip_Invalidate (CacheType_3(D));

  <bb 5> [local count: 1073741824]:
  return;

}


Mcl_CacheDisable (Mcl_CacheType CacheType)
{
  unsigned char _1;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  if (CacheType_3(D) > 2)
    goto <bb 3>; [50.00%]
  else
    goto <bb 4>; [50.00%]

  <bb 3> [local count: 536870913]:
  # DEBUG BEGIN_STMT
  _1 = (unsigned char) CacheType_3(D);
  Det_ReportError (255, _1, 17, 2);
  goto <bb 5>; [100.00%]

  <bb 4> [local count: 536870913]:
  # DEBUG BEGIN_STMT
  Cache_Ip_Disable (CacheType_3(D));

  <bb 5> [local count: 1073741824]:
  return;

}


Mcl_CacheEnable (Mcl_CacheType CacheType)
{
  unsigned char _1;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  if (CacheType_3(D) > 2)
    goto <bb 3>; [50.00%]
  else
    goto <bb 4>; [50.00%]

  <bb 3> [local count: 536870913]:
  # DEBUG BEGIN_STMT
  _1 = (unsigned char) CacheType_3(D);
  Det_ReportError (255, _1, 16, 2);
  goto <bb 5>; [100.00%]

  <bb 4> [local count: 536870913]:
  # DEBUG BEGIN_STMT
  Cache_Ip_Enable (CacheType_3(D));

  <bb 5> [local count: 1073741824]:
  return;

}


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

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (Channel_4(D) > 6)
    goto <bb 3>; [50.00%]
  else
    goto <bb 4>; [50.00%]

  <bb 3> [local count: 536870913]:
  # DEBUG BEGIN_STMT
  _1 = (unsigned char) Channel_4(D);
  Det_ReportError (255, _1, 9, 3);
  goto <bb 5>; [100.00%]

  <bb 4> [local count: 536870913]:
  # DEBUG BEGIN_STMT
  RetStatus_8 = Dma_Ip_SetLogicChannelScatterGatherConfig (Channel_4(D), Element_6(D));
  # DEBUG RetStatus => RetStatus_8
  # DEBUG BEGIN_STMT
  _2 = (unsigned char) Channel_4(D);
  Mcl_DmaReturnCheck (_2, 9, RetStatus_8);

  <bb 5> [local count: 1073741824]:
  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> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (Channel_5(D) > 6)
    goto <bb 3>; [33.00%]
  else
    goto <bb 4>; [67.00%]

  <bb 3> [local count: 354334802]:
  # DEBUG BEGIN_STMT
  _1 = (unsigned char) Channel_5(D);
  Det_ReportError (255, _1, 8, 3);
  goto <bb 7>; [100.00%]

  <bb 4> [local count: 719407023]:
  # DEBUG BEGIN_STMT
  if (Param_6(D) > 7)
    goto <bb 5>; [50.00%]
  else
    goto <bb 6>; [50.00%]

  <bb 5> [local count: 359703511]:
  # DEBUG BEGIN_STMT
  _2 = (unsigned char) Channel_5(D);
  Det_ReportError (255, _2, 8, 5);
  goto <bb 7>; [100.00%]

  <bb 6> [local count: 359703511]:
  # DEBUG BEGIN_STMT
  RetStatus_10 = Dma_Ip_GetLogicChannelParam (Channel_5(D), Param_6(D), Value_8(D));
  # DEBUG RetStatus => RetStatus_10
  # DEBUG BEGIN_STMT
  _3 = (unsigned char) Channel_5(D);
  Mcl_DmaReturnCheck (_3, 8, RetStatus_10);

  <bb 7> [local count: 1073741824]:
  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;
  const struct Mcl_DmaChannelScatterGatherListType * _4;
  <unnamed type> _5;
  unsigned char _6;
  long unsigned int _7;
  unsigned char _8;

  <bb 2> [local count: 114863532]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG DetErrorCheck => 0
  # DEBUG BEGIN_STMT
  if (Channel_15(D) > 6)
    goto <bb 3>; [33.00%]
  else
    goto <bb 4>; [67.00%]

  <bb 3> [local count: 37904966]:
  # DEBUG BEGIN_STMT
  _1 = (unsigned char) Channel_15(D);
  Det_ReportError (255, _1, 7, 3);
  # DEBUG BEGIN_STMT
  # DEBUG DetErrorCheck => 1

  <bb 4> [local count: 114863532]:
  # DetErrorCheck_10 = PHI <0(2), 1(3)>
  # DEBUG DetErrorCheck => DetErrorCheck_10
  # DEBUG BEGIN_STMT
  if (ListDimension_18(D) > 26)
    goto <bb 5>; [33.00%]
  else
    goto <bb 6>; [67.00%]

  <bb 5> [local count: 37904966]:
  # DEBUG BEGIN_STMT
  _2 = (unsigned char) Channel_15(D);
  Det_ReportError (255, _2, 7, 5);
  # DEBUG BEGIN_STMT
  # DEBUG DetErrorCheck => 1

  <bb 6> [local count: 114863532]:
  # DetErrorCheck_11 = PHI <DetErrorCheck_10(4), 1(5)>
  # DEBUG DetErrorCheck => DetErrorCheck_11
  # DEBUG BEGIN_STMT
  # DEBUG Idx => 0
  goto <bb 10>; [100.00%]

  <bb 7> [local count: 1014686025]:
  # DEBUG BEGIN_STMT
  _3 = _7 * 8;
  _4 = List_20(D) + _3;
  _5 = _4->Param;
  if (_5 > 25)
    goto <bb 8>; [5.50%]
  else
    goto <bb 9>; [94.50%]

  <bb 8> [local count: 55807731]:
  # DEBUG BEGIN_STMT
  _6 = (unsigned char) Channel_15(D);
  Det_ReportError (255, _6, 7, 5);
  # DEBUG BEGIN_STMT
  # DEBUG DetErrorCheck => 1
  # DEBUG BEGIN_STMT
  # DEBUG DetErrorCheck => 1
  # DEBUG BEGIN_STMT
  goto <bb 13>; [100.00%]

  <bb 9> [local count: 958878293]:
  # DEBUG BEGIN_STMT
  Idx_21 = Idx_9 + 1;
  # DEBUG Idx => Idx_21

  <bb 10> [local count: 1073741824]:
  # Idx_9 = PHI <0(6), Idx_21(9)>
  # DEBUG Idx => Idx_9
  # DEBUG BEGIN_STMT
  _7 = (long unsigned int) Idx_9;
  if (_7 < ListDimension_18(D))
    goto <bb 7>; [94.50%]
  else
    goto <bb 11>; [5.50%]

  <bb 11> [local count: 59055800]:
  # DEBUG DetErrorCheck => DetErrorCheck_11
  # DEBUG BEGIN_STMT
  if (DetErrorCheck_11 != 0)
    goto <bb 13>; [67.00%]
  else
    goto <bb 12>; [33.00%]

  <bb 12> [local count: 19488414]:
  # DEBUG BEGIN_STMT
  RetStatus_25 = Dma_Ip_SetLogicChannelScatterGatherList (Channel_15(D), Element_23(D), List_20(D), ListDimension_18(D));
  # DEBUG RetStatus => RetStatus_25
  # DEBUG BEGIN_STMT
  _8 = (unsigned char) Channel_15(D);
  Mcl_DmaReturnCheck (_8, 7, RetStatus_25);

  <bb 13> [local count: 114863532]:
  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;
  const struct Mcl_DmaChannelTransferListType * _4;
  <unnamed type> _5;
  unsigned char _6;
  long unsigned int _7;
  unsigned char _8;

  <bb 2> [local count: 114863532]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG DetErrorCheck => 0
  # DEBUG BEGIN_STMT
  if (Channel_15(D) > 6)
    goto <bb 3>; [33.00%]
  else
    goto <bb 4>; [67.00%]

  <bb 3> [local count: 37904966]:
  # DEBUG BEGIN_STMT
  _1 = (unsigned char) Channel_15(D);
  Det_ReportError (255, _1, 6, 3);
  # DEBUG BEGIN_STMT
  # DEBUG DetErrorCheck => 1

  <bb 4> [local count: 114863532]:
  # DetErrorCheck_10 = PHI <0(2), 1(3)>
  # DEBUG DetErrorCheck => DetErrorCheck_10
  # DEBUG BEGIN_STMT
  if (ListDimension_18(D) > 26)
    goto <bb 5>; [33.00%]
  else
    goto <bb 6>; [67.00%]

  <bb 5> [local count: 37904966]:
  # DEBUG BEGIN_STMT
  _2 = (unsigned char) Channel_15(D);
  Det_ReportError (255, _2, 6, 5);
  # DEBUG BEGIN_STMT
  # DEBUG DetErrorCheck => 1

  <bb 6> [local count: 114863532]:
  # DetErrorCheck_11 = PHI <DetErrorCheck_10(4), 1(5)>
  # DEBUG DetErrorCheck => DetErrorCheck_11
  # DEBUG BEGIN_STMT
  # DEBUG Idx => 0
  goto <bb 10>; [100.00%]

  <bb 7> [local count: 1014686025]:
  # DEBUG BEGIN_STMT
  _3 = _7 * 8;
  _4 = List_20(D) + _3;
  _5 = _4->Param;
  if (_5 > 25)
    goto <bb 8>; [5.50%]
  else
    goto <bb 9>; [94.50%]

  <bb 8> [local count: 55807731]:
  # DEBUG BEGIN_STMT
  _6 = (unsigned char) Channel_15(D);
  Det_ReportError (255, _6, 6, 5);
  # DEBUG BEGIN_STMT
  # DEBUG DetErrorCheck => 1
  # DEBUG BEGIN_STMT
  # DEBUG DetErrorCheck => 1
  # DEBUG BEGIN_STMT
  goto <bb 13>; [100.00%]

  <bb 9> [local count: 958878293]:
  # DEBUG BEGIN_STMT
  Idx_21 = Idx_9 + 1;
  # DEBUG Idx => Idx_21

  <bb 10> [local count: 1073741824]:
  # Idx_9 = PHI <0(6), Idx_21(9)>
  # DEBUG Idx => Idx_9
  # DEBUG BEGIN_STMT
  _7 = (long unsigned int) Idx_9;
  if (_7 < ListDimension_18(D))
    goto <bb 7>; [94.50%]
  else
    goto <bb 11>; [5.50%]

  <bb 11> [local count: 59055800]:
  # DEBUG DetErrorCheck => DetErrorCheck_11
  # DEBUG BEGIN_STMT
  if (DetErrorCheck_11 != 0)
    goto <bb 13>; [67.00%]
  else
    goto <bb 12>; [33.00%]

  <bb 12> [local count: 19488414]:
  # DEBUG BEGIN_STMT
  RetStatus_24 = Dma_Ip_SetLogicChannelTransferList (Channel_15(D), List_20(D), ListDimension_18(D));
  # DEBUG RetStatus => RetStatus_24
  # DEBUG BEGIN_STMT
  _8 = (unsigned char) Channel_15(D);
  Mcl_DmaReturnCheck (_8, 6, RetStatus_24);

  <bb 13> [local count: 114863532]:
  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;
  const struct Mcl_DmaChannelGlobalListType * _4;
  <unnamed type> _5;
  unsigned char _6;
  long unsigned int _7;
  unsigned char _8;

  <bb 2> [local count: 114863532]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG DetErrorCheck => 0
  # DEBUG BEGIN_STMT
  if (Channel_15(D) > 6)
    goto <bb 3>; [33.00%]
  else
    goto <bb 4>; [67.00%]

  <bb 3> [local count: 37904966]:
  # DEBUG BEGIN_STMT
  _1 = (unsigned char) Channel_15(D);
  Det_ReportError (255, _1, 5, 3);
  # DEBUG BEGIN_STMT
  # DEBUG DetErrorCheck => 1

  <bb 4> [local count: 114863532]:
  # DetErrorCheck_10 = PHI <0(2), 1(3)>
  # DEBUG DetErrorCheck => DetErrorCheck_10
  # DEBUG BEGIN_STMT
  if (ListDimension_18(D) > 11)
    goto <bb 5>; [33.00%]
  else
    goto <bb 6>; [67.00%]

  <bb 5> [local count: 37904966]:
  # DEBUG BEGIN_STMT
  _2 = (unsigned char) Channel_15(D);
  Det_ReportError (255, _2, 5, 5);
  # DEBUG BEGIN_STMT
  # DEBUG DetErrorCheck => 1

  <bb 6> [local count: 114863532]:
  # DetErrorCheck_11 = PHI <DetErrorCheck_10(4), 1(5)>
  # DEBUG DetErrorCheck => DetErrorCheck_11
  # DEBUG BEGIN_STMT
  # DEBUG Idx => 0
  goto <bb 10>; [100.00%]

  <bb 7> [local count: 1014686025]:
  # DEBUG BEGIN_STMT
  _3 = _7 * 8;
  _4 = List_20(D) + _3;
  _5 = _4->Param;
  if (_5 > 10)
    goto <bb 8>; [5.50%]
  else
    goto <bb 9>; [94.50%]

  <bb 8> [local count: 55807731]:
  # DEBUG BEGIN_STMT
  _6 = (unsigned char) Channel_15(D);
  Det_ReportError (255, _6, 5, 5);
  # DEBUG BEGIN_STMT
  # DEBUG DetErrorCheck => 1
  # DEBUG BEGIN_STMT
  # DEBUG DetErrorCheck => 1
  # DEBUG BEGIN_STMT
  goto <bb 13>; [100.00%]

  <bb 9> [local count: 958878293]:
  # DEBUG BEGIN_STMT
  Idx_21 = Idx_9 + 1;
  # DEBUG Idx => Idx_21

  <bb 10> [local count: 1073741824]:
  # Idx_9 = PHI <0(6), Idx_21(9)>
  # DEBUG Idx => Idx_9
  # DEBUG BEGIN_STMT
  _7 = (long unsigned int) Idx_9;
  if (_7 < ListDimension_18(D))
    goto <bb 7>; [94.50%]
  else
    goto <bb 11>; [5.50%]

  <bb 11> [local count: 59055800]:
  # DEBUG DetErrorCheck => DetErrorCheck_11
  # DEBUG BEGIN_STMT
  if (DetErrorCheck_11 != 0)
    goto <bb 13>; [67.00%]
  else
    goto <bb 12>; [33.00%]

  <bb 12> [local count: 19488414]:
  # DEBUG BEGIN_STMT
  RetStatus_24 = Dma_Ip_SetLogicChannelGlobalList (Channel_15(D), List_20(D), ListDimension_18(D));
  # DEBUG RetStatus => RetStatus_24
  # DEBUG BEGIN_STMT
  _8 = (unsigned char) Channel_15(D);
  Mcl_DmaReturnCheck (_8, 5, RetStatus_24);

  <bb 13> [local count: 114863532]:
  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> [local count: 1073741823]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (Channel_9(D) > 6)
    goto <bb 3>; [33.00%]
  else
    goto <bb 4>; [67.00%]

  <bb 3> [local count: 354334802]:
  # DEBUG BEGIN_STMT
  _1 = (unsigned char) Channel_9(D);
  Det_ReportError (255, _1, 4, 3);
  goto <bb 7>; [100.00%]

  <bb 4> [local count: 719407022]:
  # DEBUG BEGIN_STMT
  if (Status_10(D) == 0B)
    goto <bb 5>; [30.00%]
  else
    goto <bb 6>; [70.00%]

  <bb 5> [local count: 215822106]:
  # DEBUG BEGIN_STMT
  _2 = (unsigned char) Channel_9(D);
  Det_ReportError (255, _2, 4, 1);
  goto <bb 7>; [100.00%]

  <bb 6> [local count: 503584915]:
  # DEBUG BEGIN_STMT
  RetStatus_13 = Dma_Ip_GetLogicChannelStatus (Channel_9(D), &LocChStatus);
  # DEBUG RetStatus => RetStatus_13
  # DEBUG BEGIN_STMT
  _3 = LocChStatus.ChStateValue;
  Status_10(D)->ChannelState = _3;
  # DEBUG BEGIN_STMT
  _4 = LocChStatus.Errors;
  Status_10(D)->Errors = _4;
  # DEBUG BEGIN_STMT
  _5 = LocChStatus.Active;
  Status_10(D)->Active = _5;
  # DEBUG BEGIN_STMT
  _6 = LocChStatus.Done;
  Status_10(D)->Done = _6;
  # DEBUG BEGIN_STMT
  _7 = (unsigned char) Channel_9(D);
  Mcl_DmaReturnCheck (_7, 4, RetStatus_13);

  <bb 7> [local count: 1073741824]:
  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> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (Channel_5(D) > 6)
    goto <bb 3>; [33.00%]
  else
    goto <bb 4>; [67.00%]

  <bb 3> [local count: 354334802]:
  # DEBUG BEGIN_STMT
  _1 = (unsigned char) Channel_5(D);
  Det_ReportError (255, _1, 3, 3);
  goto <bb 7>; [100.00%]

  <bb 4> [local count: 719407023]:
  # DEBUG BEGIN_STMT
  if (Command_6(D) > 4)
    goto <bb 5>; [50.00%]
  else
    goto <bb 6>; [50.00%]

  <bb 5> [local count: 359703511]:
  # DEBUG BEGIN_STMT
  _2 = (unsigned char) Channel_5(D);
  Det_ReportError (255, _2, 3, 4);
  goto <bb 7>; [100.00%]

  <bb 6> [local count: 359703511]:
  # DEBUG BEGIN_STMT
  RetStatus_9 = Dma_Ip_SetLogicChannelCommand (Channel_5(D), Command_6(D));
  # DEBUG RetStatus => RetStatus_9
  # DEBUG BEGIN_STMT
  _3 = (unsigned char) Channel_5(D);
  Mcl_DmaReturnCheck (_3, 3, RetStatus_9);

  <bb 7> [local count: 1073741824]:
  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> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  LocInstStatus.Errors = 0;
  LocInstStatus.ActiveId = 0;
  LocInstStatus.Active = 0;
  # DEBUG BEGIN_STMT
  if (Instance_12(D) > 1)
    goto <bb 3>; [41.48%]
  else
    goto <bb 4>; [58.52%]

  <bb 3> [local count: 445388109]:
  # DEBUG BEGIN_STMT
  _1 = (unsigned char) Instance_12(D);
  Det_ReportError (255, _1, 2, 2);
  goto <bb 7>; [100.00%]

  <bb 4> [local count: 628353716]:
  # DEBUG BEGIN_STMT
  if (Status_13(D) == 0B)
    goto <bb 5>; [30.00%]
  else
    goto <bb 6>; [70.00%]

  <bb 5> [local count: 188506115]:
  # DEBUG BEGIN_STMT
  _2 = (unsigned char) Instance_12(D);
  Det_ReportError (255, _2, 2, 1);
  goto <bb 7>; [100.00%]

  <bb 6> [local count: 439847600]:
  # DEBUG BEGIN_STMT
  RetStatus_15 = Dma_Ip_GetLogicInstanceStatus (Instance_12(D), &LocInstStatus);
  # DEBUG RetStatus => RetStatus_15
  # DEBUG BEGIN_STMT
  _3 = LocInstStatus.Errors;
  Status_13(D)->Errors = _3;
  # DEBUG BEGIN_STMT
  _4 = LocInstStatus.ActiveId;
  Status_13(D)->ActiveId = _4;
  # DEBUG BEGIN_STMT
  _5 = LocInstStatus.Active;
  Status_13(D)->Active = _5;
  # DEBUG BEGIN_STMT
  _6 = (unsigned char) Instance_12(D);
  Mcl_DmaReturnCheck (_6, 2, RetStatus_15);

  <bb 7> [local count: 1073741824]:
  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> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (Instance_5(D) > 1)
    goto <bb 3>; [41.48%]
  else
    goto <bb 4>; [58.52%]

  <bb 3> [local count: 445388109]:
  # DEBUG BEGIN_STMT
  _1 = (unsigned char) Instance_5(D);
  Det_ReportError (255, _1, 1, 2);
  goto <bb 7>; [100.00%]

  <bb 4> [local count: 628353716]:
  # DEBUG BEGIN_STMT
  if (Command_6(D) > 3)
    goto <bb 5>; [50.00%]
  else
    goto <bb 6>; [50.00%]

  <bb 5> [local count: 314176858]:
  # DEBUG BEGIN_STMT
  _2 = (unsigned char) Instance_5(D);
  Det_ReportError (255, _2, 1, 4);
  goto <bb 7>; [100.00%]

  <bb 6> [local count: 314176858]:
  # DEBUG BEGIN_STMT
  RetStatus_9 = Dma_Ip_SetLogicInstanceCommand (Instance_5(D), Command_6(D));
  # DEBUG RetStatus => RetStatus_9
  # DEBUG BEGIN_STMT
  _3 = (unsigned char) Instance_5(D);
  Mcl_DmaReturnCheck (_3, 1, RetStatus_9);

  <bb 7> [local count: 1073741824]:
  return;

}


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

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  Mcl_pConfig.6_1 = Mcl_pConfig;
  if (Mcl_pConfig.6_1 != 0B)
    goto <bb 3>; [82.57%]
  else
    goto <bb 8>; [17.43%]

  <bb 3> [local count: 886588625]:
  # DEBUG BEGIN_STMT
  _2 = Mcl_pConfig.6_1->pxDmaInitType;
  if (_2 != 0B)
    goto <bb 4>; [53.47%]
  else
    goto <bb 5>; [46.53%]

  <bb 4> [local count: 474058937]:
  # DEBUG BEGIN_STMT
  RetStatus_13 = Dma_Ip_Deinit ();
  # DEBUG RetStatus => RetStatus_13
  # DEBUG BEGIN_STMT
  Mcl_DmaReturnCheck (0, 11, RetStatus_13);

  <bb 5> [local count: 886588625]:
  # DEBUG BEGIN_STMT
  Mcl_pConfig.8_3 = Mcl_pConfig;
  _4 = Mcl_pConfig.8_3->pFlexioInitType;
  if (_4 != 0B)
    goto <bb 6>; [53.47%]
  else
    goto <bb 7>; [46.53%]

  <bb 6> [local count: 474058937]:
  # DEBUG BEGIN_STMT
  _5 = _4->instance;
  _6 = (long unsigned int) _5;
  Flexio_Mcl_Ip_DeinitDevice (_6);

  <bb 7> [local count: 886588625]:
  # DEBUG BEGIN_STMT
  Mcl_pConfig = 0B;
  goto <bb 9>; [100.00%]

  <bb 8> [local count: 187153200]:
  # DEBUG BEGIN_STMT
  Det_ReportError (255, 0, 11, 0);

  <bb 9> [local count: 1073741824]:
  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 Dma_Ip_InitType * _2;
  const struct Mcl_ConfigType * Mcl_pConfig.4_3;
  const struct Flexio_Ip_InstanceConfigType * _4;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  ValidPtr_10 = Mcl_ValidatePtrInit (ConfigPtr_8(D));
  # DEBUG ValidPtr => ValidPtr_10
  # DEBUG BEGIN_STMT
  if (ValidPtr_10 == 0)
    goto <bb 3>; [50.00%]
  else
    goto <bb 10>; [50.00%]

  <bb 3> [local count: 536870913]:
  # DEBUG BEGIN_STMT
  Mcl_pConfig.0_1 = Mcl_pConfig;
  if (Mcl_pConfig.0_1 == 0B)
    goto <bb 4>; [46.53%]
  else
    goto <bb 9>; [53.47%]

  <bb 4> [local count: 249806035]:
  # DEBUG BEGIN_STMT
  Mcl_pConfig = &Mcl_Config;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _2 = Mcl_Config.pxDmaInitType;
  if (_2 != 0B)
    goto <bb 5>; [53.47%]
  else
    goto <bb 7>; [46.53%]

  <bb 5> [local count: 133571287]:
  # DEBUG BEGIN_STMT
  DmaIpStatus_14 = Dma_Ip_Init (_2);
  # DEBUG DmaIpStatus => DmaIpStatus_14
  # DEBUG BEGIN_STMT
  if (DmaIpStatus_14 != 0)
    goto <bb 6>; [33.00%]
  else
    goto <bb 7>; [67.00%]

  <bb 6> [local count: 44078525]:
  # DEBUG BEGIN_STMT
  Det_ReportError (255, 0, 0, 0);

  <bb 7> [local count: 249806035]:
  # DEBUG BEGIN_STMT
  Mcl_pConfig.4_3 = Mcl_pConfig;
  _4 = Mcl_pConfig.4_3->pFlexioInitType;
  if (_4 != 0B)
    goto <bb 8>; [53.47%]
  else
    goto <bb 10>; [46.53%]

  <bb 8> [local count: 133571287]:
  # DEBUG BEGIN_STMT
  Flexio_Mcl_Ip_InitDevice (_4);
  goto <bb 10>; [100.00%]

  <bb 9> [local count: 287064877]:
  # DEBUG BEGIN_STMT
  Det_ReportError (255, 0, 0, 0);

  <bb 10> [local count: 1073741824]:
  return;

}


Mcl_DmaReturnCheck (const uint8 Channel, const uint8 Function, const Dma_Ip_ReturnType RetStatus)
{
  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  switch (RetStatus_1(D)) <default: <L6> [25.00%], case 1: <L0> [25.00%], case 2: <L1> [25.00%], case 3: <L2> [25.00%]>

  <bb 3> [local count: 268435456]:
<L0>:
  # DEBUG BEGIN_STMT
  Det_ReportError (255, Channel_3(D), Function_4(D), 7);
  # DEBUG BEGIN_STMT
  goto <bb 6>; [100.00%]

  <bb 4> [local count: 268435456]:
<L1>:
  # DEBUG BEGIN_STMT
  Det_ReportError (255, Channel_3(D), Function_4(D), 6);
  # DEBUG BEGIN_STMT
  goto <bb 6>; [100.00%]

  <bb 5> [local count: 268435456]:
<L2>:
  # DEBUG D#1 => RetStatus_1(D)
  Mcl_DmaReturnCheck.part.0 (Channel_3(D), Function_4(D));

  <bb 6> [local count: 1073741824]:
<L6>:
  return;

}


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

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG Valid => 0
  # DEBUG BEGIN_STMT
  if (ConfigPtr_3(D) != 0B)
    goto <bb 3>; [53.47%]
  else
    goto <bb 4>; [46.53%]

  <bb 3> [local count: 574129754]:
  # DEBUG BEGIN_STMT
  # DEBUG Valid => 1
  # DEBUG BEGIN_STMT
  Det_ReportError (255, 0, 0, 11);

  <bb 4> [local count: 1073741824]:
  # Valid_1 = PHI <0(2), 1(3)>
  # DEBUG Valid => Valid_1
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  return Valid_1;

}


