pfe_fail_stop_cfg_irq_unmask_all (addr_t base_va)
{
  unsigned int _1;
  volatile uint32_t * _2;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = base_va_3(D) + 192;
  _2 = (volatile uint32_t *) _1;
  *_2 ={v} 3;
  # DEBUG BEGIN_STMT
  return;

}


pfe_fail_stop_cfg_irq_unmask (addr_t base_va)
{
  uint32_t reg;
  unsigned int _1;
  volatile uint32_t * _2;
  long unsigned int _3;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = base_va_4(D) + 192;
  _2 = (volatile uint32_t *) _1;
  _3 ={v} *_2;
  reg_6 = _3 | 1;
  # DEBUG reg => reg_6
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  *_2 ={v} reg_6;
  # DEBUG BEGIN_STMT
  return;

}


pfe_fail_stop_cfg_irq_mask (addr_t base_va)
{
  uint32_t reg;
  unsigned int _1;
  volatile uint32_t * _2;
  long unsigned int _3;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = base_va_4(D) + 192;
  _2 = (volatile uint32_t *) _1;
  _3 ={v} *_2;
  reg_6 = _3 & 4294967294;
  # DEBUG reg => reg_6
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  *_2 ={v} reg_6;
  # DEBUG BEGIN_STMT
  return;

}


pfe_fail_stop_cfg_isr (addr_t base_va)
{
  static const pfe_hm_evt_t event_id[6] = {140, 141, 142, 143, 144, 145};
  uint8_t index;
  uint32_t trig_en_interrupts;
  errno_t ret;
  uint32_t reg_source;
  uint32_t reg_src;
  uint32_t reg_en;
  unsigned int _1;
  volatile uint32_t * _2;
  long unsigned int _3;
  unsigned int _4;
  volatile uint32_t * _5;
  long unsigned int _6;
  long unsigned int _7;
  unsigned int _8;
  volatile uint32_t * _9;
  long unsigned int _10;
  unsigned int _11;
  volatile uint32_t * _12;
  long unsigned int _13;
  long unsigned int _14;
  int _15;
  <unnamed type> _16;

  <bb 2> [local count: 279554088]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG ret => 2
  # DEBUG BEGIN_STMT
  # DEBUG trig_en_interrupts => 0
  # DEBUG BEGIN_STMT
  # DEBUG index => 0
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = base_va_23(D) + 192;
  _2 = (volatile uint32_t *) _1;
  reg_en_25 ={v} *_2;
  # DEBUG reg_en => reg_en_25
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _3 = reg_en_25 & 4294967294;
  *_2 ={v} _3;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _4 = base_va_23(D) + 188;
  _5 = (volatile uint32_t *) _4;
  reg_src_27 ={v} *_5;
  # DEBUG reg_src => reg_src_27
  # DEBUG BEGIN_STMT
  _6 = reg_en_25 & reg_src_27;
  _7 = _6 & 3;
  if (_7 != 0)
    goto <bb 3>; [65.00%]
  else
    goto <bb 8>; [35.00%]

  <bb 3> [local count: 181710157]:
  # DEBUG BEGIN_STMT
  _8 = base_va_23(D) + 296;
  _9 = (volatile uint32_t *) _8;
  _10 ={v} *_9;
  _11 = base_va_23(D) + 180;
  _12 = (volatile uint32_t *) _11;
  _13 ={v} *_12;
  reg_source_28 = _10 & _13;
  # DEBUG reg_source => reg_source_28
  # DEBUG BEGIN_STMT
  if (reg_source_28 != 0)
    goto <bb 9>; [65.00%]
  else
    goto <bb 8>; [35.00%]

  <bb 9> [local count: 118111602]:
  goto <bb 7>; [100.00%]

  <bb 4> [local count: 955630224]:
  # DEBUG BEGIN_STMT
  _14 = trig_en_interrupts_18 & 1;
  if (_14 != 0)
    goto <bb 5>; [33.00%]
  else
    goto <bb 6>; [67.00%]

  <bb 5> [local count: 315357974]:
  # DEBUG BEGIN_STMT
  _15 = (int) index_19;
  _16 = event_id[_15];
  pfe_hm_report (7, 2, _16, "");

  <bb 6> [local count: 955630225]:
  # DEBUG BEGIN_STMT
  trig_en_interrupts_30 = trig_en_interrupts_18 >> 1;
  # DEBUG trig_en_interrupts => trig_en_interrupts_30
  # DEBUG BEGIN_STMT
  index_31 = index_19 + 1;
  # DEBUG index => index_31

  <bb 7> [local count: 1073741824]:
  # trig_en_interrupts_18 = PHI <trig_en_interrupts_30(6), reg_source_28(9)>
  # index_19 = PHI <index_31(6), 0(9)>
  # DEBUG index => index_19
  # DEBUG trig_en_interrupts => trig_en_interrupts_18
  # DEBUG BEGIN_STMT
  if (trig_en_interrupts_18 != 0)
    goto <bb 4>; [89.00%]
  else
    goto <bb 8>; [11.00%]

  <bb 8> [local count: 279554086]:
  # ret_17 = PHI <2(3), 0(7), 2(2)>
  # DEBUG reg_source => NULL
  # DEBUG ret => ret_17
  # DEBUG BEGIN_STMT
  return ret_17;

}


