Mcu_CMU_ClockFailInt ()
{
  Clock_Ip_NameType name;
  uint32 indexCmuEntry;
  uint32 instance;
  uint32 cmuIsrValue;
  uint32 cmuIerValue;
  int _1;
  unsigned char _2;
  volatile struct ClockMonitor_Type * _3;
  long unsigned int _4;
  volatile struct ClockMonitor_Type * _5;
  const struct Clock_Ip_ClockConfigType * clockConfig.5_6;
  volatile struct ClockMonitor_Type * _7;
  long unsigned int _8;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  indexCmuEntry_12 = 0;
  # DEBUG indexCmuEntry => indexCmuEntry_12
  goto <bb 7>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  name_14 = cmuEntries[indexCmuEntry_9].name;
  # DEBUG name => name_14
  # DEBUG BEGIN_STMT
  _1 = (int) name_14;
  _2 = clockFeatures[_1][6];
  instance_15 = (uint32) _2;
  # DEBUG instance => instance_15
  # DEBUG BEGIN_STMT
  _3 = cmu[instance_15];
  _4 ={v} _3->SR;
  cmuIsrValue_16 = _4 & 3;
  # DEBUG cmuIsrValue => cmuIsrValue_16
  # DEBUG BEGIN_STMT
  _5 = cmu[instance_15];
  _5->SR ={v} cmuIsrValue_16;
  # DEBUG BEGIN_STMT
  clockConfig.5_6 = clockConfig;
  if (clockConfig.5_6 != 0B)
    goto <bb 4>; [INV]
  else
    goto <bb 6>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  _7 = cmu[instance_15];
  _8 ={v} _7->IER;
  cmuIerValue_18 = _8 & 3;
  # DEBUG cmuIerValue => cmuIerValue_18
  # DEBUG BEGIN_STMT
  cmuIsrValue_19 = cmuIsrValue_16 & cmuIerValue_18;
  # DEBUG cmuIsrValue => cmuIsrValue_19
  # DEBUG BEGIN_STMT
  if (cmuIsrValue_19 != 0)
    goto <bb 5>; [INV]
  else
    goto <bb 6>; [INV]

  <bb 5> :
  # DEBUG BEGIN_STMT
  ReportClockErrors (0, name_14);

  <bb 6> :
  # DEBUG BEGIN_STMT
  indexCmuEntry_21 = indexCmuEntry_9 + 1;
  # DEBUG indexCmuEntry => indexCmuEntry_21

  <bb 7> :
  # indexCmuEntry_9 = PHI <indexCmuEntry_12(2), indexCmuEntry_21(6)>
  # DEBUG indexCmuEntry => indexCmuEntry_9
  # DEBUG BEGIN_STMT
  if (indexCmuEntry_9 <= 3)
    goto <bb 3>; [INV]
  else
    goto <bb 8>; [INV]

  <bb 8> :
  return;

}


GetStatusCmuFcFceRefCntLfrefHfref (Clock_Ip_NameType name)
{
  uint32 TimeoutTicks;
  uint32 ElapsedTime;
  uint32 StartTime;
  boolean TimeoutOccurred;
  uint32 instance;
  Clock_Ip_CmuStatusType status;
  uint32 cmuIsrValue;
  uint32 cmuIerValue;
  int _1;
  unsigned char _2;
  struct MC_ME_Type * _3;
  long unsigned int _4;
  long unsigned int _5;
  struct MC_ME_Type * _6;
  long unsigned int _7;
  struct MC_ME_Type * _8;
  long unsigned int _9;
  struct MC_ME_Type * _10;
  long unsigned int _11;
  struct MC_ME_Type * _12;
  long unsigned int _13;
  struct MC_ME_Type * _14;
  long unsigned int _15;
  struct MC_ME_Type * _16;
  long unsigned int _17;
  long unsigned int TimeoutTicks.0_18;
  struct MC_ME_Type * _19;
  long unsigned int _20;
  long unsigned int _21;
  _Bool _22;
  volatile struct ClockMonitor_Type * _23;
  long unsigned int _24;
  volatile struct ClockMonitor_Type * _25;
  long unsigned int _26;
  volatile struct ClockMonitor_Type * _27;
  long unsigned int _28;
  long unsigned int _29;
  long unsigned int _30;
  long unsigned int _31;
  Clock_Ip_CmuStatusType _54;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  status_35 = 3;
  # DEBUG status => status_35
  # DEBUG BEGIN_STMT
  _1 = (int) name_36(D);
  _2 = clockFeatures[_1][6];
  instance_38 = (uint32) _2;
  # DEBUG instance => instance_38
  # DEBUG BEGIN_STMT
  TimeoutOccurred_39 = 0;
  # DEBUG TimeoutOccurred => TimeoutOccurred_39
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _3 = 1076740096B;
  _4 ={v} _3->PRTN1_COFB1_STAT;
  _5 = _4 & 32768;
  if (_5 == 0)
    goto <bb 3>; [INV]
  else
    goto <bb 8>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  _6 = 1076740096B;
  _7 ={v} _6->PRTN1_COFB1_CLKEN;
  _8 = 1076740096B;
  _9 = _7 | 32768;
  _8->PRTN1_COFB1_CLKEN ={v} _9;
  # DEBUG BEGIN_STMT
  _10 = 1076740096B;
  _11 ={v} _10->PRTN1_PCONF;
  _12 = 1076740096B;
  _13 = _11 | 1;
  _12->PRTN1_PCONF ={v} _13;
  # DEBUG BEGIN_STMT
  _14 = 1076740096B;
  _15 ={v} _14->PRTN1_PUPD;
  _16 = 1076740096B;
  _17 = _15 | 1;
  _16->PRTN1_PUPD ={v} _17;
  # DEBUG BEGIN_STMT
  McMeEnterKey ();
  # DEBUG BEGIN_STMT
  ClockStartTimeout (&StartTime, &ElapsedTime, &TimeoutTicks, 10000);

  <bb 4> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  TimeoutTicks.0_18 = TimeoutTicks;
  TimeoutOccurred_46 = ClockTimeoutExpired (&StartTime, &ElapsedTime, TimeoutTicks.0_18);
  # DEBUG TimeoutOccurred => TimeoutOccurred_46
  # DEBUG BEGIN_STMT
  _19 = 1076740096B;
  _20 ={v} _19->PRTN1_COFB1_STAT;
  _21 = _20 & 32768;
  if (_21 == 0)
    goto <bb 5>; [INV]
  else
    goto <bb 6>; [INV]

  <bb 5> :
  _22 = ~TimeoutOccurred_46;
  if (_22 != 0)
    goto <bb 4>; [INV]
  else
    goto <bb 6>; [INV]

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

  <bb 7> :
  # DEBUG BEGIN_STMT
  ReportClockErrors (1, 145);

  <bb 8> :
  # DEBUG BEGIN_STMT
  _23 = cmu[instance_38];
  _24 ={v} _23->SR;
  cmuIsrValue_48 = _24 & 3;
  # DEBUG cmuIsrValue => cmuIsrValue_48
  # DEBUG BEGIN_STMT
  _25 = cmu[instance_38];
  _26 ={v} _25->IER;
  cmuIerValue_49 = _26 & 3;
  # DEBUG cmuIerValue => cmuIerValue_49
  # DEBUG BEGIN_STMT
  cmuIsrValue_50 = cmuIsrValue_48 & cmuIerValue_49;
  # DEBUG cmuIsrValue => cmuIsrValue_50
  # DEBUG BEGIN_STMT
  _27 = cmu[instance_38];
  _28 ={v} _27->GCR;
  _29 = _28 & 1;
  if (_29 == 1)
    goto <bb 9>; [INV]
  else
    goto <bb 14>; [INV]

  <bb 9> :
  # DEBUG BEGIN_STMT
  _30 = cmuIsrValue_50 & 2;
  if (_30 != 0)
    goto <bb 10>; [INV]
  else
    goto <bb 11>; [INV]

  <bb 10> :
  # DEBUG BEGIN_STMT
  status_53 = 1;
  # DEBUG status => status_53
  goto <bb 14>; [INV]

  <bb 11> :
  # DEBUG BEGIN_STMT
  _31 = cmuIsrValue_50 & 1;
  if (_31 != 0)
    goto <bb 12>; [INV]
  else
    goto <bb 13>; [INV]

  <bb 12> :
  # DEBUG BEGIN_STMT
  status_52 = 2;
  # DEBUG status => status_52
  goto <bb 14>; [INV]

  <bb 13> :
  # DEBUG BEGIN_STMT
  status_51 = 0;
  # DEBUG status => status_51

  <bb 14> :
  # status_32 = PHI <status_35(8), status_53(10), status_52(12), status_51(13)>
  # DEBUG status => status_32
  # DEBUG BEGIN_STMT
  _54 = status_32;
  StartTime ={v} {CLOBBER};
  ElapsedTime ={v} {CLOBBER};
  TimeoutTicks ={v} {CLOBBER};
  return _54;

}


ClearStatusCmuFcFceRefCntLfrefHfref (Clock_Ip_NameType name)
{
  uint32 TimeoutTicks;
  uint32 ElapsedTime;
  uint32 StartTime;
  boolean TimeoutOccurred;
  uint32 cmuIsrValue;
  uint32 instance;
  int _1;
  unsigned char _2;
  struct MC_ME_Type * _3;
  long unsigned int _4;
  long unsigned int _5;
  struct MC_ME_Type * _6;
  long unsigned int _7;
  struct MC_ME_Type * _8;
  long unsigned int _9;
  struct MC_ME_Type * _10;
  long unsigned int _11;
  struct MC_ME_Type * _12;
  long unsigned int _13;
  struct MC_ME_Type * _14;
  long unsigned int _15;
  struct MC_ME_Type * _16;
  long unsigned int _17;
  long unsigned int TimeoutTicks.1_18;
  struct MC_ME_Type * _19;
  long unsigned int _20;
  long unsigned int _21;
  _Bool _22;
  volatile struct ClockMonitor_Type * _23;
  long unsigned int _24;
  volatile struct ClockMonitor_Type * _25;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = (int) name_28(D);
  _2 = clockFeatures[_1][6];
  instance_30 = (uint32) _2;
  # DEBUG instance => instance_30
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  TimeoutOccurred_31 = 0;
  # DEBUG TimeoutOccurred => TimeoutOccurred_31
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _3 = 1076740096B;
  _4 ={v} _3->PRTN1_COFB1_STAT;
  _5 = _4 & 32768;
  if (_5 == 0)
    goto <bb 3>; [INV]
  else
    goto <bb 8>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  _6 = 1076740096B;
  _7 ={v} _6->PRTN1_COFB1_CLKEN;
  _8 = 1076740096B;
  _9 = _7 | 32768;
  _8->PRTN1_COFB1_CLKEN ={v} _9;
  # DEBUG BEGIN_STMT
  _10 = 1076740096B;
  _11 ={v} _10->PRTN1_PCONF;
  _12 = 1076740096B;
  _13 = _11 | 1;
  _12->PRTN1_PCONF ={v} _13;
  # DEBUG BEGIN_STMT
  _14 = 1076740096B;
  _15 ={v} _14->PRTN1_PUPD;
  _16 = 1076740096B;
  _17 = _15 | 1;
  _16->PRTN1_PUPD ={v} _17;
  # DEBUG BEGIN_STMT
  McMeEnterKey ();
  # DEBUG BEGIN_STMT
  ClockStartTimeout (&StartTime, &ElapsedTime, &TimeoutTicks, 10000);

  <bb 4> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  TimeoutTicks.1_18 = TimeoutTicks;
  TimeoutOccurred_38 = ClockTimeoutExpired (&StartTime, &ElapsedTime, TimeoutTicks.1_18);
  # DEBUG TimeoutOccurred => TimeoutOccurred_38
  # DEBUG BEGIN_STMT
  _19 = 1076740096B;
  _20 ={v} _19->PRTN1_COFB1_STAT;
  _21 = _20 & 32768;
  if (_21 == 0)
    goto <bb 5>; [INV]
  else
    goto <bb 6>; [INV]

  <bb 5> :
  _22 = ~TimeoutOccurred_38;
  if (_22 != 0)
    goto <bb 4>; [INV]
  else
    goto <bb 6>; [INV]

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

  <bb 7> :
  # DEBUG BEGIN_STMT
  ReportClockErrors (1, 145);

  <bb 8> :
  # DEBUG BEGIN_STMT
  _23 = cmu[instance_30];
  _24 ={v} _23->SR;
  cmuIsrValue_40 = _24 & 3;
  # DEBUG cmuIsrValue => cmuIsrValue_40
  # DEBUG BEGIN_STMT
  _25 = cmu[instance_30];
  _25->SR ={v} cmuIsrValue_40;
  StartTime ={v} {CLOBBER};
  ElapsedTime ={v} {CLOBBER};
  TimeoutTicks ={v} {CLOBBER};
  return;

}


SetCmuFcFceRefCntLfrefHfref (const struct Clock_Ip_CmuConfigType * config)
{
  uint32 TimeoutTicks;
  uint32 ElapsedTime;
  uint32 StartTime;
  boolean TimeoutOccurred;
  uint32 swIndex;
  uint32 instance;
  <unnamed type> _1;
  int _2;
  unsigned char _3;
  <unnamed type> _4;
  int _5;
  unsigned char _6;
  struct MC_ME_Type * _7;
  long unsigned int _8;
  long unsigned int _9;
  struct MC_ME_Type * _10;
  long unsigned int _11;
  struct MC_ME_Type * _12;
  long unsigned int _13;
  struct MC_ME_Type * _14;
  long unsigned int _15;
  struct MC_ME_Type * _16;
  long unsigned int _17;
  struct MC_ME_Type * _18;
  long unsigned int _19;
  struct MC_ME_Type * _20;
  long unsigned int _21;
  long unsigned int TimeoutTicks.4_22;
  struct MC_ME_Type * _23;
  long unsigned int _24;
  long unsigned int _25;
  _Bool _26;
  volatile struct ClockMonitor_Type * _27;
  long unsigned int _28;
  volatile struct ClockMonitor_Type * _29;
  long unsigned int _30;
  volatile struct ClockMonitor_Type * _31;
  long unsigned int _32;
  volatile struct ClockMonitor_Type * _33;
  long unsigned int _34;
  unsigned char _35;
  volatile struct ClockMonitor_Type * _36;
  long unsigned int _37;
  volatile struct ClockMonitor_Type * _38;
  long unsigned int _39;
  volatile struct ClockMonitor_Type * _40;
  long unsigned int _41;
  volatile struct ClockMonitor_Type * _42;
  long unsigned int _43;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = config_48(D)->name;
  _2 = (int) _1;
  _3 = clockFeatures[_2][6];
  instance_49 = (uint32) _3;
  # DEBUG instance => instance_49
  # DEBUG BEGIN_STMT
  _4 = config_48(D)->name;
  _5 = (int) _4;
  _6 = clockFeatures[_5][7];
  swIndex_50 = (uint32) _6;
  # DEBUG swIndex => swIndex_50
  # DEBUG BEGIN_STMT
  TimeoutOccurred_51 = 0;
  # DEBUG TimeoutOccurred => TimeoutOccurred_51
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _7 = 1076740096B;
  _8 ={v} _7->PRTN1_COFB1_STAT;
  _9 = _8 & 32768;
  if (_9 == 0)
    goto <bb 3>; [INV]
  else
    goto <bb 8>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  _10 = 1076740096B;
  _11 ={v} _10->PRTN1_COFB1_CLKEN;
  _12 = 1076740096B;
  _13 = _11 | 32768;
  _12->PRTN1_COFB1_CLKEN ={v} _13;
  # DEBUG BEGIN_STMT
  _14 = 1076740096B;
  _15 ={v} _14->PRTN1_PCONF;
  _16 = 1076740096B;
  _17 = _15 | 1;
  _16->PRTN1_PCONF ={v} _17;
  # DEBUG BEGIN_STMT
  _18 = 1076740096B;
  _19 ={v} _18->PRTN1_PUPD;
  _20 = 1076740096B;
  _21 = _19 | 1;
  _20->PRTN1_PUPD ={v} _21;
  # DEBUG BEGIN_STMT
  McMeEnterKey ();
  # DEBUG BEGIN_STMT
  ClockStartTimeout (&StartTime, &ElapsedTime, &TimeoutTicks, 10000);

  <bb 4> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  TimeoutTicks.4_22 = TimeoutTicks;
  TimeoutOccurred_58 = ClockTimeoutExpired (&StartTime, &ElapsedTime, TimeoutTicks.4_22);
  # DEBUG TimeoutOccurred => TimeoutOccurred_58
  # DEBUG BEGIN_STMT
  _23 = 1076740096B;
  _24 ={v} _23->PRTN1_COFB1_STAT;
  _25 = _24 & 32768;
  if (_25 == 0)
    goto <bb 5>; [INV]
  else
    goto <bb 6>; [INV]

  <bb 5> :
  _26 = ~TimeoutOccurred_58;
  if (_26 != 0)
    goto <bb 4>; [INV]
  else
    goto <bb 6>; [INV]

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

  <bb 7> :
  # DEBUG BEGIN_STMT
  ReportClockErrors (1, 145);

  <bb 8> :
  # DEBUG BEGIN_STMT
  _27 = cmu[instance_49];
  _28 = cmuEntries[swIndex_50].refCount;
  _27->RCCR ={v} _28;
  # DEBUG BEGIN_STMT
  _29 = cmu[instance_49];
  _30 = cmuEntries[swIndex_50].hfRef;
  _29->HTCR ={v} _30;
  # DEBUG BEGIN_STMT
  _31 = cmu[instance_49];
  _32 = cmuEntries[swIndex_50].lfRef;
  _31->LTCR ={v} _32;
  # DEBUG BEGIN_STMT
  _33 = cmu[instance_49];
  _34 = config_48(D)->interrupt;
  _33->IER ={v} _34;
  # DEBUG BEGIN_STMT
  _35 = config_48(D)->enable;
  if (_35 != 0)
    goto <bb 9>; [INV]
  else
    goto <bb 10>; [INV]

  <bb 9> :
  # DEBUG BEGIN_STMT
  _36 = cmu[instance_49];
  _37 ={v} _36->GCR;
  _38 = cmu[instance_49];
  _39 = _37 | 1;
  _38->GCR ={v} _39;
  goto <bb 11>; [INV]

  <bb 10> :
  # DEBUG BEGIN_STMT
  _40 = cmu[instance_49];
  _41 ={v} _40->GCR;
  _42 = cmu[instance_49];
  _43 = _41 & 4294967294;
  _42->GCR ={v} _43;

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

}


ResetCmuFcFceRefCntLfrefHfref (const struct Clock_Ip_CmuConfigType * config)
{
  <unnamed type> _1;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = config_3(D)->name;
  DisableCmuFcFceRefCntLfrefHfref (_1);
  return;

}


DisableCmuFcFceRefCntLfrefHfref (Clock_Ip_NameType name)
{
  uint32 FrequencyCheckStatus;
  uint32 TimeoutTicks;
  uint32 ElapsedTime;
  uint32 StartTime;
  boolean TimeoutOccurred;
  uint32 instance;
  int _1;
  unsigned char _2;
  struct MC_ME_Type * _3;
  long unsigned int _4;
  long unsigned int _5;
  struct MC_ME_Type * _6;
  long unsigned int _7;
  struct MC_ME_Type * _8;
  long unsigned int _9;
  struct MC_ME_Type * _10;
  long unsigned int _11;
  struct MC_ME_Type * _12;
  long unsigned int _13;
  struct MC_ME_Type * _14;
  long unsigned int _15;
  struct MC_ME_Type * _16;
  long unsigned int _17;
  long unsigned int TimeoutTicks.2_18;
  struct MC_ME_Type * _19;
  long unsigned int _20;
  long unsigned int _21;
  _Bool _22;
  volatile struct ClockMonitor_Type * _23;
  long unsigned int _24;
  long unsigned int _25;
  volatile struct ClockMonitor_Type * _26;
  long unsigned int _27;
  long unsigned int TimeoutTicks.3_28;
  _Bool _29;
  volatile struct ClockMonitor_Type * _30;
  long unsigned int _31;
  volatile struct ClockMonitor_Type * _32;
  long unsigned int _33;
  volatile struct ClockMonitor_Type * _34;
  long unsigned int _35;
  volatile struct ClockMonitor_Type * _36;
  long unsigned int _37;
  volatile struct ClockMonitor_Type * _38;
  volatile struct ClockMonitor_Type * _39;
  volatile struct ClockMonitor_Type * _40;
  volatile struct ClockMonitor_Type * _41;
  long unsigned int _42;
  volatile struct ClockMonitor_Type * _43;
  long unsigned int _44;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = (int) name_49(D);
  _2 = clockFeatures[_1][6];
  instance_51 = (uint32) _2;
  # DEBUG instance => instance_51
  # DEBUG BEGIN_STMT
  TimeoutOccurred_52 = 0;
  # DEBUG TimeoutOccurred => TimeoutOccurred_52
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _3 = 1076740096B;
  _4 ={v} _3->PRTN1_COFB1_STAT;
  _5 = _4 & 32768;
  if (_5 == 0)
    goto <bb 3>; [INV]
  else
    goto <bb 8>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  _6 = 1076740096B;
  _7 ={v} _6->PRTN1_COFB1_CLKEN;
  _8 = 1076740096B;
  _9 = _7 | 32768;
  _8->PRTN1_COFB1_CLKEN ={v} _9;
  # DEBUG BEGIN_STMT
  _10 = 1076740096B;
  _11 ={v} _10->PRTN1_PCONF;
  _12 = 1076740096B;
  _13 = _11 | 1;
  _12->PRTN1_PCONF ={v} _13;
  # DEBUG BEGIN_STMT
  _14 = 1076740096B;
  _15 ={v} _14->PRTN1_PUPD;
  _16 = 1076740096B;
  _17 = _15 | 1;
  _16->PRTN1_PUPD ={v} _17;
  # DEBUG BEGIN_STMT
  McMeEnterKey ();
  # DEBUG BEGIN_STMT
  ClockStartTimeout (&StartTime, &ElapsedTime, &TimeoutTicks, 10000);

  <bb 4> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  TimeoutTicks.2_18 = TimeoutTicks;
  TimeoutOccurred_59 = ClockTimeoutExpired (&StartTime, &ElapsedTime, TimeoutTicks.2_18);
  # DEBUG TimeoutOccurred => TimeoutOccurred_59
  # DEBUG BEGIN_STMT
  _19 = 1076740096B;
  _20 ={v} _19->PRTN1_COFB1_STAT;
  _21 = _20 & 32768;
  if (_21 == 0)
    goto <bb 5>; [INV]
  else
    goto <bb 6>; [INV]

  <bb 5> :
  _22 = ~TimeoutOccurred_59;
  if (_22 != 0)
    goto <bb 4>; [INV]
  else
    goto <bb 6>; [INV]

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

  <bb 7> :
  # DEBUG BEGIN_STMT
  ReportClockErrors (1, 145);

  <bb 8> :
  # DEBUG BEGIN_STMT
  SchM_Enter_Mcu_MCU_EXCLUSIVE_AREA_01 ();
  # DEBUG BEGIN_STMT
  _23 = cmu[instance_51];
  _24 ={v} _23->GCR;
  _25 = _24 & 1;
  if (_25 == 1)
    goto <bb 9>; [INV]
  else
    goto <bb 15>; [INV]

  <bb 9> :
  # DEBUG BEGIN_STMT
  ClockStartTimeout (&StartTime, &ElapsedTime, &TimeoutTicks, 10000);

  <bb 10> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _26 = cmu[instance_51];
  _27 ={v} _26->SR;
  FrequencyCheckStatus_63 = _27 & 16;
  # DEBUG FrequencyCheckStatus => FrequencyCheckStatus_63
  # DEBUG BEGIN_STMT
  TimeoutTicks.3_28 = TimeoutTicks;
  TimeoutOccurred_65 = ClockTimeoutExpired (&StartTime, &ElapsedTime, TimeoutTicks.3_28);
  # DEBUG TimeoutOccurred => TimeoutOccurred_65
  # DEBUG BEGIN_STMT
  if (FrequencyCheckStatus_63 == 0)
    goto <bb 11>; [INV]
  else
    goto <bb 12>; [INV]

  <bb 11> :
  _29 = ~TimeoutOccurred_65;
  if (_29 != 0)
    goto <bb 10>; [INV]
  else
    goto <bb 12>; [INV]

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

  <bb 13> :
  # DEBUG BEGIN_STMT
  ReportClockErrors (1, name_49(D));
  goto <bb 15>; [INV]

  <bb 14> :
  # DEBUG BEGIN_STMT
  _30 = cmu[instance_51];
  _31 ={v} _30->GCR;
  _32 = cmu[instance_51];
  _33 = _31 & 4294967294;
  _32->GCR ={v} _33;

  <bb 15> :
  # DEBUG BEGIN_STMT
  _34 = cmu[instance_51];
  _35 ={v} _34->IER;
  _36 = cmu[instance_51];
  _37 = _35 & 4294967280;
  _36->IER ={v} _37;
  # DEBUG BEGIN_STMT
  _38 = cmu[instance_51];
  _38->RCCR ={v} 0;
  # DEBUG BEGIN_STMT
  _39 = cmu[instance_51];
  _39->HTCR ={v} 16777215;
  # DEBUG BEGIN_STMT
  _40 = cmu[instance_51];
  _40->LTCR ={v} 0;
  # DEBUG BEGIN_STMT
  _41 = cmu[instance_51];
  _42 ={v} _41->SR;
  _43 = cmu[instance_51];
  _44 = _42 | 19;
  _43->SR ={v} _44;
  # DEBUG BEGIN_STMT
  SchM_Exit_Mcu_MCU_EXCLUSIVE_AREA_01 ();
  StartTime ={v} {CLOBBER};
  ElapsedTime ={v} {CLOBBER};
  TimeoutTicks ={v} {CLOBBER};
  return;

}


ClockMonitorEmpty_GetStatus (Clock_Ip_NameType name)
{
  Clock_Ip_CmuStatusType _1;

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

}


ClockMonitorEmpty_ClearStatus (Clock_Ip_NameType name)
{
  <bb 2> :
  # DEBUG BEGIN_STMT
  return;

}


ClockMonitorEmpty_Disable (Clock_Ip_NameType name)
{
  <bb 2> :
  # DEBUG BEGIN_STMT
  return;

}


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

}


