Power_Ip_RCM_RestoreSystemResetIsrConfig (uint32 u32SystemResetIsrConfig)
{
  struct RCM_Type * _1;
  long unsigned int _2;

  <bb 2> :
  _1 = 1074262016B;
  _2 = u32SystemResetIsrConfig_3(D) & 12287;
  _1->SRIE ={v} _2;
  return;

}


Power_Ip_RCM_SystemResetIsrConfig ()
{
  struct RCM_Type * _1;

  <bb 2> :
  _1 = 1074262016B;
  _1->SRIE ={v} 0;
  return;

}


Power_Ip_RCM_GetCurrentSystemResetIsrSettings ()
{
  uint32 u32SystemResetIsrStatus;
  uint32 D.5702;
  struct RCM_Type * _1;
  long unsigned int _2;
  uint32 _5;

  <bb 2> :
  _1 = 1074262016B;
  _2 ={v} _1->SRIE;
  u32SystemResetIsrStatus_4 = _2 & 12287;
  _5 = u32SystemResetIsrStatus_4;

  <bb 3> :
<L0>:
  return _5;

}


Power_Ip_RCM_GetResetRawValue ()
{
  uint32 u32RegValue;
  uint32 u32RawReset;
  Power_Ip_RawResetType D.5700;
  struct RCM_Type * _1;
  long unsigned int _2;
  struct RCM_Type * _3;
  long unsigned int _4;
  Power_Ip_RawResetType _11;

  <bb 2> :
  _1 = 1074262016B;
  _2 ={v} _1->SSRS;
  u32RegValue_7 = _2 & 12286;
  if (u32RegValue_7 != 0)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  _3 = 1074262016B;
  _4 = u32RegValue_7 & 12286;
  _3->SSRS ={v} _4;
  u32ResetStatus = u32RegValue_7;

  <bb 4> :
  u32RawReset_10 = u32ResetStatus;
  _11 = u32RawReset_10;

  <bb 5> :
<L2>:
  return _11;

}


Power_Ip_RCM_GetResetReason ()
{
  uint32 u32NumberOfFlags;
  uint32 u32Position;
  uint32 u32DynamicMask;
  uint32 u32Index;
  uint32 u32ActiveValue;
  uint32 u32RegValue;
  uint32 eResetReason;
  uint32 D.5696;
  struct RCM_Type * _1;
  long unsigned int _2;
  struct RCM_Type * _3;
  long unsigned int _4;
  long unsigned int _5;
  long unsigned int _6;
  long unsigned int _7;
  uint32 _36;

  <bb 2> :
  eResetReason_19 = 12;
  u32RegValue_20 = 0;
  u32Position_21 = 0;
  u32NumberOfFlags_22 = 0;
  _1 = 1074262016B;
  _2 ={v} _1->SSRS;
  u32RegValue_24 = _2 & 12286;
  if (u32RegValue_24 != 0)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  _3 = 1074262016B;
  _4 = u32RegValue_24 & 12286;
  _3->SSRS ={v} _4;
  u32ResetStatus = u32RegValue_24;

  <bb 4> :
  u32ActiveValue_27 = u32ResetStatus;
  _5 = u32ActiveValue_27 & 12286;
  if (_5 == 130)
    goto <bb 5>; [INV]
  else
    goto <bb 6>; [INV]

  <bb 5> :
  eResetReason_35 = 5;
  goto <bb 14>; [INV]

  <bb 6> :
  u32Index_28 = 0;
  goto <bb 13>; [INV]

  <bb 7> :
  u32DynamicMask_29 = 2147483648 >> u32Index_12;
  _6 = u32DynamicMask_29 & 12286;
  if (_6 != 0)
    goto <bb 8>; [INV]
  else
    goto <bb 12>; [INV]

  <bb 8> :
  _7 = u32DynamicMask_29 & u32ActiveValue_27;
  if (_7 != 0)
    goto <bb 9>; [INV]
  else
    goto <bb 11>; [INV]

  <bb 9> :
  eResetReason_30 = u32Position_14;
  u32NumberOfFlags_31 = u32NumberOfFlags_17 + 1;
  if (u32NumberOfFlags_31 > 1)
    goto <bb 10>; [INV]
  else
    goto <bb 11>; [INV]

  <bb 10> :
  eResetReason_32 = 13;
  goto <bb 14>; [INV]

  <bb 11> :
  # eResetReason_8 = PHI <eResetReason_10(8), eResetReason_30(9)>
  # u32NumberOfFlags_15 = PHI <u32NumberOfFlags_17(8), u32NumberOfFlags_31(9)>
  u32Position_33 = u32Position_14 + 1;

  <bb 12> :
  # eResetReason_9 = PHI <eResetReason_10(7), eResetReason_8(11)>
  # u32Position_13 = PHI <u32Position_14(7), u32Position_33(11)>
  # u32NumberOfFlags_16 = PHI <u32NumberOfFlags_17(7), u32NumberOfFlags_15(11)>
  u32Index_34 = u32Index_12 + 1;

  <bb 13> :
  # eResetReason_10 = PHI <eResetReason_19(6), eResetReason_9(12)>
  # u32Index_12 = PHI <u32Index_28(6), u32Index_34(12)>
  # u32Position_14 = PHI <u32Position_21(6), u32Position_13(12)>
  # u32NumberOfFlags_17 = PHI <u32NumberOfFlags_22(6), u32NumberOfFlags_16(12)>
  if (u32Index_12 <= 31)
    goto <bb 7>; [INV]
  else
    goto <bb 14>; [INV]

  <bb 14> :
  # eResetReason_11 = PHI <eResetReason_35(5), eResetReason_32(10), eResetReason_10(13)>
  _36 = eResetReason_11;

  <bb 15> :
<L14>:
  return _36;

}


Power_Ip_RCM_ResetInit (const struct Power_Ip_RCM_ConfigType * RCM_pConfigPtr)
{
  long unsigned int _1;
  struct RCM_Type * _2;
  long unsigned int _3;
  long unsigned int _4;
  struct RCM_Type * _5;
  long unsigned int _6;

  <bb 2> :
  _1 = RCM_pConfigPtr_8(D)->u32ResetPinControlConfig;
  _2 = 1074262016B;
  _3 = _1 & 7943;
  _2->RPC ={v} _3;
  _4 = RCM_pConfigPtr_8(D)->u32ResetInterruptEnableConfig;
  _5 = 1074262016B;
  _6 = _4 & 12287;
  _5->SRIE ={v} _6;
  return;

}