pfe_util_cfg_isr (addr_t base_va)
{
  uint32_t irq_src;
  errno_t D.10479;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = base_va + 836152;
  _2 = (volatile uint32_t *) _1;
  irq_src = *_2;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _3 = base_va + 836152;
  _4 = (volatile uint32_t *) _3;
  *_4 = irq_src;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  D.10479 = 0;
  return D.10479;

}


