pfe_hif_set_master_up (const struct pfe_hif_t * hif)
{
  uint32_t ii;
  <unnamed type> _1;
  long unsigned int _2;
  long unsigned int _3;
  long unsigned int _4;
  unsigned int _5;
  unsigned int _6;

  <bb 2> [local count: 214748364]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG ii => 0
  goto <bb 7>; [100.00%]

  <bb 3> [local count: 858993459]:
  # DEBUG BEGIN_STMT
  _1 = hif_11(D)->configured_channels_mask;
  _2 = (long unsigned int) _1;
  _3 = _2 >> ii_7;
  _4 = _3 & 1;
  if (_4 != 0)
    goto <bb 4>; [50.00%]
  else
    goto <bb 5>; [50.00%]

  <bb 4> [local count: 429496729]:
  # DEBUG BEGIN_STMT
  _5 = hif_11(D)->cbus_base_va;
  pfe_hif_chnl_cfg_ltc_set (_5, ii_7, 3);
  goto <bb 6>; [100.00%]

  <bb 5> [local count: 429496729]:
  # DEBUG BEGIN_STMT
  _6 = hif_11(D)->cbus_base_va;
  pfe_hif_chnl_cfg_ltc_set (_6, ii_7, 1);

  <bb 6> [local count: 858993459]:
  # DEBUG BEGIN_STMT
  ii_14 = ii_7 + 1;
  # DEBUG ii => ii_14

  <bb 7> [local count: 1073741824]:
  # ii_7 = PHI <0(2), ii_14(6)>
  # DEBUG ii => ii_7
  # DEBUG BEGIN_STMT
  if (ii_7 != 4)
    goto <bb 3>; [80.00%]
  else
    goto <bb 8>; [20.00%]

  <bb 8> [local count: 214748365]:
  return;

}


pfe_hif_clear_master_up (const struct pfe_hif_t * hif)
{
  uint32_t ii;
  unsigned int _1;

  <bb 2> [local count: 214748364]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG ii => 0
  goto <bb 4>; [100.00%]

  <bb 3> [local count: 858993459]:
  # DEBUG BEGIN_STMT
  _1 = hif_5(D)->cbus_base_va;
  pfe_hif_chnl_cfg_ltc_set (_1, ii_2, 0);
  # DEBUG BEGIN_STMT
  ii_7 = ii_2 + 1;
  # DEBUG ii => ii_7

  <bb 4> [local count: 1073741824]:
  # ii_2 = PHI <0(2), ii_7(3)>
  # DEBUG ii => ii_2
  # DEBUG BEGIN_STMT
  if (ii_2 != 4)
    goto <bb 3>; [80.00%]
  else
    goto <bb 5>; [20.00%]

  <bb 5> [local count: 214748365]:
  return;

}


pfe_hif_destroy (struct pfe_hif_t * hif)
{
  uint32_t channels_mask;
  uint32_t ii;
  <unnamed type> _1;
  long unsigned int _2;
  long unsigned int _3;
  struct pfe_hif_chnl_t * _4;
  <unnamed type> _5;
  unsigned char _6;
  unsigned char _7;
  unsigned char _8;
  unsigned int _9;

  <bb 2> [local count: 401624021]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG channels_mask => 1
  # DEBUG BEGIN_STMT
  if (hif_15(D) != 0B)
    goto <bb 3>; [53.47%]
  else
    goto <bb 9>; [46.53%]

  <bb 3> [local count: 214748364]:
  # DEBUG BEGIN_STMT
  pfe_hif_clear_master_up (hif_15(D));
  # DEBUG BEGIN_STMT
  # DEBUG ii => 0
  goto <bb 7>; [100.00%]

  <bb 4> [local count: 858993460]:
  # DEBUG BEGIN_STMT
  _1 = hif_15(D)->configured_channels_mask;
  _2 = (long unsigned int) _1;
  _3 = _2 & channels_mask_11;
  if (_3 != 0)
    goto <bb 5>; [0.00%]
  else
    goto <bb 6>; [100.00%]

  <bb 5> [count: 0]:
  # DEBUG BEGIN_STMT
  _4 = &hif_15(D)->channels[ii_10];
  pfe_hif_chnl_rx_disable (_4);
  # DEBUG BEGIN_STMT
  pfe_hif_chnl_tx_disable (_4);
  # DEBUG BEGIN_STMT
  pfe_hif_chnl_destroy (_4);
  # DEBUG BEGIN_STMT
  _5 = hif_15(D)->configured_channels_mask;
  _6 = (unsigned char) channels_mask_11;
  _7 = ~_6;
  _8 = _5 & _7;
  hif_15(D)->configured_channels_mask = _8;

  <bb 6> [local count: 858993460]:
  # DEBUG BEGIN_STMT
  channels_mask_23 = channels_mask_11 << 1;
  # DEBUG channels_mask => channels_mask_23
  # DEBUG BEGIN_STMT
  ii_24 = ii_10 + 1;
  # DEBUG ii => ii_24

  <bb 7> [local count: 1073741824]:
  # ii_10 = PHI <0(3), ii_24(6)>
  # channels_mask_11 = PHI <1(3), channels_mask_23(6)>
  # DEBUG channels_mask => channels_mask_11
  # DEBUG ii => ii_10
  # DEBUG BEGIN_STMT
  if (ii_10 != 4)
    goto <bb 4>; [80.00%]
  else
    goto <bb 8>; [20.00%]

  <bb 8> [local count: 214748365]:
  # DEBUG BEGIN_STMT
  _9 = hif_15(D)->cbus_base_va;
  pfe_hif_cfg_fini (_9);

  <bb 9> [local count: 401624022]:
  return;

}


pfe_hif_get_channel (const struct pfe_hif_t * hif, pfe_hif_chnl_id_t channel_id)
{
  struct pfe_hif_chnl_t * entry;
  uint32_t ii;
  <unnamed type> _1;
  unsigned char _2;
  long unsigned int _3;
  unsigned int _4;
  long unsigned int _5;

  <bb 2> [local count: 369004231]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG entry => 0B
  # DEBUG BEGIN_STMT
  _1 = hif_10(D)->configured_channels_mask;
  _2 = _1 & channel_id_11(D);
  if (_2 != 0)
    goto <bb 8>; [71.00%]
  else
    goto <bb 7>; [29.00%]

  <bb 8> [local count: 261993004]:
  goto <bb 6>; [100.00%]

  <bb 3> [local count: 858993460]:
  # DEBUG BEGIN_STMT
  _3 = (long unsigned int) channel_id_11(D);
  _4 = 1 << ii_6;
  _5 = _3 & _4;
  if (_5 != 0)
    goto <bb 4>; [5.50%]
  else
    goto <bb 5>; [94.50%]

  <bb 4> [local count: 47244640]:
  # ii_8 = PHI <ii_6(3)>
  # DEBUG BEGIN_STMT
  entry_13 = &hif_10(D)->channels[ii_8];
  # DEBUG entry => entry_13
  # DEBUG BEGIN_STMT
  goto <bb 7>; [100.00%]

  <bb 5> [local count: 811748819]:
  # DEBUG BEGIN_STMT
  ii_12 = ii_6 + 1;
  # DEBUG ii => ii_12

  <bb 6> [local count: 1073741824]:
  # ii_6 = PHI <ii_12(5), 0(8)>
  # DEBUG ii => ii_6
  # DEBUG BEGIN_STMT
  if (ii_6 != 4)
    goto <bb 3>; [80.00%]
  else
    goto <bb 7>; [20.00%]

  <bb 7> [local count: 369004233]:
  # entry_7 = PHI <0B(2), entry_13(4), 0B(6)>
  # DEBUG entry => entry_7
  # DEBUG BEGIN_STMT
  return entry_7;

}


pfe_hif_create (addr_t cbus_base_va, pfe_hif_chnl_id_t channels_mask)
{
  errno_t ret;
  struct pfe_hif_t * hif;
  long unsigned int _1;
  long unsigned int _2;

  <bb 2> [local count: 1073741823]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG ret => 120
  # DEBUG BEGIN_STMT
  # DEBUG ii => 0
  # DEBUG BEGIN_STMT
  _1 = (long unsigned int) channels_mask_5(D);
  _2 = _1 & 4294967280;
  if (_2 != 0)
    goto <bb 7>; [45.33%]
  else
    goto <bb 3>; [54.67%]

  <bb 3> [local count: 587014655]:
  # DEBUG BEGIN_STMT
  # DEBUG hif => &hif_instance
  # DEBUG BEGIN_STMT
  memset (&hif_instance, 0, 896);
  # DEBUG BEGIN_STMT
  hif_instance.cbus_base_va = cbus_base_va_8(D);
  # DEBUG BEGIN_STMT
  ret_11 = pfe_hif_cfg_init (cbus_base_va_8(D));
  # DEBUG ret => ret_11
  # DEBUG BEGIN_STMT
  if (ret_11 != 0)
    goto <bb 4>; [29.00%]
  else
    goto <bb 5>; [71.00%]

  <bb 4> [local count: 170234250]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  pfe_hif_destroy_chnl (&hif_instance, 0);
  # DEBUG BEGIN_STMT
  # DEBUG hif => 0B
  goto <bb 7>; [100.00%]

  <bb 5> [local count: 416780404]:
  # DEBUG BEGIN_STMT
  ret_13 = pfe_hif_create_bind_chnl (&hif_instance, channels_mask_5(D));
  # DEBUG ret => ret_13
  # DEBUG BEGIN_STMT
  if (ret_13 != 0)
    goto <bb 6>; [29.00%]
  else
    goto <bb 7>; [71.00%]

  <bb 6> [local count: 120866317]:
  # DEBUG BEGIN_STMT
  # DEBUG hif => 0B

  <bb 7> [local count: 1073741824]:
  # hif_3 = PHI <0B(2), 0B(4), &hif_instance(5), 0B(6)>
  # DEBUG hif => hif_3
  # DEBUG BEGIN_STMT
  return hif_3;

}


pfe_hif_get_master_detect_cfg (const struct pfe_hif_t * hif)
{
  unsigned char _1;
  _Bool _2;
  bool_t _5;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  _1 = hif_4(D)->disable_master_detect;
  _2 = _1 == 0;
  _5 = (bool_t) _2;
  return _5;

}


pfe_hif_set_master_detect_cfg (struct pfe_hif_t * hif, bool_t on)
{
  _Bool _1;
  unsigned char _2;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  _1 = on_3(D) == 0;
  _2 = (unsigned char) _1;
  hif_5(D)->disable_master_detect = _2;
  return;

}


pfe_hif_irq_unmask (struct pfe_hif_t * hif)
{
  unsigned int _1;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  _1 = hif_3(D)->cbus_base_va;
  pfe_hif_cfg_irq_unmask (_1);
  return;

}


pfe_hif_irq_mask (struct pfe_hif_t * hif)
{
  unsigned int _1;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  _1 = hif_3(D)->cbus_base_va;
  pfe_hif_cfg_irq_mask (_1);
  return;

}


pfe_hif_isr (struct pfe_hif_t * hif)
{
  errno_t ret;
  unsigned int _1;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = hif_3(D)->cbus_base_va;
  ret_5 = pfe_hif_cfg_isr (_1);
  # DEBUG ret => ret_5
  # DEBUG BEGIN_STMT
  return ret_5;

}


