pfe_bus_err_irq_unmask (const struct pfe_bus_err_t * bus_err)
{
  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = bus_err->bus_err_base_va;
  pfe_bus_err_cfg_irq_unmask (_1);
  return;

}


pfe_bus_err_irq_mask (const struct pfe_bus_err_t * bus_err)
{
  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = bus_err->bus_err_base_va;
  pfe_bus_err_cfg_irq_mask (_1);
  return;

}


pfe_bus_err_isr (const struct pfe_bus_err_t * bus_err)
{
  errno_t ret;
  errno_t D.10520;

  <bb 2> :
  # DEBUG BEGIN_STMT
  ret = 2;
  # DEBUG BEGIN_STMT
  _1 = bus_err->bus_err_base_va;
  ret = pfe_bus_err_cfg_isr (_1);
  # DEBUG BEGIN_STMT
  D.10520 = ret;
  return D.10520;

}


pfe_bus_err_destroy (struct pfe_bus_err_t * bus_err)
{
  <bb 2> :
  # DEBUG BEGIN_STMT
  _1 = bus_err->bus_err_base_va;
  pfe_bus_err_cfg_irq_mask (_1);
  return;

}


pfe_bus_err_create (addr_t cbus_base_va, addr_t bus_err_base)
{
  struct pfe_bus_err_t * bus_err;
  struct pfe_bus_err_t * D.10518;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  bus_err = &bus_err_instance;
  # DEBUG BEGIN_STMT
  memset (bus_err, 0, 12);
  # DEBUG BEGIN_STMT
  bus_err->cbus_base_va = cbus_base_va;
  # DEBUG BEGIN_STMT
  bus_err->bus_err_base_offset = bus_err_base;
  # DEBUG BEGIN_STMT
  _1 = bus_err->cbus_base_va;
  _2 = bus_err->bus_err_base_offset;
  _3 = _1 + _2;
  bus_err->bus_err_base_va = _3;
  # DEBUG BEGIN_STMT
  _4 = bus_err->bus_err_base_va;
  pfe_bus_err_cfg_irq_unmask_all (_4);
  # DEBUG BEGIN_STMT
  D.10518 = bus_err;
  return D.10518;

}


