Uart_GetVersionInfo (struct Std_VersionInfoType * VersionInfo)
{
  <bb 2> :
  # DEBUG BEGIN_STMT
  if (VersionInfo == 0B)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  Det_ReportError (255, 0, 10, 3);
  goto <bb 5>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  VersionInfo->vendorID = 43;
  # DEBUG BEGIN_STMT
  VersionInfo->moduleID = 255;
  # DEBUG BEGIN_STMT
  VersionInfo->sw_major_version = 1;
  # DEBUG BEGIN_STMT
  VersionInfo->sw_minor_version = 0;
  # DEBUG BEGIN_STMT
  VersionInfo->sw_patch_version = 0;

  <bb 5> :
  return;

}


Uart_GetStatus (uint8 Channel, uint32 * BytesTransfered, Uart_DataDirectionType TransferType)
{
  uint8 CoreId;
  Uart_StatusType TempReturn;
  Uart_StatusType D.6438;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  TempReturn = 4;
  # DEBUG BEGIN_STMT
  CoreId = 0;
  # DEBUG BEGIN_STMT
  _1 = (int) CoreId;
  _2 = Uart_au8DriverStatus[_1];
  if (_2 == 0)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  Det_ReportError (255, 0, 9, 1);
  goto <bb 11>; [INV]

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

  <bb 5> :
  # DEBUG BEGIN_STMT
  Det_ReportError (255, 0, 9, 2);
  goto <bb 11>; [INV]

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

  <bb 7> :
  # DEBUG BEGIN_STMT
  Det_ReportError (255, 0, 9, 3);
  goto <bb 11>; [INV]

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

  <bb 9> :
  # DEBUG BEGIN_STMT
  TempReturn = Uart_Ipw_GetTransmitStatus (Channel, BytesTransfered);
  goto <bb 11>; [INV]

  <bb 10> :
  # DEBUG BEGIN_STMT
  TempReturn = Uart_Ipw_GetReceiveStatus (Channel, BytesTransfered);

  <bb 11> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  D.6438 = TempReturn;
  return D.6438;

}


Uart_AsyncSend (uint8 Channel, const uint8 * Buffer, uint32 BufferSize)
{
  uint8 CoreId;
  Std_ReturnType TempReturn;
  Std_ReturnType D.6419;

  <bb 2> :
  # DEBUG BEGIN_STMT
  TempReturn = 1;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  CoreId = 0;
  # DEBUG BEGIN_STMT
  _1 = (int) CoreId;
  _2 = Uart_au8DriverStatus[_1];
  if (_2 == 0)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  Det_ReportError (255, 0, 5, 1);
  goto <bb 11>; [INV]

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

  <bb 5> :
  # DEBUG BEGIN_STMT
  Det_ReportError (255, 0, 5, 2);
  goto <bb 11>; [INV]

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

  <bb 7> :
  # DEBUG BEGIN_STMT
  Det_ReportError (255, 0, 5, 3);
  goto <bb 11>; [INV]

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

  <bb 9> :
  # DEBUG BEGIN_STMT
  Det_ReportError (255, 0, 5, 7);
  goto <bb 11>; [INV]

  <bb 10> :
  # DEBUG BEGIN_STMT
  TempReturn = Uart_StartAsyncSend (CoreId, Channel, Buffer, BufferSize);

  <bb 11> :
  # DEBUG BEGIN_STMT
  D.6419 = TempReturn;
  return D.6419;

}


Uart_AsyncReceive (uint8 Channel, uint8 * Buffer, uint32 BufferSize)
{
  uint8 CoreId;
  Std_ReturnType TempReturn;
  Std_ReturnType D.6400;

  <bb 2> :
  # DEBUG BEGIN_STMT
  TempReturn = 1;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  CoreId = 0;
  # DEBUG BEGIN_STMT
  _1 = (int) CoreId;
  _2 = Uart_au8DriverStatus[_1];
  if (_2 == 0)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  Det_ReportError (255, 0, 7, 1);
  goto <bb 11>; [INV]

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

  <bb 5> :
  # DEBUG BEGIN_STMT
  Det_ReportError (255, 0, 7, 2);
  goto <bb 11>; [INV]

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

  <bb 7> :
  # DEBUG BEGIN_STMT
  Det_ReportError (255, 0, 7, 3);
  goto <bb 11>; [INV]

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

  <bb 9> :
  # DEBUG BEGIN_STMT
  Det_ReportError (255, 0, 7, 7);
  goto <bb 11>; [INV]

  <bb 10> :
  # DEBUG BEGIN_STMT
  TempReturn = Uart_StartAsyncReceive (CoreId, Channel, Buffer, BufferSize);

  <bb 11> :
  # DEBUG BEGIN_STMT
  D.6400 = TempReturn;
  return D.6400;

}


Uart_SyncReceive (uint8 Channel, uint8 * Buffer, uint32 BufferSize, uint32 Timeout)
{
  uint8 CoreId;
  Std_ReturnType TempReturn;
  Std_ReturnType D.6379;

  <bb 2> :
  # DEBUG BEGIN_STMT
  TempReturn = 1;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  CoreId = 0;
  # DEBUG BEGIN_STMT
  _1 = (int) CoreId;
  _2 = Uart_au8DriverStatus[_1];
  if (_2 == 0)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  Det_ReportError (255, 0, 6, 1);
  goto <bb 11>; [INV]

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

  <bb 5> :
  # DEBUG BEGIN_STMT
  Det_ReportError (255, 0, 6, 2);
  goto <bb 11>; [INV]

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

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

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

  <bb 9> :
  # DEBUG BEGIN_STMT
  Det_ReportError (255, 0, 6, 7);
  goto <bb 11>; [INV]

  <bb 10> :
  # DEBUG BEGIN_STMT
  TempReturn = Uart_StartSyncReceive (CoreId, Channel, Buffer, BufferSize, Timeout);

  <bb 11> :
  # DEBUG BEGIN_STMT
  D.6379 = TempReturn;
  return D.6379;

}


Uart_SyncSend (uint8 Channel, const uint8 * Buffer, uint32 BufferSize, uint32 Timeout)
{
  uint8 CoreId;
  Std_ReturnType TempReturn;
  Std_ReturnType D.6358;

  <bb 2> :
  # DEBUG BEGIN_STMT
  TempReturn = 1;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  CoreId = 0;
  # DEBUG BEGIN_STMT
  _1 = (int) CoreId;
  _2 = Uart_au8DriverStatus[_1];
  if (_2 == 0)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  Det_ReportError (255, 0, 4, 1);
  goto <bb 11>; [INV]

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

  <bb 5> :
  # DEBUG BEGIN_STMT
  Det_ReportError (255, 0, 4, 2);
  goto <bb 11>; [INV]

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

  <bb 7> :
  # DEBUG BEGIN_STMT
  Det_ReportError (255, 0, 4, 3);
  goto <bb 11>; [INV]

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

  <bb 9> :
  # DEBUG BEGIN_STMT
  Det_ReportError (255, 0, 4, 7);
  goto <bb 11>; [INV]

  <bb 10> :
  # DEBUG BEGIN_STMT
  TempReturn = Uart_StartSyncSend (CoreId, Channel, Buffer, BufferSize, Timeout);

  <bb 11> :
  # DEBUG BEGIN_STMT
  D.6358 = TempReturn;
  return D.6358;

}


Uart_SetBuffer (uint8 Channel, uint8 * Buffer, uint32 BufferSize, Uart_DataDirectionType Direction)
{
  uint8 CoreId;
  Std_ReturnType TempReturn;
  Std_ReturnType D.6339;

  <bb 2> :
  # DEBUG BEGIN_STMT
  TempReturn = 1;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  CoreId = 0;
  # DEBUG BEGIN_STMT
  _1 = (int) CoreId;
  _2 = Uart_au8DriverStatus[_1];
  if (_2 == 0)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  Det_ReportError (255, 0, 11, 1);
  goto <bb 11>; [INV]

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

  <bb 5> :
  # DEBUG BEGIN_STMT
  Det_ReportError (255, 0, 11, 2);
  goto <bb 11>; [INV]

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

  <bb 7> :
  # DEBUG BEGIN_STMT
  Det_ReportError (255, 0, 11, 3);
  goto <bb 11>; [INV]

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

  <bb 9> :
  # DEBUG BEGIN_STMT
  Det_ReportError (255, 0, 11, 7);
  goto <bb 11>; [INV]

  <bb 10> :
  # DEBUG BEGIN_STMT
  TempReturn = Uart_StartSetBuffer (CoreId, Channel, Buffer, BufferSize, Direction);

  <bb 11> :
  # DEBUG BEGIN_STMT
  D.6339 = TempReturn;
  return D.6339;

}


Uart_Abort (uint8 Channel, Uart_DataDirectionType TransmissionType)
{
  uint8 CoreId;
  Std_ReturnType TempReturn;
  Std_ReturnType D.6325;

  <bb 2> :
  # DEBUG BEGIN_STMT
  TempReturn = 1;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  CoreId = 0;
  # DEBUG BEGIN_STMT
  _1 = (int) CoreId;
  _2 = Uart_au8DriverStatus[_1];
  if (_2 == 0)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  Det_ReportError (255, 0, 8, 1);
  goto <bb 9>; [INV]

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

  <bb 5> :
  # DEBUG BEGIN_STMT
  Det_ReportError (255, 0, 8, 2);
  goto <bb 9>; [INV]

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

  <bb 7> :
  # DEBUG BEGIN_STMT
  TempReturn = Uart_Ipw_AbortSendingData (Channel);
  goto <bb 9>; [INV]

  <bb 8> :
  # DEBUG BEGIN_STMT
  TempReturn = Uart_Ipw_AbortReceivingData (Channel);

  <bb 9> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  D.6325 = TempReturn;
  return D.6325;

}


Uart_GetBaudrate (uint8 Channel, uint32 * Baudrate)
{
  uint8 CoreId;
  Std_ReturnType TempReturn;
  Std_ReturnType D.6314;

  <bb 2> :
  # DEBUG BEGIN_STMT
  TempReturn = 1;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  CoreId = 0;
  # DEBUG BEGIN_STMT
  _1 = (int) CoreId;
  _2 = Uart_au8DriverStatus[_1];
  if (_2 == 0)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  Det_ReportError (255, 0, 3, 1);
  goto <bb 9>; [INV]

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

  <bb 5> :
  # DEBUG BEGIN_STMT
  Det_ReportError (255, 0, 3, 2);
  goto <bb 9>; [INV]

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

  <bb 7> :
  # DEBUG BEGIN_STMT
  Det_ReportError (255, 0, 3, 3);
  goto <bb 9>; [INV]

  <bb 8> :
  # DEBUG BEGIN_STMT
  Uart_Ipw_GetBaudrate (Channel, Baudrate);
  # DEBUG BEGIN_STMT
  TempReturn = 0;

  <bb 9> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  D.6314 = TempReturn;
  return D.6314;

}


Uart_SetBaudrate (uint8 Channel, Uart_BaudrateType Baudrate)
{
  Uart_StatusType TransmitStatus;
  Uart_StatusType ReceiveStatus;
  uint8 CoreId;
  Std_ReturnType TempReturn;
  Std_ReturnType D.6303;

  <bb 2> :
  # DEBUG BEGIN_STMT
  TempReturn = 1;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  CoreId = 0;
  # DEBUG BEGIN_STMT
  _1 = (int) CoreId;
  _2 = Uart_au8DriverStatus[_1];
  if (_2 == 0)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  Det_ReportError (255, 0, 2, 1);
  goto <bb 10>; [INV]

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

  <bb 5> :
  # DEBUG BEGIN_STMT
  Det_ReportError (255, 0, 2, 2);
  goto <bb 10>; [INV]

  <bb 6> :
  # DEBUG BEGIN_STMT
  ReceiveStatus = Uart_Ipw_GetReceiveStatus (Channel, 0B);
  # DEBUG BEGIN_STMT
  TransmitStatus = Uart_Ipw_GetTransmitStatus (Channel, 0B);
  # DEBUG BEGIN_STMT
  if (ReceiveStatus == 1)
    goto <bb 8>; [INV]
  else
    goto <bb 7>; [INV]

  <bb 7> :
  if (TransmitStatus == 1)
    goto <bb 8>; [INV]
  else
    goto <bb 9>; [INV]

  <bb 8> :
  # DEBUG BEGIN_STMT
  Det_ReportError (255, 0, 2, 6);
  goto <bb 10>; [INV]

  <bb 9> :
  # DEBUG BEGIN_STMT
  _3 = (int) CoreId;
  _4 = (int) Channel;
  _5 = Uart_au32ClockFrequency[_3][_4];
  TempReturn = Uart_Ipw_SetBaudrate (Channel, Baudrate, _5);

  <bb 10> :
  # DEBUG BEGIN_STMT
  D.6303 = TempReturn;
  return D.6303;

}


Uart_Deinit ()
{
  uint8 CoreId;
  uint8 u8ChLoop;

  <bb 2> :
  # DEBUG BEGIN_STMT
  u8ChLoop = 0;
  # DEBUG BEGIN_STMT
  CoreId = 0;
  # DEBUG BEGIN_STMT
  CoreId = 0;
  # DEBUG BEGIN_STMT
  _1 = (int) CoreId;
  _2 = Uart_au8DriverStatus[_1];
  if (_2 != 1)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  Det_ReportError (255, 0, 1, 1);
  goto <bb 8>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  u8ChLoop = 0;
  goto <bb 6>; [INV]

  <bb 5> :
  # DEBUG BEGIN_STMT
  _3 = (int) CoreId;
  _4 = Uart_apConfig[_3];
  _5 = (int) u8ChLoop;
  _6 = _4->Configs[_5];
  _7 = _6->UartChannelId;
  Uart_Ipw_Deinit (_7);
  # DEBUG BEGIN_STMT
  _8 = (int) CoreId;
  Uart_au8DriverStatus[_8] = 0;
  # DEBUG BEGIN_STMT
  u8ChLoop.1_9 = u8ChLoop;
  u8ChLoop = u8ChLoop.1_9 + 1;

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

  <bb 7> :
  # DEBUG BEGIN_STMT
  _10 = (int) CoreId;
  Uart_apConfig[_10] = 0B;

  <bb 8> :
  return;

}


Uart_Init (const struct Uart_ConfigType * Config)
{
  uint8 Channel;
  uint8 CoreId;
  uint8 u8ChLoop;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  CoreId = 0;
  # DEBUG BEGIN_STMT
  _1 = (int) CoreId;
  _2 = Uart_au8DriverStatus[_1];
  if (_2 != 0)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  Det_ReportError (255, 0, 0, 4);
  goto <bb 11>; [INV]

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

  <bb 5> :
  # DEBUG BEGIN_STMT
  Det_ReportError (255, 0, 0, 9);
  goto <bb 11>; [INV]

  <bb 6> :
  # DEBUG BEGIN_STMT
  _3 = (int) CoreId;
  _4 = (int) CoreId;
  _5 = Uart_pxPBcfgVariantPredefined[_3];
  Uart_apConfig[_4] = _5;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  u8ChLoop = 0;
  goto <bb 10>; [INV]

  <bb 7> :
  # DEBUG BEGIN_STMT
  _6 = (int) CoreId;
  _7 = Uart_apConfig[_6];
  _8 = (int) u8ChLoop;
  _9 = _7->Configs[_8];
  if (_9 != 0B)
    goto <bb 8>; [INV]
  else
    goto <bb 9>; [INV]

  <bb 8> :
  # DEBUG BEGIN_STMT
  _10 = (int) CoreId;
  _11 = Uart_apConfig[_10];
  _12 = (int) u8ChLoop;
  _13 = _11->Configs[_12];
  Channel = _13->UartChannelId;
  # DEBUG BEGIN_STMT
  _14 = (int) CoreId;
  _15 = Uart_apConfig[_14];
  _16 = (int) u8ChLoop;
  _17 = _15->Configs[_16];
  _18 = _17->UartChannelConfig;
  Uart_Ipw_Init (Channel, _18);
  # DEBUG BEGIN_STMT
  _19 = (int) CoreId;
  _20 = Uart_apConfig[_19];
  _21 = (int) u8ChLoop;
  _22 = _20->Configs[_21];
  _23 = (int) CoreId;
  _24 = (int) Channel;
  _25 = _22->ChannelClockFrequency;
  Uart_au32ClockFrequency[_23][_24] = _25;
  # DEBUG BEGIN_STMT
  _26 = (int) CoreId;
  Uart_au8DriverStatus[_26] = 1;

  <bb 9> :
  # DEBUG BEGIN_STMT
  u8ChLoop.0_27 = u8ChLoop;
  u8ChLoop = u8ChLoop.0_27 + 1;

  <bb 10> :
  # DEBUG BEGIN_STMT
  if (u8ChLoop <= 4)
    goto <bb 7>; [INV]
  else
    goto <bb 11>; [INV]

  <bb 11> :
  return;

}


Uart_StartSetBuffer (uint8 CoreId, uint8 Channel, uint8 * Buffer, uint32 BufferSize, Uart_DataDirectionType Direction)
{
  Std_ReturnType TempReturn;
  Std_ReturnType D.6344;

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

  <bb 3> :
  # DEBUG BEGIN_STMT
  Uart_Ipw_SetTxBuffer (Channel, Buffer, BufferSize);
  goto <bb 5>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  Uart_Ipw_SetRxBuffer (Channel, Buffer, BufferSize);

  <bb 5> :
  # DEBUG BEGIN_STMT
  TempReturn = 0;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  D.6344 = TempReturn;
  return D.6344;

}


Uart_StartAsyncSend (uint8 CoreId, uint8 Channel, const uint8 * Buffer, uint32 BufferSize)
{
  Std_ReturnType TempReturn;
  Std_ReturnType D.6424;

  <bb 2> :
  # DEBUG BEGIN_STMT
  TempReturn = 1;
  # DEBUG BEGIN_STMT
  _1 = Uart_Ipw_GetTransmitStatus (Channel, 0B);
  if (_1 == 1)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  Det_ReportError (255, 0, 5, 6);
  goto <bb 5>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  TempReturn = Uart_Ipw_AsyncSend (Channel, Buffer, BufferSize);

  <bb 5> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  D.6424 = TempReturn;
  return D.6424;

}


Uart_StartAsyncReceive (uint8 CoreId, uint8 Channel, uint8 * Buffer, uint32 BufferSize)
{
  Std_ReturnType TempReturn;
  Std_ReturnType D.6405;

  <bb 2> :
  # DEBUG BEGIN_STMT
  TempReturn = 1;
  # DEBUG BEGIN_STMT
  _1 = Uart_Ipw_GetReceiveStatus (Channel, 0B);
  if (_1 == 1)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

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

  <bb 4> :
  # DEBUG BEGIN_STMT
  TempReturn = Uart_Ipw_AsyncReceive (Channel, Buffer, BufferSize);

  <bb 5> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  D.6405 = TempReturn;
  return D.6405;

}


Uart_StartSyncSend (uint8 CoreId, uint8 Channel, const uint8 * Buffer, uint32 BufferSize, uint32 Timeout)
{
  Std_ReturnType TempReturn;
  Std_ReturnType D.6365;

  <bb 2> :
  # DEBUG BEGIN_STMT
  TempReturn = 1;
  # DEBUG BEGIN_STMT
  _1 = Uart_Ipw_GetTransmitStatus (Channel, 0B);
  if (_1 == 1)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  Det_ReportError (255, 0, 4, 6);
  goto <bb 6>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  TempReturn = Uart_Ipw_SyncSend (Channel, Buffer, BufferSize, Timeout);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (TempReturn == 6)
    goto <bb 5>; [INV]
  else
    goto <bb 6>; [INV]

  <bb 5> :
  # DEBUG BEGIN_STMT
  Det_ReportRuntimeError (255, 0, 4, 8);
  # DEBUG BEGIN_STMT
  TempReturn = 1;

  <bb 6> :
  # DEBUG BEGIN_STMT
  D.6365 = TempReturn;
  return D.6365;

}


Uart_StartSyncReceive (uint8 CoreId, uint8 Channel, uint8 * Buffer, uint32 BufferSize, uint32 Timeout)
{
  Std_ReturnType TempReturn;
  Std_ReturnType D.6386;

  <bb 2> :
  # DEBUG BEGIN_STMT
  TempReturn = 1;
  # DEBUG BEGIN_STMT
  _1 = Uart_Ipw_GetReceiveStatus (Channel, 0B);
  if (_1 == 1)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  Det_ReportError (255, 0, 6, 6);
  goto <bb 6>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  TempReturn = Uart_Ipw_SyncReceive (Channel, Buffer, BufferSize, Timeout);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (TempReturn == 6)
    goto <bb 5>; [INV]
  else
    goto <bb 6>; [INV]

  <bb 5> :
  # DEBUG BEGIN_STMT
  Det_ReportRuntimeError (255, 0, 6, 8);
  # DEBUG BEGIN_STMT
  TempReturn = 1;

  <bb 6> :
  # DEBUG BEGIN_STMT
  D.6386 = TempReturn;
  return D.6386;

}


