pfe_hif_nocpy_cfg_get_rx_cnt (addr_t base_va)
{
  uint32_t retval.24;

  <bb 2> [local count: 1073741824]:
  retval.24_2 = pfe_hif_nocpy_cfg_get_tx_cnt (base_va_1(D)); [tail call]
  return retval.24_2;

}


pfe_hif_nocpy_cfg_get_tx_cnt (addr_t base_va)
{
  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  return 4294967295;

}


pfe_hif_nocpy_chnl_cfg_get_text_stat (addr_t base_va, const char_t * buf, uint32_t size, uint8_t verb_level)
{
  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  return 0;

}


pfe_hif_nocpy_cfg_is_tx_dma_active (addr_t base_va)
{
  bool_t ret;
  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
  # DEBUG ret => 0
  # DEBUG BEGIN_STMT
  _1 = base_va_5(D) + 20;
  _2 = (volatile uint32_t *) _1;
  reg_7 ={v} *_2;
  # DEBUG reg => reg_7
  # DEBUG BEGIN_STMT
  _3 = reg_7 & 3932160;
  if (_3 != 0)
    goto <bb 3>; [50.00%]
  else
    goto <bb 4>; [50.00%]

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

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

}


pfe_hif_nocpy_cfg_is_rx_dma_active (addr_t base_va)
{
  bool_t ret;
  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
  # DEBUG ret => 0
  # DEBUG BEGIN_STMT
  _1 = base_va_5(D) + 48;
  _2 = (volatile uint32_t *) _1;
  reg_7 ={v} *_2;
  # DEBUG reg => reg_7
  # DEBUG BEGIN_STMT
  _3 = reg_7 & 3932160;
  if (_3 != 0)
    goto <bb 3>; [50.00%]
  else
    goto <bb 4>; [50.00%]

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

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

}


pfe_hif_nocpy_cfg_set_tx_bd_ring_addr (addr_t base_va, const void * tx_ring_pa)
{
  unsigned int _1;
  volatile uint32_t * _2;
  long unsigned int tx_ring_pa.1_3;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = base_va_4(D) + 16;
  _2 = (volatile uint32_t *) _1;
  tx_ring_pa.1_3 = (long unsigned int) tx_ring_pa_5(D);
  *_2 ={v} tx_ring_pa.1_3;
  # DEBUG BEGIN_STMT
  return;

}


pfe_hif_nocpy_cfg_set_rx_bd_ring_addr (addr_t base_va, const void * rx_ring_pa)
{
  unsigned int _1;
  volatile uint32_t * _2;
  long unsigned int rx_ring_pa.0_3;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = base_va_4(D) + 36;
  _2 = (volatile uint32_t *) _1;
  rx_ring_pa.0_3 = (long unsigned int) rx_ring_pa_5(D);
  *_2 ={v} rx_ring_pa.0_3;
  # DEBUG BEGIN_STMT
  return;

}


pfe_hif_nocpy_cfg_tx_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) + 56;
  _2 = (volatile uint32_t *) _1;
  reg_6 ={v} *_2;
  # DEBUG reg => reg_6
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _3 = reg_6 | 24;
  *_2 ={v} _3;
  # DEBUG BEGIN_STMT
  return;

}


pfe_hif_nocpy_cfg_tx_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) + 56;
  _2 = (volatile uint32_t *) _1;
  reg_6 ={v} *_2;
  # DEBUG reg => reg_6
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _3 = reg_6 & 4294967271;
  *_2 ={v} _3;
  # DEBUG BEGIN_STMT
  return;

}


pfe_hif_nocpy_cfg_rx_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) + 56;
  _2 = (volatile uint32_t *) _1;
  reg_6 ={v} *_2;
  # DEBUG reg => reg_6
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _3 = reg_6 | 6;
  *_2 ={v} _3;
  # DEBUG BEGIN_STMT
  return;

}


pfe_hif_nocpy_cfg_rx_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) + 56;
  _2 = (volatile uint32_t *) _1;
  reg_6 ={v} *_2;
  # DEBUG reg => reg_6
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _3 = reg_6 & 4294967289;
  *_2 ={v} _3;
  # DEBUG BEGIN_STMT
  return;

}


pfe_hif_nocpy_cfg_tx_dma_start (addr_t base_va)
{
  <bb 2> [local count: 1073741824]:
  pfe_hif_nocpy_cfg_rx_dma_start (base_va_1(D)); [tail call]
  return;

}


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

}


pfe_hif_nocpy_cfg_rx_disable (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) + 32;
  _2 = (volatile uint32_t *) _1;
  *_2 ={v} 0;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  pfe_hif_nocpy_cfg_rx_irq_mask (base_va_3(D));
  return;

}


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

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

}


pfe_hif_nocpy_cfg_tx_disable (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) + 4;
  _2 = (volatile uint32_t *) _1;
  *_2 ={v} 0;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  pfe_hif_nocpy_cfg_tx_irq_mask (base_va_3(D));
  return;

}


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

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

}


pfe_hif_nocpy_cfg_fini (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) + 56;
  _2 = (volatile uint32_t *) _1;
  *_2 ={v} 0;
  # DEBUG BEGIN_STMT
  return;

}


pfe_hif_nocpy_cfg_init (addr_t base_va)
{
  uint32_t regval;
  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 int _13;
  volatile uint32_t * _14;
  unsigned int _15;
  volatile uint32_t * _16;
  unsigned int _17;
  volatile uint32_t * _18;
  unsigned int _19;
  volatile uint32_t * _20;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = base_va_21(D) + 56;
  _2 = (volatile uint32_t *) _1;
  *_2 ={v} 0;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _3 = base_va_21(D) + 52;
  _4 = (volatile uint32_t *) _3;
  *_4 ={v} 4294967295;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  pfe_hif_nocpy_cfg_rx_disable (base_va_21(D));
  # DEBUG BEGIN_STMT
  pfe_hif_nocpy_cfg_tx_disable (base_va_21(D));
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _5 = base_va_21(D) + 96;
  _6 = (volatile uint32_t *) _5;
  *_6 ={v} 4;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _7 = base_va_21(D) + 100;
  _8 = (volatile uint32_t *) _7;
  *_8 ={v} 3221782576;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _9 = base_va_21(D) + 104;
  _10 = (volatile uint32_t *) _9;
  *_10 ={v} 3221815312;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _11 = base_va_21(D) + 112;
  _12 = (volatile uint32_t *) _11;
  *_12 ={v} 3221749768;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _13 = base_va_21(D) + 60;
  _14 = (volatile uint32_t *) _13;
  *_14 ={v} 67109888;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _15 = base_va_21(D) + 32;
  _16 = (volatile uint32_t *) _15;
  *_16 ={v} 2;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _17 = base_va_21(D) + 4;
  _18 = (volatile uint32_t *) _17;
  *_18 ={v} 2;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _19 = base_va_21(D) + 148;
  _20 = (volatile uint32_t *) _19;
  regval_34 ={v} *_20;
  # DEBUG regval => regval_34
  # DEBUG BEGIN_STMT
  regval_35 = regval_34 | 1;
  # DEBUG regval => regval_35
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  *_20 ={v} regval_35;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  *_2 ={v} 4294967264;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  return 0;

}


pfe_hif_nocpy_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) + 56;
  _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_hif_nocpy_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) + 56;
  _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_hif_nocpy_cfg_isr (addr_t base_va, pfe_hif_chnl_event_t * events)
{
  errno_t ret;
  uint32_t reg_en;
  uint32_t reg_src;
  unsigned int _1;
  volatile uint32_t * _2;
  unsigned int _3;
  volatile uint32_t * _4;
  long unsigned int _5;
  long unsigned int _6;
  long unsigned int _7;
  long unsigned int _8;
  <unnamed type> _9;
  <unnamed type> _10;
  long unsigned int _11;
  <unnamed type> _12;
  <unnamed type> _13;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG ret => 2
  # DEBUG BEGIN_STMT
  *events_19(D) = 0;
  # DEBUG BEGIN_STMT
  _1 = base_va_21(D) + 56;
  _2 = (volatile uint32_t *) _1;
  reg_en_22 ={v} *_2;
  # DEBUG reg_en => reg_en_22
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  *_2 ={v} 0;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _3 = base_va_21(D) + 52;
  _4 = (volatile uint32_t *) _3;
  reg_src_24 ={v} *_4;
  # DEBUG reg_src => reg_src_24
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  *_4 ={v} reg_src_24;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _5 = ~reg_src_24;
  _6 = _5 & reg_en_22;
  *_2 ={v} _6;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _7 = reg_en_22 & reg_src_24;
  _8 = _7 & 6;
  if (_8 != 0)
    goto <bb 3>; [50.00%]
  else
    goto <bb 4>; [50.00%]

  <bb 3> [local count: 536870913]:
  # DEBUG BEGIN_STMT
  _9 = *events_19(D);
  _10 = _9 | 1;
  *events_19(D) = _10;
  # DEBUG BEGIN_STMT
  # DEBUG ret => 0

  <bb 4> [local count: 1073741824]:
  # ret_14 = PHI <2(2), 0(3)>
  # DEBUG ret => ret_14
  # DEBUG BEGIN_STMT
  _11 = _7 & 24;
  if (_11 != 0)
    goto <bb 5>; [50.00%]
  else
    goto <bb 6>; [50.00%]

  <bb 5> [local count: 536870913]:
  # DEBUG BEGIN_STMT
  _12 = *events_19(D);
  _13 = _12 | 2;
  *events_19(D) = _13;
  # DEBUG BEGIN_STMT
  # DEBUG ret => 0

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

}


