Symbol table:

Power_Ip_CM4_EnableSleepOnExit/35 (Power_Ip_CM4_EnableSleepOnExit) @06d35a80
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags:
  Called by: Power_Ip_EnableSleepOnExit/12 
  Calls: 
Power_Ip_CM4_DisableSleepOnExit/34 (Power_Ip_CM4_DisableSleepOnExit) @06d358c0
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags:
  Called by: Power_Ip_DisableSleepOnExit/11 
  Calls: 
Power_Ip_SMC_AllowedModesConfig/33 (Power_Ip_SMC_AllowedModesConfig) @06d35700
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags:
  Called by: Power_Ip_InitPower/10 
  Calls: 
Power_Ip_PMC_PowerInit/32 (Power_Ip_PMC_PowerInit) @06d35620
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags:
  Called by: Power_Ip_InitPower/10 
  Calls: 
Power_Ip_RCM_ResetInit/31 (Power_Ip_RCM_ResetInit) @06d35460
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags:
  Called by: Power_Ip_InitReset/9 
  Calls: 
Power_Ip_RCM_GetResetRawValue/30 (Power_Ip_RCM_GetResetRawValue) @06d352a0
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags:
  Called by: Power_Ip_GetResetRawValue/8 
  Calls: 
Power_Ip_RCM_GetResetReason/29 (Power_Ip_RCM_GetResetReason) @06d350e0
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags:
  Called by: Power_Ip_GetResetReason/7 
  Calls: 
resetReasonArray.5801/28 (resetReasonArray) @073623a8
  Type: variable definition analyzed
  Visibility: force_output no_reorder prevailing_def_ironly
  References: 
  Referring: Power_Ip_ConvertIntergeToResetType/6 (read)Power_Ip_ConvertIntergeToResetType/6 (read)Power_Ip_ConvertIntergeToResetType/6 (read)
  Availability: available
  Varpool flags: initialized read-only const-value-known
Power_Ip_CM4_SystemReset/27 (Power_Ip_CM4_SystemReset) @0735ee00
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags:
  Called by: Power_Ip_PerformReset/5 
  Calls: 
ReportPowerErrors/26 (ReportPowerErrors) @0735ec40
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags:
  Called by: Power_Ip_SetMode/4 
  Calls: 
Power_Ip_CM4_DisableDeepSleep/25 (Power_Ip_CM4_DisableDeepSleep) @0735eb60
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags:
  Called by: Power_Ip_SetMode/4 
  Calls: 
Power_Ip_SMC_ModeConfig/24 (Power_Ip_SMC_ModeConfig) @0735ea80
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags:
  Called by: Power_Ip_SetMode/4 
  Calls: 
Power_Ip_SMC_ModeCheckEntry/23 (Power_Ip_SMC_ModeCheckEntry) @0735e9a0
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags:
  Called by: Power_Ip_SetMode/4 
  Calls: 
Power_Ip_CM4_EnableDeepSleep/22 (Power_Ip_CM4_EnableDeepSleep) @0735e7e0
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags:
  Called by: Power_Ip_PrepareLowPowerMode/3 Power_Ip_PrepareLowPowerMode/3 
  Calls: 
Power_Ip_SCG_DisableClockMonitors/21 (Power_Ip_SCG_DisableClockMonitors) @0735e700
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags:
  Called by: Power_Ip_PrepareLowPowerMode/3 
  Calls: 
Power_Ip_SCG_DisableSoscClock/20 (Power_Ip_SCG_DisableSoscClock) @0735e540
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags:
  Called by: Power_Ip_DisableSoscClock/2 
  Calls: 
Power_Ip_RCM_RestoreSystemResetIsrConfig/19 (Power_Ip_RCM_RestoreSystemResetIsrConfig) @0735e380
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags:
  Called by: Power_Ip_DisableSoscClock/2 Power_Ip_DisableFircClock/1 
  Calls: 
Power_Ip_SCG_DisableFircClock/18 (Power_Ip_SCG_DisableFircClock) @0735e2a0
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags:
  Called by: Power_Ip_DisableFircClock/1 
  Calls: 
Power_Ip_RCM_SystemResetIsrConfig/17 (Power_Ip_RCM_SystemResetIsrConfig) @0735e1c0
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags:
  Called by: Power_Ip_DisableSoscClock/2 Power_Ip_DisableFircClock/1 
  Calls: 
Power_Ip_RCM_GetCurrentSystemResetIsrSettings/16 (Power_Ip_RCM_GetCurrentSystemResetIsrSettings) @0735e0e0
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags:
  Called by: Power_Ip_DisableSoscClock/2 Power_Ip_DisableFircClock/1 
  Calls: 
Power_Ip_SCG_DropSysClkToSircInRunMode/15 (Power_Ip_SCG_DropSysClkToSircInRunMode) @0735e000
  Type: function
  Visibility: external public
  References: 
  Referring: 
  Availability: not_available
  Function flags:
  Called by: Power_Ip_DisableSoscClock/2 Power_Ip_DisableFircClock/1 
  Calls: 
ReportPowerErrorsEmptyCallback/14 (ReportPowerErrorsEmptyCallback) @0735a380
  Type: function
  Visibility: external public
  Address is taken.
  References: 
  Referring: powerReportErrorsCallback/0 (addr)
  Availability: not_available
  Function flags:
  Called by: 
  Calls: 
Power_Ip_InstallNotificationsCallback/13 (Power_Ip_InstallNotificationsCallback) @0735a0e0
  Type: function definition analyzed
  Visibility: force_output externally_visible no_reorder public
  References: powerReportErrorsCallback/0 (write)
  Referring: 
  Availability: available
  Function flags: body
  Called by: 
  Calls: 
Power_Ip_EnableSleepOnExit/12 (Power_Ip_EnableSleepOnExit) @0735ad20
  Type: function definition analyzed
  Visibility: force_output externally_visible no_reorder public
  References: 
  Referring: 
  Availability: available
  Function flags: body
  Called by: 
  Calls: Power_Ip_CM4_EnableSleepOnExit/35 
Power_Ip_DisableSleepOnExit/11 (Power_Ip_DisableSleepOnExit) @0735aa80
  Type: function definition analyzed
  Visibility: force_output externally_visible no_reorder public
  References: 
  Referring: 
  Availability: available
  Function flags: body
  Called by: 
  Calls: Power_Ip_CM4_DisableSleepOnExit/34 
Power_Ip_InitPower/10 (Power_Ip_InitPower) @0735a7e0
  Type: function definition analyzed
  Visibility: force_output externally_visible no_reorder public
  References: 
  Referring: 
  Availability: available
  Function flags: body
  Called by: 
  Calls: Power_Ip_SMC_AllowedModesConfig/33 Power_Ip_PMC_PowerInit/32 
Power_Ip_InitReset/9 (Power_Ip_InitReset) @0735a540
  Type: function definition analyzed
  Visibility: force_output externally_visible no_reorder public
  References: 
  Referring: 
  Availability: available
  Function flags: body
  Called by: 
  Calls: Power_Ip_RCM_ResetInit/31 
Power_Ip_GetResetRawValue/8 (Power_Ip_GetResetRawValue) @0735a2a0
  Type: function definition analyzed
  Visibility: force_output externally_visible no_reorder public
  References: 
  Referring: 
  Availability: available
  Function flags: body
  Called by: 
  Calls: Power_Ip_RCM_GetResetRawValue/30 
Power_Ip_GetResetReason/7 (Power_Ip_GetResetReason) @0735a000
  Type: function definition analyzed
  Visibility: force_output externally_visible no_reorder public
  References: 
  Referring: 
  Availability: available
  Function flags: body
  Called by: 
  Calls: Power_Ip_ConvertIntergeToResetType/6 Power_Ip_RCM_GetResetReason/29 
Power_Ip_ConvertIntergeToResetType/6 (Power_Ip_ConvertIntergeToResetType) @07355b60
  Type: function definition analyzed
  Visibility: force_output no_reorder prevailing_def_ironly
  References: resetReasonArray.5801/28 (read)resetReasonArray.5801/28 (read)resetReasonArray.5801/28 (read)
  Referring: 
  Availability: available
  Function flags: body
  Called by: Power_Ip_GetResetReason/7 
  Calls: 
Power_Ip_PerformReset/5 (Power_Ip_PerformReset) @07355380
  Type: function definition analyzed
  Visibility: force_output externally_visible no_reorder public
  References: 
  Referring: 
  Availability: available
  Function flags: body
  Called by: 
  Calls: Power_Ip_CM4_SystemReset/27 
Power_Ip_SetMode/4 (Power_Ip_SetMode) @07355d20
  Type: function definition analyzed
  Visibility: force_output externally_visible no_reorder public
  References: 
  Referring: 
  Availability: available
  Function flags: body
  Called by: 
  Calls: ReportPowerErrors/26 Power_Ip_CM4_DisableDeepSleep/25 Power_Ip_SMC_ModeConfig/24 Power_Ip_PrepareLowPowerMode/3 Power_Ip_SMC_ModeCheckEntry/23 
Power_Ip_PrepareLowPowerMode/3 (Power_Ip_PrepareLowPowerMode) @07355a80
  Type: function definition analyzed
  Visibility: force_output no_reorder prevailing_def_ironly
  References: 
  Referring: 
  Availability: available
  Function flags: body
  Called by: Power_Ip_SetMode/4 
  Calls: Power_Ip_CM4_EnableDeepSleep/22 Power_Ip_CM4_EnableDeepSleep/22 Power_Ip_DisableSoscClock/2 Power_Ip_DisableFircClock/1 Power_Ip_SCG_DisableClockMonitors/21 
Power_Ip_DisableSoscClock/2 (Power_Ip_DisableSoscClock) @073557e0
  Type: function definition analyzed
  Visibility: force_output no_reorder prevailing_def_ironly
  References: 
  Referring: 
  Availability: available
  Function flags: body
  Called by: Power_Ip_PrepareLowPowerMode/3 
  Calls: Power_Ip_RCM_RestoreSystemResetIsrConfig/19 Power_Ip_SCG_DisableSoscClock/20 Power_Ip_RCM_SystemResetIsrConfig/17 Power_Ip_RCM_GetCurrentSystemResetIsrSettings/16 Power_Ip_SCG_DropSysClkToSircInRunMode/15 
Power_Ip_DisableFircClock/1 (Power_Ip_DisableFircClock) @07355540
  Type: function definition analyzed
  Visibility: force_output no_reorder prevailing_def_ironly
  References: 
  Referring: 
  Availability: available
  Function flags: body
  Called by: Power_Ip_PrepareLowPowerMode/3 
  Calls: Power_Ip_RCM_RestoreSystemResetIsrConfig/19 Power_Ip_SCG_DisableFircClock/18 Power_Ip_RCM_SystemResetIsrConfig/17 Power_Ip_RCM_GetCurrentSystemResetIsrSettings/16 Power_Ip_SCG_DropSysClkToSircInRunMode/15 
powerReportErrorsCallback/0 (powerReportErrorsCallback) @06d22120
  Type: variable definition analyzed
  Visibility: force_output externally_visible no_reorder public
  References: ReportPowerErrorsEmptyCallback/14 (addr)
  Referring: Power_Ip_InstallNotificationsCallback/13 (write)
  Availability: available
  Varpool flags: initialized
Power_Ip_InstallNotificationsCallback (void (*Power_Ip_ReportErrorsCallbackType) (Power_Ip_PowerReportErrorType, uint8) reportErrorsCallback)
{
  <bb 2> :
  powerReportErrorsCallback = reportErrorsCallback_2(D);
  return;

}


Power_Ip_EnableSleepOnExit ()
{
  <bb 2> :
  Power_Ip_CM4_EnableSleepOnExit ();
  return;

}


Power_Ip_DisableSleepOnExit ()
{
  <bb 2> :
  Power_Ip_CM4_DisableSleepOnExit ();
  return;

}


Power_Ip_InitPower (const struct Power_Ip_HwIPsConfigType * Power_Ip_pHwIPsConfigPtr)
{
  const struct Power_Ip_PMC_ConfigType * _1;
  const struct Power_Ip_SMC_ConfigType * _2;

  <bb 2> :
  _1 = Power_Ip_pHwIPsConfigPtr_4(D)->PMC_pConfig;
  Power_Ip_PMC_PowerInit (_1);
  _2 = Power_Ip_pHwIPsConfigPtr_4(D)->SMC_pConfig;
  Power_Ip_SMC_AllowedModesConfig (_2);
  return;

}


Power_Ip_InitReset (const struct Power_Ip_HwIPsConfigType * Power_Ip_pHwIPsConfigPtr)
{
  const struct Power_Ip_RCM_ConfigType * _1;

  <bb 2> :
  _1 = Power_Ip_pHwIPsConfigPtr_3(D)->RCM_pConfig;
  Power_Ip_RCM_ResetInit (_1);
  return;

}


Power_Ip_GetResetRawValue ()
{
  Power_Ip_RawResetType ResetReason;
  Power_Ip_RawResetType D.5856;
  Power_Ip_RawResetType _4;

  <bb 2> :
  ResetReason_3 = Power_Ip_RCM_GetResetRawValue ();
  _4 = ResetReason_3;

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

}


Power_Ip_GetResetReason ()
{
  uint32 resetVal;
  Power_Ip_ResetType eResetReason;
  Power_Ip_ResetType D.5854;
  Power_Ip_ResetType _7;

  <bb 2> :
  eResetReason_1 = 14;
  resetVal_4 = Power_Ip_RCM_GetResetReason ();
  eResetReason_6 = Power_Ip_ConvertIntergeToResetType (resetVal_4);
  _7 = eResetReason_6;

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

}


Power_Ip_ConvertIntergeToResetType (uint32 resetReasonIndex)
{
  static const Power_Ip_ResetType resetReasonArray[15] = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14};
  Power_Ip_ResetType eResetReason;
  Power_Ip_ResetType D.5852;
  <unnamed type> _1;
  <unnamed type> _2;
  Power_Ip_ResetType _9;

  <bb 2> :
  eResetReason_4 = 12;
  _1 = resetReasonArray[resetReasonIndex_6(D)];
  if (_1 <= 14)
    goto <bb 3>; [INV]
  else
    goto <bb 5>; [INV]

  <bb 3> :
  _2 = resetReasonArray[resetReasonIndex_6(D)];
  if (_2 != 33)
    goto <bb 4>; [INV]
  else
    goto <bb 5>; [INV]

  <bb 4> :
  eResetReason_7 = resetReasonArray[resetReasonIndex_6(D)];
  goto <bb 6>; [INV]

  <bb 5> :
  eResetReason_8 = 12;

  <bb 6> :
  # eResetReason_3 = PHI <eResetReason_7(4), eResetReason_8(5)>
  _9 = eResetReason_3;

  <bb 7> :
<L4>:
  return _9;

}


Power_Ip_PerformReset (const struct Power_Ip_HwIPsConfigType * Power_Ip_pHwIPsConfigPtr)
{
  <bb 2> :
  Power_Ip_CM4_SystemReset ();
  return;

}


Power_Ip_SetMode (const struct Power_Ip_ModeConfigType * Power_Ip_pModeConfigPtr)
{
  Power_Ip_PowerModeType ePowerMode;
  uint32 ePowerSwitchMode;
  <unnamed type> _1;

  <bb 2> :
  ePowerMode_7 = Power_Ip_pModeConfigPtr_6(D)->Power_Ip_ePowerMode;
  _1 = Power_Ip_SMC_ModeCheckEntry (ePowerMode_7);
  if (_1 != 0)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  ePowerSwitchMode_13 = 1;
  goto <bb 8>; [INV]

  <bb 4> :
  Power_Ip_PrepareLowPowerMode (ePowerMode_7);
  ePowerSwitchMode_11 = Power_Ip_SMC_ModeConfig (Power_Ip_pModeConfigPtr_6(D));
  if (ePowerMode_7 == 3)
    goto <bb 7>; [INV]
  else
    goto <bb 5>; [INV]

  <bb 5> :
  if (ePowerMode_7 == 4)
    goto <bb 7>; [INV]
  else
    goto <bb 6>; [INV]

  <bb 6> :
  if (ePowerMode_7 == 5)
    goto <bb 7>; [INV]
  else
    goto <bb 8>; [INV]

  <bb 7> :
  Power_Ip_CM4_DisableDeepSleep ();

  <bb 8> :
  # ePowerSwitchMode_2 = PHI <ePowerSwitchMode_13(3), ePowerSwitchMode_11(6), ePowerSwitchMode_11(7)>
  if (ePowerSwitchMode_2 == 1)
    goto <bb 9>; [INV]
  else
    goto <bb 10>; [INV]

  <bb 9> :
  ReportPowerErrors (3, 255);

  <bb 10> :
  return;

}


Power_Ip_PrepareLowPowerMode (Power_Ip_PowerModeType ePowerMode)
{
  <bb 2> :
  if (ePowerMode_3(D) == 3)
    goto <bb 4>; [INV]
  else
    goto <bb 3>; [INV]

  <bb 3> :
  if (ePowerMode_3(D) == 2)
    goto <bb 4>; [INV]
  else
    goto <bb 6>; [INV]

  <bb 4> :
  Power_Ip_SCG_DisableClockMonitors ();
  Power_Ip_DisableFircClock ();
  Power_Ip_DisableSoscClock ();
  if (ePowerMode_3(D) == 3)
    goto <bb 5>; [INV]
  else
    goto <bb 6>; [INV]

  <bb 5> :
  Power_Ip_CM4_EnableDeepSleep ();

  <bb 6> :
  if (ePowerMode_3(D) == 4)
    goto <bb 8>; [INV]
  else
    goto <bb 7>; [INV]

  <bb 7> :
  if (ePowerMode_3(D) == 5)
    goto <bb 8>; [INV]
  else
    goto <bb 9>; [INV]

  <bb 8> :
  Power_Ip_CM4_EnableDeepSleep ();

  <bb 9> :
  return;

}


Power_Ip_DisableSoscClock ()
{
  uint32 u32SystemResetIsrConfig;

  <bb 2> :
  Power_Ip_SCG_DropSysClkToSircInRunMode ();
  u32SystemResetIsrConfig_4 = Power_Ip_RCM_GetCurrentSystemResetIsrSettings ();
  Power_Ip_RCM_SystemResetIsrConfig ();
  Power_Ip_SCG_DisableSoscClock ();
  Power_Ip_RCM_RestoreSystemResetIsrConfig (u32SystemResetIsrConfig_4);
  return;

}


Power_Ip_DisableFircClock ()
{
  uint32 u32SystemResetIsrConfig;

  <bb 2> :
  Power_Ip_SCG_DropSysClkToSircInRunMode ();
  u32SystemResetIsrConfig_4 = Power_Ip_RCM_GetCurrentSystemResetIsrSettings ();
  Power_Ip_RCM_SystemResetIsrConfig ();
  Power_Ip_SCG_DisableFircClock ();
  Power_Ip_RCM_RestoreSystemResetIsrConfig (u32SystemResetIsrConfig_4);
  return;

}


