WATCHDOG_HAL_Deinit ()
{
  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  return;

}


WATCHDOG_HAL_SystemRest ()
{
  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  Swt_Ip_SetTimeout (0, 0, 0);
  return;

}


WATCHDOG_HAL_Fed ()
{
  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  Swt_Ip_Service (0);
  return;

}


WATCHDOG_HAL_Init ()
{
  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  Swt_Ip_Init (0, &Swt_Ip_1_Cfg0);
  return;

}


