pfe_hif_chnl_cfg_tx_disable.part.0 (addr_t base_va, uint32_t channel_id)
{
  uint32_t reg;
  long unsigned int _2;
  long unsigned int _3;
  long unsigned int _4;
  long unsigned int _6;
  volatile uint32_t * _7;

  <bb 4> [local count: 1073741824]:

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  _2 = channel_id_1(D);
  _3 = _2 + 1;
  _4 = _3 * 256;
  _6 = _4 + base_va_5(D);
  _7 = (volatile uint32_t *) _6;
  reg_8 ={v} *_7;
  # DEBUG reg => reg_8
  # DEBUG BEGIN_STMT
  reg_9 = reg_8 & 4294967292;
  # DEBUG reg => reg_9
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  *_7 ={v} reg_9;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  pfe_hif_chnl_cfg_tx_irq_mask (base_va_5(D), channel_id_1(D));

  <bb 3> [local count: 1073741824]:
  return;

}


pfe_hif_chnl_cfg_rx_disable.part.0 (addr_t base_va, uint32_t channel_id)
{
  uint32_t reg;
  long unsigned int _2;
  long unsigned int _3;
  long unsigned int _4;
  long unsigned int _6;
  volatile uint32_t * _7;

  <bb 4> [local count: 1073741824]:

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  _2 = channel_id_1(D);
  _3 = _2 + 1;
  _4 = _3 * 256;
  _6 = _4 + base_va_5(D);
  _7 = (volatile uint32_t *) _6;
  reg_8 ={v} *_7;
  # DEBUG reg => reg_8
  # DEBUG BEGIN_STMT
  reg_9 = reg_8 & 4294770687;
  # DEBUG reg => reg_9
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  *_7 ={v} reg_9;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  pfe_hif_chnl_cfg_rx_irq_mask (base_va_5(D), channel_id_1(D));

  <bb 3> [local count: 1073741824]:
  return;

}


pfe_hif_chnl_cfg_ltc_get (addr_t base_va, uint32_t channel_id)
{
  long unsigned int _1;
  long unsigned int _2;
  long unsigned int _3;
  long unsigned int _4;
  volatile uint32_t * _5;
  uint32_t _9;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  _1 = channel_id_6(D) & 3;
  _2 = _1 * 256;
  _3 = _2 + base_va_7(D);
  _4 = _3 + 484;
  _5 = (volatile uint32_t *) _4;
  _9 ={v} *_5;
  return _9;

}


pfe_hif_chnl_cfg_ltc_set (addr_t base_va, uint32_t channel_id, uint8_t val)
{
  long unsigned int _1;
  long unsigned int _2;
  long unsigned int _3;
  long unsigned int _4;
  volatile uint32_t * _5;
  long unsigned int _6;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = channel_id_7(D) & 3;
  _2 = _1 * 256;
  _3 = _2 + base_va_8(D);
  _4 = _3 + 484;
  _5 = (volatile uint32_t *) _4;
  _6 = (long unsigned int) val_9(D);
  *_5 ={v} _6;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  return 0;

}


pfe_hif_chnl_cfg_get_rx_cnt (addr_t base_va, uint32_t channel_id)
{
  long unsigned int _1;
  long unsigned int _2;
  long unsigned int _3;
  long unsigned int _4;
  volatile uint32_t * _5;
  uint32_t _9;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  _1 = channel_id_6(D) & 3;
  _2 = _1 * 256;
  _3 = _2 + base_va_7(D);
  _4 = _3 + 424;
  _5 = (volatile uint32_t *) _4;
  _9 ={v} *_5;
  return _9;

}


pfe_hif_chnl_cfg_get_tx_cnt (addr_t base_va, uint32_t channel_id)
{
  long unsigned int _1;
  long unsigned int _2;
  long unsigned int _3;
  long unsigned int _4;
  volatile uint32_t * _5;
  uint32_t _9;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  _1 = channel_id_6(D) & 3;
  _2 = _1 * 256;
  _3 = _2 + base_va_7(D);
  _4 = _3 + 480;
  _5 = (volatile uint32_t *) _4;
  _9 ={v} *_5;
  return _9;

}


pfe_hif_chnl_cfg_set_rx_irq_coalesce (addr_t base_va, uint32_t channel_id, uint32_t frames, uint32_t cycles)
{
  errno_t ret;
  long unsigned int _1;
  long unsigned int _2;
  long unsigned int _3;
  long unsigned int _4;
  volatile uint32_t * _5;
  long unsigned int _6;
  volatile uint32_t * _7;
  long unsigned int _8;
  volatile uint32_t * _9;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = channel_id_12(D) & 3;
  _2 = _1 * 256;
  _3 = _2 + base_va_13(D);
  _4 = _3 + 496;
  _5 = (volatile uint32_t *) _4;
  *_5 ={v} 0;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _6 = _3 + 492;
  _7 = (volatile uint32_t *) _6;
  *_7 ={v} 0;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _8 = _3 + 488;
  _9 = (volatile uint32_t *) _8;
  *_9 ={v} 0;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (cycles_18(D) == 0)
    goto <bb 3>; [50.00%]
  else
    goto <bb 4>; [50.00%]

  <bb 3> [local count: 536870913]:
  if (frames_19(D) == 0)
    goto <bb 6>; [50.00%]
  else
    goto <bb 4>; [50.00%]

  <bb 4> [local count: 805306369]:
  # DEBUG BEGIN_STMT
  if (frames_19(D) != 0)
    goto <bb 6>; [35.00%]
  else
    goto <bb 5>; [65.00%]

  <bb 5> [local count: 523449139]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  *_5 ={v} 1;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  *_9 ={v} cycles_18(D);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG ret => 0

  <bb 6> [local count: 1073741824]:
  # ret_10 = PHI <0(3), 22(4), 0(5)>
  # DEBUG ret => ret_10
  # DEBUG BEGIN_STMT
  return ret_10;

}


pfe_hif_chnl_cfg_get_rx_irq_coalesce (addr_t base_va, uint32_t channel_id, uint32_t * frames, uint32_t * cycles)
{
  uint32_t ena;
  long unsigned int _1;
  long unsigned int _2;
  long unsigned int _3;
  long unsigned int _4;
  volatile uint32_t * _5;
  long unsigned int _6;
  long unsigned int _7;
  long unsigned int _8;
  volatile uint32_t * _9;
  long unsigned int _10;
  long unsigned int _11;
  long unsigned int _12;
  volatile uint32_t * _13;
  long unsigned int _14;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  _1 = channel_id_17(D) & 3;
  _2 = _1 * 256;
  _3 = _2 + base_va_18(D);
  _4 = _3 + 496;
  _5 = (volatile uint32_t *) _4;
  ena_20 ={v} *_5;
  # DEBUG ena => ena_20
  # DEBUG BEGIN_STMT
  _6 = ena_20 & 3;
  if (_6 == 0)
    goto <bb 3>; [50.00%]
  else
    goto <bb 4>; [50.00%]

  <bb 3> [local count: 536870913]:
  # DEBUG BEGIN_STMT
  *cycles_21(D) = 0;
  # DEBUG BEGIN_STMT
  *frames_24(D) = 0;
  goto <bb 10>; [100.00%]

  <bb 4> [local count: 536870913]:
  # DEBUG BEGIN_STMT
  _7 = ena_20 & 1;
  if (_7 != 0)
    goto <bb 5>; [50.00%]
  else
    goto <bb 6>; [50.00%]

  <bb 5> [local count: 268435456]:
  # DEBUG BEGIN_STMT
  _8 = _3 + 488;
  _9 = (volatile uint32_t *) _8;
  _10 ={v} *_9;
  *cycles_21(D) = _10;
  goto <bb 7>; [100.00%]

  <bb 6> [local count: 268435456]:
  # DEBUG BEGIN_STMT
  *cycles_21(D) = 0;

  <bb 7> [local count: 536870913]:
  # DEBUG BEGIN_STMT
  _11 = ena_20 & 2;
  if (_11 != 0)
    goto <bb 8>; [50.00%]
  else
    goto <bb 9>; [50.00%]

  <bb 8> [local count: 268435456]:
  # DEBUG BEGIN_STMT
  _12 = _3 + 492;
  _13 = (volatile uint32_t *) _12;
  _14 ={v} *_13;
  *frames_24(D) = _14;
  goto <bb 10>; [100.00%]

  <bb 9> [local count: 268435456]:
  # DEBUG BEGIN_STMT
  *frames_24(D) = 0;

  <bb 10> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  return 0;

}


pfe_hif_chnl_cfg_is_tx_bdp_fifo_empty (addr_t base_va, uint32_t channel_id)
{
  long unsigned int _1;
  long unsigned int _2;
  long unsigned int _3;
  long unsigned int _4;
  volatile uint32_t * _5;
  long unsigned int _6;
  _Bool _7;
  bool_t _11;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  _1 = channel_id_8(D) & 3;
  _2 = _1 * 256;
  _3 = _2 + base_va_9(D);
  _4 = _3 + 400;
  _5 = (volatile uint32_t *) _4;
  _6 ={v} *_5;
  _7 = _6 == 0;
  _11 = (bool_t) _7;
  return _11;

}


pfe_hif_chnl_cfg_is_rx_bdp_fifo_empty (addr_t base_va, uint32_t channel_id)
{
  long unsigned int _1;
  long unsigned int _2;
  long unsigned int _3;
  long unsigned int _4;
  volatile uint32_t * _5;
  long unsigned int _6;
  _Bool _7;
  bool_t _11;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  _1 = channel_id_8(D) & 3;
  _2 = _1 * 256;
  _3 = _2 + base_va_9(D);
  _4 = _3 + 464;
  _5 = (volatile uint32_t *) _4;
  _6 ={v} *_5;
  _7 = _6 == 0;
  _11 = (bool_t) _7;
  return _11;

}


pfe_hif_chnl_cfg_is_tx_dma_active (addr_t base_va, uint32_t channel_id)
{
  bool_t ret;
  uint32_t reg;
  unsigned int _1;
  volatile uint32_t * _2;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = base_va_4(D) + 132;
  _2 = (volatile uint32_t *) _1;
  reg_6 ={v} *_2;
  # DEBUG reg => reg_6
  # DEBUG BEGIN_STMT
  if (reg_6 != 0)
    goto <bb 4>; [50.00%]
  else
    goto <bb 3>; [50.00%]

  <bb 3> [local count: 536870913]:
  # DEBUG BEGIN_STMT
  # DEBUG ret => 0

  <bb 4> [local count: 1073741824]:
  # ret_3 = PHI <1(2), 0(3)>
  # DEBUG ret => ret_3
  # DEBUG BEGIN_STMT
  return ret_3;

}


pfe_hif_chnl_cfg_is_rx_dma_active (addr_t base_va, uint32_t channel_id)
{
  bool_t ret;
  uint32_t reg;
  unsigned int _1;
  volatile uint32_t * _2;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = base_va_4(D) + 168;
  _2 = (volatile uint32_t *) _1;
  reg_6 ={v} *_2;
  # DEBUG reg => reg_6
  # DEBUG BEGIN_STMT
  if (reg_6 != 0)
    goto <bb 4>; [50.00%]
  else
    goto <bb 3>; [50.00%]

  <bb 3> [local count: 536870913]:
  # DEBUG BEGIN_STMT
  # DEBUG ret => 0

  <bb 4> [local count: 1073741824]:
  # ret_3 = PHI <1(2), 0(3)>
  # DEBUG ret => ret_3
  # DEBUG BEGIN_STMT
  return ret_3;

}


pfe_hif_chnl_cfg_set_tx_wb_table (addr_t base_va, uint32_t channel_id, const void * wb_tbl_pa, uint32_t tbl_len)
{
  long unsigned int _1;
  long unsigned int _2;
  long unsigned int _3;
  long unsigned int _4;
  volatile uint32_t * _5;
  long unsigned int wb_tbl_pa.3_6;
  long unsigned int _7;
  volatile uint32_t * _8;
  long unsigned int _9;
  volatile uint32_t * _10;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  if (channel_id_12(D) > 3)
    goto <bb 5>; [50.00%]
  else
    goto <bb 3>; [50.00%]

  <bb 3> [local count: 536870913]:
  # DEBUG BEGIN_STMT
  if (tbl_len_14(D) > 65535)
    goto <bb 5>; [50.00%]
  else
    goto <bb 4>; [50.00%]

  <bb 4> [local count: 268435456]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = channel_id_12(D);
  _2 = _1 * 256;
  _3 = _2 + base_va_15(D);
  _4 = _3 + 276;
  _5 = (volatile uint32_t *) _4;
  wb_tbl_pa.3_6 = (long unsigned int) wb_tbl_pa_16(D);
  *_5 ={v} wb_tbl_pa.3_6;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _7 = _3 + 280;
  _8 = (volatile uint32_t *) _7;
  *_8 ={v} 0;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _9 = _3 + 300;
  _10 = (volatile uint32_t *) _9;
  *_10 ={v} tbl_len_14(D);

  <bb 5> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  return;

}


pfe_hif_chnl_cfg_set_tx_bd_ring_addr (addr_t base_va, uint32_t channel_id, const void * tx_ring_pa)
{
  long unsigned int _1;
  long unsigned int _2;
  long unsigned int _3;
  long unsigned int _4;
  volatile uint32_t * _5;
  long unsigned int tx_ring_pa.2_6;
  long unsigned int _7;
  volatile uint32_t * _8;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  if (channel_id_10(D) > 3)
    goto <bb 4>; [50.00%]
  else
    goto <bb 3>; [50.00%]

  <bb 3> [local count: 536870913]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = channel_id_10(D);
  _2 = _1 * 256;
  _3 = _2 + base_va_12(D);
  _4 = _3 + 284;
  _5 = (volatile uint32_t *) _4;
  tx_ring_pa.2_6 = (long unsigned int) tx_ring_pa_13(D);
  *_5 ={v} tx_ring_pa.2_6;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _7 = _3 + 288;
  _8 = (volatile uint32_t *) _7;
  *_8 ={v} 0;

  <bb 4> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  return;

}


pfe_hif_chnl_cfg_set_rx_wb_table (addr_t base_va, uint32_t channel_id, const void * wb_tbl_pa, uint32_t tbl_len)
{
  long unsigned int _1;
  long unsigned int _2;
  long unsigned int _3;
  long unsigned int _4;
  volatile uint32_t * _5;
  long unsigned int wb_tbl_pa.1_6;
  long unsigned int _7;
  volatile uint32_t * _8;
  long unsigned int _9;
  volatile uint32_t * _10;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  if (channel_id_12(D) > 3)
    goto <bb 5>; [50.00%]
  else
    goto <bb 3>; [50.00%]

  <bb 3> [local count: 536870913]:
  # DEBUG BEGIN_STMT
  if (tbl_len_14(D) > 65535)
    goto <bb 5>; [50.00%]
  else
    goto <bb 4>; [50.00%]

  <bb 4> [local count: 268435456]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = channel_id_12(D);
  _2 = _1 * 256;
  _3 = _2 + base_va_15(D);
  _4 = _3 + 260;
  _5 = (volatile uint32_t *) _4;
  wb_tbl_pa.1_6 = (long unsigned int) wb_tbl_pa_16(D);
  *_5 ={v} wb_tbl_pa.1_6;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _7 = _3 + 264;
  _8 = (volatile uint32_t *) _7;
  *_8 ={v} 0;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _9 = _3 + 292;
  _10 = (volatile uint32_t *) _9;
  *_10 ={v} tbl_len_14(D);

  <bb 5> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  return;

}


pfe_hif_chnl_cfg_set_rx_bd_ring_addr (addr_t base_va, uint32_t channel_id, const void * rx_ring_pa)
{
  long unsigned int _1;
  long unsigned int _2;
  long unsigned int _3;
  long unsigned int _4;
  volatile uint32_t * _5;
  long unsigned int rx_ring_pa.0_6;
  long unsigned int _7;
  volatile uint32_t * _8;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  if (channel_id_10(D) > 3)
    goto <bb 4>; [50.00%]
  else
    goto <bb 3>; [50.00%]

  <bb 3> [local count: 536870913]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = channel_id_10(D);
  _2 = _1 * 256;
  _3 = _2 + base_va_12(D);
  _4 = _3 + 268;
  _5 = (volatile uint32_t *) _4;
  rx_ring_pa.0_6 = (long unsigned int) rx_ring_pa_13(D);
  *_5 ={v} rx_ring_pa.0_6;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _7 = _3 + 272;
  _8 = (volatile uint32_t *) _7;
  *_8 ={v} 0;

  <bb 4> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  return;

}


pfe_hif_chnl_cfg_tx_irq_unmask (addr_t base_va, uint32_t channel_id)
{
  uint32_t reg;
  long unsigned int _1;
  long unsigned int _2;
  long unsigned int _3;
  long unsigned int _4;
  volatile uint32_t * _5;
  long unsigned int _6;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = channel_id_7(D) & 3;
  _2 = _1 * 256;
  _3 = _2 + base_va_8(D);
  _4 = _3 + 356;
  _5 = (volatile uint32_t *) _4;
  reg_10 ={v} *_5;
  # DEBUG reg => reg_10
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _6 = reg_10 | 24;
  *_5 ={v} _6;
  # DEBUG BEGIN_STMT
  return;

}


pfe_hif_chnl_cfg_tx_irq_mask (addr_t base_va, uint32_t channel_id)
{
  uint32_t reg;
  long unsigned int _1;
  long unsigned int _2;
  long unsigned int _3;
  long unsigned int _4;
  volatile uint32_t * _5;
  long unsigned int _6;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = channel_id_7(D) & 3;
  _2 = _1 * 256;
  _3 = _2 + base_va_8(D);
  _4 = _3 + 356;
  _5 = (volatile uint32_t *) _4;
  reg_10 ={v} *_5;
  # DEBUG reg => reg_10
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _6 = reg_10 & 4294967271;
  *_5 ={v} _6;
  # DEBUG BEGIN_STMT
  return;

}


pfe_hif_chnl_cfg_rx_irq_unmask (addr_t base_va, uint32_t channel_id)
{
  uint32_t reg;
  long unsigned int _1;
  long unsigned int _2;
  long unsigned int _3;
  long unsigned int _4;
  volatile uint32_t * _5;
  long unsigned int _6;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = channel_id_7(D) & 3;
  _2 = _1 * 256;
  _3 = _2 + base_va_8(D);
  _4 = _3 + 356;
  _5 = (volatile uint32_t *) _4;
  reg_10 ={v} *_5;
  # DEBUG reg => reg_10
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _6 = reg_10 | 6;
  *_5 ={v} _6;
  # DEBUG BEGIN_STMT
  return;

}


pfe_hif_chnl_cfg_rx_irq_mask (addr_t base_va, uint32_t channel_id)
{
  uint32_t reg;
  long unsigned int _1;
  long unsigned int _2;
  long unsigned int _3;
  long unsigned int _4;
  volatile uint32_t * _5;
  long unsigned int _6;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = channel_id_7(D) & 3;
  _2 = _1 * 256;
  _3 = _2 + base_va_8(D);
  _4 = _3 + 356;
  _5 = (volatile uint32_t *) _4;
  reg_10 ={v} *_5;
  # DEBUG reg => reg_10
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _6 = reg_10 & 4294967289;
  *_5 ={v} _6;
  # DEBUG BEGIN_STMT
  return;

}


pfe_hif_chnl_cfg_irq_unmask (addr_t base_va, uint32_t channel_id)
{
  uint32_t reg;
  long unsigned int _1;
  long unsigned int _2;
  long unsigned int _3;
  long unsigned int _4;
  volatile uint32_t * _5;
  long unsigned int _6;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = channel_id_7(D) & 3;
  _2 = _1 * 256;
  _3 = _2 + base_va_8(D);
  _4 = _3 + 356;
  _5 = (volatile uint32_t *) _4;
  _6 ={v} *_5;
  reg_10 = _6 | 1;
  # DEBUG reg => reg_10
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  *_5 ={v} reg_10;
  # DEBUG BEGIN_STMT
  return;

}


pfe_hif_chnl_cfg_irq_mask (addr_t base_va, uint32_t channel_id)
{
  uint32_t reg;
  long unsigned int _1;
  long unsigned int _2;
  long unsigned int _3;
  long unsigned int _4;
  volatile uint32_t * _5;
  long unsigned int _6;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = channel_id_7(D) & 3;
  _2 = _1 * 256;
  _3 = _2 + base_va_8(D);
  _4 = _3 + 356;
  _5 = (volatile uint32_t *) _4;
  _6 ={v} *_5;
  reg_10 = _6 & 4294967294;
  # DEBUG reg => reg_10
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  *_5 ={v} reg_10;
  # DEBUG BEGIN_STMT
  return;

}


pfe_hif_chnl_cfg_tx_dma_start (addr_t base_va, uint32_t channel_id)
{
  <bb 2> [local count: 1073741824]:
  pfe_hif_chnl_cfg_rx_dma_start (base_va_1(D), channel_id_2(D)); [tail call]
  return;

}


pfe_hif_chnl_cfg_rx_dma_start (addr_t base_va, uint32_t channel_id)
{
  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  return;

}


pfe_hif_chnl_cfg_rx_disable (addr_t base_va, uint32_t channel_id)
{
  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (channel_id_3(D) > 3)
    goto <bb 4>; [67.00%]
  else
    goto <bb 3>; [33.00%]

  <bb 3> [local count: 354334800]:
  pfe_hif_chnl_cfg_rx_disable.part.0 (base_va_5(D), channel_id_3(D));

  <bb 4> [local count: 1073741824]:
  return;

}


pfe_hif_chnl_cfg_rx_enable (addr_t base_va, uint32_t channel_id)
{
  uint32_t reg;
  long unsigned int _1;
  long unsigned int _2;
  long unsigned int _3;
  long unsigned int _4;
  volatile uint32_t * _5;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (channel_id_7(D) > 3)
    goto <bb 4>; [50.00%]
  else
    goto <bb 3>; [50.00%]

  <bb 3> [local count: 536870913]:
  # DEBUG BEGIN_STMT
  _1 = channel_id_7(D);
  _2 = _1 + 1;
  _3 = _2 * 256;
  _4 = _3 + base_va_9(D);
  _5 = (volatile uint32_t *) _4;
  reg_10 ={v} *_5;
  # DEBUG reg => reg_10
  # DEBUG BEGIN_STMT
  # DEBUG reg => reg_10 | 131072
  # DEBUG BEGIN_STMT
  reg_11 = reg_10 | 196608;
  # DEBUG reg => reg_11
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  *_5 ={v} reg_11;

  <bb 4> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  return;

}


pfe_hif_chnl_cfg_tx_disable (addr_t base_va, uint32_t channel_id)
{
  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (channel_id_3(D) > 3)
    goto <bb 4>; [67.00%]
  else
    goto <bb 3>; [33.00%]

  <bb 3> [local count: 354334800]:
  pfe_hif_chnl_cfg_tx_disable.part.0 (base_va_5(D), channel_id_3(D));

  <bb 4> [local count: 1073741824]:
  return;

}


pfe_hif_chnl_cfg_tx_enable (addr_t base_va, uint32_t channel_id)
{
  uint32_t reg;
  long unsigned int _1;
  long unsigned int _2;
  long unsigned int _3;
  long unsigned int _4;
  volatile uint32_t * _5;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (channel_id_7(D) > 3)
    goto <bb 4>; [50.00%]
  else
    goto <bb 3>; [50.00%]

  <bb 3> [local count: 536870913]:
  # DEBUG BEGIN_STMT
  _1 = channel_id_7(D);
  _2 = _1 + 1;
  _3 = _2 * 256;
  _4 = _3 + base_va_9(D);
  _5 = (volatile uint32_t *) _4;
  reg_10 ={v} *_5;
  # DEBUG reg => reg_10
  # DEBUG BEGIN_STMT
  # DEBUG reg => reg_10 | 2
  # DEBUG BEGIN_STMT
  reg_11 = reg_10 | 3;
  # DEBUG reg => reg_11
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  *_5 ={v} reg_11;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG base_va => base_va_9(D)
  # DEBUG channel_id => channel_id_7(D)
  # DEBUG INLINE_ENTRY pfe_hif_chnl_cfg_tx_dma_start
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT

  <bb 4> [local count: 1073741824]:
  # DEBUG base_va => NULL
  # DEBUG channel_id => NULL
  return;

}


pfe_hif_cfg_get_tx_fifo_fill_level (addr_t base_va)
{
  unsigned int _1;
  volatile uint32_t * _2;
  long unsigned int _3;
  uint32_t _6;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  _1 = base_va_4(D) + 140;
  _2 = (volatile uint32_t *) _1;
  _3 ={v} *_2;
  _6 = _3 * 8;
  return _6;

}


pfe_hif_cfg_fini (addr_t base_va)
{
  unsigned int _1;
  volatile uint32_t * _2;
  unsigned int _3;
  volatile uint32_t * _4;
  unsigned int _5;
  volatile uint32_t * _6;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = base_va_7(D) + 108;
  _2 = (volatile uint32_t *) _1;
  *_2 ={v} 0;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _3 = base_va_7(D) + 116;
  _4 = (volatile uint32_t *) _3;
  *_4 ={v} 0;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _5 = base_va_7(D) + 124;
  _6 = (volatile uint32_t *) _5;
  *_6 ={v} 0;
  # DEBUG BEGIN_STMT
  return;

}


pfe_hif_cfg_init (addr_t base_va)
{
  uint32_t ii;
  errno_t ret;
  unsigned int _1;
  volatile uint32_t * _2;
  unsigned int _3;
  volatile uint32_t * _4;
  unsigned int _5;
  volatile uint32_t * _6;
  unsigned int _7;
  volatile uint32_t * _8;
  unsigned int _9;
  volatile uint32_t * _10;
  unsigned int _11;
  volatile uint32_t * _12;
  unsigned char _13;
  unsigned int _14;
  volatile uint32_t * _15;
  long unsigned int _16;
  unsigned int _17;
  volatile uint32_t * _18;
  unsigned int _19;
  volatile uint32_t * _20;
  unsigned int _21;
  volatile uint32_t * _22;
  unsigned int _23;
  volatile uint32_t * _24;
  unsigned int _25;
  volatile uint32_t * _26;
  unsigned int _27;
  volatile uint32_t * _28;
  unsigned int _29;
  volatile uint32_t * _30;
  unsigned int _31;
  volatile uint32_t * _32;

  <bb 2> [local count: 138405320]:
  # DEBUG BEGIN_STMT
  # DEBUG ret => 0
  # DEBUG BEGIN_STMT
  # DEBUG ii => 0
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = base_va_37(D) + 108;
  _2 = (volatile uint32_t *) _1;
  *_2 ={v} 0;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _3 = base_va_37(D) + 116;
  _4 = (volatile uint32_t *) _3;
  *_4 ={v} 0;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _5 = base_va_37(D) + 124;
  _6 = (volatile uint32_t *) _5;
  *_6 ={v} 0;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _7 = base_va_37(D) + 104;
  _8 = (volatile uint32_t *) _7;
  *_8 ={v} 4294967295;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _9 = base_va_37(D) + 112;
  _10 = (volatile uint32_t *) _9;
  *_10 ={v} 4294967295;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _11 = base_va_37(D) + 120;
  _12 = (volatile uint32_t *) _11;
  *_12 ={v} 4294967295;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _13 = pfe_feature_mgr_is_available ("drv_run_on_g3");
  if (_13 == 0)
    goto <bb 3>; [50.00%]
  else
    goto <bb 8>; [50.00%]

  <bb 3> [local count: 69202660]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _14 = base_va_37(D) + 20;
  _15 = (volatile uint32_t *) _14;
  *_15 ={v} 15;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  goto <bb 6>; [100.00%]

  <bb 4> [local count: 1014686024]:
  # DEBUG BEGIN_STMT
  ii_47 = ii_34 + 1;
  # DEBUG ii => ii_47
  if (ii_47 == 1001)
    goto <bb 7>; [1.00%]
  else
    goto <bb 5>; [99.00%]

  <bb 5> [local count: 1004539164]:
  # DEBUG BEGIN_STMT
  oal_time_usleep (1000);

  <bb 6> [local count: 1073741824]:
  # ii_34 = PHI <0(3), ii_47(5)>
  # DEBUG ii => ii_34
  # DEBUG BEGIN_STMT
  _16 ={v} *_15;
  if (_16 != 0)
    goto <bb 4>; [94.50%]
  else
    goto <bb 7>; [5.50%]

  <bb 7> [local count: 69202661]:
  # ret_33 = PHI <0(6), 110(4)>
  # DEBUG ret => ret_33
  # DEBUG BEGIN_STMT
  if (ret_33 == 0)
    goto <bb 8>; [50.00%]
  else
    goto <bb 9>; [50.00%]

  <bb 8> [local count: 103803990]:
  # ret_49 = PHI <ret_33(7), 0(2)>
  # DEBUG ret => NULL
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _17 = base_va_37(D) + 4;
  _18 = (volatile uint32_t *) _17;
  *_18 ={v} 16711935;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _19 = base_va_37(D) + 8;
  _20 = (volatile uint32_t *) _19;
  *_20 ={v} 16711935;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _21 = base_va_37(D) + 12;
  _22 = (volatile uint32_t *) _21;
  *_22 ={v} 32;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _23 = base_va_37(D) + 16;
  _24 = (volatile uint32_t *) _23;
  *_24 ={v} 100000000;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _25 = base_va_37(D) + 204;
  _26 = (volatile uint32_t *) _25;
  *_26 ={v} 857870592;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _27 = base_va_37(D) + 200;
  _28 = (volatile uint32_t *) _27;
  *_28 ={v} 0;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _29 = base_va_37(D) + 196;
  _30 = (volatile uint32_t *) _29;
  *_30 ={v} 0;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _31 = base_va_37(D) + 208;
  _32 = (volatile uint32_t *) _31;
  *_32 ={v} 0;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  *_2 ={v} 4294967294;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  *_4 ={v} 4294967294;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  *_6 ={v} 4294967294;

  <bb 9> [local count: 138405321]:
  # ret_61 = PHI <ret_33(7), ret_49(8)>
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  return ret_61;

}


pfe_hif_chnl_cfg_fini (addr_t base_va, uint32_t channel_id)
{
  long unsigned int _1;
  long unsigned int _2;
  long unsigned int _3;
  long unsigned int _4;
  volatile uint32_t * _5;
  long unsigned int _6;
  volatile uint32_t * _7;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  if (channel_id_9(D) > 3)
    goto <bb 4>; [67.00%]
  else
    goto <bb 3>; [33.00%]

  <bb 3> [local count: 354334802]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = channel_id_9(D);
  _2 = _1 * 256;
  _3 = _2 + base_va_11(D);
  _4 = _3 + 496;
  _5 = (volatile uint32_t *) _4;
  *_5 ={v} 0;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  pfe_hif_chnl_cfg_rx_disable (base_va_11(D), channel_id_9(D));
  # DEBUG BEGIN_STMT
  pfe_hif_chnl_cfg_tx_disable (base_va_11(D), channel_id_9(D));
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _6 = _3 + 356;
  _7 = (volatile uint32_t *) _6;
  *_7 ={v} 0;

  <bb 4> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  return;

}


pfe_hif_chnl_cfg_init (addr_t base_va, uint32_t channel_id)
{
  long unsigned int _1;
  long unsigned int _2;
  long unsigned int _3;
  long unsigned int _4;
  volatile uint32_t * _5;
  long unsigned int _6;
  volatile uint32_t * _7;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = channel_id_8(D) & 3;
  _2 = _1 * 256;
  _3 = _2 + base_va_9(D);
  _4 = _3 + 356;
  _5 = (volatile uint32_t *) _4;
  *_5 ={v} 0;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _6 = _3 + 352;
  _7 = (volatile uint32_t *) _6;
  *_7 ={v} 4294967295;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  pfe_hif_chnl_cfg_rx_disable (base_va_9(D), channel_id_8(D));
  # DEBUG BEGIN_STMT
  pfe_hif_chnl_cfg_tx_disable (base_va_9(D), channel_id_8(D));
  # DEBUG BEGIN_STMT
  pfe_hif_chnl_cfg_set_rx_irq_coalesce (base_va_9(D), channel_id_8(D), 0, 0);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  *_5 ={v} 4294965248;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  return 0;

}


pfe_hif_chnl_cfg_isr (addr_t base_va, uint32_t channel_id, pfe_hif_chnl_event_t * events)
{
  errno_t ret;
  uint32_t reg_en;
  uint32_t reg_src;
  _Bool _1;
  long int _2;
  long int _3;
  long unsigned int _4;
  long unsigned int _5;
  long unsigned int _6;
  long unsigned int _7;
  volatile uint32_t * _8;
  long unsigned int _9;
  volatile uint32_t * _10;
  long unsigned int _11;
  long unsigned int _12;
  long unsigned int _13;
  long unsigned int _14;
  <unnamed type> _15;
  <unnamed type> _16;
  long unsigned int _17;
  <unnamed type> _18;
  <unnamed type> _19;
  long unsigned int _20;
  _Bool _21;
  long int _22;
  long int _23;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG ret => 2
  # DEBUG BEGIN_STMT
  *events_31(D) = 0;
  # DEBUG BEGIN_STMT
  _1 = channel_id_33(D) > 3;
  _2 = (long int) _1;
  _3 = __builtin_expect (_2, 0);
  if (_3 != 0)
    goto <bb 9>; [10.00%]
  else
    goto <bb 3>; [90.00%]

  <bb 3> [local count: 966367642]:
  # DEBUG BEGIN_STMT
  _4 = channel_id_33(D) & 3;
  _5 = _4 * 256;
  _6 = _5 + base_va_34(D);
  _7 = _6 + 356;
  _8 = (volatile uint32_t *) _7;
  reg_en_35 ={v} *_8;
  # DEBUG reg_en => reg_en_35
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  *_8 ={v} 0;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _9 = _6 + 352;
  _10 = (volatile uint32_t *) _9;
  reg_src_37 ={v} *_10;
  # DEBUG reg_src => reg_src_37
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  *_10 ={v} reg_src_37;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _11 = ~reg_src_37;
  _12 = _11 & reg_en_35;
  *_8 ={v} _12;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _13 = reg_en_35 & reg_src_37;
  _14 = _13 & 6;
  if (_14 != 0)
    goto <bb 4>; [50.00%]
  else
    goto <bb 5>; [50.00%]

  <bb 4> [local count: 483183821]:
  # DEBUG BEGIN_STMT
  _15 = *events_31(D);
  _16 = _15 | 1;
  *events_31(D) = _16;
  # DEBUG BEGIN_STMT
  # DEBUG ret => 0

  <bb 5> [local count: 966367642]:
  # ret_24 = PHI <2(3), 0(4)>
  # DEBUG ret => ret_24
  # DEBUG BEGIN_STMT
  _17 = _13 & 24;
  if (_17 != 0)
    goto <bb 6>; [50.00%]
  else
    goto <bb 7>; [50.00%]

  <bb 6> [local count: 483183821]:
  # DEBUG BEGIN_STMT
  _18 = *events_31(D);
  _19 = _18 | 2;
  *events_31(D) = _19;
  # DEBUG BEGIN_STMT
  # DEBUG ret => 0

  <bb 7> [local count: 966367642]:
  # ret_25 = PHI <ret_24(5), 0(6)>
  # DEBUG ret => ret_25
  # DEBUG BEGIN_STMT
  _20 = _13 & 2016;
  _21 = _20 != 0;
  _22 = (long int) _21;
  _23 = __builtin_expect (_22, 0);
  if (_23 != 0)
    goto <bb 8>; [10.00%]
  else
    goto <bb 9>; [90.00%]

  <bb 8> [local count: 96636764]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG ret => 0

  <bb 9> [local count: 1073741823]:
  # ret_26 = PHI <22(2), ret_25(7), 0(8)>
  # DEBUG ret => ret_26
  # DEBUG BEGIN_STMT
  return ret_26;

}


pfe_hif_cfg_irq_unmask (addr_t base_va)
{
  uint32_t reg;
  unsigned int _1;
  volatile uint32_t * _2;
  long unsigned int _3;
  unsigned int _4;
  volatile uint32_t * _5;
  long unsigned int _6;
  unsigned int _7;
  volatile uint32_t * _8;
  long unsigned int _9;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = base_va_10(D) + 108;
  _2 = (volatile uint32_t *) _1;
  _3 ={v} *_2;
  reg_12 = _3 | 1;
  # DEBUG reg => reg_12
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  *_2 ={v} reg_12;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _4 = base_va_10(D) + 116;
  _5 = (volatile uint32_t *) _4;
  _6 ={v} *_5;
  reg_14 = _6 | 1;
  # DEBUG reg => reg_14
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  *_5 ={v} reg_14;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _7 = base_va_10(D) + 124;
  _8 = (volatile uint32_t *) _7;
  _9 ={v} *_8;
  reg_16 = _9 | 1;
  # DEBUG reg => reg_16
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  *_8 ={v} reg_16;
  # DEBUG BEGIN_STMT
  return;

}


pfe_hif_cfg_irq_mask (addr_t base_va)
{
  uint32_t reg;
  unsigned int _1;
  volatile uint32_t * _2;
  long unsigned int _3;
  unsigned int _4;
  volatile uint32_t * _5;
  long unsigned int _6;
  unsigned int _7;
  volatile uint32_t * _8;
  long unsigned int _9;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = base_va_10(D) + 108;
  _2 = (volatile uint32_t *) _1;
  _3 ={v} *_2;
  reg_12 = _3 & 4294967294;
  # DEBUG reg => reg_12
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  *_2 ={v} reg_12;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _4 = base_va_10(D) + 116;
  _5 = (volatile uint32_t *) _4;
  _6 ={v} *_5;
  reg_14 = _6 & 4294967294;
  # DEBUG reg => reg_14
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  *_5 ={v} reg_14;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _7 = base_va_10(D) + 124;
  _8 = (volatile uint32_t *) _7;
  _9 ={v} *_8;
  reg_16 = _9 & 4294967294;
  # DEBUG reg => reg_16
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  *_8 ={v} reg_16;
  # DEBUG BEGIN_STMT
  return;

}


pfe_hif_cfg_isr (addr_t base_va)
{
  errno_t ret;
  uint32_t reg_en;
  uint32_t reg_src;
  uint32_t glob_src;
  unsigned int _1;
  volatile uint32_t * _2;
  _Bool _3;
  long int _4;
  long int _5;
  long unsigned int _6;
  unsigned int _7;
  volatile uint32_t * _8;
  unsigned int _9;
  volatile uint32_t * _10;
  long unsigned int _11;
  long unsigned int _12;
  long unsigned int _13;
  long unsigned int _14;
  long unsigned int _15;
  unsigned int _16;
  volatile uint32_t * _17;
  unsigned int _18;
  volatile uint32_t * _19;
  long unsigned int _20;
  long unsigned int _21;
  long unsigned int _22;
  long unsigned int _23;
  long unsigned int _24;
  unsigned int _25;
  volatile uint32_t * _26;
  unsigned int _27;
  volatile uint32_t * _28;
  long unsigned int _29;
  long unsigned int _30;
  long unsigned int _31;
  long unsigned int _32;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG ret => 2
  # DEBUG BEGIN_STMT
  _1 = base_va_39(D) + 64;
  _2 = (volatile uint32_t *) _1;
  glob_src_41 ={v} *_2;
  # DEBUG glob_src => glob_src_41
  # DEBUG BEGIN_STMT
  _3 = glob_src_41 != 0;
  _4 = (long int) _3;
  _5 = __builtin_expect (_4, 0);
  if (_5 != 0)
    goto <bb 3>; [10.00%]
  else
    goto <bb 12>; [90.00%]

  <bb 3> [local count: 107374182]:
  # DEBUG BEGIN_STMT
  _6 = glob_src_41 & 65536;
  if (_6 != 0)
    goto <bb 4>; [50.00%]
  else
    goto <bb 6>; [50.00%]

  <bb 4> [local count: 53687091]:
  # DEBUG BEGIN_STMT
  _7 = base_va_39(D) + 108;
  _8 = (volatile uint32_t *) _7;
  reg_en_42 ={v} *_8;
  # DEBUG reg_en => reg_en_42
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  *_8 ={v} 0;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _9 = base_va_39(D) + 104;
  _10 = (volatile uint32_t *) _9;
  reg_src_44 ={v} *_10;
  # DEBUG reg_src => reg_src_44
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  *_10 ={v} reg_src_44;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _11 = ~reg_src_44;
  _12 = _11 & reg_en_42;
  *_8 ={v} _12;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _13 = reg_en_42 & reg_src_44;
  _14 = _13 & 1;
  if (_14 != 0)
    goto <bb 5>; [33.00%]
  else
    goto <bb 6>; [67.00%]

  <bb 5> [local count: 17716740]:
  # DEBUG BEGIN_STMT
  pfe_hm_report (14, 2, 190, "Interrupt (0x%x)", reg_src_44);
  # DEBUG BEGIN_STMT
  # DEBUG ret => 0

  <bb 6> [local count: 107374183]:
  # ret_33 = PHI <2(3), 2(4), 0(5)>
  # DEBUG ret => ret_33
  # DEBUG BEGIN_STMT
  _15 = glob_src_41 & 131072;
  if (_15 != 0)
    goto <bb 7>; [50.00%]
  else
    goto <bb 9>; [50.00%]

  <bb 7> [local count: 53687091]:
  # DEBUG BEGIN_STMT
  _16 = base_va_39(D) + 116;
  _17 = (volatile uint32_t *) _16;
  reg_en_48 ={v} *_17;
  # DEBUG reg_en => reg_en_48
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  *_17 ={v} 0;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _18 = base_va_39(D) + 112;
  _19 = (volatile uint32_t *) _18;
  reg_src_50 ={v} *_19;
  # DEBUG reg_src => reg_src_50
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  *_19 ={v} reg_src_50;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _20 = ~reg_src_50;
  _21 = _20 & reg_en_48;
  *_17 ={v} _21;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _22 = reg_en_48 & reg_src_50;
  _23 = _22 & 1;
  if (_23 != 0)
    goto <bb 8>; [33.00%]
  else
    goto <bb 9>; [67.00%]

  <bb 8> [local count: 17716740]:
  # DEBUG BEGIN_STMT
  pfe_hm_report (14, 2, 191, "Interrupt (0x%x)", reg_src_50);
  # DEBUG BEGIN_STMT
  # DEBUG ret => 0

  <bb 9> [local count: 107374183]:
  # ret_34 = PHI <ret_33(6), ret_33(7), 0(8)>
  # DEBUG ret => ret_34
  # DEBUG BEGIN_STMT
  _24 = glob_src_41 & 262144;
  if (_24 != 0)
    goto <bb 10>; [50.00%]
  else
    goto <bb 12>; [50.00%]

  <bb 10> [local count: 53687091]:
  # DEBUG BEGIN_STMT
  _25 = base_va_39(D) + 124;
  _26 = (volatile uint32_t *) _25;
  reg_en_54 ={v} *_26;
  # DEBUG reg_en => reg_en_54
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  *_26 ={v} 0;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _27 = base_va_39(D) + 120;
  _28 = (volatile uint32_t *) _27;
  reg_src_56 ={v} *_28;
  # DEBUG reg_src => reg_src_56
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  *_28 ={v} reg_src_56;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _29 = ~reg_src_56;
  _30 = _29 & reg_en_54;
  *_26 ={v} _30;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _31 = reg_en_54 & reg_src_56;
  _32 = _31 & 1;
  if (_32 != 0)
    goto <bb 11>; [33.00%]
  else
    goto <bb 12>; [67.00%]

  <bb 11> [local count: 17716740]:
  # DEBUG BEGIN_STMT
  pfe_hm_report (14, 2, 192, "Interrupt (0x%x)", reg_src_56);
  # DEBUG BEGIN_STMT
  # DEBUG ret => 0

  <bb 12> [local count: 1073741824]:
  # ret_35 = PHI <2(2), ret_34(9), ret_34(10), 0(11)>
  # DEBUG ret => ret_35
  # DEBUG BEGIN_STMT
  return ret_35;

}


