pfe_parity_irq_unmask (const struct pfe_parity_t * parity)
{
  unsigned int _1;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  _1 = parity_3(D)->parity_base_va;
  pfe_parity_cfg_irq_unmask (_1);
  return;

}


pfe_parity_irq_mask (const struct pfe_parity_t * parity)
{
  unsigned int _1;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  _1 = parity_3(D)->parity_base_va;
  pfe_parity_cfg_irq_mask (_1);
  return;

}


pfe_parity_isr (const struct pfe_parity_t * parity)
{
  errno_t ret;
  unsigned int _1;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG ret => 2
  # DEBUG BEGIN_STMT
  _1 = parity_3(D)->parity_base_va;
  ret_5 = pfe_parity_cfg_isr (_1);
  # DEBUG ret => ret_5
  # DEBUG BEGIN_STMT
  return ret_5;

}


pfe_parity_destroy (struct pfe_parity_t * parity)
{
  unsigned int _1;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  _1 = parity_3(D)->parity_base_va;
  pfe_parity_cfg_irq_mask (_1);
  return;

}


pfe_parity_create (addr_t cbus_base_va, addr_t parity_base)
{
  unsigned int _1;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG parity => &parity_instance
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  parity_instance.cbus_base_va = cbus_base_va_3(D);
  # DEBUG BEGIN_STMT
  parity_instance.parity_base_offset = parity_base_5(D);
  # DEBUG BEGIN_STMT
  _1 = cbus_base_va_3(D) + parity_base_5(D);
  parity_instance.parity_base_va = _1;
  # DEBUG BEGIN_STMT
  pfe_parity_cfg_irq_unmask_all (_1);
  # DEBUG BEGIN_STMT
  return &parity_instance;

}


