get_TRACE_CLK_Frequency ()
{
  uint32 frequency;
  volatile struct cgmMux_Type * _1;
  long unsigned int _2;
  long unsigned int _3;
  long unsigned int _4;
  <unnamed type> _5;
  int _6;
  unsigned char _7;
  int _8;
  volatile struct cgmMux_Type * _9;
  long unsigned int _10;
  long unsigned int _11;
  long unsigned int _12;
  volatile struct cgmMux_Type * _13;
  long unsigned int _14;
  long unsigned int _15;
  long unsigned int _16;
  long unsigned int _19;
  long unsigned int _21;
  uint32 _23;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = 1076725184B;
  _2 ={v} _1->CSS;
  _3 = _2 >> 24;
  _4 = _3 & 63;
  _5 = hardwareValue_selectorEntry[_4];
  _6 = (int) _5;
  _7 = freqPointers[_6];
  _8 = (int) _7;
  frequency_18 = bufferFreqs[_8];
  # DEBUG frequency => frequency_18
  # DEBUG BEGIN_STMT
  _9 = 1076725184B;
  _10 ={v} _9->divider[0];
  _11 = _10 >> 31;
  _12 = _11 & 1;
  _19 = enableDisableMask[_12];
  frequency_20 = _19 & frequency_18;
  # DEBUG frequency => frequency_20
  # DEBUG BEGIN_STMT
  _13 = 1076725184B;
  _14 ={v} _13->divider[0];
  _15 = _14 >> 16;
  _16 = _15 & 63;
  _21 = _16 + 1;
  frequency_22 = frequency_20 / _21;
  # DEBUG frequency => frequency_22
  # DEBUG BEGIN_STMT
  _23 = frequency_22;
  return _23;

}


get_STM1_CLK_Frequency ()
{
  uint32 frequency;
  volatile struct cgmMux_Type * _1;
  long unsigned int _2;
  long unsigned int _3;
  long unsigned int _4;
  <unnamed type> _5;
  int _6;
  unsigned char _7;
  int _8;
  volatile struct cgmMux_Type * _9;
  long unsigned int _10;
  long unsigned int _11;
  long unsigned int _12;
  volatile struct cgmMux_Type * _13;
  long unsigned int _14;
  long unsigned int _15;
  long unsigned int _16;
  long unsigned int _19;
  long unsigned int _21;
  uint32 _23;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = 1076724608B;
  _2 ={v} _1->CSS;
  _3 = _2 >> 24;
  _4 = _3 & 63;
  _5 = hardwareValue_selectorEntry[_4];
  _6 = (int) _5;
  _7 = freqPointers[_6];
  _8 = (int) _7;
  frequency_18 = bufferFreqs[_8];
  # DEBUG frequency => frequency_18
  # DEBUG BEGIN_STMT
  _9 = 1076724608B;
  _10 ={v} _9->divider[0];
  _11 = _10 >> 31;
  _12 = _11 & 1;
  _19 = enableDisableMask[_12];
  frequency_20 = _19 & frequency_18;
  # DEBUG frequency => frequency_20
  # DEBUG BEGIN_STMT
  _13 = 1076724608B;
  _14 ={v} _13->divider[0];
  _15 = _14 >> 16;
  _16 = _15 & 63;
  _21 = _16 + 1;
  frequency_22 = frequency_20 / _21;
  # DEBUG frequency => frequency_22
  # DEBUG BEGIN_STMT
  _23 = frequency_22;
  return _23;

}


get_STMB_CLK_Frequency ()
{
  uint32 frequency;
  volatile struct cgmMux_Type * _1;
  long unsigned int _2;
  long unsigned int _3;
  long unsigned int _4;
  <unnamed type> _5;
  int _6;
  unsigned char _7;
  int _8;
  volatile struct cgmMux_Type * _9;
  long unsigned int _10;
  long unsigned int _11;
  long unsigned int _12;
  volatile struct cgmMux_Type * _13;
  long unsigned int _14;
  long unsigned int _15;
  long unsigned int _16;
  long unsigned int _19;
  long unsigned int _21;
  uint32 _23;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = 1076724608B;
  _2 ={v} _1->CSS;
  _3 = _2 >> 24;
  _4 = _3 & 63;
  _5 = hardwareValue_selectorEntry[_4];
  _6 = (int) _5;
  _7 = freqPointers[_6];
  _8 = (int) _7;
  frequency_18 = bufferFreqs[_8];
  # DEBUG frequency => frequency_18
  # DEBUG BEGIN_STMT
  _9 = 1076724608B;
  _10 ={v} _9->divider[0];
  _11 = _10 >> 31;
  _12 = _11 & 1;
  _19 = enableDisableMask[_12];
  frequency_20 = _19 & frequency_18;
  # DEBUG frequency => frequency_20
  # DEBUG BEGIN_STMT
  _13 = 1076724608B;
  _14 ={v} _13->divider[0];
  _15 = _14 >> 16;
  _16 = _15 & 63;
  _21 = _16 + 1;
  frequency_22 = frequency_20 / _21;
  # DEBUG frequency => frequency_22
  # DEBUG BEGIN_STMT
  _23 = frequency_22;
  return _23;

}


get_STM0_CLK_Frequency ()
{
  uint32 frequency;
  volatile struct cgmMux_Type * _1;
  long unsigned int _2;
  long unsigned int _3;
  long unsigned int _4;
  <unnamed type> _5;
  int _6;
  unsigned char _7;
  int _8;
  volatile struct cgmMux_Type * _9;
  long unsigned int _10;
  long unsigned int _11;
  long unsigned int _12;
  volatile struct cgmMux_Type * _13;
  long unsigned int _14;
  long unsigned int _15;
  long unsigned int _16;
  long unsigned int _19;
  long unsigned int _21;
  uint32 _23;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = 1076724544B;
  _2 ={v} _1->CSS;
  _3 = _2 >> 24;
  _4 = _3 & 63;
  _5 = hardwareValue_selectorEntry[_4];
  _6 = (int) _5;
  _7 = freqPointers[_6];
  _8 = (int) _7;
  frequency_18 = bufferFreqs[_8];
  # DEBUG frequency => frequency_18
  # DEBUG BEGIN_STMT
  _9 = 1076724544B;
  _10 ={v} _9->divider[0];
  _11 = _10 >> 31;
  _12 = _11 & 1;
  _19 = enableDisableMask[_12];
  frequency_20 = _19 & frequency_18;
  # DEBUG frequency => frequency_20
  # DEBUG BEGIN_STMT
  _13 = 1076724544B;
  _14 ={v} _13->divider[0];
  _15 = _14 >> 16;
  _16 = _15 & 63;
  _21 = _16 + 1;
  frequency_22 = frequency_20 / _21;
  # DEBUG frequency => frequency_22
  # DEBUG BEGIN_STMT
  _23 = frequency_22;
  return _23;

}


get_STMA_CLK_Frequency ()
{
  uint32 frequency;
  volatile struct cgmMux_Type * _1;
  long unsigned int _2;
  long unsigned int _3;
  long unsigned int _4;
  <unnamed type> _5;
  int _6;
  unsigned char _7;
  int _8;
  volatile struct cgmMux_Type * _9;
  long unsigned int _10;
  long unsigned int _11;
  long unsigned int _12;
  volatile struct cgmMux_Type * _13;
  long unsigned int _14;
  long unsigned int _15;
  long unsigned int _16;
  long unsigned int _19;
  long unsigned int _21;
  uint32 _23;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = 1076724544B;
  _2 ={v} _1->CSS;
  _3 = _2 >> 24;
  _4 = _3 & 63;
  _5 = hardwareValue_selectorEntry[_4];
  _6 = (int) _5;
  _7 = freqPointers[_6];
  _8 = (int) _7;
  frequency_18 = bufferFreqs[_8];
  # DEBUG frequency => frequency_18
  # DEBUG BEGIN_STMT
  _9 = 1076724544B;
  _10 ={v} _9->divider[0];
  _11 = _10 >> 31;
  _12 = _11 & 1;
  _19 = enableDisableMask[_12];
  frequency_20 = _19 & frequency_18;
  # DEBUG frequency => frequency_20
  # DEBUG BEGIN_STMT
  _13 = 1076724544B;
  _14 ={v} _13->divider[0];
  _15 = _14 >> 16;
  _16 = _15 & 63;
  _21 = _16 + 1;
  frequency_22 = frequency_20 / _21;
  # DEBUG frequency => frequency_22
  # DEBUG BEGIN_STMT
  _23 = frequency_22;
  return _23;

}


get_RTC0_CLK_Frequency ()
{
  uint32 _1;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = 0;
  return _1;

}


get_RTC_CLK_Frequency ()
{
  uint32 _1;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = 0;
  return _1;

}


get_QSPI0_SFCK_CLK_Frequency ()
{
  uint32 frequency;
  volatile struct cgmMux_Type * _1;
  long unsigned int _2;
  long unsigned int _3;
  long unsigned int _4;
  <unnamed type> _5;
  int _6;
  unsigned char _7;
  int _8;
  volatile struct cgmMux_Type * _9;
  long unsigned int _10;
  long unsigned int _11;
  long unsigned int _12;
  volatile struct cgmMux_Type * _13;
  long unsigned int _14;
  long unsigned int _15;
  long unsigned int _16;
  long unsigned int _19;
  long unsigned int _21;
  uint32 _23;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = 1076725120B;
  _2 ={v} _1->CSS;
  _3 = _2 >> 24;
  _4 = _3 & 63;
  _5 = hardwareValue_selectorEntry[_4];
  _6 = (int) _5;
  _7 = freqPointers[_6];
  _8 = (int) _7;
  frequency_18 = bufferFreqs[_8];
  # DEBUG frequency => frequency_18
  # DEBUG BEGIN_STMT
  _9 = 1076725120B;
  _10 ={v} _9->divider[0];
  _11 = _10 >> 31;
  _12 = _11 & 1;
  _19 = enableDisableMask[_12];
  frequency_20 = _19 & frequency_18;
  # DEBUG frequency => frequency_20
  # DEBUG BEGIN_STMT
  _13 = 1076725120B;
  _14 ={v} _13->divider[0];
  _15 = _14 >> 16;
  _16 = _15 & 63;
  _21 = _16 + 1;
  frequency_22 = frequency_20 / _21;
  # DEBUG frequency => frequency_22
  # DEBUG BEGIN_STMT
  _23 = frequency_22;
  return _23;

}


get_QSPI_SFCK_CLK_Frequency ()
{
  uint32 frequency;
  volatile struct cgmMux_Type * _1;
  long unsigned int _2;
  long unsigned int _3;
  long unsigned int _4;
  <unnamed type> _5;
  int _6;
  unsigned char _7;
  int _8;
  volatile struct cgmMux_Type * _9;
  long unsigned int _10;
  long unsigned int _11;
  long unsigned int _12;
  volatile struct cgmMux_Type * _13;
  long unsigned int _14;
  long unsigned int _15;
  long unsigned int _16;
  long unsigned int _19;
  long unsigned int _21;
  uint32 _23;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = 1076725120B;
  _2 ={v} _1->CSS;
  _3 = _2 >> 24;
  _4 = _3 & 63;
  _5 = hardwareValue_selectorEntry[_4];
  _6 = (int) _5;
  _7 = freqPointers[_6];
  _8 = (int) _7;
  frequency_18 = bufferFreqs[_8];
  # DEBUG frequency => frequency_18
  # DEBUG BEGIN_STMT
  _9 = 1076725120B;
  _10 ={v} _9->divider[0];
  _11 = _10 >> 31;
  _12 = _11 & 1;
  _19 = enableDisableMask[_12];
  frequency_20 = _19 & frequency_18;
  # DEBUG frequency => frequency_20
  # DEBUG BEGIN_STMT
  _13 = 1076725120B;
  _14 ={v} _13->divider[0];
  _15 = _14 >> 16;
  _16 = _15 & 63;
  _21 = _16 + 1;
  frequency_22 = frequency_20 / _21;
  # DEBUG frequency => frequency_22
  # DEBUG BEGIN_STMT
  _23 = frequency_22;
  return _23;

}


get_FLEXCAN5_CLK_Frequency ()
{
  uint32 frequency;
  volatile struct cgmMux_Type * _1;
  long unsigned int _2;
  long unsigned int _3;
  long unsigned int _4;
  <unnamed type> _5;
  int _6;
  unsigned char _7;
  int _8;
  volatile struct cgmMux_Type * _9;
  long unsigned int _10;
  long unsigned int _11;
  long unsigned int _12;
  volatile struct cgmMux_Type * _13;
  long unsigned int _14;
  long unsigned int _15;
  long unsigned int _16;
  long unsigned int _19;
  long unsigned int _21;
  uint32 _23;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = 1076724736B;
  _2 ={v} _1->CSS;
  _3 = _2 >> 24;
  _4 = _3 & 63;
  _5 = hardwareValue_selectorEntry[_4];
  _6 = (int) _5;
  _7 = freqPointers[_6];
  _8 = (int) _7;
  frequency_18 = bufferFreqs[_8];
  # DEBUG frequency => frequency_18
  # DEBUG BEGIN_STMT
  _9 = 1076724736B;
  _10 ={v} _9->divider[0];
  _11 = _10 >> 31;
  _12 = _11 & 1;
  _19 = enableDisableMask[_12];
  frequency_20 = _19 & frequency_18;
  # DEBUG frequency => frequency_20
  # DEBUG BEGIN_STMT
  _13 = 1076724736B;
  _14 ={v} _13->divider[0];
  _15 = _14 >> 16;
  _16 = _15 & 63;
  _21 = _16 + 1;
  frequency_22 = frequency_20 / _21;
  # DEBUG frequency => frequency_22
  # DEBUG BEGIN_STMT
  _23 = frequency_22;
  return _23;

}


get_FLEXCAN4_CLK_Frequency ()
{
  uint32 frequency;
  volatile struct cgmMux_Type * _1;
  long unsigned int _2;
  long unsigned int _3;
  long unsigned int _4;
  <unnamed type> _5;
  int _6;
  unsigned char _7;
  int _8;
  volatile struct cgmMux_Type * _9;
  long unsigned int _10;
  long unsigned int _11;
  long unsigned int _12;
  volatile struct cgmMux_Type * _13;
  long unsigned int _14;
  long unsigned int _15;
  long unsigned int _16;
  long unsigned int _19;
  long unsigned int _21;
  uint32 _23;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = 1076724736B;
  _2 ={v} _1->CSS;
  _3 = _2 >> 24;
  _4 = _3 & 63;
  _5 = hardwareValue_selectorEntry[_4];
  _6 = (int) _5;
  _7 = freqPointers[_6];
  _8 = (int) _7;
  frequency_18 = bufferFreqs[_8];
  # DEBUG frequency => frequency_18
  # DEBUG BEGIN_STMT
  _9 = 1076724736B;
  _10 ={v} _9->divider[0];
  _11 = _10 >> 31;
  _12 = _11 & 1;
  _19 = enableDisableMask[_12];
  frequency_20 = _19 & frequency_18;
  # DEBUG frequency => frequency_20
  # DEBUG BEGIN_STMT
  _13 = 1076724736B;
  _14 ={v} _13->divider[0];
  _15 = _14 >> 16;
  _16 = _15 & 63;
  _21 = _16 + 1;
  frequency_22 = frequency_20 / _21;
  # DEBUG frequency => frequency_22
  # DEBUG BEGIN_STMT
  _23 = frequency_22;
  return _23;

}


get_FLEXCAN3_CLK_Frequency ()
{
  uint32 frequency;
  volatile struct cgmMux_Type * _1;
  long unsigned int _2;
  long unsigned int _3;
  long unsigned int _4;
  <unnamed type> _5;
  int _6;
  unsigned char _7;
  int _8;
  volatile struct cgmMux_Type * _9;
  long unsigned int _10;
  long unsigned int _11;
  long unsigned int _12;
  volatile struct cgmMux_Type * _13;
  long unsigned int _14;
  long unsigned int _15;
  long unsigned int _16;
  long unsigned int _19;
  long unsigned int _21;
  uint32 _23;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = 1076724736B;
  _2 ={v} _1->CSS;
  _3 = _2 >> 24;
  _4 = _3 & 63;
  _5 = hardwareValue_selectorEntry[_4];
  _6 = (int) _5;
  _7 = freqPointers[_6];
  _8 = (int) _7;
  frequency_18 = bufferFreqs[_8];
  # DEBUG frequency => frequency_18
  # DEBUG BEGIN_STMT
  _9 = 1076724736B;
  _10 ={v} _9->divider[0];
  _11 = _10 >> 31;
  _12 = _11 & 1;
  _19 = enableDisableMask[_12];
  frequency_20 = _19 & frequency_18;
  # DEBUG frequency => frequency_20
  # DEBUG BEGIN_STMT
  _13 = 1076724736B;
  _14 ={v} _13->divider[0];
  _15 = _14 >> 16;
  _16 = _15 & 63;
  _21 = _16 + 1;
  frequency_22 = frequency_20 / _21;
  # DEBUG frequency => frequency_22
  # DEBUG BEGIN_STMT
  _23 = frequency_22;
  return _23;

}


get_FLEXCANB_CLK_Frequency ()
{
  uint32 frequency;
  volatile struct cgmMux_Type * _1;
  long unsigned int _2;
  long unsigned int _3;
  long unsigned int _4;
  <unnamed type> _5;
  int _6;
  unsigned char _7;
  int _8;
  volatile struct cgmMux_Type * _9;
  long unsigned int _10;
  long unsigned int _11;
  long unsigned int _12;
  volatile struct cgmMux_Type * _13;
  long unsigned int _14;
  long unsigned int _15;
  long unsigned int _16;
  long unsigned int _19;
  long unsigned int _21;
  uint32 _23;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = 1076724736B;
  _2 ={v} _1->CSS;
  _3 = _2 >> 24;
  _4 = _3 & 63;
  _5 = hardwareValue_selectorEntry[_4];
  _6 = (int) _5;
  _7 = freqPointers[_6];
  _8 = (int) _7;
  frequency_18 = bufferFreqs[_8];
  # DEBUG frequency => frequency_18
  # DEBUG BEGIN_STMT
  _9 = 1076724736B;
  _10 ={v} _9->divider[0];
  _11 = _10 >> 31;
  _12 = _11 & 1;
  _19 = enableDisableMask[_12];
  frequency_20 = _19 & frequency_18;
  # DEBUG frequency => frequency_20
  # DEBUG BEGIN_STMT
  _13 = 1076724736B;
  _14 ={v} _13->divider[0];
  _15 = _14 >> 16;
  _16 = _15 & 63;
  _21 = _16 + 1;
  frequency_22 = frequency_20 / _21;
  # DEBUG frequency => frequency_22
  # DEBUG BEGIN_STMT
  _23 = frequency_22;
  return _23;

}


get_FLEXCAN2_CLK_Frequency ()
{
  uint32 frequency;
  volatile struct cgmMux_Type * _1;
  long unsigned int _2;
  long unsigned int _3;
  long unsigned int _4;
  <unnamed type> _5;
  int _6;
  unsigned char _7;
  int _8;
  volatile struct cgmMux_Type * _9;
  long unsigned int _10;
  long unsigned int _11;
  long unsigned int _12;
  volatile struct cgmMux_Type * _13;
  long unsigned int _14;
  long unsigned int _15;
  long unsigned int _16;
  long unsigned int _19;
  long unsigned int _21;
  uint32 _23;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = 1076724672B;
  _2 ={v} _1->CSS;
  _3 = _2 >> 24;
  _4 = _3 & 63;
  _5 = hardwareValue_selectorEntry[_4];
  _6 = (int) _5;
  _7 = freqPointers[_6];
  _8 = (int) _7;
  frequency_18 = bufferFreqs[_8];
  # DEBUG frequency => frequency_18
  # DEBUG BEGIN_STMT
  _9 = 1076724672B;
  _10 ={v} _9->divider[0];
  _11 = _10 >> 31;
  _12 = _11 & 1;
  _19 = enableDisableMask[_12];
  frequency_20 = _19 & frequency_18;
  # DEBUG frequency => frequency_20
  # DEBUG BEGIN_STMT
  _13 = 1076724672B;
  _14 ={v} _13->divider[0];
  _15 = _14 >> 16;
  _16 = _15 & 63;
  _21 = _16 + 1;
  frequency_22 = frequency_20 / _21;
  # DEBUG frequency => frequency_22
  # DEBUG BEGIN_STMT
  _23 = frequency_22;
  return _23;

}


get_FLEXCAN1_CLK_Frequency ()
{
  uint32 frequency;
  volatile struct cgmMux_Type * _1;
  long unsigned int _2;
  long unsigned int _3;
  long unsigned int _4;
  <unnamed type> _5;
  int _6;
  unsigned char _7;
  int _8;
  volatile struct cgmMux_Type * _9;
  long unsigned int _10;
  long unsigned int _11;
  long unsigned int _12;
  volatile struct cgmMux_Type * _13;
  long unsigned int _14;
  long unsigned int _15;
  long unsigned int _16;
  long unsigned int _19;
  long unsigned int _21;
  uint32 _23;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = 1076724672B;
  _2 ={v} _1->CSS;
  _3 = _2 >> 24;
  _4 = _3 & 63;
  _5 = hardwareValue_selectorEntry[_4];
  _6 = (int) _5;
  _7 = freqPointers[_6];
  _8 = (int) _7;
  frequency_18 = bufferFreqs[_8];
  # DEBUG frequency => frequency_18
  # DEBUG BEGIN_STMT
  _9 = 1076724672B;
  _10 ={v} _9->divider[0];
  _11 = _10 >> 31;
  _12 = _11 & 1;
  _19 = enableDisableMask[_12];
  frequency_20 = _19 & frequency_18;
  # DEBUG frequency => frequency_20
  # DEBUG BEGIN_STMT
  _13 = 1076724672B;
  _14 ={v} _13->divider[0];
  _15 = _14 >> 16;
  _16 = _15 & 63;
  _21 = _16 + 1;
  frequency_22 = frequency_20 / _21;
  # DEBUG frequency => frequency_22
  # DEBUG BEGIN_STMT
  _23 = frequency_22;
  return _23;

}


get_FLEXCAN0_CLK_Frequency ()
{
  uint32 frequency;
  volatile struct cgmMux_Type * _1;
  long unsigned int _2;
  long unsigned int _3;
  long unsigned int _4;
  <unnamed type> _5;
  int _6;
  unsigned char _7;
  int _8;
  volatile struct cgmMux_Type * _9;
  long unsigned int _10;
  long unsigned int _11;
  long unsigned int _12;
  volatile struct cgmMux_Type * _13;
  long unsigned int _14;
  long unsigned int _15;
  long unsigned int _16;
  long unsigned int _19;
  long unsigned int _21;
  uint32 _23;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = 1076724672B;
  _2 ={v} _1->CSS;
  _3 = _2 >> 24;
  _4 = _3 & 63;
  _5 = hardwareValue_selectorEntry[_4];
  _6 = (int) _5;
  _7 = freqPointers[_6];
  _8 = (int) _7;
  frequency_18 = bufferFreqs[_8];
  # DEBUG frequency => frequency_18
  # DEBUG BEGIN_STMT
  _9 = 1076724672B;
  _10 ={v} _9->divider[0];
  _11 = _10 >> 31;
  _12 = _11 & 1;
  _19 = enableDisableMask[_12];
  frequency_20 = _19 & frequency_18;
  # DEBUG frequency => frequency_20
  # DEBUG BEGIN_STMT
  _13 = 1076724672B;
  _14 ={v} _13->divider[0];
  _15 = _14 >> 16;
  _16 = _15 & 63;
  _21 = _16 + 1;
  frequency_22 = frequency_20 / _21;
  # DEBUG frequency => frequency_22
  # DEBUG BEGIN_STMT
  _23 = frequency_22;
  return _23;

}


get_FLEXCANA_CLK_Frequency ()
{
  uint32 frequency;
  volatile struct cgmMux_Type * _1;
  long unsigned int _2;
  long unsigned int _3;
  long unsigned int _4;
  <unnamed type> _5;
  int _6;
  unsigned char _7;
  int _8;
  volatile struct cgmMux_Type * _9;
  long unsigned int _10;
  long unsigned int _11;
  long unsigned int _12;
  volatile struct cgmMux_Type * _13;
  long unsigned int _14;
  long unsigned int _15;
  long unsigned int _16;
  long unsigned int _19;
  long unsigned int _21;
  uint32 _23;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = 1076724672B;
  _2 ={v} _1->CSS;
  _3 = _2 >> 24;
  _4 = _3 & 63;
  _5 = hardwareValue_selectorEntry[_4];
  _6 = (int) _5;
  _7 = freqPointers[_6];
  _8 = (int) _7;
  frequency_18 = bufferFreqs[_8];
  # DEBUG frequency => frequency_18
  # DEBUG BEGIN_STMT
  _9 = 1076724672B;
  _10 ={v} _9->divider[0];
  _11 = _10 >> 31;
  _12 = _11 & 1;
  _19 = enableDisableMask[_12];
  frequency_20 = _19 & frequency_18;
  # DEBUG frequency => frequency_20
  # DEBUG BEGIN_STMT
  _13 = 1076724672B;
  _14 ={v} _13->divider[0];
  _15 = _14 >> 16;
  _16 = _15 & 63;
  _21 = _16 + 1;
  frequency_22 = frequency_20 / _21;
  # DEBUG frequency => frequency_22
  # DEBUG BEGIN_STMT
  _23 = frequency_22;
  return _23;

}


get_EMAC0_TX_CLK_Frequency ()
{
  uint32 frequency;
  volatile struct cgmMux_Type * _1;
  long unsigned int _2;
  long unsigned int _3;
  long unsigned int _4;
  <unnamed type> _5;
  int _6;
  unsigned char _7;
  int _8;
  volatile struct cgmMux_Type * _9;
  long unsigned int _10;
  long unsigned int _11;
  long unsigned int _12;
  volatile struct cgmMux_Type * _13;
  long unsigned int _14;
  long unsigned int _15;
  long unsigned int _16;
  long unsigned int _19;
  long unsigned int _21;
  uint32 _23;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = 1076724992B;
  _2 ={v} _1->CSS;
  _3 = _2 >> 24;
  _4 = _3 & 63;
  _5 = hardwareValue_selectorEntry[_4];
  _6 = (int) _5;
  _7 = freqPointers[_6];
  _8 = (int) _7;
  frequency_18 = bufferFreqs[_8];
  # DEBUG frequency => frequency_18
  # DEBUG BEGIN_STMT
  _9 = 1076724992B;
  _10 ={v} _9->divider[0];
  _11 = _10 >> 31;
  _12 = _11 & 1;
  _19 = enableDisableMask[_12];
  frequency_20 = _19 & frequency_18;
  # DEBUG frequency => frequency_20
  # DEBUG BEGIN_STMT
  _13 = 1076724992B;
  _14 ={v} _13->divider[0];
  _15 = _14 >> 16;
  _16 = _15 & 63;
  _21 = _16 + 1;
  frequency_22 = frequency_20 / _21;
  # DEBUG frequency => frequency_22
  # DEBUG BEGIN_STMT
  _23 = frequency_22;
  return _23;

}


get_EMAC_TX_CLK_Frequency ()
{
  uint32 frequency;
  volatile struct cgmMux_Type * _1;
  long unsigned int _2;
  long unsigned int _3;
  long unsigned int _4;
  <unnamed type> _5;
  int _6;
  unsigned char _7;
  int _8;
  volatile struct cgmMux_Type * _9;
  long unsigned int _10;
  long unsigned int _11;
  long unsigned int _12;
  volatile struct cgmMux_Type * _13;
  long unsigned int _14;
  long unsigned int _15;
  long unsigned int _16;
  long unsigned int _19;
  long unsigned int _21;
  uint32 _23;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = 1076724992B;
  _2 ={v} _1->CSS;
  _3 = _2 >> 24;
  _4 = _3 & 63;
  _5 = hardwareValue_selectorEntry[_4];
  _6 = (int) _5;
  _7 = freqPointers[_6];
  _8 = (int) _7;
  frequency_18 = bufferFreqs[_8];
  # DEBUG frequency => frequency_18
  # DEBUG BEGIN_STMT
  _9 = 1076724992B;
  _10 ={v} _9->divider[0];
  _11 = _10 >> 31;
  _12 = _11 & 1;
  _19 = enableDisableMask[_12];
  frequency_20 = _19 & frequency_18;
  # DEBUG frequency => frequency_20
  # DEBUG BEGIN_STMT
  _13 = 1076724992B;
  _14 ={v} _13->divider[0];
  _15 = _14 >> 16;
  _16 = _15 & 63;
  _21 = _16 + 1;
  frequency_22 = frequency_20 / _21;
  # DEBUG frequency => frequency_22
  # DEBUG BEGIN_STMT
  _23 = frequency_22;
  return _23;

}


get_EMAC0_TS_CLK_Frequency ()
{
  uint32 frequency;
  volatile struct cgmMux_Type * _1;
  long unsigned int _2;
  long unsigned int _3;
  long unsigned int _4;
  <unnamed type> _5;
  int _6;
  unsigned char _7;
  int _8;
  volatile struct cgmMux_Type * _9;
  long unsigned int _10;
  long unsigned int _11;
  long unsigned int _12;
  volatile struct cgmMux_Type * _13;
  long unsigned int _14;
  long unsigned int _15;
  long unsigned int _16;
  long unsigned int _19;
  long unsigned int _21;
  uint32 _23;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = 1076725056B;
  _2 ={v} _1->CSS;
  _3 = _2 >> 24;
  _4 = _3 & 63;
  _5 = hardwareValue_selectorEntry[_4];
  _6 = (int) _5;
  _7 = freqPointers[_6];
  _8 = (int) _7;
  frequency_18 = bufferFreqs[_8];
  # DEBUG frequency => frequency_18
  # DEBUG BEGIN_STMT
  _9 = 1076725056B;
  _10 ={v} _9->divider[0];
  _11 = _10 >> 31;
  _12 = _11 & 1;
  _19 = enableDisableMask[_12];
  frequency_20 = _19 & frequency_18;
  # DEBUG frequency => frequency_20
  # DEBUG BEGIN_STMT
  _13 = 1076725056B;
  _14 ={v} _13->divider[0];
  _15 = _14 >> 16;
  _16 = _15 & 63;
  _21 = _16 + 1;
  frequency_22 = frequency_20 / _21;
  # DEBUG frequency => frequency_22
  # DEBUG BEGIN_STMT
  _23 = frequency_22;
  return _23;

}


get_EMAC_TS_CLK_Frequency ()
{
  uint32 frequency;
  volatile struct cgmMux_Type * _1;
  long unsigned int _2;
  long unsigned int _3;
  long unsigned int _4;
  <unnamed type> _5;
  int _6;
  unsigned char _7;
  int _8;
  volatile struct cgmMux_Type * _9;
  long unsigned int _10;
  long unsigned int _11;
  long unsigned int _12;
  volatile struct cgmMux_Type * _13;
  long unsigned int _14;
  long unsigned int _15;
  long unsigned int _16;
  long unsigned int _19;
  long unsigned int _21;
  uint32 _23;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = 1076725056B;
  _2 ={v} _1->CSS;
  _3 = _2 >> 24;
  _4 = _3 & 63;
  _5 = hardwareValue_selectorEntry[_4];
  _6 = (int) _5;
  _7 = freqPointers[_6];
  _8 = (int) _7;
  frequency_18 = bufferFreqs[_8];
  # DEBUG frequency => frequency_18
  # DEBUG BEGIN_STMT
  _9 = 1076725056B;
  _10 ={v} _9->divider[0];
  _11 = _10 >> 31;
  _12 = _11 & 1;
  _19 = enableDisableMask[_12];
  frequency_20 = _19 & frequency_18;
  # DEBUG frequency => frequency_20
  # DEBUG BEGIN_STMT
  _13 = 1076725056B;
  _14 ={v} _13->divider[0];
  _15 = _14 >> 16;
  _16 = _15 & 63;
  _21 = _16 + 1;
  frequency_22 = frequency_20 / _21;
  # DEBUG frequency => frequency_22
  # DEBUG BEGIN_STMT
  _23 = frequency_22;
  return _23;

}


get_EMAC0_RX_CLK_Frequency ()
{
  uint32 frequency;
  volatile struct cgmMux_Type * _1;
  long unsigned int _2;
  long unsigned int _3;
  long unsigned int _4;
  <unnamed type> _5;
  int _6;
  unsigned char _7;
  int _8;
  volatile struct cgmMux_Type * _9;
  long unsigned int _10;
  long unsigned int _11;
  long unsigned int _12;
  volatile struct cgmMux_Type * _13;
  long unsigned int _14;
  long unsigned int _15;
  long unsigned int _16;
  long unsigned int _19;
  long unsigned int _21;
  uint32 _23;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = 1076724928B;
  _2 ={v} _1->CSS;
  _3 = _2 >> 24;
  _4 = _3 & 63;
  _5 = hardwareValue_selectorEntry[_4];
  _6 = (int) _5;
  _7 = freqPointers[_6];
  _8 = (int) _7;
  frequency_18 = bufferFreqs[_8];
  # DEBUG frequency => frequency_18
  # DEBUG BEGIN_STMT
  _9 = 1076724928B;
  _10 ={v} _9->divider[0];
  _11 = _10 >> 31;
  _12 = _11 & 1;
  _19 = enableDisableMask[_12];
  frequency_20 = _19 & frequency_18;
  # DEBUG frequency => frequency_20
  # DEBUG BEGIN_STMT
  _13 = 1076724928B;
  _14 ={v} _13->divider[0];
  _15 = _14 >> 16;
  _16 = _15 & 63;
  _21 = _16 + 1;
  frequency_22 = frequency_20 / _21;
  # DEBUG frequency => frequency_22
  # DEBUG BEGIN_STMT
  _23 = frequency_22;
  return _23;

}


get_EMAC_RX_CLK_Frequency ()
{
  uint32 frequency;
  volatile struct cgmMux_Type * _1;
  long unsigned int _2;
  long unsigned int _3;
  long unsigned int _4;
  <unnamed type> _5;
  int _6;
  unsigned char _7;
  int _8;
  volatile struct cgmMux_Type * _9;
  long unsigned int _10;
  long unsigned int _11;
  long unsigned int _12;
  volatile struct cgmMux_Type * _13;
  long unsigned int _14;
  long unsigned int _15;
  long unsigned int _16;
  long unsigned int _19;
  long unsigned int _21;
  uint32 _23;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = 1076724928B;
  _2 ={v} _1->CSS;
  _3 = _2 >> 24;
  _4 = _3 & 63;
  _5 = hardwareValue_selectorEntry[_4];
  _6 = (int) _5;
  _7 = freqPointers[_6];
  _8 = (int) _7;
  frequency_18 = bufferFreqs[_8];
  # DEBUG frequency => frequency_18
  # DEBUG BEGIN_STMT
  _9 = 1076724928B;
  _10 ={v} _9->divider[0];
  _11 = _10 >> 31;
  _12 = _11 & 1;
  _19 = enableDisableMask[_12];
  frequency_20 = _19 & frequency_18;
  # DEBUG frequency => frequency_20
  # DEBUG BEGIN_STMT
  _13 = 1076724928B;
  _14 ={v} _13->divider[0];
  _15 = _14 >> 16;
  _16 = _15 & 63;
  _21 = _16 + 1;
  frequency_22 = frequency_20 / _21;
  # DEBUG frequency => frequency_22
  # DEBUG BEGIN_STMT
  _23 = frequency_22;
  return _23;

}


get_CLKOUT_STANDBY_CLK_Frequency ()
{
  uint32 frequency;
  volatile struct cgmMux_Type * _1;
  long unsigned int _2;
  long unsigned int _3;
  long unsigned int _4;
  <unnamed type> _5;
  int _6;
  unsigned char _7;
  int _8;
  volatile struct cgmMux_Type * _9;
  long unsigned int _10;
  long unsigned int _11;
  long unsigned int _12;
  volatile struct cgmMux_Type * _13;
  long unsigned int _14;
  long unsigned int _15;
  long unsigned int _16;
  long unsigned int _19;
  long unsigned int _21;
  uint32 _23;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = 1076724800B;
  _2 ={v} _1->CSS;
  _3 = _2 >> 24;
  _4 = _3 & 63;
  _5 = hardwareValue_selectorEntry[_4];
  _6 = (int) _5;
  _7 = freqPointers[_6];
  _8 = (int) _7;
  frequency_18 = bufferFreqs[_8];
  # DEBUG frequency => frequency_18
  # DEBUG BEGIN_STMT
  _9 = 1076724800B;
  _10 ={v} _9->divider[0];
  _11 = _10 >> 31;
  _12 = _11 & 1;
  _19 = enableDisableMask[_12];
  frequency_20 = _19 & frequency_18;
  # DEBUG frequency => frequency_20
  # DEBUG BEGIN_STMT
  _13 = 1076724800B;
  _14 ={v} _13->divider[0];
  _15 = _14 >> 16;
  _16 = _15 & 63;
  _21 = _16 + 1;
  frequency_22 = frequency_20 / _21;
  # DEBUG frequency => frequency_22
  # DEBUG BEGIN_STMT
  _23 = frequency_22;
  return _23;

}


get_SWT1_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[2];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_SWT0_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[2];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_SIUL0_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[0];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_QSPI0_TX_MEM_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[19];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_QSPI0_RAM_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[19];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_DCM0_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[17];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_SEMA42_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[14];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_MSCM_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[14];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_LPUART8_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[14];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_LPUART0_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[14];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_LPSPI0_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[14];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_INTM_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[14];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_FLEXIO0_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[14];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_CRC0_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[14];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_WKPU0_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[15];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_TSENSE0_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[15];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_TRGMUX0_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[15];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_STCU0_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[15];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_SAI1_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[15];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_SAI0_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[15];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_PIT2_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[15];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_PIT1_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[15];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_PIT0_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[15];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_MUB_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[15];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_MUA_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[15];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_LPUART9_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[15];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_LPUART7_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[15];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_LPUART6_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[15];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_LPUART5_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[15];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_LPUART4_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[15];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_LPUART3_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[15];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_LPUART2_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[15];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_LPUART1_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[15];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_LPUART15_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[15];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_LPUART14_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[15];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_LPUART13_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[15];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_LPUART12_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[15];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_LPUART11_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[15];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_LPUART10_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[15];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_LPSPI5_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[15];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_LPSPI4_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[15];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_LPSPI3_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[15];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_LPSPI2_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[15];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_LPSPI1_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[15];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_LPI2C1_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[15];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_LPI2C0_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[15];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_FLASH0_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[15];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_ERM0_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[15];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_EIM0_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[15];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_CMP2_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[15];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_CMP1_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[15];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_CMP0_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[15];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_TEMPSENSE_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[13];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_TCM_CM7_1_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[13];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_TCM_CM7_0_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[13];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_LCU1_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[13];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_LCU0_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[13];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_EMIOS2_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[13];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_EMIOS1_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[13];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_EMIOS0_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[13];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_EDMA0_TCD9_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[13];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_EDMA0_TCD8_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[13];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_EDMA0_TCD7_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[13];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_EDMA0_TCD6_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[13];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_EDMA0_TCD5_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[13];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_EDMA0_TCD4_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[13];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_EDMA0_TCD3_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[13];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_EDMA0_TCD31_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[13];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_EDMA0_TCD30_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[13];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_EDMA0_TCD2_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[13];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_EDMA0_TCD29_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[13];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_EDMA0_TCD28_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[13];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_EDMA0_TCD27_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[13];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_EDMA0_TCD26_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[13];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_EDMA0_TCD25_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[13];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_EDMA0_TCD24_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[13];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_EDMA0_TCD23_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[13];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_EDMA0_TCD22_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[13];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_EDMA0_TCD21_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[13];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_EDMA0_TCD20_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[13];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_EDMA0_TCD1_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[13];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_EDMA0_TCD19_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[13];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_EDMA0_TCD18_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[13];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_EDMA0_TCD17_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[13];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_EDMA0_TCD16_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[13];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_EDMA0_TCD15_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[13];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_EDMA0_TCD14_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[13];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_EDMA0_TCD13_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[13];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_EDMA0_TCD12_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[13];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_EDMA0_TCD11_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[13];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_EDMA0_TCD10_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[13];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_EDMA0_TCD0_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[13];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_EDMA0_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[13];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_DMAMUX1_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[13];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_DMAMUX0_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[13];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_BCTU0_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[13];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_ADC2_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[13];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_ADC1_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[13];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


get_ADC0_CLK_Frequency ()
{
  unsigned char _1;
  int _2;
  uint32 _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[13];
  _2 = (int) _1;
  _4 = bufferFreqs[_2];
  return _4;

}


CallbackDelay ()
{
  uint32 TimeoutTicks;
  uint32 ElapsedTime;
  uint32 StartTime;
  boolean TimeoutOccurred;
  long unsigned int TimeoutTicks.0_1;
  _Bool _2;

  <bb 2> :
  # DEBUG BEGIN_STMT
  TimeoutOccurred_4 = 0;
  # DEBUG TimeoutOccurred => TimeoutOccurred_4
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  ClockStartTimeout (&StartTime, &ElapsedTime, &TimeoutTicks, 10);

  <bb 3> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  TimeoutTicks.0_1 = TimeoutTicks;
  TimeoutOccurred_8 = ClockTimeoutExpired (&StartTime, &ElapsedTime, TimeoutTicks.0_1);
  # DEBUG TimeoutOccurred => TimeoutOccurred_8
  # DEBUG BEGIN_STMT
  _2 = ~TimeoutOccurred_8;
  if (_2 != 0)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 4> :
  StartTime ={v} {CLOBBER};
  ElapsedTime ={v} {CLOBBER};
  TimeoutTicks ={v} {CLOBBER};
  return;

}


CallEmptyCallbacks ()
{
  void (*<T494>) (const struct Clock_Ip_CmuConfigType *) _1;
  void (*<T498>) (Clock_Ip_NameType) _2;
  void (*<T498>) (Clock_Ip_NameType) _3;
  Clock_Ip_CmuStatusType (*<T49c>) (Clock_Ip_NameType) _4;
  void (*<T43f>) (const struct Clock_Ip_DividerConfigType *) _5;
  void (*<T44a>) (const struct Clock_Ip_DividerTriggerConfigType *) _6;
  void (*<T433>) (const struct Clock_Ip_XoscConfigType *) _7;
  void (*<T456>) (const struct Clock_Ip_FracDivConfigType *) _8;
  clock_dfs_status_t (*<T45c>) (Clock_Ip_NameType) _9;
  void (*<T484>) (const struct Clock_Ip_GateConfigType *) _10;
  void (*<T489>) (Clock_Ip_NameType, boolean) _11;
  void (*<T428>) (const struct Clock_Ip_IrcoscConfigType *) _12;
  void (*<T467>) (const struct Clock_Ip_PllConfigType *) _13;
  clock_pll_status_t (*<T46d>) (Clock_Ip_NameType) _14;
  void (*<T478>) (const struct Clock_Ip_SelectorConfigType *) _15;
  void (*<T4a7>) (const struct Clock_Ip_PcfsConfigType *) _16;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = cmuCallbacks[0].Set;
  _1 (0B);
  # DEBUG BEGIN_STMT
  _2 = cmuCallbacks[0].Disable;
  _2 (145);
  # DEBUG BEGIN_STMT
  _3 = cmuCallbacks[0].Clear;
  _3 (145);
  # DEBUG BEGIN_STMT
  _4 = cmuCallbacks[0].GetStatus;
  _4 (145);
  # DEBUG BEGIN_STMT
  _5 = dividerCallbacks[0].Set;
  _5 (0B);
  # DEBUG BEGIN_STMT
  _6 = dividerTriggerCallbacks[0].Configure;
  _6 (0B);
  # DEBUG BEGIN_STMT
  _7 = extOscCallbacks[0].Reset;
  _7 (0B);
  # DEBUG BEGIN_STMT
  _8 = fracDivCallbacks[0].Set;
  _8 (0B);
  # DEBUG BEGIN_STMT
  _9 = fracDivCallbacks[0].Complete;
  _9 (145);
  # DEBUG BEGIN_STMT
  _10 = gateCallbacks[0].Set;
  _10 (0B);
  # DEBUG BEGIN_STMT
  _11 = gateCallbacks[0].Update;
  _11 (145, 0);
  # DEBUG BEGIN_STMT
  _12 = intOscCallbacks[0].Set;
  _12 (0B);
  # DEBUG BEGIN_STMT
  _13 = pllCallbacks[0].Set;
  _13 (0B);
  # DEBUG BEGIN_STMT
  _14 = pllCallbacks[0].Complete;
  _14 (145);
  # DEBUG BEGIN_STMT
  _15 = selectorCallbacks[0].Set;
  _15 (0B);
  # DEBUG BEGIN_STMT
  _16 = pcfsCallbacks[0].Set;
  _16 (0B);
  return;

}


McMeEnterKey ()
{
  struct MC_ME_Type * _1;
  struct MC_ME_Type * _2;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = 1076740096B;
  _1->CTL_KEY ={v} 23280;
  # DEBUG BEGIN_STMT
  _2 = 1076740096B;
  _2->CTL_KEY ={v} 42255;
  return;

}


CMU_HSE_CLK_B ()
{
  uint32 fMonitoredClk;
  uint32 fReferenceClk;
  float _1;
  float _2;
  float _3;
  float _4;
  float _5;
  long unsigned int _6;
  float _7;
  float _8;
  float _9;
  long unsigned int _10;
  float _11;
  float _12;
  float _13;
  float _14;
  float _15;
  long unsigned int _16;
  float _17;
  float _18;
  float _19;
  long unsigned int _20;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  fReferenceClk_23 = tmpData.input2;
  # DEBUG fReferenceClk => fReferenceClk_23
  # DEBUG BEGIN_STMT
  fMonitoredClk_24 = tmpData.input3;
  # DEBUG fMonitoredClk => fMonitoredClk_24
  # DEBUG BEGIN_STMT
  if (fReferenceClk_23 != 0)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  _1 = (float) fMonitoredClk_24;
  _2 = _1 * 1.011e+3;
  _3 = (float) fReferenceClk_23;
  _4 = _3 * 9.67e+2;
  _5 = _2 / _4;
  _6 = cmuEntries[3].refCount;
  _7 = (float) _6;
  _8 = _5 * _7;
  _9 = _8 + 3.0e+0;
  _10 = (long unsigned int) _9;
  cmuEntries[3].hfRef = _10;
  # DEBUG BEGIN_STMT
  _11 = (float) fMonitoredClk_24;
  _12 = _11 * 9.89e+2;
  _13 = (float) fReferenceClk_23;
  _14 = _13 * 1.033e+3;
  _15 = _12 / _14;
  _16 = cmuEntries[3].refCount;
  _17 = (float) _16;
  _18 = _15 * _17;
  _19 = _18 - 3.0e+0;
  _20 = (long unsigned int) _19;
  cmuEntries[3].lfRef = _20;

  <bb 4> :
  return;

}


CMU_HSE_CLK_A ()
{
  const struct Clock_Ip_CmuConfigType * cmuConfig;
  uint8 enable;
  uint32 cmp2;
  uint32 cmp1;
  uint32 fBusClk;
  uint32 fMonitoredClk;
  uint32 fReferenceClk;
  unsigned char _1;
  const struct Clock_Ip_ClockConfigType * config_clock.1_2;
  unsigned char _3;
  unsigned int _4;
  unsigned int _5;
  long unsigned int _6;
  long unsigned int configuredHseClock.2_7;
  long unsigned int configuredAipsSlowClock.3_8;
  long unsigned int _9;
  float _10;
  float _11;
  float _12;
  float _13;
  long unsigned int _14;
  float _15;
  float _16;
  float _17;
  float _18;
  long unsigned int _19;
  long unsigned int _20;
  long unsigned int _21;
  long unsigned int _22;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = cmuEntries[3].configIndex;
  if (_1 != 0)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  config_clock.1_2 = config_clock;
  _3 = cmuEntries[3].configIndex;
  _4 = (unsigned int) _3;
  _5 = _4 + 4294967295;
  cmuConfig_27 = &config_clock.1_2->cmus[_5];
  # DEBUG cmuConfig => cmuConfig_27
  # DEBUG BEGIN_STMT
  enable_28 = cmuConfig_27->enable;
  # DEBUG enable => enable_28
  goto <bb 5>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  enable_26 = 0;
  # DEBUG enable => enable_26

  <bb 5> :
  # enable_24 = PHI <enable_28(3), enable_26(4)>
  # DEBUG enable => enable_24
  # DEBUG BEGIN_STMT
  _6 = bufferFreqs[1];
  fReferenceClk_29 = _6 / 1000;
  # DEBUG fReferenceClk => fReferenceClk_29
  # DEBUG BEGIN_STMT
  configuredHseClock.2_7 = configuredHseClock;
  fMonitoredClk_30 = configuredHseClock.2_7 / 1000;
  # DEBUG fMonitoredClk => fMonitoredClk_30
  # DEBUG BEGIN_STMT
  configuredAipsSlowClock.3_8 = configuredAipsSlowClock;
  fBusClk_31 = configuredAipsSlowClock.3_8 / 1000;
  # DEBUG fBusClk => fBusClk_31
  # DEBUG BEGIN_STMT
  _9 = (long unsigned int) enable_24;
  tmpData.input1 = _9;
  # DEBUG BEGIN_STMT
  tmpData.input2 = fReferenceClk_29;
  # DEBUG BEGIN_STMT
  tmpData.input3 = fMonitoredClk_30;
  # DEBUG BEGIN_STMT
  tmpData.input4 = fBusClk_31;
  # DEBUG BEGIN_STMT
  _10 = (float) fReferenceClk_29;
  _11 = _10 * 3.0e+0;
  _12 = (float) fBusClk_31;
  _13 = _11 / _12;
  _14 = (long unsigned int) _13;
  cmp1_36 = _14 + 1;
  # DEBUG cmp1 => cmp1_36
  # DEBUG BEGIN_STMT
  if (fMonitoredClk_30 != 0)
    goto <bb 6>; [INV]
  else
    goto <bb 7>; [INV]

  <bb 6> :
  # DEBUG BEGIN_STMT
  _15 = (float) fReferenceClk_29;
  _16 = _15 * 5.0e+0;
  _17 = (float) fMonitoredClk_30;
  _18 = _16 / _17;
  _19 = (long unsigned int) _18;
  cmp2_38 = _19 + 9;
  # DEBUG cmp2 => cmp2_38
  goto <bb 8>; [INV]

  <bb 7> :
  # DEBUG BEGIN_STMT
  cmp2_37 = 0;
  # DEBUG cmp2 => cmp2_37

  <bb 8> :
  # cmp2_23 = PHI <cmp2_38(6), cmp2_37(7)>
  # DEBUG cmp2 => cmp2_23
  # DEBUG BEGIN_STMT
  _20 = (long unsigned int) enable_24;
  cmuEntries[3].enable = _20;
  # DEBUG BEGIN_STMT
  _21 = MAX_EXPR <cmp2_23, cmp1_36>;
  _22 = _21 * 10;
  cmuEntries[3].refCount = _22;
  return;

}


CMU_AIPS_PLAT_CLK_B ()
{
  uint32 fMonitoredClk;
  uint32 fReferenceClk;
  float _1;
  float _2;
  float _3;
  float _4;
  float _5;
  long unsigned int _6;
  float _7;
  float _8;
  float _9;
  long unsigned int _10;
  float _11;
  float _12;
  float _13;
  float _14;
  float _15;
  long unsigned int _16;
  float _17;
  float _18;
  float _19;
  long unsigned int _20;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  fReferenceClk_23 = tmpData.input2;
  # DEBUG fReferenceClk => fReferenceClk_23
  # DEBUG BEGIN_STMT
  fMonitoredClk_24 = tmpData.input3;
  # DEBUG fMonitoredClk => fMonitoredClk_24
  # DEBUG BEGIN_STMT
  if (fReferenceClk_23 != 0)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  _1 = (float) fMonitoredClk_24;
  _2 = _1 * 1.011e+3;
  _3 = (float) fReferenceClk_23;
  _4 = _3 * 9.67e+2;
  _5 = _2 / _4;
  _6 = cmuEntries[2].refCount;
  _7 = (float) _6;
  _8 = _5 * _7;
  _9 = _8 + 3.0e+0;
  _10 = (long unsigned int) _9;
  cmuEntries[2].hfRef = _10;
  # DEBUG BEGIN_STMT
  _11 = (float) fMonitoredClk_24;
  _12 = _11 * 9.89e+2;
  _13 = (float) fReferenceClk_23;
  _14 = _13 * 1.033e+3;
  _15 = _12 / _14;
  _16 = cmuEntries[2].refCount;
  _17 = (float) _16;
  _18 = _15 * _17;
  _19 = _18 - 3.0e+0;
  _20 = (long unsigned int) _19;
  cmuEntries[2].lfRef = _20;

  <bb 4> :
  return;

}


CMU_AIPS_PLAT_CLK_A ()
{
  const struct Clock_Ip_CmuConfigType * cmuConfig;
  uint8 enable;
  uint32 cmp2;
  uint32 cmp1;
  uint32 fBusClk;
  uint32 fMonitoredClk;
  uint32 fReferenceClk;
  unsigned char _1;
  const struct Clock_Ip_ClockConfigType * config_clock.4_2;
  unsigned char _3;
  unsigned int _4;
  unsigned int _5;
  long unsigned int _6;
  long unsigned int configuredAipsPlatClock.5_7;
  long unsigned int configuredAipsSlowClock.6_8;
  long unsigned int _9;
  float _10;
  float _11;
  float _12;
  float _13;
  long unsigned int _14;
  float _15;
  float _16;
  float _17;
  float _18;
  long unsigned int _19;
  long unsigned int _20;
  long unsigned int _21;
  long unsigned int _22;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = cmuEntries[2].configIndex;
  if (_1 != 0)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  config_clock.4_2 = config_clock;
  _3 = cmuEntries[2].configIndex;
  _4 = (unsigned int) _3;
  _5 = _4 + 4294967295;
  cmuConfig_27 = &config_clock.4_2->cmus[_5];
  # DEBUG cmuConfig => cmuConfig_27
  # DEBUG BEGIN_STMT
  enable_28 = cmuConfig_27->enable;
  # DEBUG enable => enable_28
  goto <bb 5>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  enable_26 = 0;
  # DEBUG enable => enable_26

  <bb 5> :
  # enable_24 = PHI <enable_28(3), enable_26(4)>
  # DEBUG enable => enable_24
  # DEBUG BEGIN_STMT
  _6 = bufferFreqs[1];
  fReferenceClk_29 = _6 / 1000;
  # DEBUG fReferenceClk => fReferenceClk_29
  # DEBUG BEGIN_STMT
  configuredAipsPlatClock.5_7 = configuredAipsPlatClock;
  fMonitoredClk_30 = configuredAipsPlatClock.5_7 / 1000;
  # DEBUG fMonitoredClk => fMonitoredClk_30
  # DEBUG BEGIN_STMT
  configuredAipsSlowClock.6_8 = configuredAipsSlowClock;
  fBusClk_31 = configuredAipsSlowClock.6_8 / 1000;
  # DEBUG fBusClk => fBusClk_31
  # DEBUG BEGIN_STMT
  _9 = (long unsigned int) enable_24;
  tmpData.input1 = _9;
  # DEBUG BEGIN_STMT
  tmpData.input2 = fReferenceClk_29;
  # DEBUG BEGIN_STMT
  tmpData.input3 = fMonitoredClk_30;
  # DEBUG BEGIN_STMT
  tmpData.input4 = fBusClk_31;
  # DEBUG BEGIN_STMT
  _10 = (float) fReferenceClk_29;
  _11 = _10 * 3.0e+0;
  _12 = (float) fBusClk_31;
  _13 = _11 / _12;
  _14 = (long unsigned int) _13;
  cmp1_36 = _14 + 1;
  # DEBUG cmp1 => cmp1_36
  # DEBUG BEGIN_STMT
  if (fMonitoredClk_30 != 0)
    goto <bb 6>; [INV]
  else
    goto <bb 7>; [INV]

  <bb 6> :
  # DEBUG BEGIN_STMT
  _15 = (float) fReferenceClk_29;
  _16 = _15 * 5.0e+0;
  _17 = (float) fMonitoredClk_30;
  _18 = _16 / _17;
  _19 = (long unsigned int) _18;
  cmp2_38 = _19 + 9;
  # DEBUG cmp2 => cmp2_38
  goto <bb 8>; [INV]

  <bb 7> :
  # DEBUG BEGIN_STMT
  cmp2_37 = 0;
  # DEBUG cmp2 => cmp2_37

  <bb 8> :
  # cmp2_23 = PHI <cmp2_38(6), cmp2_37(7)>
  # DEBUG cmp2 => cmp2_23
  # DEBUG BEGIN_STMT
  _20 = (long unsigned int) enable_24;
  cmuEntries[2].enable = _20;
  # DEBUG BEGIN_STMT
  _21 = MAX_EXPR <cmp2_23, cmp1_36>;
  _22 = _21 * 10;
  cmuEntries[2].refCount = _22;
  return;

}


CMU_CORE_CLK_B ()
{
  uint32 fMonitoredClk;
  uint32 fReferenceClk;
  float _1;
  float _2;
  float _3;
  float _4;
  float _5;
  long unsigned int _6;
  float _7;
  float _8;
  float _9;
  long unsigned int _10;
  float _11;
  float _12;
  float _13;
  float _14;
  float _15;
  long unsigned int _16;
  float _17;
  float _18;
  float _19;
  long unsigned int _20;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  fReferenceClk_23 = tmpData.input2;
  # DEBUG fReferenceClk => fReferenceClk_23
  # DEBUG BEGIN_STMT
  fMonitoredClk_24 = tmpData.input3;
  # DEBUG fMonitoredClk => fMonitoredClk_24
  # DEBUG BEGIN_STMT
  if (fReferenceClk_23 != 0)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  _1 = (float) fMonitoredClk_24;
  _2 = _1 * 1.011e+3;
  _3 = (float) fReferenceClk_23;
  _4 = _3 * 9.67e+2;
  _5 = _2 / _4;
  _6 = cmuEntries[1].refCount;
  _7 = (float) _6;
  _8 = _5 * _7;
  _9 = _8 + 3.0e+0;
  _10 = (long unsigned int) _9;
  cmuEntries[1].hfRef = _10;
  # DEBUG BEGIN_STMT
  _11 = (float) fMonitoredClk_24;
  _12 = _11 * 9.89e+2;
  _13 = (float) fReferenceClk_23;
  _14 = _13 * 1.033e+3;
  _15 = _12 / _14;
  _16 = cmuEntries[1].refCount;
  _17 = (float) _16;
  _18 = _15 * _17;
  _19 = _18 - 3.0e+0;
  _20 = (long unsigned int) _19;
  cmuEntries[1].lfRef = _20;

  <bb 4> :
  return;

}


CMU_CORE_CLK_A ()
{
  const struct Clock_Ip_CmuConfigType * cmuConfig;
  uint8 enable;
  uint32 cmp2;
  uint32 cmp1;
  uint32 fBusClk;
  uint32 fMonitoredClk;
  uint32 fReferenceClk;
  unsigned char _1;
  const struct Clock_Ip_ClockConfigType * config_clock.7_2;
  unsigned char _3;
  unsigned int _4;
  unsigned int _5;
  long unsigned int _6;
  long unsigned int configuredCoreClock.8_7;
  long unsigned int configuredAipsSlowClock.9_8;
  long unsigned int _9;
  float _10;
  float _11;
  float _12;
  float _13;
  long unsigned int _14;
  float _15;
  float _16;
  float _17;
  float _18;
  long unsigned int _19;
  long unsigned int _20;
  long unsigned int _21;
  long unsigned int _22;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = cmuEntries[1].configIndex;
  if (_1 != 0)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  config_clock.7_2 = config_clock;
  _3 = cmuEntries[1].configIndex;
  _4 = (unsigned int) _3;
  _5 = _4 + 4294967295;
  cmuConfig_27 = &config_clock.7_2->cmus[_5];
  # DEBUG cmuConfig => cmuConfig_27
  # DEBUG BEGIN_STMT
  enable_28 = cmuConfig_27->enable;
  # DEBUG enable => enable_28
  goto <bb 5>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  enable_26 = 0;
  # DEBUG enable => enable_26

  <bb 5> :
  # enable_24 = PHI <enable_28(3), enable_26(4)>
  # DEBUG enable => enable_24
  # DEBUG BEGIN_STMT
  _6 = bufferFreqs[3];
  fReferenceClk_29 = _6 / 1000;
  # DEBUG fReferenceClk => fReferenceClk_29
  # DEBUG BEGIN_STMT
  configuredCoreClock.8_7 = configuredCoreClock;
  fMonitoredClk_30 = configuredCoreClock.8_7 / 1000;
  # DEBUG fMonitoredClk => fMonitoredClk_30
  # DEBUG BEGIN_STMT
  configuredAipsSlowClock.9_8 = configuredAipsSlowClock;
  fBusClk_31 = configuredAipsSlowClock.9_8 / 1000;
  # DEBUG fBusClk => fBusClk_31
  # DEBUG BEGIN_STMT
  _9 = (long unsigned int) enable_24;
  tmpData.input1 = _9;
  # DEBUG BEGIN_STMT
  tmpData.input2 = fReferenceClk_29;
  # DEBUG BEGIN_STMT
  tmpData.input3 = fMonitoredClk_30;
  # DEBUG BEGIN_STMT
  tmpData.input4 = fBusClk_31;
  # DEBUG BEGIN_STMT
  _10 = (float) fReferenceClk_29;
  _11 = _10 * 3.0e+0;
  _12 = (float) fBusClk_31;
  _13 = _11 / _12;
  _14 = (long unsigned int) _13;
  cmp1_36 = _14 + 1;
  # DEBUG cmp1 => cmp1_36
  # DEBUG BEGIN_STMT
  if (fMonitoredClk_30 != 0)
    goto <bb 6>; [INV]
  else
    goto <bb 7>; [INV]

  <bb 6> :
  # DEBUG BEGIN_STMT
  _15 = (float) fReferenceClk_29;
  _16 = _15 * 5.0e+0;
  _17 = (float) fMonitoredClk_30;
  _18 = _16 / _17;
  _19 = (long unsigned int) _18;
  cmp2_38 = _19 + 9;
  # DEBUG cmp2 => cmp2_38
  goto <bb 8>; [INV]

  <bb 7> :
  # DEBUG BEGIN_STMT
  cmp2_37 = 0;
  # DEBUG cmp2 => cmp2_37

  <bb 8> :
  # cmp2_23 = PHI <cmp2_38(6), cmp2_37(7)>
  # DEBUG cmp2 => cmp2_23
  # DEBUG BEGIN_STMT
  _20 = (long unsigned int) enable_24;
  cmuEntries[1].enable = _20;
  # DEBUG BEGIN_STMT
  _21 = MAX_EXPR <cmp2_23, cmp1_36>;
  _22 = _21 * 10;
  cmuEntries[1].refCount = _22;
  return;

}


CMU_FXOSC_CLK_B ()
{
  uint32 fMonitoredClk;
  uint32 fReferenceClk;
  float _1;
  float _2;
  float _3;
  float _4;
  float _5;
  long unsigned int _6;
  float _7;
  float _8;
  float _9;
  long unsigned int _10;
  float _11;
  float _12;
  float _13;
  float _14;
  float _15;
  long unsigned int _16;
  float _17;
  float _18;
  float _19;
  long unsigned int _20;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  fReferenceClk_23 = tmpData.input2;
  # DEBUG fReferenceClk => fReferenceClk_23
  # DEBUG BEGIN_STMT
  fMonitoredClk_24 = tmpData.input3;
  # DEBUG fMonitoredClk => fMonitoredClk_24
  # DEBUG BEGIN_STMT
  if (fReferenceClk_23 != 0)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  _1 = (float) fMonitoredClk_24;
  _2 = _1 * 1.011e+3;
  _3 = (float) fReferenceClk_23;
  _4 = _3 * 9.67e+2;
  _5 = _2 / _4;
  _6 = cmuEntries[0].refCount;
  _7 = (float) _6;
  _8 = _5 * _7;
  _9 = _8 + 3.0e+0;
  _10 = (long unsigned int) _9;
  cmuEntries[0].hfRef = _10;
  # DEBUG BEGIN_STMT
  _11 = (float) fMonitoredClk_24;
  _12 = _11 * 9.89e+2;
  _13 = (float) fReferenceClk_23;
  _14 = _13 * 1.033e+3;
  _15 = _12 / _14;
  _16 = cmuEntries[0].refCount;
  _17 = (float) _16;
  _18 = _15 * _17;
  _19 = _18 - 3.0e+0;
  _20 = (long unsigned int) _19;
  cmuEntries[0].lfRef = _20;

  <bb 4> :
  return;

}


CMU_FXOSC_CLK_A ()
{
  const struct Clock_Ip_CmuConfigType * cmuConfig;
  uint8 enable;
  uint32 cmp2;
  uint32 cmp1;
  uint32 fBusClk;
  uint32 fMonitoredClk;
  uint32 fReferenceClk;
  unsigned char _1;
  const struct Clock_Ip_ClockConfigType * config_clock.10_2;
  unsigned char _3;
  unsigned int _4;
  unsigned int _5;
  long unsigned int _6;
  long unsigned int _7;
  long unsigned int configuredAipsSlowClock.11_8;
  long unsigned int _9;
  float _10;
  float _11;
  float _12;
  float _13;
  long unsigned int _14;
  float _15;
  float _16;
  float _17;
  float _18;
  long unsigned int _19;
  long unsigned int _20;
  long unsigned int _21;
  long unsigned int _22;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = cmuEntries[0].configIndex;
  if (_1 != 0)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  config_clock.10_2 = config_clock;
  _3 = cmuEntries[0].configIndex;
  _4 = (unsigned int) _3;
  _5 = _4 + 4294967295;
  cmuConfig_27 = &config_clock.10_2->cmus[_5];
  # DEBUG cmuConfig => cmuConfig_27
  # DEBUG BEGIN_STMT
  enable_28 = cmuConfig_27->enable;
  # DEBUG enable => enable_28
  goto <bb 5>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  enable_26 = 0;
  # DEBUG enable => enable_26

  <bb 5> :
  # enable_24 = PHI <enable_28(3), enable_26(4)>
  # DEBUG enable => enable_24
  # DEBUG BEGIN_STMT
  _6 = bufferFreqs[1];
  fReferenceClk_29 = _6 / 1000;
  # DEBUG fReferenceClk => fReferenceClk_29
  # DEBUG BEGIN_STMT
  _7 = bufferFreqs[3];
  fMonitoredClk_30 = _7 / 1000;
  # DEBUG fMonitoredClk => fMonitoredClk_30
  # DEBUG BEGIN_STMT
  configuredAipsSlowClock.11_8 = configuredAipsSlowClock;
  fBusClk_31 = configuredAipsSlowClock.11_8 / 1000;
  # DEBUG fBusClk => fBusClk_31
  # DEBUG BEGIN_STMT
  _9 = (long unsigned int) enable_24;
  tmpData.input1 = _9;
  # DEBUG BEGIN_STMT
  tmpData.input2 = fReferenceClk_29;
  # DEBUG BEGIN_STMT
  tmpData.input3 = fMonitoredClk_30;
  # DEBUG BEGIN_STMT
  tmpData.input4 = fBusClk_31;
  # DEBUG BEGIN_STMT
  _10 = (float) fReferenceClk_29;
  _11 = _10 * 3.0e+0;
  _12 = (float) fBusClk_31;
  _13 = _11 / _12;
  _14 = (long unsigned int) _13;
  cmp1_36 = _14 + 1;
  # DEBUG cmp1 => cmp1_36
  # DEBUG BEGIN_STMT
  if (fMonitoredClk_30 != 0)
    goto <bb 6>; [INV]
  else
    goto <bb 7>; [INV]

  <bb 6> :
  # DEBUG BEGIN_STMT
  _15 = (float) fReferenceClk_29;
  _16 = _15 * 5.0e+0;
  _17 = (float) fMonitoredClk_30;
  _18 = _16 / _17;
  _19 = (long unsigned int) _18;
  cmp2_38 = _19 + 9;
  # DEBUG cmp2 => cmp2_38
  goto <bb 8>; [INV]

  <bb 7> :
  # DEBUG BEGIN_STMT
  cmp2_37 = 0;
  # DEBUG cmp2 => cmp2_37

  <bb 8> :
  # cmp2_23 = PHI <cmp2_38(6), cmp2_37(7)>
  # DEBUG cmp2 => cmp2_23
  # DEBUG BEGIN_STMT
  _20 = (long unsigned int) enable_24;
  cmuEntries[0].enable = _20;
  # DEBUG BEGIN_STMT
  _21 = MAX_EXPR <cmp2_23, cmp1_36>;
  _22 = _21 * 10;
  cmuEntries[0].refCount = _22;
  return;

}


PCFS_PLL_PHI0_E ()
{
  uint32 K;
  uint32 RATE;
  uint32 fsafe;
  uint32 finput;
  uint32 stepDuration;
  long unsigned int _1;
  long unsigned int _2;
  long unsigned int _3;
  long unsigned int _4;
  long unsigned int _5;
  long unsigned int _6;
  long unsigned int _7;
  long unsigned int _8;
  long unsigned int _9;
  long unsigned int _10;
  long unsigned int _11;
  long unsigned int _12;
  long unsigned int _13;

  <bb 2> :
  # DEBUG BEGIN_STMT
  stepDuration_15 = tmpData.input1;
  # DEBUG stepDuration => stepDuration_15
  # DEBUG BEGIN_STMT
  finput_16 = tmpData.input2;
  # DEBUG finput => finput_16
  # DEBUG BEGIN_STMT
  fsafe_17 = tmpData.input3;
  # DEBUG fsafe => fsafe_17
  # DEBUG BEGIN_STMT
  RATE_18 = tmpData.aux1;
  # DEBUG RATE => RATE_18
  # DEBUG BEGIN_STMT
  _1 = tmpData.aux4;
  _2 = _1 << 2;
  _3 = _2 + 191;
  K_19 = _3 >> 7;
  # DEBUG K => K_19
  # DEBUG BEGIN_STMT
  _4 = stepDuration_15 * fsafe_17;
  pcfsEntries[0].sdur = _4;
  # DEBUG BEGIN_STMT
  _5 = RATE_18 * K_19;
  pcfsEntries[0].divc_init = _5;
  # DEBUG BEGIN_STMT
  pcfsEntries[0].divc_rate = RATE_18;
  # DEBUG BEGIN_STMT
  _6 = RATE_18 * K_19;
  _7 = K_19 + 1;
  _8 = _6 * _7;
  _9 = _8 >> 1;
  _10 = _9 + 999;
  pcfsEntries[0].div_startValue = _10;
  # DEBUG BEGIN_STMT
  _11 = finput_16 * 1000;
  _12 = _11 / fsafe_17;
  _13 = _12 + 4294967295;
  pcfsEntries[0].div_endValue = _13;
  return;

}


PCFS_PLL_PHI0_D ()
{
  long unsigned int _1;
  long unsigned int _2;
  long unsigned int _3;
  long unsigned int _4;
  long unsigned int _5;
  long unsigned int _6;
  long unsigned int _7;
  long unsigned int _8;
  long unsigned int _9;
  long unsigned int _10;
  long unsigned int _11;
  long unsigned int _12;
  long unsigned int _13;
  long unsigned int _14;
  long unsigned int _15;
  long unsigned int _16;
  long unsigned int _17;
  long unsigned int _18;

  <bb 2> :
  # DEBUG BEGIN_STMT
  goto <bb 6>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  _1 = tmpData.aux2;
  _2 = tmpData.aux4;
  _3 = tmpData.aux3;
  _4 = _2 + _3;
  if (_1 >= _4)
    goto <bb 4>; [INV]
  else
    goto <bb 5>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  _5 = tmpData.aux2;
  _6 = tmpData.aux4;
  _7 = tmpData.aux3;
  _8 = _6 + _7;
  _9 = _5 - _8;
  tmpData.aux2 = _9;
  # DEBUG BEGIN_STMT
  _10 = tmpData.aux4;
  _11 = tmpData.aux3;
  _12 = _11 << 1;
  _13 = _10 + _12;
  tmpData.aux4 = _13;

  <bb 5> :
  # DEBUG BEGIN_STMT
  _14 = tmpData.aux4;
  _15 = _14 >> 1;
  tmpData.aux4 = _15;
  # DEBUG BEGIN_STMT
  _16 = tmpData.aux3;
  _17 = _16 >> 2;
  tmpData.aux3 = _17;

  <bb 6> :
  # DEBUG BEGIN_STMT
  _18 = tmpData.aux3;
  if (_18 != 0)
    goto <bb 3>; [INV]
  else
    goto <bb 7>; [INV]

  <bb 7> :
  return;

}


PCFS_PLL_PHI0_C ()
{
  uint32 RATE;
  uint32 fsafe;
  uint32 finput;
  long unsigned int _1;
  long unsigned int _2;
  long unsigned int _3;
  long unsigned int _4;
  long unsigned int _5;
  long unsigned int _6;
  long unsigned int _7;
  long unsigned int _8;
  long unsigned int _9;
  long unsigned int _10;

  <bb 2> :
  # DEBUG BEGIN_STMT
  finput_13 = tmpData.input2;
  # DEBUG finput => finput_13
  # DEBUG BEGIN_STMT
  fsafe_14 = tmpData.input3;
  # DEBUG fsafe => fsafe_14
  # DEBUG BEGIN_STMT
  RATE_15 = tmpData.aux1;
  # DEBUG RATE => RATE_15
  # DEBUG BEGIN_STMT
  _1 = finput_13 * 2048000;
  _2 = fsafe_14 * RATE_15;
  _3 = _1 / _2;
  _4 = 2048000 / RATE_15;
  _5 = _3 - _4;
  _6 = _5 + 256;
  tmpData.aux2 = _6;
  # DEBUG BEGIN_STMT
  tmpData.aux3 = 1073741824;
  # DEBUG BEGIN_STMT
  goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  _7 = tmpData.aux3;
  _8 = _7 >> 2;
  tmpData.aux3 = _8;

  <bb 4> :
  # DEBUG BEGIN_STMT
  _9 = tmpData.aux3;
  _10 = tmpData.aux2;
  if (_9 > _10)
    goto <bb 3>; [INV]
  else
    goto <bb 5>; [INV]

  <bb 5> :
  return;

}


PCFS_PLL_PHI0_B ()
{
  uint8 i;
  uint32 RATE;
  uint32 amaxBrut;
  const uint32 pcfsRate[6];
  const uint32 aMax[6];
  long unsigned int _1;
  long unsigned int _2;
  unsigned int _3;
  unsigned int _4;
  long unsigned int _5;
  unsigned int _6;
  unsigned int _7;
  unsigned char i.12_8;

  <bb 2> :
  # DEBUG BEGIN_STMT
  aMax = *.LC0;
  # DEBUG BEGIN_STMT
  pcfsRate = *.LC1;
  # DEBUG BEGIN_STMT
  amaxBrut_16 = tmpData.aux1;
  # DEBUG amaxBrut => amaxBrut_16
  # DEBUG BEGIN_STMT
  RATE_17 = 0;
  # DEBUG RATE => RATE_17
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = aMax[0];
  if (amaxBrut_16 < _1)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  RATE_22 = pcfsRate[0];
  # DEBUG RATE => RATE_22
  goto <bb 11>; [INV]

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

  <bb 5> :
  # DEBUG BEGIN_STMT
  RATE_21 = pcfsRate[5];
  # DEBUG RATE => RATE_21
  goto <bb 11>; [INV]

  <bb 6> :
  # DEBUG BEGIN_STMT
  i_18 = 1;
  # DEBUG i => i_18
  goto <bb 10>; [INV]

  <bb 7> :
  # DEBUG BEGIN_STMT
  _3 = (unsigned int) i_12;
  _4 = _3 + 4294967295;
  _5 = aMax[_4];
  if (amaxBrut_16 > _5)
    goto <bb 8>; [INV]
  else
    goto <bb 9>; [INV]

  <bb 8> :
  # DEBUG BEGIN_STMT
  _6 = (unsigned int) i_12;
  _7 = _6 + 4294967295;
  RATE_19 = pcfsRate[_7];
  # DEBUG RATE => RATE_19

  <bb 9> :
  # RATE_9 = PHI <RATE_10(7), RATE_19(8)>
  # DEBUG RATE => RATE_9
  # DEBUG BEGIN_STMT
  i.12_8 = i_12;
  i_20 = i.12_8 + 1;
  # DEBUG i => i_20

  <bb 10> :
  # RATE_10 = PHI <RATE_17(6), RATE_9(9)>
  # i_12 = PHI <i_18(6), i_20(9)>
  # DEBUG i => i_12
  # DEBUG RATE => RATE_10
  # DEBUG BEGIN_STMT
  if (i_12 <= 5)
    goto <bb 7>; [INV]
  else
    goto <bb 11>; [INV]

  <bb 11> :
  # RATE_11 = PHI <RATE_22(3), RATE_21(5), RATE_10(10)>
  # DEBUG RATE => RATE_11
  # DEBUG BEGIN_STMT
  tmpData.aux1 = RATE_11;
  aMax ={v} {CLOBBER};
  pcfsRate ={v} {CLOBBER};
  return;

}


PCFS_PLL_PHI0_A ()
{
  uint32 amaxBrut;
  uint32 fsafe;
  uint32 finput;
  uint32 stepDuration;
  uint32 maxAllowableIDDchange;
  const struct Clock_Ip_PcfsConfigType * pcfsConfig;
  unsigned char _1;
  const struct Clock_Ip_ClockConfigType * config_clock.13_2;
  unsigned char _3;
  unsigned int _4;
  unsigned int _5;
  volatile struct cgmPcfs_Type * _6;
  long unsigned int _7;
  long unsigned int _8;
  long unsigned int _9;
  long unsigned int _10;
  long unsigned int _11;
  long unsigned int _12;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = pcfsEntries[0].configIndex;
  if (_1 != 0)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  config_clock.13_2 = config_clock;
  _3 = pcfsEntries[0].configIndex;
  _4 = (unsigned int) _3;
  _5 = _4 + 4294967295;
  pcfsConfig_18 = &config_clock.13_2->pcfs[_5];
  # DEBUG pcfsConfig => pcfsConfig_18
  # DEBUG BEGIN_STMT
  maxAllowableIDDchange_19 = pcfsConfig_18->maxAllowableIDDchange;
  # DEBUG maxAllowableIDDchange => maxAllowableIDDchange_19
  # DEBUG BEGIN_STMT
  stepDuration_20 = pcfsConfig_18->stepDuration;
  # DEBUG stepDuration => stepDuration_20
  goto <bb 5>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  maxAllowableIDDchange_16 = 50;
  # DEBUG maxAllowableIDDchange => maxAllowableIDDchange_16
  # DEBUG BEGIN_STMT
  _6 = 1076723712B;
  _7 ={v} _6->PCFS_SDUR;
  stepDuration_17 = _7 & 65535;
  # DEBUG stepDuration => stepDuration_17

  <bb 5> :
  # maxAllowableIDDchange_13 = PHI <maxAllowableIDDchange_19(3), maxAllowableIDDchange_16(4)>
  # stepDuration_14 = PHI <stepDuration_20(3), stepDuration_17(4)>
  # DEBUG stepDuration => stepDuration_14
  # DEBUG maxAllowableIDDchange => maxAllowableIDDchange_13
  # DEBUG BEGIN_STMT
  _8 = bufferFreqs[26];
  finput_21 = _8 / 1000000;
  # DEBUG finput => finput_21
  # DEBUG BEGIN_STMT
  _9 = bufferFreqs[1];
  fsafe_22 = _9 / 1000000;
  # DEBUG fsafe => fsafe_22
  # DEBUG BEGIN_STMT
  tmpData.input1 = stepDuration_14;
  # DEBUG BEGIN_STMT
  tmpData.input2 = finput_21;
  # DEBUG BEGIN_STMT
  tmpData.input3 = fsafe_22;
  # DEBUG BEGIN_STMT
  _10 = maxAllowableIDDchange_13 * stepDuration_14;
  _11 = _10 * 100000;
  _12 = finput_21 * 2360;
  amaxBrut_26 = _11 / _12;
  # DEBUG amaxBrut => amaxBrut_26
  # DEBUG BEGIN_STMT
  tmpData.aux1 = amaxBrut_26;
  return;

}


CALCULATE_CONFIGURED_CORE_AIPS_SLOW_PLAT_CLKS ()
{
  const struct Clock_Ip_SelectorConfigType * selectorSCS_CLK;
  uint32 i;
  const struct Clock_Ip_ClockConfigType * config_clock.14_1;
  <unnamed type> _2;
  const struct Clock_Ip_ClockConfigType * config_clock.15_3;
  const struct Clock_Ip_ClockConfigType * config_clock.16_4;
  unsigned char _5;
  long unsigned int _6;
  <unnamed type> _7;
  int _8;
  long unsigned int _9;
  long unsigned int _10;
  long unsigned int _11;
  long unsigned int _12;
  long unsigned int _13;
  long unsigned int _14;
  long unsigned int _15;
  long unsigned int _16;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  selectorSCS_CLK_20 = 0B;
  # DEBUG selectorSCS_CLK => selectorSCS_CLK_20
  # DEBUG BEGIN_STMT
  i_21 = 0;
  # DEBUG i => i_21
  goto <bb 6>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  config_clock.14_1 = config_clock;
  _2 = config_clock.14_1->selectors[i_17].name;
  if (_2 == 12)
    goto <bb 4>; [INV]
  else
    goto <bb 5>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  config_clock.15_3 = config_clock;
  selectorSCS_CLK_24 = &config_clock.15_3->selectors[i_17];
  # DEBUG selectorSCS_CLK => selectorSCS_CLK_24
  # DEBUG BEGIN_STMT
  goto <bb 7>; [INV]

  <bb 5> :
  # DEBUG BEGIN_STMT
  i_23 = i_17 + 1;
  # DEBUG i => i_23

  <bb 6> :
  # i_17 = PHI <i_21(2), i_23(5)>
  # DEBUG i => i_17
  # DEBUG BEGIN_STMT
  config_clock.16_4 = config_clock;
  _5 = config_clock.16_4->selectorsCount;
  _6 = (long unsigned int) _5;
  if (i_17 < _6)
    goto <bb 3>; [INV]
  else
    goto <bb 7>; [INV]

  <bb 7> :
  # selectorSCS_CLK_18 = PHI <selectorSCS_CLK_24(4), selectorSCS_CLK_20(6)>
  # DEBUG selectorSCS_CLK => selectorSCS_CLK_18
  # DEBUG BEGIN_STMT
  if (selectorSCS_CLK_18 != 0B)
    goto <bb 8>; [INV]
  else
    goto <bb 12>; [INV]

  <bb 8> :
  # DEBUG BEGIN_STMT
  _7 = selectorSCS_CLK_18->value;
  _8 = (int) _7;
  switch (_8) <default: <L8> [INV], case 0: <L6> [INV], case 8: <L7> [INV]>

  <bb 9> :
<L6>:
  # DEBUG BEGIN_STMT
  _9 = bufferFreqs[8];
  configuredCoreClock = _9;
  # DEBUG BEGIN_STMT
  _10 = bufferFreqs[9];
  configuredAipsPlatClock = _10;
  # DEBUG BEGIN_STMT
  _11 = bufferFreqs[10];
  configuredAipsSlowClock = _11;
  # DEBUG BEGIN_STMT
  _12 = bufferFreqs[11];
  configuredHseClock = _12;
  # DEBUG BEGIN_STMT
  goto <bb 13>; [INV]

  <bb 10> :
<L7>:
  # DEBUG BEGIN_STMT
  _13 = bufferFreqs[28];
  configuredCoreClock = _13;
  # DEBUG BEGIN_STMT
  _14 = bufferFreqs[29];
  configuredAipsPlatClock = _14;
  # DEBUG BEGIN_STMT
  _15 = bufferFreqs[30];
  configuredAipsSlowClock = _15;
  # DEBUG BEGIN_STMT
  _16 = bufferFreqs[31];
  configuredHseClock = _16;
  # DEBUG BEGIN_STMT
  goto <bb 13>; [INV]

  <bb 11> :
<L8>:
  # DEBUG BEGIN_STMT
  configuredCoreClock = 0;
  # DEBUG BEGIN_STMT
  configuredAipsPlatClock = 0;
  # DEBUG BEGIN_STMT
  configuredAipsSlowClock = 0;
  # DEBUG BEGIN_STMT
  configuredHseClock = 0;
  # DEBUG BEGIN_STMT
  goto <bb 13>; [INV]

  <bb 12> :
  # DEBUG BEGIN_STMT
  configuredCoreClock = 0;
  # DEBUG BEGIN_STMT
  configuredAipsPlatClock = 0;
  # DEBUG BEGIN_STMT
  configuredAipsSlowClock = 0;
  # DEBUG BEGIN_STMT
  configuredHseClock = 0;

  <bb 13> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  return;

}


IntegerDividers_K ()
{
  uint32 dividerValue;
  unsigned char _1;
  const struct Clock_Ip_ClockConfigType * config_clock.17_2;
  unsigned char _3;
  unsigned int _4;
  unsigned int _5;
  volatile struct cgmMux_Type * _6;
  long unsigned int _7;
  long unsigned int _8;
  long unsigned int _9;
  long unsigned int _10;
  long unsigned int _11;
  unsigned char _12;
  const struct Clock_Ip_ClockConfigType * config_clock.18_13;
  unsigned char _14;
  unsigned int _15;
  unsigned int _16;
  volatile struct cgmMux_Type * _17;
  long unsigned int _18;
  long unsigned int _19;
  long unsigned int _20;
  long unsigned int _21;
  long unsigned int _22;
  unsigned char _23;
  const struct Clock_Ip_ClockConfigType * config_clock.19_24;
  unsigned char _25;
  unsigned int _26;
  unsigned int _27;
  volatile struct cgmMux_Type * _28;
  long unsigned int _29;
  long unsigned int _30;
  long unsigned int _31;
  long unsigned int _32;
  long unsigned int _33;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = freqPointers[20];
  if (_1 != 0)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  config_clock.17_2 = config_clock;
  _3 = freqPointers[20];
  _4 = (unsigned int) _3;
  _5 = _4 + 4294967295;
  dividerValue_42 = config_clock.17_2->dividers[_5].value;
  # DEBUG dividerValue => dividerValue_42
  goto <bb 5>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  _6 = 1076724864B;
  _7 ={v} _6->divider[0];
  _8 = _7 >> 16;
  _9 = _8 & 63;
  dividerValue_41 = _9 + 1;
  # DEBUG dividerValue => dividerValue_41

  <bb 5> :
  # dividerValue_34 = PHI <dividerValue_42(3), dividerValue_41(4)>
  # DEBUG dividerValue => dividerValue_34
  # DEBUG BEGIN_STMT
  if (dividerValue_34 != 0)
    goto <bb 6>; [INV]
  else
    goto <bb 7>; [INV]

  <bb 6> :
  # DEBUG BEGIN_STMT
  _10 = bufferFreqs[31];
  _11 = _10 / dividerValue_34;
  bufferFreqs[38] = _11;
  goto <bb 8>; [INV]

  <bb 7> :
  # DEBUG BEGIN_STMT
  bufferFreqs[38] = 0;

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

  <bb 9> :
  # DEBUG BEGIN_STMT
  config_clock.18_13 = config_clock;
  _14 = freqPointers[20];
  _15 = (unsigned int) _14;
  _16 = _15 + 4294967295;
  dividerValue_46 = config_clock.18_13->dividers[_16].value;
  # DEBUG dividerValue => dividerValue_46
  goto <bb 11>; [INV]

  <bb 10> :
  # DEBUG BEGIN_STMT
  _17 = 1076724864B;
  _18 ={v} _17->divider[0];
  _19 = _18 >> 16;
  _20 = _19 & 63;
  dividerValue_45 = _20 + 1;
  # DEBUG dividerValue => dividerValue_45

  <bb 11> :
  # dividerValue_35 = PHI <dividerValue_46(9), dividerValue_45(10)>
  # DEBUG dividerValue => dividerValue_35
  # DEBUG BEGIN_STMT
  if (dividerValue_35 != 0)
    goto <bb 12>; [INV]
  else
    goto <bb 13>; [INV]

  <bb 12> :
  # DEBUG BEGIN_STMT
  _21 = bufferFreqs[29];
  _22 = _21 / dividerValue_35;
  bufferFreqs[39] = _22;
  goto <bb 14>; [INV]

  <bb 13> :
  # DEBUG BEGIN_STMT
  bufferFreqs[39] = 0;

  <bb 14> :
  # DEBUG BEGIN_STMT
  _23 = freqPointers[20];
  if (_23 != 0)
    goto <bb 15>; [INV]
  else
    goto <bb 16>; [INV]

  <bb 15> :
  # DEBUG BEGIN_STMT
  config_clock.19_24 = config_clock;
  _25 = freqPointers[20];
  _26 = (unsigned int) _25;
  _27 = _26 + 4294967295;
  dividerValue_50 = config_clock.19_24->dividers[_27].value;
  # DEBUG dividerValue => dividerValue_50
  goto <bb 17>; [INV]

  <bb 16> :
  # DEBUG BEGIN_STMT
  _28 = 1076724864B;
  _29 ={v} _28->divider[0];
  _30 = _29 >> 16;
  _31 = _30 & 63;
  dividerValue_49 = _31 + 1;
  # DEBUG dividerValue => dividerValue_49

  <bb 17> :
  # dividerValue_36 = PHI <dividerValue_50(15), dividerValue_49(16)>
  # DEBUG dividerValue => dividerValue_36
  # DEBUG BEGIN_STMT
  if (dividerValue_36 != 0)
    goto <bb 18>; [INV]
  else
    goto <bb 19>; [INV]

  <bb 18> :
  # DEBUG BEGIN_STMT
  _32 = bufferFreqs[30];
  _33 = _32 / dividerValue_36;
  bufferFreqs[40] = _33;
  goto <bb 20>; [INV]

  <bb 19> :
  # DEBUG BEGIN_STMT
  bufferFreqs[40] = 0;

  <bb 20> :
  return;

}


IntegerDividers_J ()
{
  uint32 dividerValue;
  unsigned char _1;
  const struct Clock_Ip_ClockConfigType * config_clock.20_2;
  unsigned char _3;
  unsigned int _4;
  unsigned int _5;
  volatile struct cgmMux_Type * _6;
  long unsigned int _7;
  long unsigned int _8;
  long unsigned int _9;
  long unsigned int _10;
  long unsigned int _11;
  unsigned char _12;
  const struct Clock_Ip_ClockConfigType * config_clock.21_13;
  unsigned char _14;
  unsigned int _15;
  unsigned int _16;
  volatile struct cgmMux_Type * _17;
  long unsigned int _18;
  long unsigned int _19;
  long unsigned int _20;
  long unsigned int _21;
  long unsigned int _22;
  unsigned char _23;
  const struct Clock_Ip_ClockConfigType * config_clock.22_24;
  unsigned char _25;
  unsigned int _26;
  unsigned int _27;
  volatile struct cgmMux_Type * _28;
  long unsigned int _29;
  long unsigned int _30;
  long unsigned int _31;
  long unsigned int _32;
  long unsigned int _33;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = freqPointers[20];
  if (_1 != 0)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  config_clock.20_2 = config_clock;
  _3 = freqPointers[20];
  _4 = (unsigned int) _3;
  _5 = _4 + 4294967295;
  dividerValue_42 = config_clock.20_2->dividers[_5].value;
  # DEBUG dividerValue => dividerValue_42
  goto <bb 5>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  _6 = 1076724864B;
  _7 ={v} _6->divider[0];
  _8 = _7 >> 16;
  _9 = _8 & 63;
  dividerValue_41 = _9 + 1;
  # DEBUG dividerValue => dividerValue_41

  <bb 5> :
  # dividerValue_34 = PHI <dividerValue_42(3), dividerValue_41(4)>
  # DEBUG dividerValue => dividerValue_34
  # DEBUG BEGIN_STMT
  if (dividerValue_34 != 0)
    goto <bb 6>; [INV]
  else
    goto <bb 7>; [INV]

  <bb 6> :
  # DEBUG BEGIN_STMT
  _10 = bufferFreqs[26];
  _11 = _10 / dividerValue_34;
  bufferFreqs[35] = _11;
  goto <bb 8>; [INV]

  <bb 7> :
  # DEBUG BEGIN_STMT
  bufferFreqs[35] = 0;

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

  <bb 9> :
  # DEBUG BEGIN_STMT
  config_clock.21_13 = config_clock;
  _14 = freqPointers[20];
  _15 = (unsigned int) _14;
  _16 = _15 + 4294967295;
  dividerValue_46 = config_clock.21_13->dividers[_16].value;
  # DEBUG dividerValue => dividerValue_46
  goto <bb 11>; [INV]

  <bb 10> :
  # DEBUG BEGIN_STMT
  _17 = 1076724864B;
  _18 ={v} _17->divider[0];
  _19 = _18 >> 16;
  _20 = _19 & 63;
  dividerValue_45 = _20 + 1;
  # DEBUG dividerValue => dividerValue_45

  <bb 11> :
  # dividerValue_35 = PHI <dividerValue_46(9), dividerValue_45(10)>
  # DEBUG dividerValue => dividerValue_35
  # DEBUG BEGIN_STMT
  if (dividerValue_35 != 0)
    goto <bb 12>; [INV]
  else
    goto <bb 13>; [INV]

  <bb 12> :
  # DEBUG BEGIN_STMT
  _21 = bufferFreqs[27];
  _22 = _21 / dividerValue_35;
  bufferFreqs[36] = _22;
  goto <bb 14>; [INV]

  <bb 13> :
  # DEBUG BEGIN_STMT
  bufferFreqs[36] = 0;

  <bb 14> :
  # DEBUG BEGIN_STMT
  _23 = freqPointers[20];
  if (_23 != 0)
    goto <bb 15>; [INV]
  else
    goto <bb 16>; [INV]

  <bb 15> :
  # DEBUG BEGIN_STMT
  config_clock.22_24 = config_clock;
  _25 = freqPointers[20];
  _26 = (unsigned int) _25;
  _27 = _26 + 4294967295;
  dividerValue_50 = config_clock.22_24->dividers[_27].value;
  # DEBUG dividerValue => dividerValue_50
  goto <bb 17>; [INV]

  <bb 16> :
  # DEBUG BEGIN_STMT
  _28 = 1076724864B;
  _29 ={v} _28->divider[0];
  _30 = _29 >> 16;
  _31 = _30 & 63;
  dividerValue_49 = _31 + 1;
  # DEBUG dividerValue => dividerValue_49

  <bb 17> :
  # dividerValue_36 = PHI <dividerValue_50(15), dividerValue_49(16)>
  # DEBUG dividerValue => dividerValue_36
  # DEBUG BEGIN_STMT
  if (dividerValue_36 != 0)
    goto <bb 18>; [INV]
  else
    goto <bb 19>; [INV]

  <bb 18> :
  # DEBUG BEGIN_STMT
  _32 = bufferFreqs[28];
  _33 = _32 / dividerValue_36;
  bufferFreqs[37] = _33;
  goto <bb 20>; [INV]

  <bb 19> :
  # DEBUG BEGIN_STMT
  bufferFreqs[37] = 0;

  <bb 20> :
  return;

}


IntegerDividers_I ()
{
  uint32 dividerValue;
  unsigned char _1;
  const struct Clock_Ip_ClockConfigType * config_clock.23_2;
  unsigned char _3;
  unsigned int _4;
  unsigned int _5;
  volatile struct cgmMux_Type * _6;
  long unsigned int _7;
  long unsigned int _8;
  long unsigned int _9;
  long unsigned int _10;
  long unsigned int _11;
  unsigned char _12;
  const struct Clock_Ip_ClockConfigType * config_clock.24_13;
  unsigned char _14;
  unsigned int _15;
  unsigned int _16;
  volatile struct cgmMux_Type * _17;
  long unsigned int _18;
  long unsigned int _19;
  long unsigned int _20;
  long unsigned int _21;
  long unsigned int _22;
  unsigned char _23;
  const struct Clock_Ip_ClockConfigType * config_clock.25_24;
  unsigned char _25;
  unsigned int _26;
  unsigned int _27;
  volatile struct cgmMux_Type * _28;
  long unsigned int _29;
  long unsigned int _30;
  long unsigned int _31;
  long unsigned int _32;
  long unsigned int _33;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = freqPointers[17];
  if (_1 != 0)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  config_clock.23_2 = config_clock;
  _3 = freqPointers[17];
  _4 = (unsigned int) _3;
  _5 = _4 + 4294967295;
  dividerValue_42 = config_clock.23_2->dividers[_5].value;
  # DEBUG dividerValue => dividerValue_42
  goto <bb 5>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  _6 = 1076724480B;
  _7 ={v} _6->divider[4];
  _8 = _7 >> 16;
  _9 = _8 & 63;
  dividerValue_41 = _9 + 1;
  # DEBUG dividerValue => dividerValue_41

  <bb 5> :
  # dividerValue_34 = PHI <dividerValue_42(3), dividerValue_41(4)>
  # DEBUG dividerValue => dividerValue_34
  # DEBUG BEGIN_STMT
  if (dividerValue_34 != 0)
    goto <bb 6>; [INV]
  else
    goto <bb 7>; [INV]

  <bb 6> :
  # DEBUG BEGIN_STMT
  _10 = bufferFreqs[26];
  _11 = _10 / dividerValue_34;
  bufferFreqs[32] = _11;
  goto <bb 8>; [INV]

  <bb 7> :
  # DEBUG BEGIN_STMT
  bufferFreqs[32] = 0;

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

  <bb 9> :
  # DEBUG BEGIN_STMT
  config_clock.24_13 = config_clock;
  _14 = freqPointers[18];
  _15 = (unsigned int) _14;
  _16 = _15 + 4294967295;
  dividerValue_46 = config_clock.24_13->dividers[_16].value;
  # DEBUG dividerValue => dividerValue_46
  goto <bb 11>; [INV]

  <bb 10> :
  # DEBUG BEGIN_STMT
  _17 = 1076724480B;
  _18 ={v} _17->divider[5];
  _19 = _18 >> 16;
  _20 = _19 & 63;
  dividerValue_45 = _20 + 1;
  # DEBUG dividerValue => dividerValue_45

  <bb 11> :
  # dividerValue_35 = PHI <dividerValue_46(9), dividerValue_45(10)>
  # DEBUG dividerValue => dividerValue_35
  # DEBUG BEGIN_STMT
  if (dividerValue_35 != 0)
    goto <bb 12>; [INV]
  else
    goto <bb 13>; [INV]

  <bb 12> :
  # DEBUG BEGIN_STMT
  _21 = bufferFreqs[26];
  _22 = _21 / dividerValue_35;
  bufferFreqs[33] = _22;
  goto <bb 14>; [INV]

  <bb 13> :
  # DEBUG BEGIN_STMT
  bufferFreqs[33] = 0;

  <bb 14> :
  # DEBUG BEGIN_STMT
  _23 = freqPointers[19];
  if (_23 != 0)
    goto <bb 15>; [INV]
  else
    goto <bb 16>; [INV]

  <bb 15> :
  # DEBUG BEGIN_STMT
  config_clock.25_24 = config_clock;
  _25 = freqPointers[19];
  _26 = (unsigned int) _25;
  _27 = _26 + 4294967295;
  dividerValue_50 = config_clock.25_24->dividers[_27].value;
  # DEBUG dividerValue => dividerValue_50
  goto <bb 17>; [INV]

  <bb 16> :
  # DEBUG BEGIN_STMT
  _28 = 1076724480B;
  _29 ={v} _28->divider[6];
  _30 = _29 >> 16;
  _31 = _30 & 63;
  dividerValue_49 = _31 + 1;
  # DEBUG dividerValue => dividerValue_49

  <bb 17> :
  # dividerValue_36 = PHI <dividerValue_50(15), dividerValue_49(16)>
  # DEBUG dividerValue => dividerValue_36
  # DEBUG BEGIN_STMT
  if (dividerValue_36 != 0)
    goto <bb 18>; [INV]
  else
    goto <bb 19>; [INV]

  <bb 18> :
  # DEBUG BEGIN_STMT
  _32 = bufferFreqs[26];
  _33 = _32 / dividerValue_36;
  bufferFreqs[34] = _33;
  goto <bb 20>; [INV]

  <bb 19> :
  # DEBUG BEGIN_STMT
  bufferFreqs[34] = 0;

  <bb 20> :
  return;

}


IntegerDividers_H ()
{
  uint32 dividerValue;
  unsigned char _1;
  const struct Clock_Ip_ClockConfigType * config_clock.26_2;
  unsigned char _3;
  unsigned int _4;
  unsigned int _5;
  volatile struct cgmMux_Type * _6;
  long unsigned int _7;
  long unsigned int _8;
  long unsigned int _9;
  long unsigned int _10;
  long unsigned int _11;
  unsigned char _12;
  const struct Clock_Ip_ClockConfigType * config_clock.27_13;
  unsigned char _14;
  unsigned int _15;
  unsigned int _16;
  volatile struct cgmMux_Type * _17;
  long unsigned int _18;
  long unsigned int _19;
  long unsigned int _20;
  long unsigned int _21;
  long unsigned int _22;
  unsigned char _23;
  const struct Clock_Ip_ClockConfigType * config_clock.28_24;
  unsigned char _25;
  unsigned int _26;
  unsigned int _27;
  volatile struct cgmMux_Type * _28;
  long unsigned int _29;
  long unsigned int _30;
  long unsigned int _31;
  long unsigned int _32;
  long unsigned int _33;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = freqPointers[14];
  if (_1 != 0)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  config_clock.26_2 = config_clock;
  _3 = freqPointers[14];
  _4 = (unsigned int) _3;
  _5 = _4 + 4294967295;
  dividerValue_42 = config_clock.26_2->dividers[_5].value;
  # DEBUG dividerValue => dividerValue_42
  goto <bb 5>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  _6 = 1076724480B;
  _7 ={v} _6->divider[1];
  _8 = _7 >> 16;
  _9 = _8 & 63;
  dividerValue_41 = _9 + 1;
  # DEBUG dividerValue => dividerValue_41

  <bb 5> :
  # dividerValue_34 = PHI <dividerValue_42(3), dividerValue_41(4)>
  # DEBUG dividerValue => dividerValue_34
  # DEBUG BEGIN_STMT
  if (dividerValue_34 != 0)
    goto <bb 6>; [INV]
  else
    goto <bb 7>; [INV]

  <bb 6> :
  # DEBUG BEGIN_STMT
  _10 = bufferFreqs[26];
  _11 = _10 / dividerValue_34;
  bufferFreqs[29] = _11;
  goto <bb 8>; [INV]

  <bb 7> :
  # DEBUG BEGIN_STMT
  bufferFreqs[29] = 0;

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

  <bb 9> :
  # DEBUG BEGIN_STMT
  config_clock.27_13 = config_clock;
  _14 = freqPointers[15];
  _15 = (unsigned int) _14;
  _16 = _15 + 4294967295;
  dividerValue_46 = config_clock.27_13->dividers[_16].value;
  # DEBUG dividerValue => dividerValue_46
  goto <bb 11>; [INV]

  <bb 10> :
  # DEBUG BEGIN_STMT
  _17 = 1076724480B;
  _18 ={v} _17->divider[2];
  _19 = _18 >> 16;
  _20 = _19 & 63;
  dividerValue_45 = _20 + 1;
  # DEBUG dividerValue => dividerValue_45

  <bb 11> :
  # dividerValue_35 = PHI <dividerValue_46(9), dividerValue_45(10)>
  # DEBUG dividerValue => dividerValue_35
  # DEBUG BEGIN_STMT
  if (dividerValue_35 != 0)
    goto <bb 12>; [INV]
  else
    goto <bb 13>; [INV]

  <bb 12> :
  # DEBUG BEGIN_STMT
  _21 = bufferFreqs[26];
  _22 = _21 / dividerValue_35;
  bufferFreqs[30] = _22;
  goto <bb 14>; [INV]

  <bb 13> :
  # DEBUG BEGIN_STMT
  bufferFreqs[30] = 0;

  <bb 14> :
  # DEBUG BEGIN_STMT
  _23 = freqPointers[16];
  if (_23 != 0)
    goto <bb 15>; [INV]
  else
    goto <bb 16>; [INV]

  <bb 15> :
  # DEBUG BEGIN_STMT
  config_clock.28_24 = config_clock;
  _25 = freqPointers[16];
  _26 = (unsigned int) _25;
  _27 = _26 + 4294967295;
  dividerValue_50 = config_clock.28_24->dividers[_27].value;
  # DEBUG dividerValue => dividerValue_50
  goto <bb 17>; [INV]

  <bb 16> :
  # DEBUG BEGIN_STMT
  _28 = 1076724480B;
  _29 ={v} _28->divider[3];
  _30 = _29 >> 16;
  _31 = _30 & 63;
  dividerValue_49 = _31 + 1;
  # DEBUG dividerValue => dividerValue_49

  <bb 17> :
  # dividerValue_36 = PHI <dividerValue_50(15), dividerValue_49(16)>
  # DEBUG dividerValue => dividerValue_36
  # DEBUG BEGIN_STMT
  if (dividerValue_36 != 0)
    goto <bb 18>; [INV]
  else
    goto <bb 19>; [INV]

  <bb 18> :
  # DEBUG BEGIN_STMT
  _32 = bufferFreqs[26];
  _33 = _32 / dividerValue_36;
  bufferFreqs[31] = _33;
  goto <bb 20>; [INV]

  <bb 19> :
  # DEBUG BEGIN_STMT
  bufferFreqs[31] = 0;

  <bb 20> :
  return;

}


IntegerDividers_G ()
{
  uint32 dividerValue;
  unsigned char _1;
  const struct Clock_Ip_ClockConfigType * config_clock.29_2;
  unsigned char _3;
  unsigned int _4;
  unsigned int _5;
  volatile struct PLL_Type * _6;
  long unsigned int _7;
  long unsigned int _8;
  long unsigned int _9;
  long unsigned int _10;
  long unsigned int _11;
  unsigned char _12;
  const struct Clock_Ip_ClockConfigType * config_clock.30_13;
  unsigned char _14;
  unsigned int _15;
  unsigned int _16;
  volatile struct PLL_Type * _17;
  long unsigned int _18;
  long unsigned int _19;
  long unsigned int _20;
  long unsigned int _21;
  long unsigned int _22;
  unsigned char _23;
  const struct Clock_Ip_ClockConfigType * config_clock.31_24;
  unsigned char _25;
  unsigned int _26;
  unsigned int _27;
  volatile struct cgmMux_Type * _28;
  long unsigned int _29;
  long unsigned int _30;
  long unsigned int _31;
  long unsigned int _32;
  long unsigned int _33;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = freqPointers[8];
  if (_1 != 0)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  config_clock.29_2 = config_clock;
  _3 = freqPointers[8];
  _4 = (unsigned int) _3;
  _5 = _4 + 4294967295;
  dividerValue_42 = config_clock.29_2->dividers[_5].value;
  # DEBUG dividerValue => dividerValue_42
  goto <bb 5>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  _6 = 1076756480B;
  _7 ={v} _6->PLLODIV[0];
  _8 = _7 >> 16;
  _9 = _8 & 15;
  dividerValue_41 = _9 + 1;
  # DEBUG dividerValue => dividerValue_41

  <bb 5> :
  # dividerValue_34 = PHI <dividerValue_42(3), dividerValue_41(4)>
  # DEBUG dividerValue => dividerValue_34
  # DEBUG BEGIN_STMT
  if (dividerValue_34 != 0)
    goto <bb 6>; [INV]
  else
    goto <bb 7>; [INV]

  <bb 6> :
  # DEBUG BEGIN_STMT
  _10 = bufferFreqs[25];
  _11 = _10 / dividerValue_34;
  bufferFreqs[26] = _11;
  goto <bb 8>; [INV]

  <bb 7> :
  # DEBUG BEGIN_STMT
  bufferFreqs[26] = 0;

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

  <bb 9> :
  # DEBUG BEGIN_STMT
  config_clock.30_13 = config_clock;
  _14 = freqPointers[9];
  _15 = (unsigned int) _14;
  _16 = _15 + 4294967295;
  dividerValue_46 = config_clock.30_13->dividers[_16].value;
  # DEBUG dividerValue => dividerValue_46
  goto <bb 11>; [INV]

  <bb 10> :
  # DEBUG BEGIN_STMT
  _17 = 1076756480B;
  _18 ={v} _17->PLLODIV[1];
  _19 = _18 >> 16;
  _20 = _19 & 15;
  dividerValue_45 = _20 + 1;
  # DEBUG dividerValue => dividerValue_45

  <bb 11> :
  # dividerValue_35 = PHI <dividerValue_46(9), dividerValue_45(10)>
  # DEBUG dividerValue => dividerValue_35
  # DEBUG BEGIN_STMT
  if (dividerValue_35 != 0)
    goto <bb 12>; [INV]
  else
    goto <bb 13>; [INV]

  <bb 12> :
  # DEBUG BEGIN_STMT
  _21 = bufferFreqs[25];
  _22 = _21 / dividerValue_35;
  bufferFreqs[27] = _22;
  goto <bb 14>; [INV]

  <bb 13> :
  # DEBUG BEGIN_STMT
  bufferFreqs[27] = 0;

  <bb 14> :
  # DEBUG BEGIN_STMT
  _23 = freqPointers[13];
  if (_23 != 0)
    goto <bb 15>; [INV]
  else
    goto <bb 16>; [INV]

  <bb 15> :
  # DEBUG BEGIN_STMT
  config_clock.31_24 = config_clock;
  _25 = freqPointers[13];
  _26 = (unsigned int) _25;
  _27 = _26 + 4294967295;
  dividerValue_50 = config_clock.31_24->dividers[_27].value;
  # DEBUG dividerValue => dividerValue_50
  goto <bb 17>; [INV]

  <bb 16> :
  # DEBUG BEGIN_STMT
  _28 = 1076724480B;
  _29 ={v} _28->divider[0];
  _30 = _29 >> 16;
  _31 = _30 & 63;
  dividerValue_49 = _31 + 1;
  # DEBUG dividerValue => dividerValue_49

  <bb 17> :
  # dividerValue_36 = PHI <dividerValue_50(15), dividerValue_49(16)>
  # DEBUG dividerValue => dividerValue_36
  # DEBUG BEGIN_STMT
  if (dividerValue_36 != 0)
    goto <bb 18>; [INV]
  else
    goto <bb 19>; [INV]

  <bb 18> :
  # DEBUG BEGIN_STMT
  _32 = bufferFreqs[26];
  _33 = _32 / dividerValue_36;
  bufferFreqs[28] = _33;
  goto <bb 20>; [INV]

  <bb 19> :
  # DEBUG BEGIN_STMT
  bufferFreqs[28] = 0;

  <bb 20> :
  return;

}


IntegerDividers_F ()
{
  uint32 dividerValue;
  unsigned char _1;
  const struct Clock_Ip_ClockConfigType * config_clock.32_2;
  unsigned char _3;
  unsigned int _4;
  unsigned int _5;
  volatile struct cgmMux_Type * _6;
  long unsigned int _7;
  long unsigned int _8;
  long unsigned int _9;
  long unsigned int _10;
  long unsigned int _11;
  unsigned char _12;
  const struct Clock_Ip_ClockConfigType * config_clock.33_13;
  unsigned char _14;
  unsigned int _15;
  unsigned int _16;
  volatile struct cgmMux_Type * _17;
  long unsigned int _18;
  long unsigned int _19;
  long unsigned int _20;
  long unsigned int _21;
  long unsigned int _22;
  unsigned char _23;
  const struct Clock_Ip_ClockConfigType * config_clock.34_24;
  unsigned char _25;
  unsigned int _26;
  unsigned int _27;
  volatile struct PLL_Type * _28;
  long unsigned int _29;
  long unsigned int _30;
  long unsigned int _31;
  long unsigned int _32;
  long unsigned int _33;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = freqPointers[20];
  if (_1 != 0)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  config_clock.32_2 = config_clock;
  _3 = freqPointers[20];
  _4 = (unsigned int) _3;
  _5 = _4 + 4294967295;
  dividerValue_42 = config_clock.32_2->dividers[_5].value;
  # DEBUG dividerValue => dividerValue_42
  goto <bb 5>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  _6 = 1076724864B;
  _7 ={v} _6->divider[0];
  _8 = _7 >> 16;
  _9 = _8 & 63;
  dividerValue_41 = _9 + 1;
  # DEBUG dividerValue => dividerValue_41

  <bb 5> :
  # dividerValue_34 = PHI <dividerValue_42(3), dividerValue_41(4)>
  # DEBUG dividerValue => dividerValue_34
  # DEBUG BEGIN_STMT
  if (dividerValue_34 != 0)
    goto <bb 6>; [INV]
  else
    goto <bb 7>; [INV]

  <bb 6> :
  # DEBUG BEGIN_STMT
  _10 = bufferFreqs[6];
  _11 = _10 / dividerValue_34;
  bufferFreqs[23] = _11;
  goto <bb 8>; [INV]

  <bb 7> :
  # DEBUG BEGIN_STMT
  bufferFreqs[23] = 0;

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

  <bb 9> :
  # DEBUG BEGIN_STMT
  config_clock.33_13 = config_clock;
  _14 = freqPointers[20];
  _15 = (unsigned int) _14;
  _16 = _15 + 4294967295;
  dividerValue_46 = config_clock.33_13->dividers[_16].value;
  # DEBUG dividerValue => dividerValue_46
  goto <bb 11>; [INV]

  <bb 10> :
  # DEBUG BEGIN_STMT
  _17 = 1076724864B;
  _18 ={v} _17->divider[0];
  _19 = _18 >> 16;
  _20 = _19 & 63;
  dividerValue_45 = _20 + 1;
  # DEBUG dividerValue => dividerValue_45

  <bb 11> :
  # dividerValue_35 = PHI <dividerValue_46(9), dividerValue_45(10)>
  # DEBUG dividerValue => dividerValue_35
  # DEBUG BEGIN_STMT
  if (dividerValue_35 != 0)
    goto <bb 12>; [INV]
  else
    goto <bb 13>; [INV]

  <bb 12> :
  # DEBUG BEGIN_STMT
  _21 = bufferFreqs[7];
  _22 = _21 / dividerValue_35;
  bufferFreqs[24] = _22;
  goto <bb 14>; [INV]

  <bb 13> :
  # DEBUG BEGIN_STMT
  bufferFreqs[24] = 0;

  <bb 14> :
  # DEBUG BEGIN_STMT
  _23 = freqPointers[7];
  if (_23 != 0)
    goto <bb 15>; [INV]
  else
    goto <bb 16>; [INV]

  <bb 15> :
  # DEBUG BEGIN_STMT
  config_clock.34_24 = config_clock;
  _25 = freqPointers[7];
  _26 = (unsigned int) _25;
  _27 = _26 + 4294967295;
  dividerValue_50 = config_clock.34_24->dividers[_27].value;
  # DEBUG dividerValue => dividerValue_50
  goto <bb 17>; [INV]

  <bb 16> :
  # DEBUG BEGIN_STMT
  _28 = 1076756480B;
  _29 ={v} _28->PLLDV;
  _30 = _29 >> 25;
  dividerValue_49 = _30 & 63;
  # DEBUG dividerValue => dividerValue_49

  <bb 17> :
  # dividerValue_36 = PHI <dividerValue_50(15), dividerValue_49(16)>
  # DEBUG dividerValue => dividerValue_36
  # DEBUG BEGIN_STMT
  if (dividerValue_36 != 0)
    goto <bb 18>; [INV]
  else
    goto <bb 19>; [INV]

  <bb 18> :
  # DEBUG BEGIN_STMT
  _31 = bufferFreqs[5];
  _32 = _31 / dividerValue_36;
  bufferFreqs[25] = _32;
  goto <bb 20>; [INV]

  <bb 19> :
  # DEBUG BEGIN_STMT
  _33 = bufferFreqs[5];
  bufferFreqs[25] = _33;

  <bb 20> :
  return;

}


IntegerDividers_E ()
{
  uint32 dividerValue;
  unsigned char _1;
  const struct Clock_Ip_ClockConfigType * config_clock.35_2;
  unsigned char _3;
  unsigned int _4;
  unsigned int _5;
  volatile struct cgmMux_Type * _6;
  long unsigned int _7;
  long unsigned int _8;
  long unsigned int _9;
  long unsigned int _10;
  long unsigned int _11;
  unsigned char _12;
  const struct Clock_Ip_ClockConfigType * config_clock.36_13;
  unsigned char _14;
  unsigned int _15;
  unsigned int _16;
  volatile struct cgmMux_Type * _17;
  long unsigned int _18;
  long unsigned int _19;
  long unsigned int _20;
  long unsigned int _21;
  long unsigned int _22;
  unsigned char _23;
  const struct Clock_Ip_ClockConfigType * config_clock.37_24;
  unsigned char _25;
  unsigned int _26;
  unsigned int _27;
  volatile struct cgmMux_Type * _28;
  long unsigned int _29;
  long unsigned int _30;
  long unsigned int _31;
  long unsigned int _32;
  long unsigned int _33;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = freqPointers[20];
  if (_1 != 0)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  config_clock.35_2 = config_clock;
  _3 = freqPointers[20];
  _4 = (unsigned int) _3;
  _5 = _4 + 4294967295;
  dividerValue_42 = config_clock.35_2->dividers[_5].value;
  # DEBUG dividerValue => dividerValue_42
  goto <bb 5>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  _6 = 1076724864B;
  _7 ={v} _6->divider[0];
  _8 = _7 >> 16;
  _9 = _8 & 63;
  dividerValue_41 = _9 + 1;
  # DEBUG dividerValue => dividerValue_41

  <bb 5> :
  # dividerValue_34 = PHI <dividerValue_42(3), dividerValue_41(4)>
  # DEBUG dividerValue => dividerValue_34
  # DEBUG BEGIN_STMT
  if (dividerValue_34 != 0)
    goto <bb 6>; [INV]
  else
    goto <bb 7>; [INV]

  <bb 6> :
  # DEBUG BEGIN_STMT
  _10 = bufferFreqs[11];
  _11 = _10 / dividerValue_34;
  bufferFreqs[20] = _11;
  goto <bb 8>; [INV]

  <bb 7> :
  # DEBUG BEGIN_STMT
  bufferFreqs[20] = 0;

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

  <bb 9> :
  # DEBUG BEGIN_STMT
  config_clock.36_13 = config_clock;
  _14 = freqPointers[20];
  _15 = (unsigned int) _14;
  _16 = _15 + 4294967295;
  dividerValue_46 = config_clock.36_13->dividers[_16].value;
  # DEBUG dividerValue => dividerValue_46
  goto <bb 11>; [INV]

  <bb 10> :
  # DEBUG BEGIN_STMT
  _17 = 1076724864B;
  _18 ={v} _17->divider[0];
  _19 = _18 >> 16;
  _20 = _19 & 63;
  dividerValue_45 = _20 + 1;
  # DEBUG dividerValue => dividerValue_45

  <bb 11> :
  # dividerValue_35 = PHI <dividerValue_46(9), dividerValue_45(10)>
  # DEBUG dividerValue => dividerValue_35
  # DEBUG BEGIN_STMT
  if (dividerValue_35 != 0)
    goto <bb 12>; [INV]
  else
    goto <bb 13>; [INV]

  <bb 12> :
  # DEBUG BEGIN_STMT
  _21 = bufferFreqs[9];
  _22 = _21 / dividerValue_35;
  bufferFreqs[21] = _22;
  goto <bb 14>; [INV]

  <bb 13> :
  # DEBUG BEGIN_STMT
  bufferFreqs[21] = 0;

  <bb 14> :
  # DEBUG BEGIN_STMT
  _23 = freqPointers[20];
  if (_23 != 0)
    goto <bb 15>; [INV]
  else
    goto <bb 16>; [INV]

  <bb 15> :
  # DEBUG BEGIN_STMT
  config_clock.37_24 = config_clock;
  _25 = freqPointers[20];
  _26 = (unsigned int) _25;
  _27 = _26 + 4294967295;
  dividerValue_50 = config_clock.37_24->dividers[_27].value;
  # DEBUG dividerValue => dividerValue_50
  goto <bb 17>; [INV]

  <bb 16> :
  # DEBUG BEGIN_STMT
  _28 = 1076724864B;
  _29 ={v} _28->divider[0];
  _30 = _29 >> 16;
  _31 = _30 & 63;
  dividerValue_49 = _31 + 1;
  # DEBUG dividerValue => dividerValue_49

  <bb 17> :
  # dividerValue_36 = PHI <dividerValue_50(15), dividerValue_49(16)>
  # DEBUG dividerValue => dividerValue_36
  # DEBUG BEGIN_STMT
  if (dividerValue_36 != 0)
    goto <bb 18>; [INV]
  else
    goto <bb 19>; [INV]

  <bb 18> :
  # DEBUG BEGIN_STMT
  _32 = bufferFreqs[10];
  _33 = _32 / dividerValue_36;
  bufferFreqs[22] = _33;
  goto <bb 20>; [INV]

  <bb 19> :
  # DEBUG BEGIN_STMT
  bufferFreqs[22] = 0;

  <bb 20> :
  return;

}


IntegerDividers_D ()
{
  uint32 dividerValue;
  unsigned char _1;
  const struct Clock_Ip_ClockConfigType * config_clock.38_2;
  unsigned char _3;
  unsigned int _4;
  unsigned int _5;
  volatile struct cgmMux_Type * _6;
  long unsigned int _7;
  long unsigned int _8;
  long unsigned int _9;
  long unsigned int _10;
  long unsigned int _11;
  unsigned char _12;
  const struct Clock_Ip_ClockConfigType * config_clock.39_13;
  unsigned char _14;
  unsigned int _15;
  unsigned int _16;
  volatile struct cgmMux_Type * _17;
  long unsigned int _18;
  long unsigned int _19;
  long unsigned int _20;
  long unsigned int _21;
  long unsigned int _22;
  unsigned char _23;
  const struct Clock_Ip_ClockConfigType * config_clock.40_24;
  unsigned char _25;
  unsigned int _26;
  unsigned int _27;
  volatile struct cgmMux_Type * _28;
  long unsigned int _29;
  long unsigned int _30;
  long unsigned int _31;
  long unsigned int _32;
  long unsigned int _33;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = freqPointers[20];
  if (_1 != 0)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  config_clock.38_2 = config_clock;
  _3 = freqPointers[20];
  _4 = (unsigned int) _3;
  _5 = _4 + 4294967295;
  dividerValue_42 = config_clock.38_2->dividers[_5].value;
  # DEBUG dividerValue => dividerValue_42
  goto <bb 5>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  _6 = 1076724864B;
  _7 ={v} _6->divider[0];
  _8 = _7 >> 16;
  _9 = _8 & 63;
  dividerValue_41 = _9 + 1;
  # DEBUG dividerValue => dividerValue_41

  <bb 5> :
  # dividerValue_34 = PHI <dividerValue_42(3), dividerValue_41(4)>
  # DEBUG dividerValue => dividerValue_34
  # DEBUG BEGIN_STMT
  if (dividerValue_34 != 0)
    goto <bb 6>; [INV]
  else
    goto <bb 7>; [INV]

  <bb 6> :
  # DEBUG BEGIN_STMT
  _10 = bufferFreqs[3];
  _11 = _10 / dividerValue_34;
  bufferFreqs[17] = _11;
  goto <bb 8>; [INV]

  <bb 7> :
  # DEBUG BEGIN_STMT
  bufferFreqs[17] = 0;

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

  <bb 9> :
  # DEBUG BEGIN_STMT
  config_clock.39_13 = config_clock;
  _14 = freqPointers[20];
  _15 = (unsigned int) _14;
  _16 = _15 + 4294967295;
  dividerValue_46 = config_clock.39_13->dividers[_16].value;
  # DEBUG dividerValue => dividerValue_46
  goto <bb 11>; [INV]

  <bb 10> :
  # DEBUG BEGIN_STMT
  _17 = 1076724864B;
  _18 ={v} _17->divider[0];
  _19 = _18 >> 16;
  _20 = _19 & 63;
  dividerValue_45 = _20 + 1;
  # DEBUG dividerValue => dividerValue_45

  <bb 11> :
  # dividerValue_35 = PHI <dividerValue_46(9), dividerValue_45(10)>
  # DEBUG dividerValue => dividerValue_35
  # DEBUG BEGIN_STMT
  if (dividerValue_35 != 0)
    goto <bb 12>; [INV]
  else
    goto <bb 13>; [INV]

  <bb 12> :
  # DEBUG BEGIN_STMT
  _21 = bufferFreqs[4];
  _22 = _21 / dividerValue_35;
  bufferFreqs[18] = _22;
  goto <bb 14>; [INV]

  <bb 13> :
  # DEBUG BEGIN_STMT
  bufferFreqs[18] = 0;

  <bb 14> :
  # DEBUG BEGIN_STMT
  _23 = freqPointers[20];
  if (_23 != 0)
    goto <bb 15>; [INV]
  else
    goto <bb 16>; [INV]

  <bb 15> :
  # DEBUG BEGIN_STMT
  config_clock.40_24 = config_clock;
  _25 = freqPointers[20];
  _26 = (unsigned int) _25;
  _27 = _26 + 4294967295;
  dividerValue_50 = config_clock.40_24->dividers[_27].value;
  # DEBUG dividerValue => dividerValue_50
  goto <bb 17>; [INV]

  <bb 16> :
  # DEBUG BEGIN_STMT
  _28 = 1076724864B;
  _29 ={v} _28->divider[0];
  _30 = _29 >> 16;
  _31 = _30 & 63;
  dividerValue_49 = _31 + 1;
  # DEBUG dividerValue => dividerValue_49

  <bb 17> :
  # dividerValue_36 = PHI <dividerValue_50(15), dividerValue_49(16)>
  # DEBUG dividerValue => dividerValue_36
  # DEBUG BEGIN_STMT
  if (dividerValue_36 != 0)
    goto <bb 18>; [INV]
  else
    goto <bb 19>; [INV]

  <bb 18> :
  # DEBUG BEGIN_STMT
  _32 = bufferFreqs[8];
  _33 = _32 / dividerValue_36;
  bufferFreqs[19] = _33;
  goto <bb 20>; [INV]

  <bb 19> :
  # DEBUG BEGIN_STMT
  bufferFreqs[19] = 0;

  <bb 20> :
  return;

}


IntegerDividers_C ()
{
  uint32 dividerValue;
  unsigned char _1;
  const struct Clock_Ip_ClockConfigType * config_clock.41_2;
  unsigned char _3;
  unsigned int _4;
  unsigned int _5;
  volatile struct cgmMux_Type * _6;
  long unsigned int _7;
  long unsigned int _8;
  long unsigned int _9;
  long unsigned int _10;
  long unsigned int _11;
  unsigned char _12;
  const struct Clock_Ip_ClockConfigType * config_clock.42_13;
  unsigned char _14;
  unsigned int _15;
  unsigned int _16;
  volatile struct cgmMux_Type * _17;
  long unsigned int _18;
  long unsigned int _19;
  long unsigned int _20;
  long unsigned int _21;
  long unsigned int _22;
  unsigned char _23;
  const struct Clock_Ip_ClockConfigType * config_clock.43_24;
  unsigned char _25;
  unsigned int _26;
  unsigned int _27;
  volatile struct cgmMux_Type * _28;
  long unsigned int _29;
  long unsigned int _30;
  long unsigned int _31;
  long unsigned int _32;
  long unsigned int _33;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = freqPointers[19];
  if (_1 != 0)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  config_clock.41_2 = config_clock;
  _3 = freqPointers[19];
  _4 = (unsigned int) _3;
  _5 = _4 + 4294967295;
  dividerValue_42 = config_clock.41_2->dividers[_5].value;
  # DEBUG dividerValue => dividerValue_42
  goto <bb 5>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  _6 = 1076724480B;
  _7 ={v} _6->divider[6];
  _8 = _7 >> 16;
  _9 = _8 & 63;
  dividerValue_41 = _9 + 1;
  # DEBUG dividerValue => dividerValue_41

  <bb 5> :
  # dividerValue_34 = PHI <dividerValue_42(3), dividerValue_41(4)>
  # DEBUG dividerValue => dividerValue_34
  # DEBUG BEGIN_STMT
  if (dividerValue_34 != 0)
    goto <bb 6>; [INV]
  else
    goto <bb 7>; [INV]

  <bb 6> :
  # DEBUG BEGIN_STMT
  _10 = bufferFreqs[1];
  _11 = _10 / dividerValue_34;
  bufferFreqs[14] = _11;
  goto <bb 8>; [INV]

  <bb 7> :
  # DEBUG BEGIN_STMT
  bufferFreqs[14] = 0;

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

  <bb 9> :
  # DEBUG BEGIN_STMT
  config_clock.42_13 = config_clock;
  _14 = freqPointers[20];
  _15 = (unsigned int) _14;
  _16 = _15 + 4294967295;
  dividerValue_46 = config_clock.42_13->dividers[_16].value;
  # DEBUG dividerValue => dividerValue_46
  goto <bb 11>; [INV]

  <bb 10> :
  # DEBUG BEGIN_STMT
  _17 = 1076724864B;
  _18 ={v} _17->divider[0];
  _19 = _18 >> 16;
  _20 = _19 & 63;
  dividerValue_45 = _20 + 1;
  # DEBUG dividerValue => dividerValue_45

  <bb 11> :
  # dividerValue_35 = PHI <dividerValue_46(9), dividerValue_45(10)>
  # DEBUG dividerValue => dividerValue_35
  # DEBUG BEGIN_STMT
  if (dividerValue_35 != 0)
    goto <bb 12>; [INV]
  else
    goto <bb 13>; [INV]

  <bb 12> :
  # DEBUG BEGIN_STMT
  _21 = bufferFreqs[1];
  _22 = _21 / dividerValue_35;
  bufferFreqs[15] = _22;
  goto <bb 14>; [INV]

  <bb 13> :
  # DEBUG BEGIN_STMT
  bufferFreqs[15] = 0;

  <bb 14> :
  # DEBUG BEGIN_STMT
  _23 = freqPointers[20];
  if (_23 != 0)
    goto <bb 15>; [INV]
  else
    goto <bb 16>; [INV]

  <bb 15> :
  # DEBUG BEGIN_STMT
  config_clock.43_24 = config_clock;
  _25 = freqPointers[20];
  _26 = (unsigned int) _25;
  _27 = _26 + 4294967295;
  dividerValue_50 = config_clock.43_24->dividers[_27].value;
  # DEBUG dividerValue => dividerValue_50
  goto <bb 17>; [INV]

  <bb 16> :
  # DEBUG BEGIN_STMT
  _28 = 1076724864B;
  _29 ={v} _28->divider[0];
  _30 = _29 >> 16;
  _31 = _30 & 63;
  dividerValue_49 = _31 + 1;
  # DEBUG dividerValue => dividerValue_49

  <bb 17> :
  # dividerValue_36 = PHI <dividerValue_50(15), dividerValue_49(16)>
  # DEBUG dividerValue => dividerValue_36
  # DEBUG BEGIN_STMT
  if (dividerValue_36 != 0)
    goto <bb 18>; [INV]
  else
    goto <bb 19>; [INV]

  <bb 18> :
  # DEBUG BEGIN_STMT
  _32 = bufferFreqs[2];
  _33 = _32 / dividerValue_36;
  bufferFreqs[16] = _33;
  goto <bb 20>; [INV]

  <bb 19> :
  # DEBUG BEGIN_STMT
  bufferFreqs[16] = 0;

  <bb 20> :
  return;

}


IntegerDividers_B ()
{
  uint32 dividerValue;
  unsigned char _1;
  const struct Clock_Ip_ClockConfigType * config_clock.44_2;
  unsigned char _3;
  unsigned int _4;
  unsigned int _5;
  volatile struct cgmMux_Type * _6;
  long unsigned int _7;
  long unsigned int _8;
  long unsigned int _9;
  long unsigned int _10;
  long unsigned int _11;
  unsigned char _12;
  const struct Clock_Ip_ClockConfigType * config_clock.45_13;
  unsigned char _14;
  unsigned int _15;
  unsigned int _16;
  volatile struct cgmMux_Type * _17;
  long unsigned int _18;
  long unsigned int _19;
  long unsigned int _20;
  long unsigned int _21;
  long unsigned int _22;
  unsigned char _23;
  const struct Clock_Ip_ClockConfigType * config_clock.46_24;
  unsigned char _25;
  unsigned int _26;
  unsigned int _27;
  volatile struct cgmMux_Type * _28;
  long unsigned int _29;
  long unsigned int _30;
  long unsigned int _31;
  long unsigned int _32;
  long unsigned int _33;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = freqPointers[16];
  if (_1 != 0)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  config_clock.44_2 = config_clock;
  _3 = freqPointers[16];
  _4 = (unsigned int) _3;
  _5 = _4 + 4294967295;
  dividerValue_42 = config_clock.44_2->dividers[_5].value;
  # DEBUG dividerValue => dividerValue_42
  goto <bb 5>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  _6 = 1076724480B;
  _7 ={v} _6->divider[3];
  _8 = _7 >> 16;
  _9 = _8 & 63;
  dividerValue_41 = _9 + 1;
  # DEBUG dividerValue => dividerValue_41

  <bb 5> :
  # dividerValue_34 = PHI <dividerValue_42(3), dividerValue_41(4)>
  # DEBUG dividerValue => dividerValue_34
  # DEBUG BEGIN_STMT
  if (dividerValue_34 != 0)
    goto <bb 6>; [INV]
  else
    goto <bb 7>; [INV]

  <bb 6> :
  # DEBUG BEGIN_STMT
  _10 = bufferFreqs[1];
  _11 = _10 / dividerValue_34;
  bufferFreqs[11] = _11;
  goto <bb 8>; [INV]

  <bb 7> :
  # DEBUG BEGIN_STMT
  bufferFreqs[11] = 0;

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

  <bb 9> :
  # DEBUG BEGIN_STMT
  config_clock.45_13 = config_clock;
  _14 = freqPointers[17];
  _15 = (unsigned int) _14;
  _16 = _15 + 4294967295;
  dividerValue_46 = config_clock.45_13->dividers[_16].value;
  # DEBUG dividerValue => dividerValue_46
  goto <bb 11>; [INV]

  <bb 10> :
  # DEBUG BEGIN_STMT
  _17 = 1076724480B;
  _18 ={v} _17->divider[4];
  _19 = _18 >> 16;
  _20 = _19 & 63;
  dividerValue_45 = _20 + 1;
  # DEBUG dividerValue => dividerValue_45

  <bb 11> :
  # dividerValue_35 = PHI <dividerValue_46(9), dividerValue_45(10)>
  # DEBUG dividerValue => dividerValue_35
  # DEBUG BEGIN_STMT
  if (dividerValue_35 != 0)
    goto <bb 12>; [INV]
  else
    goto <bb 13>; [INV]

  <bb 12> :
  # DEBUG BEGIN_STMT
  _21 = bufferFreqs[1];
  _22 = _21 / dividerValue_35;
  bufferFreqs[12] = _22;
  goto <bb 14>; [INV]

  <bb 13> :
  # DEBUG BEGIN_STMT
  bufferFreqs[12] = 0;

  <bb 14> :
  # DEBUG BEGIN_STMT
  _23 = freqPointers[18];
  if (_23 != 0)
    goto <bb 15>; [INV]
  else
    goto <bb 16>; [INV]

  <bb 15> :
  # DEBUG BEGIN_STMT
  config_clock.46_24 = config_clock;
  _25 = freqPointers[18];
  _26 = (unsigned int) _25;
  _27 = _26 + 4294967295;
  dividerValue_50 = config_clock.46_24->dividers[_27].value;
  # DEBUG dividerValue => dividerValue_50
  goto <bb 17>; [INV]

  <bb 16> :
  # DEBUG BEGIN_STMT
  _28 = 1076724480B;
  _29 ={v} _28->divider[5];
  _30 = _29 >> 16;
  _31 = _30 & 63;
  dividerValue_49 = _31 + 1;
  # DEBUG dividerValue => dividerValue_49

  <bb 17> :
  # dividerValue_36 = PHI <dividerValue_50(15), dividerValue_49(16)>
  # DEBUG dividerValue => dividerValue_36
  # DEBUG BEGIN_STMT
  if (dividerValue_36 != 0)
    goto <bb 18>; [INV]
  else
    goto <bb 19>; [INV]

  <bb 18> :
  # DEBUG BEGIN_STMT
  _32 = bufferFreqs[1];
  _33 = _32 / dividerValue_36;
  bufferFreqs[13] = _33;
  goto <bb 20>; [INV]

  <bb 19> :
  # DEBUG BEGIN_STMT
  bufferFreqs[13] = 0;

  <bb 20> :
  return;

}


IntegerDividers_A ()
{
  uint32 dividerValue;
  unsigned char _1;
  const struct Clock_Ip_ClockConfigType * config_clock.47_2;
  unsigned char _3;
  unsigned int _4;
  unsigned int _5;
  volatile struct cgmMux_Type * _6;
  long unsigned int _7;
  long unsigned int _8;
  long unsigned int _9;
  long unsigned int _10;
  long unsigned int _11;
  unsigned char _12;
  const struct Clock_Ip_ClockConfigType * config_clock.48_13;
  unsigned char _14;
  unsigned int _15;
  unsigned int _16;
  volatile struct cgmMux_Type * _17;
  long unsigned int _18;
  long unsigned int _19;
  long unsigned int _20;
  long unsigned int _21;
  long unsigned int _22;
  unsigned char _23;
  const struct Clock_Ip_ClockConfigType * config_clock.49_24;
  unsigned char _25;
  unsigned int _26;
  unsigned int _27;
  volatile struct cgmMux_Type * _28;
  long unsigned int _29;
  long unsigned int _30;
  long unsigned int _31;
  long unsigned int _32;
  long unsigned int _33;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = freqPointers[13];
  if (_1 != 0)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  config_clock.47_2 = config_clock;
  _3 = freqPointers[13];
  _4 = (unsigned int) _3;
  _5 = _4 + 4294967295;
  dividerValue_42 = config_clock.47_2->dividers[_5].value;
  # DEBUG dividerValue => dividerValue_42
  goto <bb 5>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  _6 = 1076724480B;
  _7 ={v} _6->divider[0];
  _8 = _7 >> 16;
  _9 = _8 & 63;
  dividerValue_41 = _9 + 1;
  # DEBUG dividerValue => dividerValue_41

  <bb 5> :
  # dividerValue_34 = PHI <dividerValue_42(3), dividerValue_41(4)>
  # DEBUG dividerValue => dividerValue_34
  # DEBUG BEGIN_STMT
  if (dividerValue_34 != 0)
    goto <bb 6>; [INV]
  else
    goto <bb 7>; [INV]

  <bb 6> :
  # DEBUG BEGIN_STMT
  _10 = bufferFreqs[1];
  _11 = _10 / dividerValue_34;
  bufferFreqs[8] = _11;
  goto <bb 8>; [INV]

  <bb 7> :
  # DEBUG BEGIN_STMT
  bufferFreqs[8] = 0;

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

  <bb 9> :
  # DEBUG BEGIN_STMT
  config_clock.48_13 = config_clock;
  _14 = freqPointers[14];
  _15 = (unsigned int) _14;
  _16 = _15 + 4294967295;
  dividerValue_46 = config_clock.48_13->dividers[_16].value;
  # DEBUG dividerValue => dividerValue_46
  goto <bb 11>; [INV]

  <bb 10> :
  # DEBUG BEGIN_STMT
  _17 = 1076724480B;
  _18 ={v} _17->divider[1];
  _19 = _18 >> 16;
  _20 = _19 & 63;
  dividerValue_45 = _20 + 1;
  # DEBUG dividerValue => dividerValue_45

  <bb 11> :
  # dividerValue_35 = PHI <dividerValue_46(9), dividerValue_45(10)>
  # DEBUG dividerValue => dividerValue_35
  # DEBUG BEGIN_STMT
  if (dividerValue_35 != 0)
    goto <bb 12>; [INV]
  else
    goto <bb 13>; [INV]

  <bb 12> :
  # DEBUG BEGIN_STMT
  _21 = bufferFreqs[1];
  _22 = _21 / dividerValue_35;
  bufferFreqs[9] = _22;
  goto <bb 14>; [INV]

  <bb 13> :
  # DEBUG BEGIN_STMT
  bufferFreqs[9] = 0;

  <bb 14> :
  # DEBUG BEGIN_STMT
  _23 = freqPointers[15];
  if (_23 != 0)
    goto <bb 15>; [INV]
  else
    goto <bb 16>; [INV]

  <bb 15> :
  # DEBUG BEGIN_STMT
  config_clock.49_24 = config_clock;
  _25 = freqPointers[15];
  _26 = (unsigned int) _25;
  _27 = _26 + 4294967295;
  dividerValue_50 = config_clock.49_24->dividers[_27].value;
  # DEBUG dividerValue => dividerValue_50
  goto <bb 17>; [INV]

  <bb 16> :
  # DEBUG BEGIN_STMT
  _28 = 1076724480B;
  _29 ={v} _28->divider[2];
  _30 = _29 >> 16;
  _31 = _30 & 63;
  dividerValue_49 = _31 + 1;
  # DEBUG dividerValue => dividerValue_49

  <bb 17> :
  # dividerValue_36 = PHI <dividerValue_50(15), dividerValue_49(16)>
  # DEBUG dividerValue => dividerValue_36
  # DEBUG BEGIN_STMT
  if (dividerValue_36 != 0)
    goto <bb 18>; [INV]
  else
    goto <bb 19>; [INV]

  <bb 18> :
  # DEBUG BEGIN_STMT
  _32 = bufferFreqs[1];
  _33 = _32 / dividerValue_36;
  bufferFreqs[10] = _33;
  goto <bb 20>; [INV]

  <bb 19> :
  # DEBUG BEGIN_STMT
  bufferFreqs[10] = 0;

  <bb 20> :
  return;

}


PLL_C ()
{
  long unsigned int _1;
  long unsigned int _2;
  long unsigned int _3;
  long unsigned int _4;
  long unsigned int _5;
  long unsigned int _6;
  long unsigned int _7;
  long unsigned int _8;
  long unsigned int _9;
  long unsigned int _10;
  long unsigned int _11;
  long unsigned int _12;
  long unsigned int _13;
  long unsigned int _14;
  long unsigned int _15;
  long unsigned int _16;
  long unsigned int _17;
  long unsigned int _18;
  long unsigned int _19;
  long unsigned int _20;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = tmpData.output;
  _2 = tmpData.input1;
  _3 = tmpData.input2;
  _4 = _2 / _3;
  _5 = tmpData.aux2;
  _6 = _4 * _5;
  _7 = _1 + _6;
  tmpData.output = _7;
  # DEBUG BEGIN_STMT
  _8 = tmpData.output;
  _9 = tmpData.aux4;
  _10 = tmpData.input4;
  _11 = _9 * _10;
  _12 = _8 + _11;
  tmpData.output = _12;
  # DEBUG BEGIN_STMT
  _13 = tmpData.output;
  _14 = tmpData.aux5;
  _15 = tmpData.input4;
  _16 = _14 * _15;
  _17 = tmpData.aux3;
  _18 = _16 / _17;
  _19 = _13 + _18;
  tmpData.output = _19;
  # DEBUG BEGIN_STMT
  _20 = tmpData.output;
  bufferFreqs[5] = _20;
  return;

}


PLL_B ()
{
  long unsigned int _1;
  long unsigned int _2;
  long unsigned int _3;
  long unsigned int _4;
  long unsigned int _5;
  long unsigned int _6;
  long unsigned int _7;
  long unsigned int _8;
  long unsigned int _9;
  long unsigned int _10;
  long unsigned int _11;
  long unsigned int _12;
  long unsigned int _13;
  long unsigned int _14;
  long unsigned int _15;
  long unsigned int _16;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = tmpData.input2;
  _2 = _1 << 14;
  _3 = tmpData.input2;
  _4 = _3 << 11;
  _5 = _2 + _4;
  tmpData.aux3 = _5;
  # DEBUG BEGIN_STMT
  _6 = tmpData.input1;
  _7 = tmpData.aux3;
  _8 = _6 / _7;
  tmpData.aux4 = _8;
  # DEBUG BEGIN_STMT
  _9 = tmpData.input1;
  _10 = tmpData.aux4;
  _11 = tmpData.aux3;
  _12 = _10 * _11;
  _13 = _9 - _12;
  tmpData.aux5 = _13;
  # DEBUG BEGIN_STMT
  _14 = tmpData.aux1;
  _15 = tmpData.input1;
  _16 = _14 * _15;
  tmpData.output = _16;
  return;

}


PLL_A ()
{
  const struct Clock_Ip_PllConfigType * pllConfig;
  long unsigned int _1;
  unsigned char _2;
  const struct Clock_Ip_ClockConfigType * config_clock.50_3;
  unsigned char _4;
  unsigned int _5;
  unsigned int _6;
  unsigned char _7;
  long unsigned int _8;
  unsigned char _9;
  long unsigned int _10;
  short unsigned int _11;
  long unsigned int _12;
  volatile struct PLL_Type * _13;
  long unsigned int _14;
  long unsigned int _15;
  long unsigned int _16;
  volatile struct PLL_Type * _17;
  long unsigned int _18;
  long unsigned int _19;
  volatile struct PLL_Type * _20;
  long unsigned int _21;
  long unsigned int _22;
  volatile struct PLL_Type * _23;
  long unsigned int _24;
  long unsigned int _25;
  long unsigned int _26;
  long unsigned int _27;
  long unsigned int _28;
  long unsigned int _29;
  long unsigned int _30;
  long unsigned int _31;
  long unsigned int _32;
  long unsigned int _33;
  long unsigned int _34;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = bufferFreqs[3];
  tmpData.input1 = _1;
  # DEBUG BEGIN_STMT
  _2 = freqPointers[6];
  if (_2 != 0)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  config_clock.50_3 = config_clock;
  _4 = freqPointers[6];
  _5 = (unsigned int) _4;
  _6 = _5 + 4294967295;
  pllConfig_42 = &config_clock.50_3->plls[_6];
  # DEBUG pllConfig => pllConfig_42
  # DEBUG BEGIN_STMT
  _7 = pllConfig_42->predivider;
  _8 = (long unsigned int) _7;
  tmpData.input2 = _8;
  # DEBUG BEGIN_STMT
  _9 = pllConfig_42->mulFactorDiv;
  _10 = (long unsigned int) _9;
  tmpData.input3 = _10;
  # DEBUG BEGIN_STMT
  _11 = pllConfig_42->numeratorFracLoopDiv;
  _12 = (long unsigned int) _11;
  tmpData.input4 = _12;
  # DEBUG BEGIN_STMT
  tmpData.input5 = 0;
  goto <bb 5>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  _13 = 1076756480B;
  _14 ={v} _13->PLLDV;
  _15 = _14 >> 12;
  _16 = _15 & 7;
  tmpData.input2 = _16;
  # DEBUG BEGIN_STMT
  _17 = 1076756480B;
  _18 ={v} _17->PLLDV;
  _19 = _18 & 255;
  tmpData.input3 = _19;
  # DEBUG BEGIN_STMT
  _20 = 1076756480B;
  _21 ={v} _20->PLLFD;
  _22 = _21 & 32767;
  tmpData.input4 = _22;
  # DEBUG BEGIN_STMT
  _23 = 1076756480B;
  _24 ={v} _23->PLLDV;
  _25 = _24 >> 25;
  _26 = _25 & 63;
  tmpData.input5 = _26;

  <bb 5> :
  # DEBUG BEGIN_STMT
  _27 = tmpData.input3;
  _28 = tmpData.input2;
  _29 = _27 / _28;
  tmpData.aux1 = _29;
  # DEBUG BEGIN_STMT
  _30 = tmpData.input3;
  _31 = tmpData.aux1;
  _32 = tmpData.input2;
  _33 = _31 * _32;
  _34 = _30 - _33;
  tmpData.aux2 = _34;
  return;

}


IRCOSCS_XOSCS_SERDES_EXTERNAL_CLOCKS ()
{
  const struct Clock_Ip_ExtClkConfigType * extClkConfig;
  const struct Clock_Ip_XoscConfigType * xoscConfig;
  unsigned char _1;
  const struct Clock_Ip_ClockConfigType * config_clock.51_2;
  unsigned char _3;
  unsigned int _4;
  unsigned int _5;
  long unsigned int _6;
  unsigned char _7;
  const struct Clock_Ip_ClockConfigType * config_clock.52_8;
  unsigned char _9;
  unsigned int _10;
  unsigned int _11;
  long unsigned int _12;
  unsigned char _13;
  const struct Clock_Ip_ClockConfigType * config_clock.53_14;
  unsigned char _15;
  unsigned int _16;
  unsigned int _17;
  long unsigned int _18;
  unsigned char _19;
  const struct Clock_Ip_ClockConfigType * config_clock.54_20;
  unsigned char _21;
  unsigned int _22;
  unsigned int _23;
  long unsigned int _24;

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

  <bb 3> :
  # DEBUG BEGIN_STMT
  config_clock.51_2 = config_clock;
  _3 = freqPointers[4];
  _4 = (unsigned int) _3;
  _5 = _4 + 4294967295;
  xoscConfig_31 = &config_clock.51_2->xoscs[_5];
  # DEBUG xoscConfig => xoscConfig_31
  # DEBUG BEGIN_STMT
  _6 = xoscConfig_31->freq;
  bufferFreqs[3] = _6;
  goto <bb 5>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  bufferFreqs[3] = 16000000;

  <bb 5> :
  # DEBUG BEGIN_STMT
  _7 = freqPointers[5];
  if (_7 != 0)
    goto <bb 6>; [INV]
  else
    goto <bb 7>; [INV]

  <bb 6> :
  # DEBUG BEGIN_STMT
  config_clock.52_8 = config_clock;
  _9 = freqPointers[5];
  _10 = (unsigned int) _9;
  _11 = _10 + 4294967295;
  xoscConfig_34 = &config_clock.52_8->xoscs[_11];
  # DEBUG xoscConfig => xoscConfig_34
  # DEBUG BEGIN_STMT
  _12 = xoscConfig_34->freq;
  bufferFreqs[4] = _12;
  goto <bb 8>; [INV]

  <bb 7> :
  # DEBUG BEGIN_STMT
  bufferFreqs[4] = 32768;

  <bb 8> :
  # DEBUG BEGIN_STMT
  bufferFreqs[2] = 32000;
  # DEBUG BEGIN_STMT
  bufferFreqs[1] = 48000000;
  # DEBUG BEGIN_STMT
  freqPointers[0] = 1;
  # DEBUG BEGIN_STMT
  freqPointers[2] = 2;
  # DEBUG BEGIN_STMT
  _13 = freqPointers[10];
  if (_13 != 0)
    goto <bb 9>; [INV]
  else
    goto <bb 10>; [INV]

  <bb 9> :
  # DEBUG BEGIN_STMT
  config_clock.53_14 = config_clock;
  _15 = freqPointers[10];
  _16 = (unsigned int) _15;
  _17 = _16 + 4294967295;
  extClkConfig_41 = &config_clock.53_14->extClks[_17];
  # DEBUG extClkConfig => extClkConfig_41
  # DEBUG BEGIN_STMT
  _18 = extClkConfig_41->value;
  bufferFreqs[6] = _18;
  goto <bb 11>; [INV]

  <bb 10> :
  # DEBUG BEGIN_STMT
  bufferFreqs[6] = 0;

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

  <bb 12> :
  # DEBUG BEGIN_STMT
  config_clock.54_20 = config_clock;
  _21 = freqPointers[11];
  _22 = (unsigned int) _21;
  _23 = _22 + 4294967295;
  extClkConfig_44 = &config_clock.54_20->extClks[_23];
  # DEBUG extClkConfig => extClkConfig_44
  # DEBUG BEGIN_STMT
  _24 = extClkConfig_44->value;
  bufferFreqs[7] = _24;
  goto <bb 14>; [INV]

  <bb 13> :
  # DEBUG BEGIN_STMT
  bufferFreqs[7] = 0;

  <bb 14> :
  # DEBUG BEGIN_STMT
  freqPointers[10] = 6;
  # DEBUG BEGIN_STMT
  freqPointers[11] = 7;
  return;

}


NOT_UNDER_MCU_CONTROL_B ()
{
  unsigned char _1;
  struct MC_ME_Type * _2;
  long unsigned int _3;
  long unsigned int _4;
  volatile struct PLL_Type * _5;
  long unsigned int _6;
  signed int _7;
  unsigned char _8;
  struct MC_ME_Type * _9;
  long unsigned int _10;
  long unsigned int _11;
  volatile struct PLL_Type * _12;
  long unsigned int _13;
  signed int _14;
  unsigned char _15;
  volatile struct cgmMux_Type * _16;
  long unsigned int _17;
  long unsigned int _18;
  long unsigned int _19;
  <unnamed type> _20;
  unsigned char _21;
  volatile struct cgmMux_Type * _22;
  long unsigned int _23;
  long unsigned int _24;
  long unsigned int _25;
  <unnamed type> _26;
  clock_element_state_t iftmp.55_27;
  clock_element_state_t iftmp.56_28;
  clock_element_state_t iftmp.55_35;
  clock_element_state_t iftmp.55_36;
  clock_element_state_t iftmp.56_39;
  clock_element_state_t iftmp.56_40;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = freqPointers[8];
  if (_1 == 0)
    goto <bb 3>; [INV]
  else
    goto <bb 9>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  _2 = 1076740096B;
  _3 ={v} _2->PRTN1_COFB1_STAT;
  _4 = _3 & 16777216;
  if (_4 != 0)
    goto <bb 4>; [INV]
  else
    goto <bb 8>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  _5 = 1076756480B;
  _6 ={v} _5->PLLODIV[0];
  _7 = (signed int) _6;
  if (_7 >= 0)
    goto <bb 5>; [INV]
  else
    goto <bb 6>; [INV]

  <bb 5> :
  iftmp.55_36 = 0;
  goto <bb 7>; [INV]

  <bb 6> :
  iftmp.55_35 = 255;

  <bb 7> :
  # iftmp.55_27 = PHI <iftmp.55_36(5), iftmp.55_35(6)>
  clkState[8] = iftmp.55_27;
  goto <bb 9>; [INV]

  <bb 8> :
  # DEBUG BEGIN_STMT
  clkState[8] = 0;

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

  <bb 10> :
  # DEBUG BEGIN_STMT
  _9 = 1076740096B;
  _10 ={v} _9->PRTN1_COFB1_STAT;
  _11 = _10 & 16777216;
  if (_11 != 0)
    goto <bb 11>; [INV]
  else
    goto <bb 15>; [INV]

  <bb 11> :
  # DEBUG BEGIN_STMT
  _12 = 1076756480B;
  _13 ={v} _12->PLLODIV[1];
  _14 = (signed int) _13;
  if (_14 >= 0)
    goto <bb 12>; [INV]
  else
    goto <bb 13>; [INV]

  <bb 12> :
  iftmp.56_40 = 0;
  goto <bb 14>; [INV]

  <bb 13> :
  iftmp.56_39 = 255;

  <bb 14> :
  # iftmp.56_28 = PHI <iftmp.56_40(12), iftmp.56_39(13)>
  clkState[9] = iftmp.56_28;
  goto <bb 16>; [INV]

  <bb 15> :
  # DEBUG BEGIN_STMT
  clkState[9] = 0;

  <bb 16> :
  # DEBUG BEGIN_STMT
  clkState[10] = 255;
  # DEBUG BEGIN_STMT
  clkState[11] = 255;
  # DEBUG BEGIN_STMT
  _15 = freqPointers[12];
  if (_15 == 0)
    goto <bb 17>; [INV]
  else
    goto <bb 18>; [INV]

  <bb 17> :
  # DEBUG BEGIN_STMT
  _16 = 1076724480B;
  _17 ={v} _16->CSS;
  _18 = _17 >> 24;
  _19 = _18 & 63;
  _20 = selectorEntryIndex[_19];
  clkState[12] = _20;

  <bb 18> :
  # DEBUG BEGIN_STMT
  _21 = freqPointers[20];
  if (_21 == 0)
    goto <bb 19>; [INV]
  else
    goto <bb 20>; [INV]

  <bb 19> :
  # DEBUG BEGIN_STMT
  _22 = 1076724864B;
  _23 ={v} _22->CSS;
  _24 = _23 >> 24;
  _25 = _24 & 63;
  _26 = selectorEntryIndex[_25];
  clkState[20] = _26;

  <bb 20> :
  return;

}


NOT_UNDER_MCU_CONTROL_A ()
{
  unsigned char _1;
  struct FIRC_Type * _2;
  long unsigned int _3;
  long unsigned int _4;
  unsigned char _5;
  volatile struct ExtOSC_Type * _6;
  long unsigned int _7;
  signed int _8;
  unsigned char _9;
  struct SIRC_Type * _10;
  long unsigned int _11;
  long unsigned int _12;
  unsigned char _13;
  struct SXOSC_Type * _14;
  long unsigned int _15;
  signed int _16;
  unsigned char _17;
  struct MC_ME_Type * _18;
  long unsigned int _19;
  long unsigned int _20;
  volatile struct PLL_Type * _21;
  long unsigned int _22;
  long unsigned int _23;
  clock_element_state_t iftmp.57_24;
  clock_element_state_t iftmp.58_25;
  clock_element_state_t iftmp.59_26;
  clock_element_state_t iftmp.60_27;
  clock_element_state_t iftmp.61_28;
  clock_element_state_t iftmp.57_36;
  clock_element_state_t iftmp.57_37;
  clock_element_state_t iftmp.58_39;
  clock_element_state_t iftmp.58_40;
  clock_element_state_t iftmp.59_42;
  clock_element_state_t iftmp.59_43;
  clock_element_state_t iftmp.60_46;
  clock_element_state_t iftmp.60_47;
  clock_element_state_t iftmp.61_50;
  clock_element_state_t iftmp.61_51;

  <bb 2> :
  # DEBUG BEGIN_STMT
  clkState[0] = 255;
  # DEBUG BEGIN_STMT
  _1 = freqPointers[1];
  if (_1 == 0)
    goto <bb 3>; [INV]
  else
    goto <bb 7>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  _2 = 1076690944B;
  _3 ={v} _2->STDBY_ENABLE;
  _4 = _3 & 1;
  if (_4 == 0)
    goto <bb 4>; [INV]
  else
    goto <bb 5>; [INV]

  <bb 4> :
  iftmp.57_37 = 0;
  goto <bb 6>; [INV]

  <bb 5> :
  iftmp.57_36 = 255;

  <bb 6> :
  # iftmp.57_24 = PHI <iftmp.57_37(4), iftmp.57_36(5)>
  clkState[1] = iftmp.57_24;

  <bb 7> :
  # DEBUG BEGIN_STMT
  _5 = freqPointers[4];
  if (_5 == 0)
    goto <bb 8>; [INV]
  else
    goto <bb 12>; [INV]

  <bb 8> :
  # DEBUG BEGIN_STMT
  _6 = 1076707328B;
  _7 ={v} _6->STAT;
  _8 = (signed int) _7;
  if (_8 >= 0)
    goto <bb 9>; [INV]
  else
    goto <bb 10>; [INV]

  <bb 9> :
  iftmp.58_40 = 0;
  goto <bb 11>; [INV]

  <bb 10> :
  iftmp.58_39 = 255;

  <bb 11> :
  # iftmp.58_25 = PHI <iftmp.58_40(9), iftmp.58_39(10)>
  clkState[4] = iftmp.58_25;

  <bb 12> :
  # DEBUG BEGIN_STMT
  _9 = freqPointers[3];
  if (_9 == 0)
    goto <bb 13>; [INV]
  else
    goto <bb 17>; [INV]

  <bb 13> :
  # DEBUG BEGIN_STMT
  _10 = 1076658176B;
  _11 ={v} _10->MISCELLANEOUS_IN;
  _12 = _11 & 256;
  if (_12 == 0)
    goto <bb 14>; [INV]
  else
    goto <bb 15>; [INV]

  <bb 14> :
  iftmp.59_43 = 0;
  goto <bb 16>; [INV]

  <bb 15> :
  iftmp.59_42 = 255;

  <bb 16> :
  # iftmp.59_26 = PHI <iftmp.59_43(14), iftmp.59_42(15)>
  clkState[3] = iftmp.59_26;

  <bb 17> :
  # DEBUG BEGIN_STMT
  clkState[2] = 255;
  # DEBUG BEGIN_STMT
  _13 = freqPointers[5];
  if (_13 == 0)
    goto <bb 18>; [INV]
  else
    goto <bb 22>; [INV]

  <bb 18> :
  # DEBUG BEGIN_STMT
  _14 = 1076674560B;
  _15 ={v} _14->SXOSC_STAT;
  _16 = (signed int) _15;
  if (_16 >= 0)
    goto <bb 19>; [INV]
  else
    goto <bb 20>; [INV]

  <bb 19> :
  iftmp.60_47 = 0;
  goto <bb 21>; [INV]

  <bb 20> :
  iftmp.60_46 = 255;

  <bb 21> :
  # iftmp.60_27 = PHI <iftmp.60_47(19), iftmp.60_46(20)>
  clkState[5] = iftmp.60_27;

  <bb 22> :
  # DEBUG BEGIN_STMT
  _17 = freqPointers[6];
  if (_17 == 0)
    goto <bb 23>; [INV]
  else
    goto <bb 29>; [INV]

  <bb 23> :
  # DEBUG BEGIN_STMT
  _18 = 1076740096B;
  _19 ={v} _18->PRTN1_COFB1_STAT;
  _20 = _19 & 16777216;
  if (_20 != 0)
    goto <bb 24>; [INV]
  else
    goto <bb 28>; [INV]

  <bb 24> :
  # DEBUG BEGIN_STMT
  _21 = 1076756480B;
  _22 ={v} _21->PLLSR;
  _23 = _22 & 4;
  if (_23 == 0)
    goto <bb 25>; [INV]
  else
    goto <bb 26>; [INV]

  <bb 25> :
  iftmp.61_51 = 0;
  goto <bb 27>; [INV]

  <bb 26> :
  iftmp.61_50 = 255;

  <bb 27> :
  # iftmp.61_28 = PHI <iftmp.61_51(25), iftmp.61_50(26)>
  clkState[6] = iftmp.61_28;
  goto <bb 29>; [INV]

  <bb 28> :
  # DEBUG BEGIN_STMT
  clkState[6] = 0;

  <bb 29> :
  return;

}


CONFIG_ELEMENTS_MAPPINGS_02 ()
{
  uint8 j;
  uint8 i;
  const struct Clock_Ip_ClockConfigType * config_clock.62_1;
  int _2;
  <unnamed type> _3;
  const struct Clock_Ip_ClockConfigType * config_clock.63_4;
  int _5;
  <unnamed type> _6;
  int _7;
  unsigned char _8;
  unsigned char i.64_9;
  const struct Clock_Ip_ClockConfigType * config_clock.65_10;
  unsigned char _11;
  const struct Clock_Ip_ClockConfigType * config_clock.66_12;
  int _13;
  <unnamed type> _14;
  const struct Clock_Ip_ClockConfigType * config_clock.67_15;
  int _16;
  <unnamed type> _17;
  int _18;
  unsigned char _19;
  unsigned char i.68_20;
  const struct Clock_Ip_ClockConfigType * config_clock.69_21;
  unsigned char _22;
  const struct Clock_Ip_ClockConfigType * config_clock.70_23;
  int _24;
  <unnamed type> _25;
  const struct Clock_Ip_ClockConfigType * config_clock.71_26;
  int _27;
  <unnamed type> _28;
  int _29;
  unsigned char _30;
  unsigned char i.72_31;
  const struct Clock_Ip_ClockConfigType * config_clock.73_32;
  unsigned char _33;
  int _34;
  <unnamed type> _35;
  const struct Clock_Ip_ClockConfigType * config_clock.74_36;
  int _37;
  <unnamed type> _38;
  int _39;
  unsigned char _40;
  unsigned char j.75_41;
  unsigned char i.76_42;
  const struct Clock_Ip_ClockConfigType * config_clock.77_43;
  unsigned char _44;
  int _45;
  <unnamed type> _46;
  const struct Clock_Ip_ClockConfigType * config_clock.78_47;
  int _48;
  <unnamed type> _49;
  int _50;
  unsigned char _51;
  unsigned char j.79_52;
  unsigned char i.80_53;
  const struct Clock_Ip_ClockConfigType * config_clock.81_54;
  unsigned char _55;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  i_75 = 0;
  # DEBUG i => i_75
  goto <bb 6>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  config_clock.62_1 = config_clock;
  _2 = (int) i_56;
  _3 = config_clock.62_1->selectors[_2].name;
  if (_3 <= 20)
    goto <bb 4>; [INV]
  else
    goto <bb 5>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  config_clock.63_4 = config_clock;
  _5 = (int) i_56;
  _6 = config_clock.63_4->selectors[_5].name;
  _7 = (int) _6;
  _8 = i_56 + 1;
  freqPointers[_7] = _8;

  <bb 5> :
  # DEBUG BEGIN_STMT
  i.64_9 = i_56;
  i_94 = i.64_9 + 1;
  # DEBUG i => i_94

  <bb 6> :
  # i_56 = PHI <i_75(2), i_94(5)>
  # DEBUG i => i_56
  # DEBUG BEGIN_STMT
  config_clock.65_10 = config_clock;
  _11 = config_clock.65_10->selectorsCount;
  if (i_56 < _11)
    goto <bb 3>; [INV]
  else
    goto <bb 7>; [INV]

  <bb 7> :
  # DEBUG BEGIN_STMT
  i_77 = 0;
  # DEBUG i => i_77
  goto <bb 11>; [INV]

  <bb 8> :
  # DEBUG BEGIN_STMT
  config_clock.66_12 = config_clock;
  _13 = (int) i_57;
  _14 = config_clock.66_12->dividers[_13].name;
  if (_14 <= 20)
    goto <bb 9>; [INV]
  else
    goto <bb 10>; [INV]

  <bb 9> :
  # DEBUG BEGIN_STMT
  config_clock.67_15 = config_clock;
  _16 = (int) i_57;
  _17 = config_clock.67_15->dividers[_16].name;
  _18 = (int) _17;
  _19 = i_57 + 1;
  freqPointers[_18] = _19;

  <bb 10> :
  # DEBUG BEGIN_STMT
  i.68_20 = i_57;
  i_92 = i.68_20 + 1;
  # DEBUG i => i_92

  <bb 11> :
  # i_57 = PHI <i_77(7), i_92(10)>
  # DEBUG i => i_57
  # DEBUG BEGIN_STMT
  config_clock.69_21 = config_clock;
  _22 = config_clock.69_21->dividersCount;
  if (i_57 < _22)
    goto <bb 8>; [INV]
  else
    goto <bb 12>; [INV]

  <bb 12> :
  # DEBUG BEGIN_STMT
  i_78 = 0;
  # DEBUG i => i_78
  goto <bb 16>; [INV]

  <bb 13> :
  # DEBUG BEGIN_STMT
  config_clock.70_23 = config_clock;
  _24 = (int) i_58;
  _25 = config_clock.70_23->fracDivs[_24].name;
  if (_25 <= 20)
    goto <bb 14>; [INV]
  else
    goto <bb 15>; [INV]

  <bb 14> :
  # DEBUG BEGIN_STMT
  config_clock.71_26 = config_clock;
  _27 = (int) i_58;
  _28 = config_clock.71_26->fracDivs[_27].name;
  _29 = (int) _28;
  _30 = i_58 + 1;
  freqPointers[_29] = _30;

  <bb 15> :
  # DEBUG BEGIN_STMT
  i.72_31 = i_58;
  i_90 = i.72_31 + 1;
  # DEBUG i => i_90

  <bb 16> :
  # i_58 = PHI <i_78(12), i_90(15)>
  # DEBUG i => i_58
  # DEBUG BEGIN_STMT
  config_clock.73_32 = config_clock;
  _33 = config_clock.73_32->fracDivsCount;
  if (i_58 < _33)
    goto <bb 13>; [INV]
  else
    goto <bb 17>; [INV]

  <bb 17> :
  # DEBUG BEGIN_STMT
  i_79 = 0;
  # DEBUG i => i_79
  goto <bb 24>; [INV]

  <bb 18> :
  # DEBUG BEGIN_STMT
  j_85 = 0;
  # DEBUG j => j_85
  goto <bb 22>; [INV]

  <bb 19> :
  # DEBUG BEGIN_STMT
  _34 = (int) j_61;
  _35 = pcfsEntries[_34].name;
  config_clock.74_36 = config_clock;
  _37 = (int) i_59;
  _38 = config_clock.74_36->pcfs[_37].name;
  if (_35 == _38)
    goto <bb 20>; [INV]
  else
    goto <bb 21>; [INV]

  <bb 20> :
  # DEBUG BEGIN_STMT
  _39 = (int) j_61;
  _40 = i_59 + 1;
  pcfsEntries[_39].configIndex = _40;

  <bb 21> :
  # DEBUG BEGIN_STMT
  j.75_41 = j_61;
  j_88 = j.75_41 + 1;
  # DEBUG j => j_88

  <bb 22> :
  # j_61 = PHI <j_85(18), j_88(21)>
  # DEBUG j => j_61
  # DEBUG BEGIN_STMT
  if (j_61 == 0)
    goto <bb 19>; [INV]
  else
    goto <bb 23>; [INV]

  <bb 23> :
  # DEBUG BEGIN_STMT
  i.76_42 = i_59;
  i_86 = i.76_42 + 1;
  # DEBUG i => i_86

  <bb 24> :
  # i_59 = PHI <i_79(17), i_86(23)>
  # DEBUG i => i_59
  # DEBUG BEGIN_STMT
  config_clock.77_43 = config_clock;
  _44 = config_clock.77_43->pcfsCount;
  if (i_59 < _44)
    goto <bb 18>; [INV]
  else
    goto <bb 25>; [INV]

  <bb 25> :
  # DEBUG BEGIN_STMT
  i_80 = 0;
  # DEBUG i => i_80
  goto <bb 32>; [INV]

  <bb 26> :
  # DEBUG BEGIN_STMT
  j_81 = 0;
  # DEBUG j => j_81
  goto <bb 30>; [INV]

  <bb 27> :
  # DEBUG BEGIN_STMT
  _45 = (int) j_62;
  _46 = cmuEntries[_45].name;
  config_clock.78_47 = config_clock;
  _48 = (int) i_60;
  _49 = config_clock.78_47->cmus[_48].name;
  if (_46 == _49)
    goto <bb 28>; [INV]
  else
    goto <bb 29>; [INV]

  <bb 28> :
  # DEBUG BEGIN_STMT
  _50 = (int) j_62;
  _51 = i_60 + 1;
  cmuEntries[_50].configIndex = _51;

  <bb 29> :
  # DEBUG BEGIN_STMT
  j.79_52 = j_62;
  j_84 = j.79_52 + 1;
  # DEBUG j => j_84

  <bb 30> :
  # j_62 = PHI <j_81(26), j_84(29)>
  # DEBUG j => j_62
  # DEBUG BEGIN_STMT
  if (j_62 <= 3)
    goto <bb 27>; [INV]
  else
    goto <bb 31>; [INV]

  <bb 31> :
  # DEBUG BEGIN_STMT
  i.80_53 = i_60;
  i_82 = i.80_53 + 1;
  # DEBUG i => i_82

  <bb 32> :
  # i_60 = PHI <i_80(25), i_82(31)>
  # DEBUG i => i_60
  # DEBUG BEGIN_STMT
  config_clock.81_54 = config_clock;
  _55 = config_clock.81_54->cmusCount;
  if (i_60 < _55)
    goto <bb 26>; [INV]
  else
    goto <bb 33>; [INV]

  <bb 33> :
  return;

}


CONFIG_ELEMENTS_MAPPINGS_01 ()
{
  uint8 i;
  int _1;
  unsigned char i.82_2;
  const struct Clock_Ip_ClockConfigType * config_clock.83_3;
  int _4;
  <unnamed type> _5;
  int _6;
  unsigned char _7;
  unsigned char i.84_8;
  const struct Clock_Ip_ClockConfigType * config_clock.85_9;
  unsigned char _10;
  const struct Clock_Ip_ClockConfigType * config_clock.86_11;
  int _12;
  <unnamed type> _13;
  int _14;
  unsigned char _15;
  unsigned char i.87_16;
  const struct Clock_Ip_ClockConfigType * config_clock.88_17;
  unsigned char _18;
  const struct Clock_Ip_ClockConfigType * config_clock.89_19;
  int _20;
  <unnamed type> _21;
  int _22;
  unsigned char _23;
  unsigned char i.90_24;
  const struct Clock_Ip_ClockConfigType * config_clock.91_25;
  unsigned char _26;
  const struct Clock_Ip_ClockConfigType * config_clock.92_27;
  int _28;
  <unnamed type> _29;
  int _30;
  unsigned char _31;
  unsigned char i.93_32;
  const struct Clock_Ip_ClockConfigType * config_clock.94_33;
  unsigned char _34;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  i_45 = 0;
  # DEBUG i => i_45
  goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  _1 = (int) i_35;
  freqPointers[_1] = 0;
  # DEBUG BEGIN_STMT
  i.82_2 = i_35;
  i_60 = i.82_2 + 1;
  # DEBUG i => i_60

  <bb 4> :
  # i_35 = PHI <i_45(2), i_60(3)>
  # DEBUG i => i_35
  # DEBUG BEGIN_STMT
  if (i_35 <= 21)
    goto <bb 3>; [INV]
  else
    goto <bb 5>; [INV]

  <bb 5> :
  # DEBUG BEGIN_STMT
  i_47 = 0;
  # DEBUG i => i_47
  goto <bb 7>; [INV]

  <bb 6> :
  # DEBUG BEGIN_STMT
  config_clock.83_3 = config_clock;
  _4 = (int) i_36;
  _5 = config_clock.83_3->ircoscs[_4].name;
  _6 = (int) _5;
  _7 = i_36 + 1;
  freqPointers[_6] = _7;
  # DEBUG BEGIN_STMT
  i.84_8 = i_36;
  i_58 = i.84_8 + 1;
  # DEBUG i => i_58

  <bb 7> :
  # i_36 = PHI <i_47(5), i_58(6)>
  # DEBUG i => i_36
  # DEBUG BEGIN_STMT
  config_clock.85_9 = config_clock;
  _10 = config_clock.85_9->ircoscsCount;
  if (i_36 < _10)
    goto <bb 6>; [INV]
  else
    goto <bb 8>; [INV]

  <bb 8> :
  # DEBUG BEGIN_STMT
  i_48 = 0;
  # DEBUG i => i_48
  goto <bb 10>; [INV]

  <bb 9> :
  # DEBUG BEGIN_STMT
  config_clock.86_11 = config_clock;
  _12 = (int) i_37;
  _13 = config_clock.86_11->xoscs[_12].name;
  _14 = (int) _13;
  _15 = i_37 + 1;
  freqPointers[_14] = _15;
  # DEBUG BEGIN_STMT
  i.87_16 = i_37;
  i_56 = i.87_16 + 1;
  # DEBUG i => i_56

  <bb 10> :
  # i_37 = PHI <i_48(8), i_56(9)>
  # DEBUG i => i_37
  # DEBUG BEGIN_STMT
  config_clock.88_17 = config_clock;
  _18 = config_clock.88_17->xoscsCount;
  if (i_37 < _18)
    goto <bb 9>; [INV]
  else
    goto <bb 11>; [INV]

  <bb 11> :
  # DEBUG BEGIN_STMT
  i_49 = 0;
  # DEBUG i => i_49
  goto <bb 13>; [INV]

  <bb 12> :
  # DEBUG BEGIN_STMT
  config_clock.89_19 = config_clock;
  _20 = (int) i_38;
  _21 = config_clock.89_19->plls[_20].name;
  _22 = (int) _21;
  _23 = i_38 + 1;
  freqPointers[_22] = _23;
  # DEBUG BEGIN_STMT
  i.90_24 = i_38;
  i_54 = i.90_24 + 1;
  # DEBUG i => i_54

  <bb 13> :
  # i_38 = PHI <i_49(11), i_54(12)>
  # DEBUG i => i_38
  # DEBUG BEGIN_STMT
  config_clock.91_25 = config_clock;
  _26 = config_clock.91_25->pllsCount;
  if (i_38 < _26)
    goto <bb 12>; [INV]
  else
    goto <bb 14>; [INV]

  <bb 14> :
  # DEBUG BEGIN_STMT
  i_50 = 0;
  # DEBUG i => i_50
  goto <bb 16>; [INV]

  <bb 15> :
  # DEBUG BEGIN_STMT
  config_clock.92_27 = config_clock;
  _28 = (int) i_39;
  _29 = config_clock.92_27->extClks[_28].name;
  _30 = (int) _29;
  _31 = i_39 + 1;
  freqPointers[_30] = _31;
  # DEBUG BEGIN_STMT
  i.93_32 = i_39;
  i_52 = i.93_32 + 1;
  # DEBUG i => i_52

  <bb 16> :
  # i_39 = PHI <i_50(14), i_52(15)>
  # DEBUG i => i_39
  # DEBUG BEGIN_STMT
  config_clock.94_33 = config_clock;
  _34 = config_clock.94_33->extClksCount;
  if (i_39 < _34)
    goto <bb 15>; [INV]
  else
    goto <bb 17>; [INV]

  <bb 17> :
  return;

}


UpdateFrequencies (power_modes_t powerMode)
{
  uint8 pllEn;
  static const clock_element_state_t convertValueToClockState[256] = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 0, 255};
  static const uint8 bufferFreqEntriesCLKOUT_RUN_CLK[3][13] = {"\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00", "\x00\x0f#\x10\x11\x12$\x13\x14\x15\x16\x17\x18", "\x00\x0f#\x10\x11\x12$%&\'(\x17\x18"};
  static const Clock_Ip_NameType selectorEntriesCLKOUT_RUN_CLK[13] = {21, 0, 8, 2, 4, 5, 9, 13, 16, 14, 15, 10, 11};
  static const uint8 bufferFreqEntriesQSPI_MEM_CLK[3] = "\x00\x0e\"";
  static const uint8 bufferFreqEntriesLBIST_CLK[3] = "\x00\r!";
  static const uint8 bufferFreqEntriesDCM_CLK[3] = "\x00\f ";
  static const uint8 bufferFreqEntriesHSE_CLK[3] = "\x00\v\x1f";
  static const uint8 bufferFreqEntriesAIPS_SLOW_CLK[3] = "\x00\n\x1e";
  static const uint8 bufferFreqEntriesAIPS_PLAT_CLK[3] = "\x00\t\x1d";
  static const uint8 bufferFreqEntriesCORE_CLK[3] = "\x00\b\x1c";
  static const uint8 bufferFreqEntriesSCS_CLK[3] = "\x00\x01\x1a";
  static const Clock_Ip_NameType selectorEntriesSCS_CLK[3] = {21, 0, 8};
  <unnamed type> _1;
  unsigned char _2;
  <unnamed type> _3;
  unsigned char _4;
  <unnamed type> _5;
  unsigned char _6;
  <unnamed type> _7;
  unsigned char _8;
  unsigned char _9;
  <unnamed type> _10;
  unsigned char _11;
  int _12;
  <unnamed type> _13;
  <unnamed type> _14;
  unsigned char _15;
  int _16;
  <unnamed type> _17;
  <unnamed type> _18;
  unsigned char _19;
  <unnamed type> _20;
  unsigned char _21;
  <unnamed type> _22;
  int _23;
  <unnamed type> _24;
  int _25;
  <unnamed type> _26;
  <unnamed type> _27;
  int _28;
  unsigned char _29;
  unsigned char _30;
  <unnamed type> _31;
  int _32;
  <unnamed type> _33;
  int _34;
  <unnamed type> _35;
  <unnamed type> _36;
  int _37;
  unsigned char _38;
  unsigned char _39;
  <unnamed type> _40;
  int _41;
  <unnamed type> _42;
  int _43;
  <unnamed type> _44;
  <unnamed type> _45;
  int _46;
  unsigned char _47;
  unsigned char _48;
  <unnamed type> _49;
  int _50;
  <unnamed type> _51;
  int _52;
  <unnamed type> _53;
  <unnamed type> _54;
  int _55;
  unsigned char _56;
  unsigned char _57;
  <unnamed type> _58;
  int _59;
  <unnamed type> _60;
  int _61;
  <unnamed type> _62;
  <unnamed type> _63;
  int _64;
  unsigned char _65;
  unsigned char _66;
  <unnamed type> _67;
  int _68;
  <unnamed type> _69;
  int _70;
  <unnamed type> _71;
  <unnamed type> _72;
  int _73;
  unsigned char _74;
  unsigned char _75;
  <unnamed type> _76;
  int _77;
  <unnamed type> _78;
  int _79;
  <unnamed type> _80;
  <unnamed type> _81;
  int _82;
  unsigned char _83;
  unsigned char _84;
  <unnamed type> _85;
  int _86;
  <unnamed type> _87;
  int _88;
  <unnamed type> _89;
  <unnamed type> _90;
  int _91;
  unsigned char _92;
  unsigned char _93;
  volatile struct cgmMux_Type * _94;
  long unsigned int _95;
  long unsigned int _96;
  long unsigned int _97;
  <unnamed type> _98;
  <unnamed type> _99;
  int _100;
  <unnamed type> _101;
  int _102;
  <unnamed type> _103;
  <unnamed type> _104;
  int _105;
  <unnamed type> _106;
  int _107;
  unsigned char _108;
  unsigned char _109;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = clkState[1];
  _2 = _1 & 1;
  freqPointers[1] = _2;
  # DEBUG BEGIN_STMT
  _3 = clkState[3];
  _4 = _3 & 2;
  freqPointers[3] = _4;
  # DEBUG BEGIN_STMT
  pllEn_113 = clkState[6];
  # DEBUG pllEn => pllEn_113
  # DEBUG BEGIN_STMT
  _5 = clkState[4];
  _6 = _5 & 3;
  freqPointers[4] = _6;
  # DEBUG BEGIN_STMT
  _7 = clkState[5];
  _8 = _7 & 4;
  freqPointers[5] = _8;
  # DEBUG BEGIN_STMT
  _9 = pllEn_113 & 5;
  freqPointers[6] = _9;
  # DEBUG BEGIN_STMT
  _10 = clkState[8];
  _11 = pllEn_113 & _10;
  _12 = (int) _11;
  _13 = convertValueToClockState[_12];
  clkState[8] = _13;
  # DEBUG BEGIN_STMT
  _14 = clkState[9];
  _15 = pllEn_113 & _14;
  _16 = (int) _15;
  _17 = convertValueToClockState[_16];
  clkState[9] = _17;
  # DEBUG BEGIN_STMT
  _18 = clkState[8];
  _19 = _18 & 26;
  freqPointers[8] = _19;
  # DEBUG BEGIN_STMT
  _20 = clkState[9];
  _21 = _20 & 27;
  freqPointers[9] = _21;
  # DEBUG BEGIN_STMT
  _22 = clkState[12];
  _23 = (int) _22;
  _24 = selectorEntriesSCS_CLK[_23];
  _25 = (int) _24;
  _26 = clkState[_25];
  _27 = clkState[12];
  _28 = (int) _27;
  _29 = bufferFreqEntriesSCS_CLK[_28];
  _30 = _26 & _29;
  freqPointers[12] = _30;
  # DEBUG BEGIN_STMT
  _31 = clkState[12];
  _32 = (int) _31;
  _33 = selectorEntriesSCS_CLK[_32];
  _34 = (int) _33;
  _35 = clkState[_34];
  _36 = clkState[12];
  _37 = (int) _36;
  _38 = bufferFreqEntriesCORE_CLK[_37];
  _39 = _35 & _38;
  freqPointers[13] = _39;
  # DEBUG BEGIN_STMT
  _40 = clkState[12];
  _41 = (int) _40;
  _42 = selectorEntriesSCS_CLK[_41];
  _43 = (int) _42;
  _44 = clkState[_43];
  _45 = clkState[12];
  _46 = (int) _45;
  _47 = bufferFreqEntriesAIPS_PLAT_CLK[_46];
  _48 = _44 & _47;
  freqPointers[14] = _48;
  # DEBUG BEGIN_STMT
  _49 = clkState[12];
  _50 = (int) _49;
  _51 = selectorEntriesSCS_CLK[_50];
  _52 = (int) _51;
  _53 = clkState[_52];
  _54 = clkState[12];
  _55 = (int) _54;
  _56 = bufferFreqEntriesAIPS_SLOW_CLK[_55];
  _57 = _53 & _56;
  freqPointers[15] = _57;
  # DEBUG BEGIN_STMT
  _58 = clkState[12];
  _59 = (int) _58;
  _60 = selectorEntriesSCS_CLK[_59];
  _61 = (int) _60;
  _62 = clkState[_61];
  _63 = clkState[12];
  _64 = (int) _63;
  _65 = bufferFreqEntriesHSE_CLK[_64];
  _66 = _62 & _65;
  freqPointers[16] = _66;
  # DEBUG BEGIN_STMT
  _67 = clkState[12];
  _68 = (int) _67;
  _69 = selectorEntriesSCS_CLK[_68];
  _70 = (int) _69;
  _71 = clkState[_70];
  _72 = clkState[12];
  _73 = (int) _72;
  _74 = bufferFreqEntriesDCM_CLK[_73];
  _75 = _71 & _74;
  freqPointers[17] = _75;
  # DEBUG BEGIN_STMT
  _76 = clkState[12];
  _77 = (int) _76;
  _78 = selectorEntriesSCS_CLK[_77];
  _79 = (int) _78;
  _80 = clkState[_79];
  _81 = clkState[12];
  _82 = (int) _81;
  _83 = bufferFreqEntriesLBIST_CLK[_82];
  _84 = _80 & _83;
  freqPointers[18] = _84;
  # DEBUG BEGIN_STMT
  _85 = clkState[12];
  _86 = (int) _85;
  _87 = selectorEntriesSCS_CLK[_86];
  _88 = (int) _87;
  _89 = clkState[_88];
  _90 = clkState[12];
  _91 = (int) _90;
  _92 = bufferFreqEntriesQSPI_MEM_CLK[_91];
  _93 = _89 & _92;
  freqPointers[19] = _93;
  # DEBUG BEGIN_STMT
  _94 = 1076724864B;
  _95 ={v} _94->CSS;
  _96 = _95 >> 24;
  _97 = _96 & 63;
  _98 = selectorEntryIndex[_97];
  clkState[20] = _98;
  # DEBUG BEGIN_STMT
  _99 = clkState[20];
  _100 = (int) _99;
  _101 = selectorEntriesCLKOUT_RUN_CLK[_100];
  _102 = (int) _101;
  _103 = clkState[_102];
  _104 = clkState[12];
  _105 = (int) _104;
  _106 = clkState[20];
  _107 = (int) _106;
  _108 = bufferFreqEntriesCLKOUT_RUN_CLK[_105][_107];
  _109 = _103 & _108;
  freqPointers[20] = _109;
  return;

}


GetProducerClockFreq (Clock_Ip_NameType clockName)
{
  int _1;
  unsigned char _2;
  int _3;
  uint32 _6;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = (int) clockName_4(D);
  _2 = freqPointers[_1];
  _3 = (int) _2;
  _6 = bufferFreqs[_3];
  return _6;

}


SpecificPlatformInitClock (const struct Clock_Ip_ClockConfigType * config)
{
  <bb 2> :
  # DEBUG BEGIN_STMT
  config_clock = config_2(D);
  return;

}


SpecificPeripheralClockInitialization (const struct Clock_IP_SpecificPeriphConfigType * config)
{
  <bb 2> :
  # DEBUG BEGIN_STMT
  return;

}


GetClockState (Clock_Ip_NameType name)
{
  clock_element_state_t retValue;
  int _1;
  clock_element_state_t _7;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (name_3(D) <= 20)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  _1 = (int) name_3(D);
  retValue_6 = clkState[_1];
  # DEBUG retValue => retValue_6
  goto <bb 5>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  retValue_5 = clkState[21];
  # DEBUG retValue => retValue_5

  <bb 5> :
  # retValue_2 = PHI <retValue_6(3), retValue_5(4)>
  # DEBUG retValue => retValue_2
  # DEBUG BEGIN_STMT
  _7 = retValue_2;
  return _7;

}


UpdateClockState (Clock_Ip_NameType name, clock_element_state_t state)
{
  int _1;

  <bb 2> :
  # DEBUG BEGIN_STMT
  if (name_3(D) <= 20)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  _1 = (int) name_3(D);
  clkState[_1] = state_5(D);

  <bb 4> :
  return;

}


