Power_Ip_SCG_DisableSoscClock ()
{
  <bb 2> :
  _1 = 1074151424B;
  _2 = _1->SOSCCSR;
  _3 = 1074151424B;
  _4 = _2 & 4294967294;
  _3->SOSCCSR = _4;
  return;

}


Power_Ip_SCG_DisableFircClock ()
{
  <bb 2> :
  _1 = 1074151424B;
  _2 = _1->FIRCCSR;
  _3 = 1074151424B;
  _4 = _2 & 4294967294;
  _3->FIRCCSR = _4;
  return;

}


Power_Ip_SCG_DropSysClkToSircInRunMode ()
{
  boolean TimeoutOccurred;
  uint32 TimeoutTicks;
  uint32 ElapsedTime;
  uint32 StartTime;
  uint32 u32TmpValue;
  uint32 u32RegValue;

  <bb 2> :
  u32RegValue = 0;
  u32TmpValue = 0;
  TimeoutOccurred = 0;
  _1 = 1074151424B;
  u32TmpValue = _1->RCCR;
  u32TmpValue = u32TmpValue & 4043309055;
  u32TmpValue = u32TmpValue | 33554432;
  _2 = 1074151424B;
  _2->RCCR = u32TmpValue;
  _3 = 1074151424B;
  _4 = _3->RCCR;
  _5 = _4 >> 24;
  u32RegValue = _5 & 15;
  PowerStartTimeout (&StartTime, &ElapsedTime, &TimeoutTicks, 50000);

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

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

  <bb 5> :
  if (TimeoutOccurred != 0)
    goto <bb 6>; [INV]
  else
    goto <bb 7>; [INV]

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

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

}


Power_Ip_SCG_DisableClockMonitors ()
{
  <bb 2> :
  _1 = 1074151424B;
  _2 = _1->SOSCCSR;
  _3 = 1074151424B;
  _4 = _2 & 4294901759;
  _3->SOSCCSR = _4;
  return;

}


