pfe_wdt_irq_unmask (struct pfe_wdt_t * wdt)
{
  unsigned int _1;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  _1 = wdt_3(D)->wdt_base_va;
  pfe_wdt_cfg_irq_unmask (_1);
  return;

}


pfe_wdt_irq_mask (struct pfe_wdt_t * wdt)
{
  unsigned int _1;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  _1 = wdt_3(D)->wdt_base_va;
  pfe_wdt_cfg_irq_mask (_1);
  return;

}


pfe_wdt_isr (struct pfe_wdt_t * wdt)
{
  errno_t ret;
  unsigned int _1;
  unsigned int _2;
  int _3;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = wdt_6(D)->wdt_base_va;
  _2 = wdt_6(D)->cbus_base_va;
  _3 = pfe_wdt_cfg_isr (_1, _2);
  if (_3 == 0)
    goto <bb 4>; [65.00%]
  else
    goto <bb 3>; [35.00%]

  <bb 3> [local count: 375809639]:
  # DEBUG BEGIN_STMT
  # DEBUG ret => 22

  <bb 4> [local count: 1073741824]:
  # ret_4 = PHI <0(2), 22(3)>
  # DEBUG ret => ret_4
  # DEBUG BEGIN_STMT
  return ret_4;

}


pfe_wdt_destroy (struct pfe_wdt_t * wdt)
{
  unsigned int _1;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  if (wdt_3(D) != 0B)
    goto <bb 3>; [53.47%]
  else
    goto <bb 4>; [46.53%]

  <bb 3> [local count: 574129754]:
  # DEBUG BEGIN_STMT
  _1 = wdt_3(D)->wdt_base_va;
  pfe_wdt_cfg_fini (_1);

  <bb 4> [local count: 1073741824]:
  return;

}


pfe_wdt_create (addr_t cbus_base_va, addr_t wdt_base)
{
  unsigned int _1;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG wdt => &wdt_instance
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  wdt_instance.cbus_base_va = cbus_base_va_3(D);
  # DEBUG BEGIN_STMT
  wdt_instance.wdt_base_offset = wdt_base_5(D);
  # DEBUG BEGIN_STMT
  _1 = cbus_base_va_3(D) + wdt_base_5(D);
  wdt_instance.wdt_base_va = _1;
  # DEBUG BEGIN_STMT
  pfe_wdt_cfg_init (_1);
  # DEBUG BEGIN_STMT
  return &wdt_instance;

}


