pfe_fw_fail_stop_cfg_irq_unmask_all (addr_t base_va)
{
  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = base_va + 204;
  _2 = (volatile uint32_t *) _1;
  *_2 = 3;
  # DEBUG BEGIN_STMT
  return;

}


pfe_fw_fail_stop_cfg_irq_unmask (addr_t base_va)
{
  uint32_t reg;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = base_va + 204;
  _2 = (volatile uint32_t *) _1;
  _3 = *_2;
  reg = _3 | 1;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _4 = base_va + 204;
  _5 = (volatile uint32_t *) _4;
  *_5 = reg;
  # DEBUG BEGIN_STMT
  return;

}


pfe_fw_fail_stop_cfg_irq_mask (addr_t base_va)
{
  uint32_t reg;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = base_va + 204;
  _2 = (volatile uint32_t *) _1;
  _3 = *_2;
  reg = _3 & 4294967294;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _4 = base_va + 204;
  _5 = (volatile uint32_t *) _4;
  *_5 = reg;
  # DEBUG BEGIN_STMT
  return;

}


pfe_fw_fail_stop_cfg_isr (addr_t base_va)
{
  uint32_t trig_en_interrupts;
  errno_t ret;
  uint32_t reg_src;
  uint32_t reg_en;
  errno_t D.10669;

  <bb 2> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  ret = 2;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = base_va + 204;
  _2 = (volatile uint32_t *) _1;
  reg_en = *_2;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _3 = base_va + 204;
  _4 = (volatile uint32_t *) _3;
  _5 = reg_en & 4294967294;
  *_4 = _5;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _6 = base_va + 200;
  _7 = (volatile uint32_t *) _6;
  reg_src = *_7;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _8 = base_va + 200;
  _9 = (volatile uint32_t *) _8;
  *_9 = reg_src;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _10 = reg_src & reg_en;
  trig_en_interrupts = _10 & 3;
  # DEBUG BEGIN_STMT
  if (trig_en_interrupts != 0)
    goto <bb 3>; [INV]
  else
    goto <bb 4>; [INV]

  <bb 3> :
  # DEBUG BEGIN_STMT
  pfe_hm_report (8, 2, 150, "");
  # DEBUG BEGIN_STMT
  ret = 0;

  <bb 4> :
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _11 = ~reg_src;
  _12 = base_va + 204;
  _13 = (volatile uint32_t *) _12;
  _14 = reg_en & _11;
  *_13 = _14;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  D.10669 = ret;
  return D.10669;

}


