Platform_Ipw_Init (const struct Platform_Ipw_ConfigType * pConfig)
{
  Std_ReturnType ret;
  const struct IntCtrl_Ip_CtrlConfigType * _1;
  const struct IntCtrl_Ip_CtrlConfigType * _2;

  <bb 2> :
  # DEBUG BEGIN_STMT
  ret_4 = 0;
  # DEBUG ret => ret_4
  # DEBUG BEGIN_STMT
  _1 = pConfig_6(D)->pIntCtrlConfig;
  if (_1 != 0B)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  _2 = pConfig_6(D)->pIntCtrlConfig;
  ret_8 = Platform_Ipw_InitIntCtrl (_2);
  # DEBUG ret => ret_8

  <bb 4> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  return;

}


Platform_Ipw_InitIntCtrl (const struct IntCtrl_Ip_CtrlConfigType * pIntCtrlCtrlConfig)
{
  Std_ReturnType _4;

  <bb 2> :
  # DEBUG BEGIN_STMT
  IntCtrl_Ip_Init (pIntCtrlCtrlConfig_2(D));
  # DEBUG BEGIN_STMT
  _4 = 0;
  return _4;

}


