Power_Ip_SCG_DisableSoscClock ()
{
  struct SCG_Type * _1;
  long unsigned int _2;
  struct SCG_Type * _3;
  long unsigned int _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = 1074151424B;
  _2 ={v} _1->SOSCCSR;
  _3 = 1074151424B;
  _4 = _2 & 4294967294;
  _3->SOSCCSR ={v} _4;
  return;

}


Power_Ip_SCG_DisableFircClock ()
{
  struct SCG_Type * _1;
  long unsigned int _2;
  struct SCG_Type * _3;
  long unsigned int _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = 1074151424B;
  _2 ={v} _1->FIRCCSR;
  _3 = 1074151424B;
  _4 = _2 & 4294967294;
  _3->FIRCCSR ={v} _4;
  return;

}


Power_Ip_SCG_DropSysClkToSircInRunMode ()
{
  boolean TimeoutOccurred;
  uint32 TimeoutTicks;
  uint32 ElapsedTime;
  uint32 StartTime;
  uint32 u32TmpValue;
  uint32 u32RegValue;
  struct SCG_Type * _1;
  struct SCG_Type * _2;
  struct SCG_Type * _3;
  long unsigned int _4;
  long unsigned int _5;
  long unsigned int TimeoutTicks.0_6;
  struct SCG_Type * _7;
  long unsigned int _8;
  long unsigned int _9;
  _Bool _10;

  <bb 2> :
  # DEBUG BEGIN_STMT
  u32RegValue_13 = 0;
  # DEBUG u32RegValue => u32RegValue_13
  # DEBUG BEGIN_STMT
  u32TmpValue_14 = 0;
  # DEBUG u32TmpValue => u32TmpValue_14
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  TimeoutOccurred_15 = 0;
  # DEBUG TimeoutOccurred => TimeoutOccurred_15
  # DEBUG BEGIN_STMT
  _1 = 1074151424B;
  u32TmpValue_17 ={v} _1->RCCR;
  # DEBUG u32TmpValue => u32TmpValue_17
  # DEBUG BEGIN_STMT
  u32TmpValue_18 = u32TmpValue_17 & 4043309055;
  # DEBUG u32TmpValue => u32TmpValue_18
  # DEBUG BEGIN_STMT
  u32TmpValue_19 = u32TmpValue_18 | 33554432;
  # DEBUG u32TmpValue => u32TmpValue_19
  # DEBUG BEGIN_STMT
  _2 = 1074151424B;
  _2->RCCR ={v} u32TmpValue_19;
  # DEBUG BEGIN_STMT
  _3 = 1074151424B;
  _4 ={v} _3->RCCR;
  _5 = _4 >> 24;
  u32RegValue_21 = _5 & 15;
  # DEBUG u32RegValue => u32RegValue_21
  # DEBUG BEGIN_STMT
  PowerStartTimeout (&StartTime, &ElapsedTime, &TimeoutTicks, 50000);

  <bb 3> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  TimeoutTicks.0_6 = TimeoutTicks;
  TimeoutOccurred_24 = PowerTimeoutExpired (&StartTime, &ElapsedTime, TimeoutTicks.0_6);
  # DEBUG TimeoutOccurred => TimeoutOccurred_24
  # DEBUG BEGIN_STMT
  _7 = 1074151424B;
  _8 ={v} _7->RCCR;
  _9 = _8 >> 24;
  u32RegValue_25 = _9 & 15;
  # DEBUG u32RegValue => u32RegValue_25
  # DEBUG BEGIN_STMT
  if (u32RegValue_25 != 2)
    goto <bb 4>; [INV]
  else
    goto <bb 5>; [INV]

  <bb 4> :
  _10 = ~TimeoutOccurred_24;
  if (_10 != 0)
    goto <bb 3>; [INV]
  else
    goto <bb 5>; [INV]

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

  <bb 6> :
  # DEBUG BEGIN_STMT
  ReportPowerErrors (0, 255);

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

}


Power_Ip_SCG_DisableClockMonitors ()
{
  struct SCG_Type * _1;
  long unsigned int _2;
  struct SCG_Type * _3;
  long unsigned int _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = 1074151424B;
  _2 ={v} _1->SOSCCSR;
  _3 = 1074151424B;
  _4 = _2 & 4294901759;
  _3->SOSCCSR ={v} _4;
  return;

}


