SircStdbyEnable (const struct Clock_Ip_IrcoscConfigType * config)
{
  short unsigned int _1;
  struct SIRC_Type * _2;
  long unsigned int _3;
  struct SIRC_Type * _4;
  long unsigned int _5;
  <unnamed type> _6;
  struct SIRC_Type * _7;
  long unsigned int _8;
  struct SIRC_Type * _9;
  long unsigned int _10;
  <unnamed type> _11;

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

  <bb 3> :
  # DEBUG BEGIN_STMT
  _2 = 1076658176B;
  _3 ={v} _2->MISCELLANEOUS_IN;
  _4 = 1076658176B;
  _5 = _3 | 256;
  _4->MISCELLANEOUS_IN ={v} _5;
  # DEBUG BEGIN_STMT
  _6 = config_14(D)->name;
  UpdateClockState (_6, 255);
  goto <bb 5>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  _7 = 1076658176B;
  _8 ={v} _7->MISCELLANEOUS_IN;
  _9 = 1076658176B;
  _10 = _8 & 4294967039;
  _9->MISCELLANEOUS_IN ={v} _10;
  # DEBUG BEGIN_STMT
  _11 = config_14(D)->name;
  UpdateClockState (_11, 0);

  <bb 5> :
  return;

}


FircStdbyEnable (const struct Clock_Ip_IrcoscConfigType * config)
{
  short unsigned int _1;
  struct FIRC_Type * _2;
  long unsigned int _3;
  struct FIRC_Type * _4;
  long unsigned int _5;
  <unnamed type> _6;
  struct FIRC_Type * _7;
  long unsigned int _8;
  struct FIRC_Type * _9;
  long unsigned int _10;
  <unnamed type> _11;

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

  <bb 3> :
  # DEBUG BEGIN_STMT
  _2 = 1076690944B;
  _3 ={v} _2->STDBY_ENABLE;
  _4 = 1076690944B;
  _5 = _3 | 1;
  _4->STDBY_ENABLE ={v} _5;
  # DEBUG BEGIN_STMT
  _6 = config_14(D)->name;
  UpdateClockState (_6, 255);
  goto <bb 5>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  _7 = 1076690944B;
  _8 ={v} _7->STDBY_ENABLE;
  _9 = 1076690944B;
  _10 = _8 & 4294967294;
  _9->STDBY_ENABLE ={v} _10;
  # DEBUG BEGIN_STMT
  _11 = config_14(D)->name;
  UpdateClockState (_11, 0);

  <bb 5> :
  return;

}


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

}


