SetSxoscOsconEocv (const struct Clock_Ip_XoscConfigType * config)
{
  uint32 enableRequest;
  uint32 collection;
  uint32 partition;
  uint32 SxoscStatus;
  uint32 TimeoutTicks;
  uint32 ElapsedTime;
  uint32 StartTime;
  boolean TimeoutOccurred;
  uint32 instance;
  <unnamed type> _1;
  int _2;
  unsigned char _3;
  <unnamed type> _4;
  int _5;
  unsigned char _6;
  <unnamed type> _7;
  int _8;
  unsigned char _9;
  <unnamed type> _10;
  int _11;
  unsigned char _12;
  short unsigned int _13;
  const volatile struct getMcmePartition_Type * _14;
  long unsigned int _15;
  long unsigned int _16;
  long unsigned int _17;
  volatile struct setMcmePartition_Type * _18;
  long unsigned int _19;
  long unsigned int _20;
  volatile struct setMcmePartition_Type * _21;
  long unsigned int _22;
  volatile struct triggerMcmePartition_Type * _23;
  long unsigned int _24;
  volatile struct triggerMcmePartition_Type * _25;
  long unsigned int _26;
  volatile struct triggerMcmePartition_Type * _27;
  long unsigned int _28;
  volatile struct triggerMcmePartition_Type * _29;
  long unsigned int _30;
  long unsigned int TimeoutTicks.0_31;
  const volatile struct getMcmePartition_Type * _32;
  long unsigned int _33;
  long unsigned int _34;
  long unsigned int _35;
  _Bool _36;
  <unnamed type> _37;
  short unsigned int _38;
  long unsigned int _39;
  long unsigned int _40;
  long unsigned int _41;
  volatile struct ExtOSC_Type * _42;
  long unsigned int _43;
  volatile struct ExtOSC_Type * _44;
  long unsigned int _45;
  long unsigned int _46;
  long unsigned int TimeoutTicks.1_47;
  _Bool _48;
  _Bool _49;
  <unnamed type> _50;
  <unnamed type> _51;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = config_57(D)->name;
  _2 = (int) _1;
  _3 = clockFeatures[_2][0];
  instance_58 = (uint32) _3;
  # DEBUG instance => instance_58
  # DEBUG BEGIN_STMT
  TimeoutOccurred_59 = 0;
  # DEBUG TimeoutOccurred => TimeoutOccurred_59
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _4 = config_57(D)->name;
  _5 = (int) _4;
  _6 = clockFeatures[_5][3];
  partition_60 = (uint32) _6;
  # DEBUG partition => partition_60
  # DEBUG BEGIN_STMT
  _7 = config_57(D)->name;
  _8 = (int) _7;
  _9 = clockFeatures[_8][4];
  collection_61 = (uint32) _9;
  # DEBUG collection => collection_61
  # DEBUG BEGIN_STMT
  _10 = config_57(D)->name;
  _11 = (int) _10;
  _12 = clockFeatures[_11][5];
  enableRequest_62 = (uint32) _12;
  # DEBUG enableRequest => enableRequest_62
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _13 = config_57(D)->enable;
  if (_13 != 0)
    goto <bb 3>; [INV]
  else
    goto <bb 18>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  if (partition_60 != 255)
    goto <bb 4>; [INV]
  else
    goto <bb 12>; [INV]

  <bb 4> :
  if (collection_61 != 255)
    goto <bb 5>; [INV]
  else
    goto <bb 12>; [INV]

  <bb 5> :
  if (enableRequest_62 != 255)
    goto <bb 6>; [INV]
  else
    goto <bb 12>; [INV]

  <bb 6> :
  # DEBUG BEGIN_STMT
  _14 = mcmeGetPartitions[partition_60];
  _15 ={v} _14->PRTN_COFB_STAT[collection_61];
  _16 = _15 >> enableRequest_62;
  _17 = _16 & 1;
  if (_17 == 0)
    goto <bb 7>; [INV]
  else
    goto <bb 12>; [INV]

  <bb 7> :
  # DEBUG BEGIN_STMT
  _18 = mcmeSetPartitions[partition_60];
  _19 ={v} _18->PRTN_COFB_CLKEN[collection_61];
  _20 = 1 << enableRequest_62;
  _21 = mcmeSetPartitions[partition_60];
  _22 = _19 | _20;
  _21->PRTN_COFB_CLKEN[collection_61] ={v} _22;
  # DEBUG BEGIN_STMT
  _23 = mcmeTriggerPartitions[partition_60];
  _24 ={v} _23->PRTN_PCONF;
  _25 = mcmeTriggerPartitions[partition_60];
  _26 = _24 | 1;
  _25->PRTN_PCONF ={v} _26;
  # DEBUG BEGIN_STMT
  _27 = mcmeTriggerPartitions[partition_60];
  _28 ={v} _27->PRTN_PUPD;
  _29 = mcmeTriggerPartitions[partition_60];
  _30 = _28 | 1;
  _29->PRTN_PUPD ={v} _30;
  # DEBUG BEGIN_STMT
  McMeEnterKey ();
  # DEBUG BEGIN_STMT
  ClockStartTimeout (&StartTime, &ElapsedTime, &TimeoutTicks, 10000);

  <bb 8> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  TimeoutTicks.0_31 = TimeoutTicks;
  TimeoutOccurred_69 = ClockTimeoutExpired (&StartTime, &ElapsedTime, TimeoutTicks.0_31);
  # DEBUG TimeoutOccurred => TimeoutOccurred_69
  # DEBUG BEGIN_STMT
  _32 = mcmeGetPartitions[partition_60];
  _33 ={v} _32->PRTN_COFB_STAT[collection_61];
  _34 = _33 >> enableRequest_62;
  _35 = _34 & 1;
  if (_35 == 0)
    goto <bb 9>; [INV]
  else
    goto <bb 10>; [INV]

  <bb 9> :
  _36 = ~TimeoutOccurred_69;
  if (_36 != 0)
    goto <bb 8>; [INV]
  else
    goto <bb 10>; [INV]

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

  <bb 11> :
  # DEBUG BEGIN_STMT
  _37 = config_57(D)->name;
  ReportClockErrors (1, _37);

  <bb 12> :
  # DEBUG BEGIN_STMT
  _38 = config_57(D)->startupDelay;
  _39 = (long unsigned int) _38;
  _40 = _39 << 16;
  _41 = _40 & 16711680;
  _42 = xosc[instance_58];
  _43 = _41 | 1;
  _42->CTRL ={v} _43;
  # DEBUG BEGIN_STMT
  ClockStartTimeout (&StartTime, &ElapsedTime, &TimeoutTicks, 10000);

  <bb 13> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  Clock_Ip_TimeDelay ();
  # DEBUG BEGIN_STMT
  _44 = xosc[instance_58];
  _45 ={v} _44->STAT;
  _46 = _45 >> 31;
  SxoscStatus_74 = _46 & 1;
  # DEBUG SxoscStatus => SxoscStatus_74
  # DEBUG BEGIN_STMT
  TimeoutTicks.1_47 = TimeoutTicks;
  TimeoutOccurred_76 = ClockTimeoutExpired (&StartTime, &ElapsedTime, TimeoutTicks.1_47);
  # DEBUG TimeoutOccurred => TimeoutOccurred_76
  # DEBUG BEGIN_STMT
  if (SxoscStatus_74 == 0)
    goto <bb 14>; [INV]
  else
    goto <bb 15>; [INV]

  <bb 14> :
  _48 = ~TimeoutOccurred_76;
  if (_48 != 0)
    goto <bb 13>; [INV]
  else
    goto <bb 15>; [INV]

  <bb 15> :
  # DEBUG BEGIN_STMT
  _49 = ~TimeoutOccurred_76;
  if (_49 != 0)
    goto <bb 16>; [INV]
  else
    goto <bb 17>; [INV]

  <bb 16> :
  # DEBUG BEGIN_STMT
  _50 = config_57(D)->name;
  UpdateClockState (_50, 255);
  goto <bb 18>; [INV]

  <bb 17> :
  # DEBUG BEGIN_STMT
  _51 = config_57(D)->name;
  ReportClockErrors (1, _51);

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

}


ResetSxoscOsconEocv (const struct Clock_Ip_XoscConfigType * config)
{
  uint32 enableRequest;
  uint32 collection;
  uint32 partition;
  uint32 instance;
  <unnamed type> _1;
  int _2;
  unsigned char _3;
  <unnamed type> _4;
  int _5;
  unsigned char _6;
  <unnamed type> _7;
  int _8;
  unsigned char _9;
  <unnamed type> _10;
  int _11;
  unsigned char _12;
  const volatile struct getMcmePartition_Type * _13;
  long unsigned int _14;
  long unsigned int _15;
  long unsigned int _16;
  volatile struct ExtOSC_Type * _17;
  long unsigned int _18;
  volatile struct ExtOSC_Type * _19;
  long unsigned int _20;
  <unnamed type> _21;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = config_24(D)->name;
  _2 = (int) _1;
  _3 = clockFeatures[_2][0];
  instance_25 = (uint32) _3;
  # DEBUG instance => instance_25
  # DEBUG BEGIN_STMT
  _4 = config_24(D)->name;
  _5 = (int) _4;
  _6 = clockFeatures[_5][3];
  partition_26 = (uint32) _6;
  # DEBUG partition => partition_26
  # DEBUG BEGIN_STMT
  _7 = config_24(D)->name;
  _8 = (int) _7;
  _9 = clockFeatures[_8][4];
  collection_27 = (uint32) _9;
  # DEBUG collection => collection_27
  # DEBUG BEGIN_STMT
  _10 = config_24(D)->name;
  _11 = (int) _10;
  _12 = clockFeatures[_11][5];
  enableRequest_28 = (uint32) _12;
  # DEBUG enableRequest => enableRequest_28
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (partition_26 != 255)
    goto <bb 3>; [INV]
  else
    goto <bb 7>; [INV]

  <bb 3> :
  if (collection_27 != 255)
    goto <bb 4>; [INV]
  else
    goto <bb 7>; [INV]

  <bb 4> :
  if (enableRequest_28 != 255)
    goto <bb 5>; [INV]
  else
    goto <bb 7>; [INV]

  <bb 5> :
  # DEBUG BEGIN_STMT
  _13 = mcmeGetPartitions[partition_26];
  _14 ={v} _13->PRTN_COFB_STAT[collection_27];
  _15 = _14 >> enableRequest_28;
  _16 = _15 & 1;
  if (_16 != 0)
    goto <bb 6>; [INV]
  else
    goto <bb 7>; [INV]

  <bb 6> :
  # DEBUG BEGIN_STMT
  _17 = xosc[instance_25];
  _18 ={v} _17->CTRL;
  _19 = xosc[instance_25];
  _20 = _18 & 4294967294;
  _19->CTRL ={v} _20;

  <bb 7> :
  # DEBUG BEGIN_STMT
  _21 = config_24(D)->name;
  UpdateClockState (_21, 0);
  return;

}


SetFxoscOsconBypEocvGmSel (const struct Clock_Ip_XoscConfigType * config)
{
  uint32 enableRequest;
  uint32 collection;
  uint32 partition;
  uint32 instance;
  uint32 FxoscStatus;
  uint32 TimeoutTicks;
  uint32 ElapsedTime;
  uint32 StartTime;
  boolean TimeoutOccurred;
  <unnamed type> _1;
  int _2;
  unsigned char _3;
  <unnamed type> _4;
  int _5;
  unsigned char _6;
  <unnamed type> _7;
  int _8;
  unsigned char _9;
  <unnamed type> _10;
  int _11;
  unsigned char _12;
  short unsigned int _13;
  const volatile struct getMcmePartition_Type * _14;
  long unsigned int _15;
  long unsigned int _16;
  long unsigned int _17;
  volatile struct setMcmePartition_Type * _18;
  long unsigned int _19;
  long unsigned int _20;
  volatile struct setMcmePartition_Type * _21;
  long unsigned int _22;
  volatile struct triggerMcmePartition_Type * _23;
  long unsigned int _24;
  volatile struct triggerMcmePartition_Type * _25;
  long unsigned int _26;
  volatile struct triggerMcmePartition_Type * _27;
  long unsigned int _28;
  volatile struct triggerMcmePartition_Type * _29;
  long unsigned int _30;
  long unsigned int TimeoutTicks.2_31;
  const volatile struct getMcmePartition_Type * _32;
  long unsigned int _33;
  long unsigned int _34;
  long unsigned int _35;
  _Bool _36;
  <unnamed type> _37;
  unsigned char _38;
  long unsigned int _39;
  long unsigned int _40;
  short unsigned int _41;
  long unsigned int _42;
  long unsigned int _43;
  long unsigned int _44;
  long unsigned int _45;
  unsigned char _46;
  long unsigned int _47;
  long unsigned int _48;
  long unsigned int _49;
  long unsigned int _50;
  unsigned char _51;
  long unsigned int _52;
  long unsigned int _53;
  long unsigned int _54;
  long unsigned int _55;
  volatile struct ExtOSC_Type * _56;
  long unsigned int _57;
  unsigned char _58;
  unsigned char _59;
  volatile struct ExtOSC_Type * _60;
  long unsigned int _61;
  long unsigned int _62;
  long unsigned int TimeoutTicks.3_63;
  _Bool _64;
  _Bool _65;
  <unnamed type> _66;
  <unnamed type> _67;
  <unnamed type> _68;

  <bb 2> :
  # DEBUG BEGIN_STMT
  TimeoutOccurred_73 = 0;
  # DEBUG TimeoutOccurred => TimeoutOccurred_73
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = config_75(D)->name;
  _2 = (int) _1;
  _3 = clockFeatures[_2][0];
  instance_76 = (uint32) _3;
  # DEBUG instance => instance_76
  # DEBUG BEGIN_STMT
  _4 = config_75(D)->name;
  _5 = (int) _4;
  _6 = clockFeatures[_5][3];
  partition_77 = (uint32) _6;
  # DEBUG partition => partition_77
  # DEBUG BEGIN_STMT
  _7 = config_75(D)->name;
  _8 = (int) _7;
  _9 = clockFeatures[_8][4];
  collection_78 = (uint32) _9;
  # DEBUG collection => collection_78
  # DEBUG BEGIN_STMT
  _10 = config_75(D)->name;
  _11 = (int) _10;
  _12 = clockFeatures[_11][5];
  enableRequest_79 = (uint32) _12;
  # DEBUG enableRequest => enableRequest_79
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _13 = config_75(D)->enable;
  if (_13 != 0)
    goto <bb 3>; [INV]
  else
    goto <bb 21>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  if (partition_77 != 255)
    goto <bb 4>; [INV]
  else
    goto <bb 12>; [INV]

  <bb 4> :
  if (collection_78 != 255)
    goto <bb 5>; [INV]
  else
    goto <bb 12>; [INV]

  <bb 5> :
  if (enableRequest_79 != 255)
    goto <bb 6>; [INV]
  else
    goto <bb 12>; [INV]

  <bb 6> :
  # DEBUG BEGIN_STMT
  _14 = mcmeGetPartitions[partition_77];
  _15 ={v} _14->PRTN_COFB_STAT[collection_78];
  _16 = _15 >> enableRequest_79;
  _17 = _16 & 1;
  if (_17 == 0)
    goto <bb 7>; [INV]
  else
    goto <bb 12>; [INV]

  <bb 7> :
  # DEBUG BEGIN_STMT
  _18 = mcmeSetPartitions[partition_77];
  _19 ={v} _18->PRTN_COFB_CLKEN[collection_78];
  _20 = 1 << enableRequest_79;
  _21 = mcmeSetPartitions[partition_77];
  _22 = _19 | _20;
  _21->PRTN_COFB_CLKEN[collection_78] ={v} _22;
  # DEBUG BEGIN_STMT
  _23 = mcmeTriggerPartitions[partition_77];
  _24 ={v} _23->PRTN_PCONF;
  _25 = mcmeTriggerPartitions[partition_77];
  _26 = _24 | 1;
  _25->PRTN_PCONF ={v} _26;
  # DEBUG BEGIN_STMT
  _27 = mcmeTriggerPartitions[partition_77];
  _28 ={v} _27->PRTN_PUPD;
  _29 = mcmeTriggerPartitions[partition_77];
  _30 = _28 | 1;
  _29->PRTN_PUPD ={v} _30;
  # DEBUG BEGIN_STMT
  McMeEnterKey ();
  # DEBUG BEGIN_STMT
  ClockStartTimeout (&StartTime, &ElapsedTime, &TimeoutTicks, 10000);

  <bb 8> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  TimeoutTicks.2_31 = TimeoutTicks;
  TimeoutOccurred_86 = ClockTimeoutExpired (&StartTime, &ElapsedTime, TimeoutTicks.2_31);
  # DEBUG TimeoutOccurred => TimeoutOccurred_86
  # DEBUG BEGIN_STMT
  _32 = mcmeGetPartitions[partition_77];
  _33 ={v} _32->PRTN_COFB_STAT[collection_78];
  _34 = _33 >> enableRequest_79;
  _35 = _34 & 1;
  if (_35 == 0)
    goto <bb 9>; [INV]
  else
    goto <bb 10>; [INV]

  <bb 9> :
  _36 = ~TimeoutOccurred_86;
  if (_36 != 0)
    goto <bb 8>; [INV]
  else
    goto <bb 10>; [INV]

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

  <bb 11> :
  # DEBUG BEGIN_STMT
  _37 = config_75(D)->name;
  ReportClockErrors (1, _37);

  <bb 12> :
  # DEBUG BEGIN_STMT
  _38 = config_75(D)->bypassOption;
  _39 = (long unsigned int) _38;
  _40 = _39 << 31;
  _41 = config_75(D)->startupDelay;
  _42 = (long unsigned int) _41;
  _43 = _42 << 16;
  _44 = _43 & 16711680;
  _45 = _40 | _44;
  _46 = config_75(D)->transConductance;
  _47 = (long unsigned int) _46;
  _48 = _47 << 4;
  _49 = _48 & 255;
  _50 = _45 | _49;
  _51 = config_75(D)->compEn;
  _52 = (long unsigned int) _51;
  _53 = _52 << 24;
  _54 = _53 & 16777216;
  _55 = _50 | _54;
  _56 = xosc[instance_76];
  _57 = _55 | 1;
  _56->CTRL ={v} _57;
  # DEBUG BEGIN_STMT
  _58 = config_75(D)->compEn;
  if (_58 != 0)
    goto <bb 13>; [INV]
  else
    goto <bb 21>; [INV]

  <bb 13> :
  # DEBUG BEGIN_STMT
  _59 = config_75(D)->bypassOption;
  if (_59 == 0)
    goto <bb 14>; [INV]
  else
    goto <bb 20>; [INV]

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

  <bb 15> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  Clock_Ip_TimeDelay ();
  # DEBUG BEGIN_STMT
  _60 = xosc[instance_76];
  _61 ={v} _60->STAT;
  _62 = _61 >> 31;
  FxoscStatus_92 = _62 & 1;
  # DEBUG FxoscStatus => FxoscStatus_92
  # DEBUG BEGIN_STMT
  TimeoutTicks.3_63 = TimeoutTicks;
  TimeoutOccurred_94 = ClockTimeoutExpired (&StartTime, &ElapsedTime, TimeoutTicks.3_63);
  # DEBUG TimeoutOccurred => TimeoutOccurred_94
  # DEBUG BEGIN_STMT
  if (FxoscStatus_92 == 0)
    goto <bb 16>; [INV]
  else
    goto <bb 17>; [INV]

  <bb 16> :
  _64 = ~TimeoutOccurred_94;
  if (_64 != 0)
    goto <bb 15>; [INV]
  else
    goto <bb 17>; [INV]

  <bb 17> :
  # DEBUG BEGIN_STMT
  _65 = ~TimeoutOccurred_94;
  if (_65 != 0)
    goto <bb 18>; [INV]
  else
    goto <bb 19>; [INV]

  <bb 18> :
  # DEBUG BEGIN_STMT
  _66 = config_75(D)->name;
  UpdateClockState (_66, 255);
  goto <bb 21>; [INV]

  <bb 19> :
  # DEBUG BEGIN_STMT
  _67 = config_75(D)->name;
  ReportClockErrors (1, _67);
  goto <bb 21>; [INV]

  <bb 20> :
  # DEBUG BEGIN_STMT
  _68 = config_75(D)->name;
  ReportClockErrors (2, _68);

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

}


ResetFxoscOsconBypEocvGmSel (const struct Clock_Ip_XoscConfigType * config)
{
  boolean isGatedInMcMe;
  uint32 enableRequest;
  uint32 collection;
  uint32 partition;
  uint32 instance;
  <unnamed type> _1;
  int _2;
  unsigned char _3;
  <unnamed type> _4;
  int _5;
  unsigned char _6;
  <unnamed type> _7;
  int _8;
  unsigned char _9;
  <unnamed type> _10;
  int _11;
  unsigned char _12;
  const volatile struct getMcmePartition_Type * _13;
  long unsigned int _14;
  long unsigned int _15;
  long unsigned int _16;
  _Bool _17;
  volatile struct ExtOSC_Type * _18;
  long unsigned int _19;
  volatile struct ExtOSC_Type * _20;
  long unsigned int _21;
  <unnamed type> _22;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = config_26(D)->name;
  _2 = (int) _1;
  _3 = clockFeatures[_2][0];
  instance_27 = (uint32) _3;
  # DEBUG instance => instance_27
  # DEBUG BEGIN_STMT
  _4 = config_26(D)->name;
  _5 = (int) _4;
  _6 = clockFeatures[_5][3];
  partition_28 = (uint32) _6;
  # DEBUG partition => partition_28
  # DEBUG BEGIN_STMT
  _7 = config_26(D)->name;
  _8 = (int) _7;
  _9 = clockFeatures[_8][4];
  collection_29 = (uint32) _9;
  # DEBUG collection => collection_29
  # DEBUG BEGIN_STMT
  _10 = config_26(D)->name;
  _11 = (int) _10;
  _12 = clockFeatures[_11][5];
  enableRequest_30 = (uint32) _12;
  # DEBUG enableRequest => enableRequest_30
  # DEBUG BEGIN_STMT
  isGatedInMcMe_31 = 1;
  # DEBUG isGatedInMcMe => isGatedInMcMe_31
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (partition_28 != 255)
    goto <bb 3>; [INV]
  else
    goto <bb 7>; [INV]

  <bb 3> :
  if (collection_29 != 255)
    goto <bb 4>; [INV]
  else
    goto <bb 7>; [INV]

  <bb 4> :
  if (enableRequest_30 != 255)
    goto <bb 5>; [INV]
  else
    goto <bb 7>; [INV]

  <bb 5> :
  # DEBUG BEGIN_STMT
  _13 = mcmeGetPartitions[partition_28];
  _14 ={v} _13->PRTN_COFB_STAT[collection_29];
  _15 = _14 >> enableRequest_30;
  _16 = _15 & 1;
  if (_16 != 0)
    goto <bb 6>; [INV]
  else
    goto <bb 8>; [INV]

  <bb 6> :
  # DEBUG BEGIN_STMT
  isGatedInMcMe_32 = 0;
  # DEBUG isGatedInMcMe => isGatedInMcMe_32
  goto <bb 8>; [INV]

  <bb 7> :
  # DEBUG BEGIN_STMT
  isGatedInMcMe_33 = 0;
  # DEBUG isGatedInMcMe => isGatedInMcMe_33

  <bb 8> :
  # isGatedInMcMe_23 = PHI <isGatedInMcMe_32(6), isGatedInMcMe_33(7), isGatedInMcMe_31(5)>
  # DEBUG isGatedInMcMe => isGatedInMcMe_23
  # DEBUG BEGIN_STMT
  _17 = ~isGatedInMcMe_23;
  if (_17 != 0)
    goto <bb 9>; [INV]
  else
    goto <bb 10>; [INV]

  <bb 9> :
  # DEBUG BEGIN_STMT
  _18 = xosc[instance_27];
  _19 ={v} _18->CTRL;
  _20 = xosc[instance_27];
  _21 = _19 & 4294967294;
  _20->CTRL ={v} _21;

  <bb 10> :
  # DEBUG BEGIN_STMT
  _22 = config_26(D)->name;
  UpdateClockState (_22, 0);
  return;

}


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

}


