Variable namebuf/44 is used by single function
pfe_platform_bmu_isr.part.0 (void * arg)
{
  const struct pfe_platform_t * platform;
  bool_t handled;
  struct pfe_bmu_t * _2;
  int _3;
  struct pfe_bmu_t * _4;
  int _5;
  struct pfe_bmu_t * _6;
  struct pfe_bmu_t * _7;

  <bb 11> [count: 0]:

  <bb 2> [count: 0]:
  # DEBUG BEGIN_STMT
  _2 = MEM[(const struct pfe_platform_t *)arg_1(D)].bmu[0];
  _3 = pfe_bmu_isr (_2);
  if (_3 == 0)
    goto <bb 3>; [0.00%]
  else
    goto <bb 4>; [0.00%]

  <bb 3> [count: 0]:
  # DEBUG BEGIN_STMT
  # DEBUG handled => 1

  <bb 4> [count: 0]:
  # handled_9 = PHI <0(2), 1(3)>
  # DEBUG handled => handled_9
  # DEBUG BEGIN_STMT
  _4 = MEM[(const struct pfe_platform_t *)arg_1(D)].bmu[1];
  _5 = pfe_bmu_isr (_4);
  if (_5 == 0)
    goto <bb 5>; [0.00%]
  else
    goto <bb 6>; [0.00%]

  <bb 5> [count: 0]:
  # DEBUG BEGIN_STMT
  # DEBUG handled => 1

  <bb 6> [count: 0]:
  # handled_8 = PHI <handled_9(4), 1(5)>
  # DEBUG handled => handled_8
  # DEBUG BEGIN_STMT
  _6 = MEM[(const struct pfe_platform_t *)arg_1(D)].bmu[0];
  if (_6 != 0B)
    goto <bb 7>; [0.00%]
  else
    goto <bb 8>; [0.00%]

  <bb 7> [count: 0]:
  # DEBUG BEGIN_STMT
  pfe_bmu_irq_unmask (_6);

  <bb 8> [count: 0]:
  # DEBUG BEGIN_STMT
  _7 = MEM[(const struct pfe_platform_t *)arg_1(D)].bmu[1];
  if (_7 != 0B)
    goto <bb 9>; [0.00%]
  else
    goto <bb 10>; [0.00%]

  <bb 9> [count: 0]:
  # DEBUG BEGIN_STMT
  pfe_bmu_irq_unmask (_7);

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

}


pfe_platform_get_fw_versions (const struct pfe_platform_t * platform, struct pfe_ct_version_t * class_fw, struct pfe_ct_version_t * util_fw)
{
  struct pfe_class_t * _1;
  struct pfe_util_t * _2;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  if (class_fw_5(D) != 0B)
    goto <bb 3>; [53.47%]
  else
    goto <bb 4>; [46.53%]

  <bb 3> [local count: 574129754]:
  # DEBUG BEGIN_STMT
  _1 = platform_7(D)->classifier;
  pfe_class_get_fw_version (_1, class_fw_5(D));

  <bb 4> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  if (util_fw_9(D) != 0B)
    goto <bb 5>; [53.47%]
  else
    goto <bb 6>; [46.53%]

  <bb 5> [local count: 574129754]:
  # DEBUG BEGIN_STMT
  _2 = platform_7(D)->util;
  pfe_util_get_fw_version (_2, util_fw_9(D));

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

}


pfe_platform_get_instance ()
{
  struct pfe_platform_t * pfe_platform;
  unsigned char _1;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG pfe_platform => 0B
  # DEBUG BEGIN_STMT
  _1 ={v} pfe.probed;
  if (_1 == 1)
    goto <bb 3>; [55.78%]
  else
    goto <bb 4>; [44.22%]

  <bb 3> [local count: 598933190]:
  # DEBUG BEGIN_STMT
  # DEBUG pfe_platform => &pfe

  <bb 4> [local count: 1073741824]:
  # pfe_platform_2 = PHI <0B(2), &pfe(3)>
  # DEBUG pfe_platform => pfe_platform_2
  # DEBUG BEGIN_STMT
  return pfe_platform_2;

}


pfe_platform_remove ()
{
  errno_t ret;
  struct oal_irq_t * _1;
  unsigned int _2;
  unsigned int _3;
  volatile uint32_t * _4;
  unsigned int _5;
  void * _6;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG ret => 0
  # DEBUG BEGIN_STMT
  _1 = pfe.irq_global;
  if (_1 != 0B)
    goto <bb 3>; [53.47%]
  else
    goto <bb 4>; [46.53%]

  <bb 3> [local count: 574129754]:
  # DEBUG BEGIN_STMT
  oal_irq_destroy (_1);
  # DEBUG BEGIN_STMT
  pfe.irq_global = 0B;

  <bb 4> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  _2 = pfe.cbus_baseaddr;
  if (_2 != 0)
    goto <bb 5>; [50.00%]
  else
    goto <bb 6>; [50.00%]

  <bb 5> [local count: 536870913]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _3 = _2 + 606240;
  _4 = (volatile uint32_t *) _3;
  *_4 ={v} 0;

  <bb 6> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  pfe_hm_destroy ();
  # DEBUG BEGIN_STMT
  pfe_platform_destroy_group1 ();
  # DEBUG BEGIN_STMT
  pfe_platform_destroy_group2 ();
  # DEBUG BEGIN_STMT
  pfe_feature_mgr_fini ();
  # DEBUG BEGIN_STMT
  _5 = pfe.cbus_baseaddr;
  if (_5 != 0)
    goto <bb 8>; [33.00%]
  else
    goto <bb 9>; [67.00%]

  <bb 8> [local count: 354334802]:
  # DEBUG BEGIN_STMT
  _6 = (void *) _5;
  ret_19 = oal_mm_dev_unmap (_6, 16777216);
  # DEBUG ret => ret_19
  # DEBUG BEGIN_STMT
  # DEBUG ret => ret_19
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (ret_19 == 0)
    goto <bb 9>; [50.00%]
  else
    goto <bb 10>; [50.00%]

  <bb 9> [local count: 896574424]:
  # ret_22 = PHI <ret_19(8), 0(6)>
  # DEBUG ret => NULL
  # DEBUG BEGIN_STMT
  pfe.cbus_baseaddr = 0;
  # DEBUG BEGIN_STMT
  pfe.probed ={v} 0;

  <bb 10> [local count: 1073741824]:
  # ret_23 = PHI <ret_19(8), ret_22(9)>
  # DEBUG BEGIN_STMT
  return ret_23;

}


pfe_platform_destroy_group2 ()
{
  struct pfe_if_db_t * _1;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  _1 = pfe.phy_if_db;
  pfe_spd_acc_destroy (_1);
  # DEBUG BEGIN_STMT
  pfe_platform_destroy_ifaces (&pfe);
  # DEBUG BEGIN_STMT
  pfe_mirror_deinit ();
  # DEBUG BEGIN_STMT
  pfe_platform_destroy_class (&pfe);
  # DEBUG BEGIN_STMT
  pfe_platform_destroy_util (&pfe);
  # DEBUG BEGIN_STMT
  pfe_platform_destroy_tmu (&pfe);
  # DEBUG BEGIN_STMT
  pfe_platform_destroy_emac (&pfe);
  # DEBUG BEGIN_STMT
  pfe_platform_destroy_pfe_errors (&pfe);
  return;

}


pfe_platform_destroy_group1 ()
{
  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG platform => &pfe
  # DEBUG INLINE_ENTRY pfe_platform_destroy_fci
  # DEBUG BEGIN_STMT
  fci_fini ();
  # DEBUG BEGIN_STMT
  pfe.fci_created = 0;
  # DEBUG platform => NULL
  # DEBUG BEGIN_STMT
  pfe_platform_destroy_ifaces (&pfe);
  # DEBUG BEGIN_STMT
  pfe_platform_destroy_hif (&pfe);
  # DEBUG BEGIN_STMT
  pfe_platform_destroy_gpi (&pfe);
  # DEBUG BEGIN_STMT
  pfe_platform_destroy_etgpi (&pfe);
  # DEBUG BEGIN_STMT
  pfe_platform_destroy_hgpi (&pfe);
  # DEBUG BEGIN_STMT
  pfe_platform_destroy_bmu (&pfe);
  # DEBUG BEGIN_STMT
  pfe_platform_destroy_rtable (&pfe);
  # DEBUG BEGIN_STMT
  pfe_platform_destroy_l2_bridge (&pfe);
  return;

}


pfe_platform_init (const struct pfe_platform_config_t * config)
{
  errno_t ret;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG ret => 0
  # DEBUG BEGIN_STMT
  ret_6 = pfe_platform_init_hm_fw_features (config_4(D));
  # DEBUG ret => ret_6
  # DEBUG BEGIN_STMT
  if (ret_6 == 0)
    goto <bb 3>; [33.00%]
  else
    goto <bb 4>; [67.00%]

  <bb 3> [local count: 354334802]:
  # DEBUG BEGIN_STMT
  ret_8 = pfe_platform_init_mirror_spd_acc_features (config_4(D));
  # DEBUG ret => ret_8

  <bb 4> [local count: 1073741824]:
  # ret_1 = PHI <ret_6(2), ret_8(3)>
  # DEBUG ret => ret_1
  # DEBUG BEGIN_STMT
  return ret_1;

}


pfe_platform_init_mirror_spd_acc_features (const struct pfe_platform_config_t * config)
{
  uint8_t flg;
  uint32_t * addr;
  uint32_t val;
  errno_t ret;
  struct pfe_class_t * _1;
  struct pfe_tmu_t * _2;
  unsigned char _3;
  struct pfe_class_t * _4;
  struct pfe_class_t * _5;
  struct pfe_rtable_t * _6;
  struct pfe_bmu_t * _7;
  struct pfe_bmu_t * _8;
  struct pfe_gpi_t * _9;
  struct pfe_gpi_t * _10;
  struct pfe_gpi_t * _11;
  struct pfe_gpi_t * _12;
  struct pfe_gpi_t * _13;
  struct pfe_gpi_t * _14;
  struct pfe_gpi_t * _15;
  struct pfe_tmu_t * _16;
  unsigned char _17;
  struct pfe_util_t * _18;
  unsigned int _19;
  unsigned int _20;
  long unsigned int _21;
  errno_t _22;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG ret => 0
  # DEBUG BEGIN_STMT
  # DEBUG val => 0
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  ret_28 = pfe_platform_create_etgpi (&pfe);
  # DEBUG ret => ret_28
  # DEBUG BEGIN_STMT
  if (ret_28 != 0)
    goto <bb 3>; [34.00%]
  else
    goto <bb 4>; [66.00%]

  <bb 3> [local count: 365072220]:
  # DEBUG BEGIN_STMT
  pfe_platform_remove ();
  # DEBUG BEGIN_STMT
  goto <bb 25>; [100.00%]

  <bb 4> [local count: 708669605]:
  # DEBUG BEGIN_STMT
  ret_31 = pfe_platform_create_l2_bridge (&pfe, config_29(D));
  # DEBUG ret => ret_31
  # DEBUG BEGIN_STMT
  if (ret_31 != 0)
    goto <bb 5>; [34.00%]
  else
    goto <bb 6>; [66.00%]

  <bb 5> [local count: 240947665]:
  # DEBUG BEGIN_STMT
  pfe_platform_remove ();
  # DEBUG BEGIN_STMT
  goto <bb 25>; [100.00%]

  <bb 6> [local count: 467721939]:
  # DEBUG BEGIN_STMT
  ret_33 = pfe_platform_create_rtable (&pfe, config_29(D));
  # DEBUG ret => ret_33
  # DEBUG BEGIN_STMT
  if (ret_33 != 0)
    goto <bb 7>; [34.00%]
  else
    goto <bb 8>; [66.00%]

  <bb 7> [local count: 159025459]:
  # DEBUG BEGIN_STMT
  pfe_platform_remove ();
  # DEBUG BEGIN_STMT
  goto <bb 25>; [100.00%]

  <bb 8> [local count: 308696480]:
  # DEBUG BEGIN_STMT
  ret_35 = pfe_platform_create_hif (&pfe, config_29(D));
  # DEBUG ret => ret_35
  # DEBUG BEGIN_STMT
  if (ret_35 != 0)
    goto <bb 9>; [34.00%]
  else
    goto <bb 10>; [66.00%]

  <bb 9> [local count: 104956803]:
  # DEBUG BEGIN_STMT
  pfe_platform_remove ();
  # DEBUG BEGIN_STMT
  goto <bb 25>; [100.00%]

  <bb 10> [local count: 203739677]:
  # DEBUG BEGIN_STMT
  _1 = pfe.classifier;
  pfe_class_enable (_1);
  # DEBUG BEGIN_STMT
  _2 = pfe.tmu;
  ret_38 = pfe_tmu_queue_reset_tail_drop_policy (_2);
  # DEBUG ret => ret_38
  # DEBUG BEGIN_STMT
  if (ret_38 != 0)
    goto <bb 11>; [34.00%]
  else
    goto <bb 12>; [66.00%]

  <bb 11> [local count: 69271490]:
  # DEBUG BEGIN_STMT
  pfe_platform_remove ();
  # DEBUG BEGIN_STMT
  goto <bb 25>; [100.00%]

  <bb 12> [local count: 134468187]:
  # DEBUG BEGIN_STMT
  _3 = pfe_feature_mgr_is_available ("err051211_workaround");
  if (_3 == 1)
    goto <bb 13>; [20.24%]
  else
    goto <bb 14>; [79.76%]

  <bb 13> [local count: 27216361]:
  # DEBUG BEGIN_STMT
  flg = 0;
  # DEBUG BEGIN_STMT
  pfe_feature_mgr_get_val ("err051211_workaround", &flg);
  # DEBUG ret => NULL
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  flg ={v} {CLOBBER};

  <bb 14> [local count: 134468187]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _4 = pfe.classifier;
  ret_44 = pfe_mirror_init (_4);
  # DEBUG ret => ret_44
  # DEBUG BEGIN_STMT
  if (ret_44 != 0)
    goto <bb 15>; [34.00%]
  else
    goto <bb 16>; [66.00%]

  <bb 15> [local count: 45719183]:
  # DEBUG BEGIN_STMT
  pfe_platform_remove ();
  # DEBUG BEGIN_STMT
  goto <bb 25>; [100.00%]

  <bb 16> [local count: 88749003]:
  # DEBUG BEGIN_STMT
  ret_46 = pfe_platform_create_ifaces (&pfe);
  # DEBUG ret => ret_46
  # DEBUG BEGIN_STMT
  if (ret_46 != 0)
    goto <bb 17>; [34.00%]
  else
    goto <bb 18>; [66.00%]

  <bb 17> [local count: 30174661]:
  # DEBUG BEGIN_STMT
  pfe_platform_remove ();
  # DEBUG BEGIN_STMT
  goto <bb 25>; [100.00%]

  <bb 18> [local count: 58574342]:
  # DEBUG BEGIN_STMT
  pfe.poller_state = 0;
  # DEBUG BEGIN_STMT
  _5 = pfe.classifier;
  _6 = pfe.rtable;
  ret_49 = pfe_spd_acc_init (_5, _6);
  # DEBUG ret => ret_49
  # DEBUG BEGIN_STMT
  if (ret_49 != 0)
    goto <bb 19>; [50.00%]
  else
    goto <bb 20>; [50.00%]

  <bb 19> [local count: 29287171]:
  # DEBUG BEGIN_STMT
  pfe_platform_remove ();
  # DEBUG BEGIN_STMT
  goto <bb 25>; [100.00%]

  <bb 20> [local count: 29287171]:
  # DEBUG BEGIN_STMT
  ret_51 = pfe_platform_create_fci (&pfe);
  # DEBUG ret => ret_51
  # DEBUG BEGIN_STMT
  if (ret_51 != 0)
    goto <bb 21>; [100.00%]
  else
    goto <bb 22>; [0.00%]

  <bb 21> [local count: 29287171]:
  # DEBUG BEGIN_STMT
  pfe_platform_remove ();
  # DEBUG BEGIN_STMT
  goto <bb 25>; [100.00%]

  <bb 22> [count: 0]:
  # DEBUG BEGIN_STMT
  _7 = pfe.bmu[0];
  pfe_bmu_enable (_7);
  # DEBUG BEGIN_STMT
  _8 = pfe.bmu[1];
  pfe_bmu_enable (_8);
  # DEBUG BEGIN_STMT
  _9 = pfe.gpi[0];
  pfe_gpi_enable (_9);
  # DEBUG BEGIN_STMT
  _10 = pfe.gpi[1];
  pfe_gpi_enable (_10);
  # DEBUG BEGIN_STMT
  _11 = pfe.gpi[2];
  pfe_gpi_enable (_11);
  # DEBUG BEGIN_STMT
  _12 = pfe.etgpi[0];
  pfe_gpi_enable (_12);
  # DEBUG BEGIN_STMT
  _13 = pfe.etgpi[1];
  pfe_gpi_enable (_13);
  # DEBUG BEGIN_STMT
  _14 = pfe.etgpi[2];
  pfe_gpi_enable (_14);
  # DEBUG BEGIN_STMT
  _15 = pfe.hgpi[0];
  pfe_gpi_enable (_15);
  # DEBUG BEGIN_STMT
  _16 = pfe.tmu;
  pfe_tmu_enable (_16);
  # DEBUG BEGIN_STMT
  _17 = config_29(D)->enable_util;
  if (_17 != 0)
    goto <bb 23>; [0.00%]
  else
    goto <bb 24>; [0.00%]

  <bb 23> [count: 0]:
  # DEBUG BEGIN_STMT
  _18 = pfe.util;
  pfe_util_enable (_18);

  <bb 24> [count: 0]:
  # DEBUG BEGIN_STMT
  _19 = pfe.cbus_baseaddr;
  _20 = _19 + 606240;
  addr_63 = (uint32_t *) _20;
  # DEBUG addr => addr_63
  # DEBUG BEGIN_STMT
  val_64 ={v} MEM[(volatile uint32_t *)addr_63];
  # DEBUG val => val_64
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _21 = val_64 | 2147483651;
  MEM[(volatile uint32_t *)addr_63] ={v} _21;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  pfe.probed ={v} 1;
  # DEBUG BEGIN_STMT

  <bb 25> [local count: 1073741824]:
  # _22 = PHI <ret_28(3), ret_31(5), ret_33(7), ret_35(9), ret_38(11), ret_44(15), ret_46(17), ret_49(19), ret_51(21), 0(24)>
  return _22;

}


pfe_platform_init_hm_fw_features (const struct pfe_platform_config_t * config)
{
  volatile uint32_t * ii;
  uint32_t * addr;
  errno_t ret;
  struct pfe_fw_t * _1;
  unsigned int _2;
  void * _3;
  unsigned int _4;
  void * _5;
  unsigned int _6;
  unsigned int _7;
  uint32_t * _8;
  long unsigned int _9;
  unsigned char _10;
  unsigned int _11;
  unsigned int _12;
  unsigned int _13;
  unsigned int _14;
  unsigned int _15;
  unsigned int ii.51_16;
  unsigned int _17;
  unsigned char _18;
  struct pfe_util_t * _19;
  struct pfe_class_t * _20;
  struct pfe_util_t * _21;
  struct pfe_tmu_t * _22;
  errno_t _24;
  const uint32_t * _90;
  unsigned char _91;
  const bool_t * _92;

  <bb 2> [local count: 40343180]:
  # DEBUG BEGIN_STMT
  # DEBUG ret => 0
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  memset (&pfe, 0, 200);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = config_31(D)->fw;
  pfe.fw = _1;
  # DEBUG BEGIN_STMT
  _2 = config_31(D)->cbus_base;
  _3 = (void *) _2;
  _4 = config_31(D)->cbus_len;
  _5 = oal_mm_dev_map (_3, _4);
  _6 = (unsigned int) _5;
  pfe.cbus_baseaddr = _6;
  # DEBUG BEGIN_STMT
  if (_6 == 0)
    goto <bb 3>; [21.72%]
  else
    goto <bb 4>; [78.28%]

  <bb 3> [local count: 8762539]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG ret => 22
  # DEBUG BEGIN_STMT
  pfe_platform_remove ();
  # DEBUG BEGIN_STMT
  goto <bb 31>; [100.00%]

  <bb 4> [local count: 31580641]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _7 = _6 + 606208;
  _8 = (uint32_t *) _7;
  _9 = *_8;
  pfe.pfe_version = _9;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  ret_37 = pfe_feature_mgr_init (_5);
  # DEBUG ret => ret_37
  # DEBUG BEGIN_STMT
  if (ret_37 != 0)
    goto <bb 5>; [66.00%]
  else
    goto <bb 6>; [34.00%]

  <bb 5> [local count: 20843223]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  pfe_platform_remove ();
  goto <bb 31>; [100.00%]

  <bb 6> [local count: 10737418]:
  # DEBUG BEGIN_STMT
  _10 = pfe_feature_mgr_is_available ("drv_run_on_g3");
  if (_10 == 1)
    goto <bb 7>; [34.00%]
  else
    goto <bb 8>; [66.00%]

  <bb 7> [local count: 3650722]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _11 = pfe.cbus_baseaddr;
  _12 = _11 + 606400;
  addr_39 = (uint32_t *) _12;
  # DEBUG addr => addr_39
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  MEM[(volatile uint32_t *)addr_39] ={v} 0;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _13 = _11 + 606388;
  addr_41 = (uint32_t *) _13;
  # DEBUG addr => addr_41
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  MEM[(volatile uint32_t *)addr_41] ={v} 0;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _14 = _11 + 606512;
  addr_43 = (uint32_t *) _14;
  # DEBUG addr => addr_43
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  MEM[(volatile uint32_t *)addr_43] ={v} 0;

  <bb 8> [local count: 10737418]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _15 = pfe.cbus_baseaddr;
  addr_45 = (uint32_t *) _15;
  # DEBUG addr => addr_45
  # DEBUG BEGIN_STMT
  # DEBUG ii => addr_45
  goto <bb 10>; [100.00%]

  <bb 9> [local count: 1063004405]:
  # DEBUG BEGIN_STMT
  *ii_23 ={v} 0;
  # DEBUG BEGIN_STMT
  ii_87 = ii_23 + 4;
  # DEBUG ii => ii_87

  <bb 10> [local count: 1073741824]:
  # ii_23 = PHI <addr_45(8), ii_87(9)>
  # DEBUG ii => ii_23
  # DEBUG BEGIN_STMT
  ii.51_16 = (unsigned int) ii_23;
  _17 = ii.51_16 - _15;
  if (_17 <= 131071)
    goto <bb 9>; [99.00%]
  else
    goto <bb 11>; [1.00%]

  <bb 11> [local count: 10737418]:
  # DEBUG BEGIN_STMT
  pfe.emac_count = 3;
  # DEBUG BEGIN_STMT
  pfe.gpi_count = 3;
  # DEBUG BEGIN_STMT
  pfe.etgpi_count = 3;
  # DEBUG BEGIN_STMT
  pfe.hgpi_count = 1;
  # DEBUG BEGIN_STMT
  pfe.bmu_count = 2;
  # DEBUG BEGIN_STMT
  pfe.class_pe_count = 8;
  # DEBUG BEGIN_STMT
  pfe.util_pe_count = 1;
  # DEBUG BEGIN_STMT
  pfe.tmu_pe_count = 0;
  # DEBUG BEGIN_STMT
  pfe_hm_init ();
  # DEBUG BEGIN_STMT
  # DEBUG D#1 => config_31(D)
  ret_56 = pfe_platform_create_pfe_errors.isra.0 (&pfe);
  # DEBUG ret => ret_56
  # DEBUG BEGIN_STMT
  if (ret_56 != 0)
    goto <bb 12>; [100.00%]
  else
    goto <bb 13>; [0.00%]

  <bb 12> [local count: 10737418]:
  # DEBUG BEGIN_STMT
  pfe_platform_remove ();
  # DEBUG BEGIN_STMT
  goto <bb 31>; [100.00%]

  <bb 13> [count: 0]:
  # DEBUG BEGIN_STMT
  _90 = &MEM[(long unsigned int *)config_31(D) + 24B];
  # DEBUG D#2 => config_31(D)
  ret_58 = pfe_platform_create_bmu.isra.0 (&pfe, _90);
  # DEBUG ret => ret_58
  # DEBUG BEGIN_STMT
  if (ret_58 != 0)
    goto <bb 14>; [0.00%]
  else
    goto <bb 15>; [0.00%]

  <bb 14> [count: 0]:
  # DEBUG BEGIN_STMT
  pfe_platform_remove ();
  # DEBUG BEGIN_STMT
  goto <bb 31>; [0.00%]

  <bb 15> [count: 0]:
  # DEBUG BEGIN_STMT
  _91 = MEM[(unsigned char *)config_31(D) + 79B];
  # DEBUG D#3 => config_31(D)
  ret_60 = pfe_platform_create_class.isra.0 (&pfe, _91);
  # DEBUG ret => ret_60
  # DEBUG BEGIN_STMT
  if (ret_60 != 0)
    goto <bb 16>; [0.00%]
  else
    goto <bb 17>; [0.00%]

  <bb 16> [count: 0]:
  # DEBUG BEGIN_STMT
  pfe_platform_remove ();
  # DEBUG BEGIN_STMT
  goto <bb 31>; [0.00%]

  <bb 17> [count: 0]:
  # DEBUG BEGIN_STMT
  ret_62 = pfe_platform_create_tmu (&pfe);
  # DEBUG ret => ret_62
  # DEBUG BEGIN_STMT
  if (ret_62 != 0)
    goto <bb 18>; [0.00%]
  else
    goto <bb 19>; [0.00%]

  <bb 18> [count: 0]:
  # DEBUG BEGIN_STMT
  pfe_platform_remove ();
  # DEBUG BEGIN_STMT
  goto <bb 31>; [0.00%]

  <bb 19> [count: 0]:
  # DEBUG BEGIN_STMT
  ret_64 = pfe_platform_create_emac (&pfe, config_31(D));
  # DEBUG ret => ret_64
  # DEBUG BEGIN_STMT
  if (ret_64 != 0)
    goto <bb 20>; [0.00%]
  else
    goto <bb 21>; [0.00%]

  <bb 20> [count: 0]:
  # DEBUG BEGIN_STMT
  pfe_platform_remove ();
  # DEBUG BEGIN_STMT
  goto <bb 31>; [0.00%]

  <bb 21> [count: 0]:
  # DEBUG BEGIN_STMT
  _18 = config_31(D)->enable_util;
  if (_18 != 0)
    goto <bb 22>; [0.00%]
  else
    goto <bb 24>; [0.00%]

  <bb 22> [count: 0]:
  # DEBUG BEGIN_STMT
  ret_69 = pfe_platform_create_util (&pfe);
  # DEBUG ret => ret_69
  # DEBUG BEGIN_STMT
  if (ret_69 != 0)
    goto <bb 23>; [0.00%]
  else
    goto <bb 25>; [0.00%]

  <bb 23> [count: 0]:
  # DEBUG BEGIN_STMT
  pfe_platform_remove ();
  # DEBUG BEGIN_STMT
  goto <bb 31>; [0.00%]

  <bb 24> [count: 0]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  pfe_platform_default_init_util (&pfe);
  # DEBUG BEGIN_STMT
  _19 = pfe.util;
  pfe_util_destroy (_19);
  # DEBUG BEGIN_STMT
  pfe.util = 0B;

  <bb 25> [count: 0]:
  # DEBUG BEGIN_STMT
  pfe_platform_soft_reset (&pfe);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _20 = pfe.classifier;
  _21 = pfe.util;
  _22 = pfe.tmu;
  ret_73 = pfe_feature_mgr_add_modules (_20, _21, _22);
  # DEBUG ret => ret_73
  # DEBUG BEGIN_STMT
  if (ret_73 != 0)
    goto <bb 26>; [0.00%]
  else
    goto <bb 27>; [0.00%]

  <bb 26> [count: 0]:
  # DEBUG BEGIN_STMT
  pfe_platform_remove ();
  goto <bb 31>; [0.00%]

  <bb 27> [count: 0]:
  # DEBUG BEGIN_STMT
  _92 = &MEM[(unsigned char *)config_31(D) + 79B];
  # DEBUG D#4 => config_31(D)
  ret_75 = pfe_platform_create_gpi.isra.0 (&pfe, _92);
  # DEBUG ret => ret_75
  # DEBUG BEGIN_STMT
  if (ret_75 != 0)
    goto <bb 28>; [0.00%]
  else
    goto <bb 29>; [0.00%]

  <bb 28> [count: 0]:
  # DEBUG BEGIN_STMT
  pfe_platform_remove ();
  goto <bb 31>; [0.00%]

  <bb 29> [count: 0]:
  # DEBUG BEGIN_STMT
  ret_77 = pfe_platform_create_hgpi (&pfe);
  # DEBUG ret => ret_77
  # DEBUG BEGIN_STMT
  if (ret_77 != 0)
    goto <bb 30>; [0.00%]
  else
    goto <bb 31>; [0.00%]

  <bb 30> [count: 0]:
  # DEBUG BEGIN_STMT
  pfe_platform_remove ();

  <bb 31> [local count: 40343180]:
  # _24 = PHI <22(3), ret_56(12), ret_58(14), ret_60(16), ret_62(18), ret_64(20), ret_69(23), ret_73(26), ret_37(5), ret_77(30), ret_77(29), ret_75(28)>
  # DEBUG ret => NULL
  return _24;

}


pfe_platform_soft_reset (const struct pfe_platform_t * platform)
{
  errno_t ret;
  uint32_t timeout;
  bool_t run_on_g3;
  uint32_t regval;
  addr_t addr_dbug;
  addr_t addr_gen;
  unsigned char _1;
  unsigned int _2;
  volatile uint32_t * addr_gen.42_3;
  volatile uint32_t * addr_dbug.46_5;
  long unsigned int _6;
  long unsigned int _13;
  long unsigned int _14;
  long unsigned int _15;

  <bb 2> [local count: 135372966]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG run_on_g3 => 0
  # DEBUG BEGIN_STMT
  # DEBUG timeout => 1000
  # DEBUG BEGIN_STMT
  # DEBUG ret => 0
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = pfe_feature_mgr_is_available ("drv_run_on_g3");
  if (_1 == 1)
    goto <bb 3>; [34.00%]
  else
    goto <bb 4>; [66.00%]

  <bb 3> [local count: 46026808]:
  # DEBUG BEGIN_STMT
  # DEBUG run_on_g3 => 1

  <bb 4> [local count: 135372966]:
  # run_on_g3_8 = PHI <0(2), 1(3)>
  # DEBUG run_on_g3 => run_on_g3_8
  # DEBUG BEGIN_STMT
  _2 = pfe.cbus_baseaddr;
  addr_gen_18 = _2 + 606240;
  # DEBUG addr_gen => addr_gen_18
  # DEBUG BEGIN_STMT
  addr_gen.42_3 = (volatile uint32_t *) addr_gen_18;
  regval_19 ={v} *addr_gen.42_3;
  # DEBUG regval => regval_19
  # DEBUG BEGIN_STMT
  if (run_on_g3_8 == 1)
    goto <bb 5>; [34.00%]
  else
    goto <bb 6>; [66.00%]

  <bb 5> [local count: 46026808]:
  # DEBUG BEGIN_STMT
  regval_20 = regval_19 | 939524096;
  # DEBUG regval => regval_20
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  *addr_gen.42_3 ={v} regval_20;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _13 = regval_19 & 3355443199;
  # DEBUG regval => _13
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  *addr_gen.42_3 ={v} _13;

  <bb 6> [local count: 135372966]:
  # regval_7 = PHI <regval_19(4), _13(5)>
  # DEBUG regval => regval_7
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  regval_23 = regval_7 | 1073741824;
  # DEBUG regval => regval_23
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  *addr_gen.42_3 ={v} regval_23;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (run_on_g3_8 == 1)
    goto <bb 7>; [51.12%]
  else
    goto <bb 12>; [48.88%]

  <bb 7> [local count: 69202660]:
  # DEBUG BEGIN_STMT
  addr_dbug_27 = _2 + 606372;
  # DEBUG addr_dbug => addr_dbug_27

  <bb 8> [local count: 1073741824]:
  # timeout_9 = PHI <1000(7), timeout_29(14)>
  # DEBUG timeout => timeout_9
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  addr_dbug.46_5 = (volatile uint32_t *) addr_dbug_27;
  _6 ={v} *addr_dbug.46_5;
  regval_28 = _6 & 524288;
  # DEBUG regval => regval_28
  # DEBUG BEGIN_STMT
  timeout_29 = timeout_9 + 4294967295;
  # DEBUG timeout => timeout_29
  # DEBUG BEGIN_STMT
  if (regval_28 == 0)
    goto <bb 9>; [94.50%]
  else
    goto <bb 10>; [5.50%]

  <bb 9> [local count: 1014686025]:
  if (timeout_29 != 0)
    goto <bb 14>; [99.00%]
  else
    goto <bb 10>; [1.00%]

  <bb 14> [local count: 1004539165]:
  goto <bb 8>; [100.00%]

  <bb 10> [local count: 69202661]:
  # timeout_4 = PHI <timeout_29(8), timeout_29(9)>
  # DEBUG BEGIN_STMT
  if (timeout_4 == 0)
    goto <bb 13>; [35.00%]
  else
    goto <bb 11>; [65.00%]

  <bb 11> [local count: 44981729]:
  # DEBUG BEGIN_STMT
  regval_30 ={v} *addr_gen.42_3;
  # DEBUG regval => regval_30
  # DEBUG BEGIN_STMT
  regval_31 = regval_30 & 3221225471;
  # DEBUG regval => regval_31
  # DEBUG BEGIN_STMT
  regval_32 = regval_31 | 939524096;
  # DEBUG regval => regval_32
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  *addr_gen.42_3 ={v} regval_32;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _15 = regval_30 & 2281701375;
  # DEBUG regval => _15
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  *addr_gen.42_3 ={v} _15;
  goto <bb 13>; [100.00%]

  <bb 12> [local count: 66170306]:
  # DEBUG BEGIN_STMT
  oal_time_usleep (5);
  # DEBUG BEGIN_STMT
  _14 = regval_7 & 3221225471;
  # DEBUG regval => _14
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  *addr_gen.42_3 ={v} _14;

  <bb 13> [local count: 135372967]:
  # ret_10 = PHI <0(11), 0(12), 110(10)>
  # DEBUG ret => ret_10
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  return ret_10;

}


pfe_platform_create_ifaces (struct pfe_platform_t * platform)
{
  struct 
  {
    char_t * name;
    pfe_ct_phy_if_id_t id;
    uint8_t mac[6];
    struct 
    {
      struct pfe_emac_t * emac;
      struct pfe_gpi_t * gpi;
      struct pfe_hif_chnl_t * chnl;
    } phy;
  } phy_ifs[9];
  errno_t ret;
  struct pfe_if_db_entry_t * entry;
  uint32_t session_id;
  struct pfe_phy_if_t * phy_if;
  int32_t ii;
  struct pfe_emac_t * _1;
  struct pfe_gpi_t * _2;
  struct pfe_emac_t * _3;
  struct pfe_gpi_t * _4;
  struct pfe_emac_t * _5;
  struct pfe_gpi_t * _6;
  struct pfe_hif_t * _7;
  struct pfe_hif_chnl_t * _8;
  struct pfe_hif_t * _9;
  struct pfe_hif_chnl_t * _10;
  struct pfe_hif_t * _11;
  struct pfe_hif_chnl_t * _12;
  struct pfe_hif_t * _13;
  struct pfe_hif_chnl_t * _14;
  struct pfe_if_db_t * _15;
  struct pfe_if_db_t * _16;
  struct pfe_if_db_t * _18;
  long unsigned int session_id.38_19;
  unsigned int _21;
  void * _22;
  struct pfe_if_db_entry_t * entry.39_23;
  struct pfe_class_t * _24;
  char_t * _26;
  int _27;
  <unnamed type> _28;
  struct pfe_emac_t * _31;
  int _32;
  struct pfe_gpi_t * _33;
  int _34;
  int _35;
  struct pfe_hif_chnl_t * _36;
  int _37;
  long unsigned int session_id.40_38;
  int _39;
  <unnamed type> _40;
  long unsigned int session_id.41_41;
  struct pfe_if_db_t * _42;
  struct pfe_if_db_t * _43;

  <bb 2> [local count: 416763948]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG phy_if => 0B
  # DEBUG BEGIN_STMT
  session_id = 0;
  # DEBUG BEGIN_STMT
  entry = 0B;
  # DEBUG BEGIN_STMT
  # DEBUG ret => 0
  # DEBUG BEGIN_STMT
  phy_ifs[0].name = "emac0";
  phy_ifs[0].id = 0;
  _1 = platform_58(D)->emac[0];
  phy_ifs[0].phy.emac = _1;
  _2 = platform_58(D)->gpi[0];
  phy_ifs[0].phy.gpi = _2;
  phy_ifs[0].phy.chnl = 0B;
  phy_ifs[1].name = "emac1";
  phy_ifs[1].id = 1;
  _3 = platform_58(D)->emac[1];
  phy_ifs[1].phy.emac = _3;
  _4 = platform_58(D)->gpi[1];
  phy_ifs[1].phy.gpi = _4;
  phy_ifs[1].phy.chnl = 0B;
  phy_ifs[2].name = "emac2";
  phy_ifs[2].id = 2;
  _5 = platform_58(D)->emac[2];
  phy_ifs[2].phy.emac = _5;
  _6 = platform_58(D)->gpi[2];
  phy_ifs[2].phy.gpi = _6;
  phy_ifs[2].phy.chnl = 0B;
  phy_ifs[3].name = "util";
  phy_ifs[3].id = 5;
  phy_ifs[3].phy.emac = 0B;
  phy_ifs[3].phy.gpi = 0B;
  phy_ifs[3].phy.chnl = 0B;
  phy_ifs[4].name = "hif0";
  phy_ifs[4].id = 6;
  phy_ifs[4].phy.emac = 0B;
  phy_ifs[4].phy.gpi = 0B;
  _7 = platform_58(D)->hif;
  _8 = pfe_hif_get_channel (_7, 1);
  phy_ifs[4].phy.chnl = _8;
  phy_ifs[5].name = "hif1";
  phy_ifs[5].id = 7;
  phy_ifs[5].phy.emac = 0B;
  phy_ifs[5].phy.gpi = 0B;
  _9 = platform_58(D)->hif;
  _10 = pfe_hif_get_channel (_9, 2);
  phy_ifs[5].phy.chnl = _10;
  phy_ifs[6].name = "hif2";
  phy_ifs[6].id = 8;
  phy_ifs[6].phy.emac = 0B;
  phy_ifs[6].phy.gpi = 0B;
  _11 = platform_58(D)->hif;
  _12 = pfe_hif_get_channel (_11, 4);
  phy_ifs[6].phy.chnl = _12;
  phy_ifs[7].name = "hif3";
  phy_ifs[7].id = 9;
  phy_ifs[7].phy.emac = 0B;
  phy_ifs[7].phy.gpi = 0B;
  _13 = platform_58(D)->hif;
  _14 = pfe_hif_get_channel (_13, 8);
  phy_ifs[7].phy.chnl = _14;
  phy_ifs[8].name = 0B;
  phy_ifs[8].id = 10;
  phy_ifs[8].phy.emac = 0B;
  phy_ifs[8].phy.gpi = 0B;
  phy_ifs[8].phy.chnl = 0B;
  # DEBUG BEGIN_STMT
  _15 = platform_58(D)->phy_if_db;
  if (_15 == 0B)
    goto <bb 3>; [17.43%]
  else
    goto <bb 28>; [82.57%]

  <bb 3> [local count: 72641956]:
  # DEBUG BEGIN_STMT
  _16 = pfe_if_db_create (0);
  platform_58(D)->phy_if_db = _16;
  # DEBUG BEGIN_STMT
  if (_16 == 0B)
    goto <bb 31>; [31.91%]
  else
    goto <bb 4>; [68.09%]

  <bb 4> [local count: 49461908]:
  # DEBUG BEGIN_STMT
  pfe_if_db_lock (&session_id);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG ii => 0
  goto <bb 26>; [100.00%]

  <bb 5> [local count: 1052266988]:
  # DEBUG BEGIN_STMT
  _18 = platform_58(D)->phy_if_db;
  session_id.38_19 = session_id;
  _21 = (unsigned int) _40;
  _22 = (void *) _21;
  pfe_if_db_get_first (_18, session_id.38_19, 1, _22, &entry);
  # DEBUG BEGIN_STMT
  entry.39_23 = entry;
  if (entry.39_23 != 0B)
    goto <bb 6>; [70.00%]
  else
    goto <bb 7>; [30.00%]

  <bb 6> [local count: 736586892]:
  # DEBUG BEGIN_STMT
  // predicted unlikely by continue predictor.
  goto <bb 25>; [100.00%]

  <bb 7> [local count: 315680096]:
  # DEBUG BEGIN_STMT
  _24 = platform_58(D)->classifier;
  _26 = phy_ifs[ii_44].name;
  phy_if_111 = pfe_phy_if_create (_24, _40, _26);
  # DEBUG phy_if => phy_if_111
  # DEBUG BEGIN_STMT
  if (phy_if_111 == 0B)
    goto <bb 27>; [2.00%]
  else
    goto <bb 8>; [98.00%]

  <bb 8> [local count: 309366494]:
  # DEBUG BEGIN_STMT
  _27 = pfe_phy_if_set_op_mode (phy_if_111, 0);
  if (_27 != 0)
    goto <bb 9>; [2.00%]
  else
    goto <bb 10>; [98.00%]

  <bb 9> [local count: 6187330]:
  # phy_if_52 = PHI <phy_if_111(8)>
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  pfe_phy_if_destroy (phy_if_52);
  # DEBUG BEGIN_STMT
  # DEBUG phy_if => 0B
  # DEBUG BEGIN_STMT
  # DEBUG ret => 19
  # DEBUG BEGIN_STMT
  goto <bb 27>; [100.00%]

  <bb 10> [local count: 303179164]:
  # DEBUG BEGIN_STMT
  _28 = pfe_phy_if_get_id (phy_if_111);
  if (_28 == 0)
    goto <bb 13>; [33.00%]
  else
    goto <bb 11>; [67.00%]

  <bb 11> [local count: 203130040]:
  if (_28 == 1)
    goto <bb 13>; [34.00%]
  else
    goto <bb 12>; [66.00%]

  <bb 12> [local count: 134065826]:
  if (_28 == 2)
    goto <bb 13>; [34.00%]
  else
    goto <bb 17>; [66.00%]

  <bb 13> [local count: 214695719]:
  # DEBUG BEGIN_STMT
  _31 = phy_ifs[ii_44].phy.emac;
  _32 = pfe_phy_if_bind_emac (phy_if_111, _31);
  if (_32 != 0)
    goto <bb 14>; [2.00%]
  else
    goto <bb 15>; [98.00%]

  <bb 14> [local count: 4293914]:
  # phy_if_17 = PHI <phy_if_111(13)>
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  pfe_phy_if_destroy (phy_if_17);
  # DEBUG BEGIN_STMT
  # DEBUG phy_if => 0B
  # DEBUG BEGIN_STMT
  # DEBUG ret => 19
  # DEBUG BEGIN_STMT
  goto <bb 27>; [100.00%]

  <bb 15> [local count: 210401804]:
  # DEBUG BEGIN_STMT
  _33 = phy_ifs[ii_44].phy.gpi;
  _34 = pfe_emac_bind_gpi (_31, _33);
  if (_34 != 0)
    goto <bb 16>; [2.00%]
  else
    goto <bb 23>; [98.00%]

  <bb 16> [local count: 4208036]:
  # phy_if_20 = PHI <phy_if_111(15)>
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  pfe_phy_if_destroy (phy_if_20);
  # DEBUG BEGIN_STMT
  # DEBUG phy_if => 0B
  # DEBUG BEGIN_STMT
  # DEBUG ret => 19
  # DEBUG BEGIN_STMT
  goto <bb 27>; [100.00%]

  <bb 17> [local count: 88483445]:
  # DEBUG BEGIN_STMT
  if (_28 == 5)
    goto <bb 18>; [20.24%]
  else
    goto <bb 20>; [79.76%]

  <bb 18> [local count: 17909049]:
  # DEBUG BEGIN_STMT
  _35 = pfe_phy_if_bind_util (phy_if_111);
  if (_35 != 0)
    goto <bb 19>; [2.00%]
  else
    goto <bb 23>; [98.00%]

  <bb 19> [local count: 358181]:
  # phy_if_25 = PHI <phy_if_111(18)>
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  pfe_phy_if_destroy (phy_if_25);
  # DEBUG BEGIN_STMT
  # DEBUG phy_if => 0B
  # DEBUG BEGIN_STMT
  # DEBUG ret => 19
  # DEBUG BEGIN_STMT
  goto <bb 27>; [100.00%]

  <bb 20> [local count: 70574396]:
  # DEBUG BEGIN_STMT
  _36 = phy_ifs[ii_44].phy.chnl;
  if (_36 != 0B)
    goto <bb 21>; [53.47%]
  else
    goto <bb 23>; [46.53%]

  <bb 21> [local count: 37736130]:
  # DEBUG BEGIN_STMT
  _37 = pfe_phy_if_bind_hif (phy_if_111, _36);
  if (_37 != 0)
    goto <bb 22>; [2.00%]
  else
    goto <bb 23>; [98.00%]

  <bb 22> [local count: 754723]:
  # phy_if_29 = PHI <phy_if_111(21)>
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  pfe_phy_if_destroy (phy_if_29);
  # DEBUG BEGIN_STMT
  # DEBUG phy_if => 0B
  # DEBUG BEGIN_STMT
  # DEBUG ret => 19
  # DEBUG BEGIN_STMT
  goto <bb 27>; [100.00%]

  <bb 23> [local count: 293564310]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  session_id.40_38 = session_id;
  _39 = pfe_platform_register_phy_if (platform_58(D), session_id.40_38, phy_if_111);
  if (_39 != 0)
    goto <bb 24>; [2.00%]
  else
    goto <bb 25>; [98.00%]

  <bb 24> [local count: 5871286]:
  # phy_if_30 = PHI <phy_if_111(23)>
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  pfe_phy_if_destroy (phy_if_30);
  # DEBUG BEGIN_STMT
  # DEBUG phy_if => 0B
  # DEBUG BEGIN_STMT
  # DEBUG ret => 19
  # DEBUG BEGIN_STMT
  goto <bb 27>; [100.00%]

  <bb 25> [local count: 1024279916]:
  # DEBUG BEGIN_STMT
  ii_126 = ii_44 + 1;
  # DEBUG ii => ii_126

  <bb 26> [local count: 1073741824]:
  # ii_44 = PHI <0(4), ii_126(25)>
  # DEBUG ii => ii_44
  # DEBUG BEGIN_STMT
  _40 = phy_ifs[ii_44].id;
  if (_40 != 10)
    goto <bb 5>; [98.00%]
  else
    goto <bb 27>; [2.00%]

  <bb 27> [local count: 49461909]:
  # ret_45 = PHI <19(7), 19(9), 19(14), 19(16), 19(19), 19(22), 19(24), 0(26)>
  # DEBUG ret => ret_45
  # DEBUG BEGIN_STMT
  session_id.41_41 = session_id;
  pfe_if_db_unlock (session_id.41_41);
  # DEBUG ret => ret_45
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (ret_45 == 0)
    goto <bb 28>; [50.00%]
  else
    goto <bb 31>; [50.00%]

  <bb 28> [local count: 368852946]:
  # ret_115 = PHI <ret_45(27), 0(2)>
  # DEBUG ret => NULL
  # DEBUG BEGIN_STMT
  _42 = platform_58(D)->log_if_db;
  if (_42 == 0B)
    goto <bb 29>; [17.43%]
  else
    goto <bb 31>; [82.57%]

  <bb 29> [local count: 64291069]:
  # DEBUG BEGIN_STMT
  _43 = pfe_if_db_create (1);
  pfe.log_if_db = _43;
  # DEBUG BEGIN_STMT
  if (_43 == 0B)
    goto <bb 30>; [18.75%]
  else
    goto <bb 31>; [81.25%]

  <bb 30> [local count: 12054575]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG ret => 19

  <bb 31> [local count: 416763949]:
  # ret_46 = PHI <ret_45(27), ret_115(28), ret_115(29), 19(30), 19(3)>
  # DEBUG ret => ret_46
  # DEBUG BEGIN_STMT
  session_id ={v} {CLOBBER};
  entry ={v} {CLOBBER};
  phy_ifs ={v} {CLOBBER};
  return ret_46;

}


pfe_platform_get_phy_if_by_id (const struct pfe_platform_t * platform, pfe_ct_phy_if_id_t id)
{
  struct pfe_phy_if_t * phyif;
  uint32_t session_id;
  struct pfe_if_db_entry_t * entry;
  struct pfe_if_db_t * _1;
  long unsigned int session_id.35_2;
  unsigned int _3;
  void * _4;
  long unsigned int session_id.36_5;
  struct pfe_if_db_entry_t * entry.37_6;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  entry = 0B;
  # DEBUG BEGIN_STMT
  session_id = 0;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  pfe_if_db_lock (&session_id);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = platform_11(D)->phy_if_db;
  session_id.35_2 = session_id;
  _3 = (unsigned int) id_12(D);
  _4 = (void *) _3;
  pfe_if_db_get_first (_1, session_id.35_2, 1, _4, &entry);
  # DEBUG BEGIN_STMT
  session_id.36_5 = session_id;
  pfe_if_db_unlock (session_id.36_5);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  entry.37_6 = entry;
  phyif_15 = pfe_if_db_entry_get_phy_if (entry.37_6);
  # DEBUG phyif => phyif_15
  # DEBUG BEGIN_STMT
  entry ={v} {CLOBBER};
  session_id ={v} {CLOBBER};
  return phyif_15;

}


pfe_platform_get_log_if_by_name (const struct pfe_platform_t * platform, char_t * name)
{
  struct pfe_log_if_t * logif;
  uint32_t session_id;
  struct pfe_if_db_entry_t * entry;
  struct pfe_if_db_t * _1;
  long unsigned int session_id.32_2;
  long unsigned int session_id.33_3;
  struct pfe_if_db_entry_t * entry.34_4;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  entry = 0B;
  # DEBUG BEGIN_STMT
  session_id = 0;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  pfe_if_db_lock (&session_id);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = platform_9(D)->log_if_db;
  session_id.32_2 = session_id;
  pfe_if_db_get_first (_1, session_id.32_2, 3, name_10(D), &entry);
  # DEBUG BEGIN_STMT
  session_id.33_3 = session_id;
  pfe_if_db_unlock (session_id.33_3);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  entry.34_4 = entry;
  logif_13 = pfe_if_db_entry_get_log_if (entry.34_4);
  # DEBUG logif => logif_13
  # DEBUG BEGIN_STMT
  entry ={v} {CLOBBER};
  session_id ={v} {CLOBBER};
  return logif_13;

}


pfe_platform_get_log_if_by_id (const struct pfe_platform_t * platform, uint8_t id)
{
  struct pfe_log_if_t * logif;
  uint32_t session_id;
  struct pfe_if_db_entry_t * entry;
  struct pfe_if_db_t * _1;
  long unsigned int session_id.29_2;
  unsigned int _3;
  void * _4;
  long unsigned int session_id.30_5;
  struct pfe_if_db_entry_t * entry.31_6;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  entry = 0B;
  # DEBUG BEGIN_STMT
  session_id = 0;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  pfe_if_db_lock (&session_id);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = platform_11(D)->log_if_db;
  session_id.29_2 = session_id;
  _3 = (unsigned int) id_12(D);
  _4 = (void *) _3;
  pfe_if_db_get_first (_1, session_id.29_2, 1, _4, &entry);
  # DEBUG BEGIN_STMT
  session_id.30_5 = session_id;
  pfe_if_db_unlock (session_id.30_5);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  entry.31_6 = entry;
  logif_15 = pfe_if_db_entry_get_log_if (entry.31_6);
  # DEBUG logif => logif_15
  # DEBUG BEGIN_STMT
  entry ={v} {CLOBBER};
  session_id ={v} {CLOBBER};
  return logif_15;

}


pfe_platform_register_phy_if (const struct pfe_platform_t * platform, uint32_t session_id, struct pfe_phy_if_t * phy_if)
{
  errno_t ret;
  struct pfe_if_db_t * _1;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _1 = platform_3(D)->phy_if_db;
  ret_7 = pfe_if_db_add (_1, session_id_4(D), phy_if_5(D), 6);
  # DEBUG ret => ret_7
  # DEBUG BEGIN_STMT
  return ret_7;

}


pfe_platform_unregister_log_if (const struct pfe_platform_t * platform, struct pfe_log_if_t * log_if)
{
  uint32_t session_id;
  struct pfe_if_db_entry_t * entry;
  errno_t ret;
  struct pfe_if_db_t * _1;
  long unsigned int session_id.24_2;
  struct pfe_if_db_entry_t * entry.25_3;
  struct pfe_if_db_t * _4;
  long unsigned int session_id.26_5;
  long unsigned int session_id.28_6;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  entry = 0B;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  ret_14 = pfe_if_db_lock (&session_id);
  # DEBUG ret => ret_14
  # DEBUG BEGIN_STMT
  if (ret_14 != 0)
    goto <bb 7>; [67.00%]
  else
    goto <bb 3>; [33.00%]

  <bb 3> [local count: 354334802]:
  # DEBUG BEGIN_STMT
  _1 = platform_15(D)->log_if_db;
  session_id.24_2 = session_id;
  ret_18 = pfe_if_db_get_first (_1, session_id.24_2, 2, log_if_16(D), &entry);
  # DEBUG ret => ret_18
  # DEBUG BEGIN_STMT
  entry.25_3 = entry;
  if (entry.25_3 == 0B)
    goto <bb 6>; [30.00%]
  else
    goto <bb 4>; [70.00%]

  <bb 4> [local count: 248034361]:
  # DEBUG BEGIN_STMT
  if (ret_18 == 0)
    goto <bb 5>; [33.00%]
  else
    goto <bb 6>; [67.00%]

  <bb 5> [local count: 81851339]:
  # DEBUG BEGIN_STMT
  _4 = platform_15(D)->log_if_db;
  session_id.26_5 = session_id;
  ret_20 = pfe_if_db_remove (_4, session_id.26_5, entry.25_3);
  # DEBUG ret => ret_20

  <bb 6> [local count: 354334802]:
  # ret_7 = PHI <2(3), ret_18(4), ret_20(5)>
  # DEBUG ret => ret_7
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  session_id.28_6 = session_id;
  pfe_if_db_unlock (session_id.28_6);

  <bb 7> [local count: 1073741824]:
  # ret_8 = PHI <ret_14(2), ret_7(6)>
  # DEBUG ret => ret_8
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  entry ={v} {CLOBBER};
  session_id ={v} {CLOBBER};
  return ret_8;

}


pfe_platform_register_log_if (const struct pfe_platform_t * platform, struct pfe_log_if_t * log_if)
{
  errno_t ret;
  uint32_t session_id;
  struct pfe_if_db_t * _1;
  long unsigned int session_id.22_2;
  long unsigned int session_id.23_3;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  ret_9 = pfe_if_db_lock (&session_id);
  # DEBUG ret => ret_9
  # DEBUG BEGIN_STMT
  if (ret_9 != 0)
    goto <bb 6>; [67.00%]
  else
    goto <bb 3>; [33.00%]

  <bb 3> [local count: 354334802]:
  # DEBUG BEGIN_STMT
  _1 = platform_10(D)->log_if_db;
  session_id.22_2 = session_id;
  ret_13 = pfe_if_db_add (_1, session_id.22_2, log_if_11(D), 6);
  # DEBUG ret => ret_13
  # DEBUG BEGIN_STMT
  if (ret_13 != 0)
    goto <bb 4>; [33.00%]
  else
    goto <bb 5>; [67.00%]

  <bb 4> [local count: 116930485]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  pfe_log_if_destroy (log_if_11(D));

  <bb 5> [local count: 354334802]:
  # DEBUG BEGIN_STMT
  session_id.23_3 = session_id;
  pfe_if_db_unlock (session_id.23_3);

  <bb 6> [local count: 1073741824]:
  # ret_4 = PHI <ret_9(2), ret_13(5)>
  # DEBUG ret => ret_4
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  session_id ={v} {CLOBBER};
  return ret_4;

}


pfe_platform_idex_rpc_cbk (pfe_ct_phy_if_id_t sender, uint32_t id, void * buf, uint16_t buf_len, void * arg)
{
  struct fci_msg_t rep_msg;
  struct fci_msg_t msg;
  struct pfe_platform_rpc_pfe_fci_proxy_ret_t rpc_ret;
  uint32_t stat_val;
  struct pfe_platform_rpc_pfe_phy_if_get_stat_value_ret_t rpc_ret;
  struct pfe_platform_rpc_pfe_phy_if_stats_ret_t rpc_ret;
  bool_t status;
  struct pfe_platform_rpc_pfe_phy_if_is_promisc_ret_t rpc_ret;
  bool_t status;
  struct pfe_platform_rpc_pfe_phy_if_is_enabled_ret_t rpc_ret;
  pfe_ct_if_op_mode_t mode;
  struct pfe_platform_rpc_pfe_phy_if_get_op_mode_ret_t rpc_ret;
  pfe_ct_block_state_t block_state;
  struct pfe_platform_rpc_pfe_phy_if_get_block_state_ret_t rpc_ret;
  uint8_t mac_addr[6];
  uint8_t mac_addr[6];
  struct pfe_platform_rpc_pfe_log_if_stats_ret_t rpc_ret;
  bool_t status;
  struct pfe_platform_rpc_pfe_log_if_is_match_or_ret_t rpc_ret;
  uint32_t egress;
  struct pfe_platform_rpc_pfe_log_if_get_egress_ifs_ret_t rpc_ret;
  struct pfe_platform_rpc_pfe_log_if_is_discard_ret_t rpc_ret;
  struct pfe_platform_rpc_pfe_log_if_is_loopback_ret_t rpc_ret;
  struct pfe_platform_rpc_pfe_log_if_is_promisc_ret_t rpc_ret;
  struct pfe_platform_rpc_pfe_log_if_is_enabled_ret_t rpc_ret;
  pfe_ct_if_m_rules_t rules;
  struct pfe_platform_rpc_pfe_log_if_get_match_rules_ret_t rpc_ret;
  uint8_t i;
  struct pfe_log_if_t * log_if;
  struct pfe_platform_rpc_pfe_log_if_create_ret_t rpc_ret;
  errno_t ret;
  struct pfe_if_db_entry_t * entry;
  struct pfe_log_if_t * log_if_arg;
  struct pfe_phy_if_t * phy_if_arg;
  long unsigned int _1;
  struct pfe_if_db_t * _2;
  long unsigned int _3;
  unsigned char _4;
  unsigned int _5;
  void * _6;
  struct pfe_if_db_entry_t * entry.0_7;
  long unsigned int _8;
  struct pfe_if_db_t * _9;
  long unsigned int _10;
  unsigned char _11;
  unsigned int _12;
  void * _13;
  struct pfe_if_db_entry_t * entry.2_14;
  long unsigned int _15;
  long unsigned int _16;
  char _17;
  unsigned int _18;
  unsigned int _19;
  int _20;
  char _21;
  unsigned int _22;
  unsigned int _23;
  unsigned char _24;
  struct pfe_if_db_t * _25;
  long unsigned int _26;
  int _27;
  struct pfe_if_db_t * _28;
  long unsigned int _29;
  struct pfe_if_db_entry_t * entry.5_30;
  struct pfe_if_db_t * _31;
  struct pfe_if_db_t * _32;
  long unsigned int _33;
  struct pfe_if_db_entry_t * entry.7_34;
  struct pfe_if_db_t * _35;
  <unnamed type> _36;
  long unsigned int _37;
  long unsigned int _38;
  long unsigned int _39;
  long unsigned int _40;
  long unsigned int _41;
  long unsigned int _42;
  long unsigned int _43;
  long unsigned int _44;
  long unsigned int _45;
  long unsigned int _46;
  <unnamed type> _47;
  struct pfe_ct_if_m_args_t * _48;
  <unnamed type> rules.9_49;
  long unsigned int rules.10_50;
  long unsigned int _51;
  long unsigned int _52;
  long unsigned int _53;
  long unsigned int _54;
  long unsigned int _55;
  long unsigned int _56;
  long unsigned int _57;
  long unsigned int _58;
  long unsigned int _59;
  <unnamed type> _60;
  <unnamed type> _61;
  long unsigned int _62;
  long unsigned int _63;
  long unsigned int _64;
  long unsigned int _65;
  long unsigned int _66;
  long unsigned int _67;
  long unsigned int _68;
  long unsigned int _69;
  long unsigned int _70;
  long unsigned int _71;
  <unnamed type> _72;
  uint8_t[16] * _73;
  long unsigned int _74;
  long unsigned int _75;
  long unsigned int _76;
  long unsigned int _77;
  long unsigned int _78;
  long unsigned int _79;
  long unsigned int _80;
  long unsigned int _81;
  long unsigned int _82;
  long unsigned int _83;
  <unnamed type> _84;
  long unsigned int _85;
  long unsigned int _86;
  long unsigned int _87;
  long unsigned int _88;
  long unsigned int _89;
  long unsigned int _90;
  long unsigned int _91;
  long unsigned int _92;
  long unsigned int _93;
  long unsigned int _94;
  <unnamed type> _95;
  uint8_t[6] * _96;
  uint8_t[6] * _97;
  <unnamed type> _98;
  <unnamed type> _99;
  unsigned char _100;
  unsigned char _101;
  unsigned char _102;
  unsigned char _103;
  struct pfe_if_db_t * _104;
  long unsigned int _105;
  <unnamed type> _106;
  unsigned int _107;
  void * _108;
  struct pfe_if_db_entry_t * entry.17_109;
  long unsigned int _110;
  long unsigned int egress.18_111;
  struct pfe_if_db_t * _112;
  long unsigned int _113;
  <unnamed type> _114;
  unsigned int _115;
  void * _116;
  struct pfe_if_db_entry_t * entry.19_117;
  <unnamed type> _118;
  <unnamed type> _119;
  <unnamed type> _120;
  <unnamed type> _121;
  <unnamed type> block_state.20_122;
  struct pfe_if_db_t * _123;
  long unsigned int _124;
  unsigned char _125;
  unsigned int _126;
  void * _127;
  struct pfe_if_db_entry_t * entry.21_128;
  unsigned char _129;
  long unsigned int _130;
  <unnamed type> _131;
  long unsigned int _132;

  <bb 2> [local count: 1073741823]:
  # DEBUG BEGIN_STMT
  # DEBUG platform => arg_247(D)
  # DEBUG BEGIN_STMT
  # DEBUG phy_if_arg => 0B
  # DEBUG BEGIN_STMT
  # DEBUG log_if_arg => 0B
  # DEBUG BEGIN_STMT
  entry = 0B;
  # DEBUG BEGIN_STMT
  # DEBUG ret => 0
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (id_251(D) == 200)
    goto <bb 4>; [20.24%]
  else
    goto <bb 3>; [79.76%]

  <bb 3> [local count: 856416478]:
  _1 = id_251(D) + 4294967195;
  if (_1 <= 21)
    goto <bb 4>; [50.00%]
  else
    goto <bb 7>; [50.00%]

  <bb 4> [local count: 645533585]:
  # DEBUG BEGIN_STMT
  _2 = MEM[(struct pfe_platform_t *)arg_247(D)].phy_if_db;
  _3 = (long unsigned int) sender_252(D);
  _4 = MEM[(struct pfe_platform_rpc_pfe_phy_if_generic_t *)buf_253(D)].phy_if_id;
  _5 = (unsigned int) _4;
  _6 = (void *) _5;
  ret_255 = pfe_if_db_get_first (_2, _3, 1, _6, &entry);
  # DEBUG ret => ret_255
  # DEBUG BEGIN_STMT
  if (ret_255 == 0)
    goto <bb 5>; [50.00%]
  else
    goto <bb 7>; [50.00%]

  <bb 5> [local count: 322766792]:
  entry.0_7 = entry;
  if (entry.0_7 != 0B)
    goto <bb 6>; [70.00%]
  else
    goto <bb 7>; [30.00%]

  <bb 6> [local count: 225936754]:
  # DEBUG BEGIN_STMT
  phy_if_arg_256 = pfe_if_db_entry_get_phy_if (entry.0_7);
  # DEBUG phy_if_arg => phy_if_arg_256

  <bb 7> [local count: 1073741824]:
  # phy_if_arg_133 = PHI <0B(3), phy_if_arg_256(6), 0B(5), 0B(4)>
  # ret_135 = PHI <0(3), 0(6), 2(5), 2(4)>
  # DEBUG ret => ret_135
  # DEBUG phy_if_arg => phy_if_arg_133
  # DEBUG BEGIN_STMT
  _8 = id_251(D) + 4294967095;
  if (_8 <= 29)
    goto <bb 8>; [33.00%]
  else
    goto <bb 11>; [67.00%]

  <bb 8> [local count: 354334802]:
  # DEBUG BEGIN_STMT
  _9 = MEM[(struct pfe_platform_t *)arg_247(D)].log_if_db;
  _10 = (long unsigned int) sender_252(D);
  _11 = MEM[(struct pfe_platform_rpc_pfe_log_if_generic_t *)buf_253(D)].log_if_id;
  _12 = (unsigned int) _11;
  _13 = (void *) _12;
  ret_258 = pfe_if_db_get_first (_9, _10, 1, _13, &entry);
  # DEBUG ret => ret_258
  # DEBUG BEGIN_STMT
  if (ret_258 == 0)
    goto <bb 9>; [50.00%]
  else
    goto <bb 11>; [50.00%]

  <bb 9> [local count: 177167401]:
  entry.2_14 = entry;
  if (entry.2_14 != 0B)
    goto <bb 10>; [70.00%]
  else
    goto <bb 11>; [30.00%]

  <bb 10> [local count: 124017180]:
  # DEBUG BEGIN_STMT
  log_if_arg_259 = pfe_if_db_entry_get_log_if (entry.2_14);
  # DEBUG log_if_arg => log_if_arg_259

  <bb 11> [local count: 1073741824]:
  # log_if_arg_134 = PHI <0B(7), log_if_arg_259(10), 0B(9), 0B(8)>
  # ret_136 = PHI <ret_135(7), 0(10), 2(9), 2(8)>
  # DEBUG ret => ret_136
  # DEBUG log_if_arg => log_if_arg_134
  # DEBUG BEGIN_STMT
  switch (id_251(D)) <default: <L362> [1.72%], case 100: <L230> [1.72%], case 101: <L233> [1.72%], case 102: <L238> [1.72%], case 103: <L243> [1.72%], case 104: <L248> [1.72%], case 105: <L283> [1.72%], case 106: <L289> [1.72%], case 107: <L300> [1.72%], case 108: <L316> [1.72%], case 109: <L326> [1.72%], case 110: <L332> [1.72%], case 111: <L338> [1.72%], case 112: <L344> [1.72%], case 113: <L295> [1.72%], case 114: <L273> [1.72%], case 115: <L278> [1.72%], case 116: <L253> [1.72%], case 117: <L258> [1.72%], case 118: <L263> [1.72%], case 119: <L268> [1.72%], case 120: <L305> [1.72%], case 121: <L310> [1.72%], case 122: <L350> [1.72%], case 190: <L13> [1.72%], case 191: <L16> [1.72%], case 200: <L19> [1.72%], case 201: <L46> [1.72%], case 202: <L60> [1.72%], case 203: <L68> [1.72%], case 204: <L74> [1.72%], case 205: <L82> [1.72%], case 206: <L90> [1.72%], case 207: <L95> [1.72%], case 208: <L179> [1.72%], case 209: <L199> [1.72%], case 210: <L105> [1.72%], case 211: <L110> [1.72%], case 212: <L115> [1.72%], case 213: <L121> [1.72%], case 214: <L126> [1.72%], case 215: <L131> [1.72%], case 216: <L193> [1.72%], case 217: <L208> [1.72%], case 218: <L214> [1.72%], case 219: <L219> [1.72%], case 220: <L224> [1.72%], case 221: <L100> [1.72%], case 222: <L169> [1.72%], case 223: <L174> [1.72%], case 224: <L143> [1.72%], case 225: <L148> [1.72%], case 226: <L163> [1.72%], case 227: <L153> [1.72%], case 228: <L158> [1.72%], case 229: <L188> [1.72%], case 230: <L137> [1.72%], case 300: <L356> [1.72%]>

  <bb 12> [local count: 18468359]:
<L13>:
  # DEBUG BEGIN_STMT
  _15 = (long unsigned int) sender_252(D);
  ret_417 = pfe_if_db_lock_owned (_15);
  # DEBUG ret => ret_417
  # DEBUG BEGIN_STMT
  pfe_idex_set_rpc_ret_val (ret_417, 0B, 0);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  goto <bb 201>; [100.00%]

  <bb 13> [local count: 18468359]:
<L16>:
  # DEBUG BEGIN_STMT
  _16 = (long unsigned int) sender_252(D);
  ret_414 = pfe_if_db_unlock (_16);
  # DEBUG ret => ret_414
  # DEBUG BEGIN_STMT
  pfe_idex_set_rpc_ret_val (ret_414, 0B, 0);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  goto <bb 201>; [100.00%]

  <bb 14> [local count: 18468359]:
<L19>:
  # DEBUG BEGIN_STMT
  # DEBUG arg_p => buf_253(D)
  # DEBUG BEGIN_STMT
  rpc_ret.log_if_id = 0;
  # DEBUG BEGIN_STMT
  # DEBUG log_if => 0B
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (ret_136 == 0)
    goto <bb 15>; [50.00%]
  else
    goto <bb 22>; [50.00%]

  <bb 15> [local count: 9234180]:
  # DEBUG BEGIN_STMT
  # DEBUG i => 0
  # DEBUG BEGIN_STMT
  namebuf[0] = 115;
  # DEBUG BEGIN_STMT
  _17 = sender_252(D) + 48;
  namebuf[1] = _17;
  # DEBUG BEGIN_STMT
  namebuf[2] = 46;
  # DEBUG BEGIN_STMT
  goto <bb 17>; [100.00%]

  <bb 16> [local count: 48483231]:
  # DEBUG BEGIN_STMT
  _18 = (unsigned int) i_185;
  _19 = _18 + 3;
  namebuf[_19] = _21;
  # DEBUG BEGIN_STMT
  i_398 = i_185 + 1;
  # DEBUG i => i_398

  <bb 17> [local count: 57717411]:
  # i_185 = PHI <0(15), i_398(16)>
  # DEBUG i => i_185
  # DEBUG BEGIN_STMT
  _20 = (int) i_185;
  _21 = MEM[(struct pfe_platform_rpc_pfe_log_if_create_arg_t *)buf_253(D)].name[_20];
  if (_21 != 0)
    goto <bb 18>; [94.50%]
  else
    goto <bb 19>; [5.50%]

  <bb 18> [local count: 54542953]:
  if (i_185 != 8)
    goto <bb 16>; [88.89%]
  else
    goto <bb 19>; [11.11%]

  <bb 19> [local count: 9234180]:
  # i_248 = PHI <i_185(17), i_185(18)>
  # DEBUG BEGIN_STMT
  _22 = (unsigned int) i_248;
  _23 = _22 + 3;
  namebuf[_23] = 0;
  # DEBUG BEGIN_STMT
  log_if_401 = pfe_log_if_create (phy_if_arg_133, &namebuf);
  # DEBUG log_if => log_if_401
  # DEBUG BEGIN_STMT
  if (log_if_401 == 0B)
    goto <bb 22>; [46.53%]
  else
    goto <bb 20>; [53.47%]

  <bb 20> [local count: 4937516]:
  # DEBUG BEGIN_STMT
  _24 = pfe_log_if_get_id (log_if_401);
  rpc_ret.log_if_id = _24;
  # DEBUG BEGIN_STMT
  _25 = MEM[(struct pfe_platform_t *)arg_247(D)].log_if_db;
  _26 = (long unsigned int) sender_252(D);
  ret_404 = pfe_if_db_add (_25, _26, log_if_401, sender_252(D));
  # DEBUG ret => ret_404
  # DEBUG BEGIN_STMT
  if (ret_404 != 0)
    goto <bb 21>; [33.00%]
  else
    goto <bb 22>; [67.00%]

  <bb 21> [local count: 1629380]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  pfe_log_if_destroy (log_if_401);
  # DEBUG BEGIN_STMT
  # DEBUG log_if => 0B

  <bb 22> [local count: 18468359]:
  # ret_137 = PHI <ret_136(14), 19(19), ret_404(20), ret_404(21)>
  # log_if_184 = PHI <0B(14), log_if_401(19), log_if_401(20), 0B(21)>
  # DEBUG log_if => log_if_184
  # DEBUG ret => ret_137
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _27 = pfe_idex_set_rpc_ret_val (ret_137, &rpc_ret, 4);
  if (_27 != 0)
    goto <bb 23>; [50.00%]
  else
    goto <bb 29>; [50.00%]

  <bb 23> [local count: 9234180]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (log_if_184 != 0B)
    goto <bb 24>; [53.47%]
  else
    goto <bb 29>; [46.53%]

  <bb 24> [local count: 4937516]:
  # DEBUG BEGIN_STMT
  _28 = MEM[(struct pfe_platform_t *)arg_247(D)].log_if_db;
  _29 = (long unsigned int) sender_252(D);
  ret_408 = pfe_if_db_get_first (_28, _29, 2, log_if_184, &entry);
  # DEBUG ret => ret_408
  # DEBUG BEGIN_STMT
  entry.5_30 = entry;
  if (entry.5_30 == 0B)
    goto <bb 29>; [30.00%]
  else
    goto <bb 25>; [70.00%]

  <bb 25> [local count: 3456261]:
  # DEBUG BEGIN_STMT
  if (ret_408 == 0)
    goto <bb 26>; [33.00%]
  else
    goto <bb 27>; [67.00%]

  <bb 26> [local count: 1140566]:
  # DEBUG BEGIN_STMT
  _31 = MEM[(struct pfe_platform_t *)arg_247(D)].log_if_db;
  ret_410 = pfe_if_db_remove (_31, _29, entry.5_30);
  # DEBUG ret => ret_410

  <bb 27> [local count: 3456261]:
  # ret_138 = PHI <ret_410(26), ret_408(25)>
  # DEBUG ret => ret_138
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (ret_138 != 0)
    goto <bb 29>; [67.00%]
  else
    goto <bb 28>; [33.00%]

  <bb 28> [local count: 1140566]:
  # DEBUG BEGIN_STMT
  pfe_log_if_destroy (log_if_184);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG log_if => 0B

  <bb 29> [local count: 18468359]:
  # DEBUG ret => NULL
  # DEBUG BEGIN_STMT
  rpc_ret ={v} {CLOBBER};
  goto <bb 201>; [100.00%]

  <bb 30> [local count: 18468359]:
<L46>:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (ret_136 == 0)
    goto <bb 31>; [33.00%]
  else
    goto <bb 36>; [67.00%]

  <bb 31> [local count: 6094559]:
  # DEBUG BEGIN_STMT
  _32 = MEM[(struct pfe_platform_t *)arg_247(D)].log_if_db;
  _33 = (long unsigned int) sender_252(D);
  ret_388 = pfe_if_db_get_first (_32, _33, 2, log_if_arg_134, &entry);
  # DEBUG ret => ret_388
  # DEBUG BEGIN_STMT
  entry.7_34 = entry;
  if (entry.7_34 == 0B)
    goto <bb 36>; [30.00%]
  else
    goto <bb 32>; [70.00%]

  <bb 32> [local count: 4266191]:
  # DEBUG BEGIN_STMT
  if (ret_388 == 0)
    goto <bb 33>; [33.00%]
  else
    goto <bb 34>; [67.00%]

  <bb 33> [local count: 1407843]:
  # DEBUG BEGIN_STMT
  _35 = MEM[(struct pfe_platform_t *)arg_247(D)].log_if_db;
  ret_390 = pfe_if_db_remove (_35, _33, entry.7_34);
  # DEBUG ret => ret_390

  <bb 34> [local count: 4266191]:
  # ret_139 = PHI <ret_390(33), ret_388(32)>
  # DEBUG ret => ret_139
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (ret_139 != 0)
    goto <bb 36>; [67.00%]
  else
    goto <bb 35>; [33.00%]

  <bb 35> [local count: 1407843]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  pfe_log_if_destroy (log_if_arg_134);
  # DEBUG BEGIN_STMT
  # DEBUG log_if_arg => 0B

  <bb 36> [local count: 18468359]:
  # ret_140 = PHI <ret_136(30), ret_139(34), 0(35), 2(31)>
  # DEBUG ret => ret_140
  # DEBUG BEGIN_STMT
  pfe_idex_set_rpc_ret_val (ret_140, 0B, 0);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  goto <bb 201>; [100.00%]

  <bb 37> [local count: 18468359]:
<L60>:
  # DEBUG BEGIN_STMT
  # DEBUG arg_p => buf_253(D)
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (ret_136 == 0)
    goto <bb 38>; [33.00%]
  else
    goto <bb 39>; [67.00%]

  <bb 38> [local count: 6094559]:
  # DEBUG BEGIN_STMT
  _36 = MEM[(struct pfe_platform_rpc_pfe_log_if_set_match_rules_arg_t *)buf_253(D)].rules;
  _37 = (long unsigned int) _36;
  _38 = _37 >> 24;
  _39 = _37 >> 8;
  _40 = _39 & 65280;
  _41 = _38 | _40;
  _42 = _37 << 8;
  _43 = _42 & 16711680;
  _44 = _41 | _43;
  _45 = _37 << 24;
  _46 = _44 | _45;
  _47 = (<unnamed type>) _46;
  _48 = &MEM[(struct pfe_platform_rpc_pfe_log_if_set_match_rules_arg_t *)buf_253(D)].args;
  ret_385 = pfe_log_if_set_match_rules (log_if_arg_134, _47, _48);
  # DEBUG ret => ret_385
  # DEBUG BEGIN_STMT

  <bb 39> [local count: 18468359]:
  # ret_141 = PHI <ret_136(37), ret_385(38)>
  # DEBUG ret => ret_141
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  pfe_idex_set_rpc_ret_val (ret_141, 0B, 0);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  goto <bb 201>; [100.00%]

  <bb 40> [local count: 18468359]:
<L68>:
  # DEBUG BEGIN_STMT
  rpc_ret = {};
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  MEM[(void *)&rules] = 0;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (ret_136 == 0)
    goto <bb 41>; [33.00%]
  else
    goto <bb 42>; [67.00%]

  <bb 41> [local count: 6094559]:
  # DEBUG BEGIN_STMT
  ret_379 = pfe_log_if_get_match_rules (log_if_arg_134, &rules, &rpc_ret.args);
  # DEBUG ret => ret_379
  # DEBUG BEGIN_STMT
  rules.9_49 = rules;
  rules.10_50 = (long unsigned int) rules.9_49;
  _51 = rules.10_50 >> 24;
  _52 = rules.10_50 >> 8;
  _53 = _52 & 65280;
  _54 = _51 | _53;
  _55 = rules.10_50 << 8;
  _56 = _55 & 16711680;
  _57 = _54 | _56;
  _58 = rules.10_50 << 24;
  _59 = _57 | _58;
  _60 = (<unnamed type>) _59;
  rpc_ret.rules = _60;

  <bb 42> [local count: 18468359]:
  # ret_142 = PHI <ret_136(40), ret_379(41)>
  # DEBUG ret => ret_142
  # DEBUG BEGIN_STMT
  pfe_idex_set_rpc_ret_val (ret_142, &rpc_ret, 76);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  rpc_ret ={v} {CLOBBER};
  rules ={v} {CLOBBER};
  goto <bb 201>; [100.00%]

  <bb 43> [local count: 18468359]:
<L74>:
  # DEBUG BEGIN_STMT
  # DEBUG arg_p => buf_253(D)
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (ret_136 == 0)
    goto <bb 44>; [33.00%]
  else
    goto <bb 45>; [67.00%]

  <bb 44> [local count: 6094559]:
  # DEBUG BEGIN_STMT
  _61 = MEM[(struct pfe_platform_rpc_pfe_log_if_add_match_rule_arg_t *)buf_253(D)].rule;
  _62 = (long unsigned int) _61;
  _63 = _62 >> 24;
  _64 = _62 >> 8;
  _65 = _64 & 65280;
  _66 = _63 | _65;
  _67 = _62 << 8;
  _68 = _67 & 16711680;
  _69 = _66 | _68;
  _70 = _62 << 24;
  _71 = _69 | _70;
  _72 = (<unnamed type>) _71;
  _73 = &MEM[(struct pfe_platform_rpc_pfe_log_if_add_match_rule_arg_t *)buf_253(D)].arg;
  _74 = MEM[(struct pfe_platform_rpc_pfe_log_if_add_match_rule_arg_t *)buf_253(D)].arg_len;
  _75 = _74 >> 24;
  _76 = _74 >> 8;
  _77 = _76 & 65280;
  _78 = _75 | _77;
  _79 = _74 << 8;
  _80 = _79 & 16711680;
  _81 = _78 | _80;
  _82 = _74 << 24;
  _83 = _81 | _82;
  ret_374 = pfe_log_if_add_match_rule (log_if_arg_134, _72, _73, _83);
  # DEBUG ret => ret_374
  # DEBUG BEGIN_STMT

  <bb 45> [local count: 18468359]:
  # ret_143 = PHI <ret_136(43), ret_374(44)>
  # DEBUG ret => ret_143
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  pfe_idex_set_rpc_ret_val (ret_143, 0B, 0);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  goto <bb 201>; [100.00%]

  <bb 46> [local count: 18468359]:
<L82>:
  # DEBUG BEGIN_STMT
  # DEBUG arg_p => buf_253(D)
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (ret_136 == 0)
    goto <bb 47>; [33.00%]
  else
    goto <bb 48>; [67.00%]

  <bb 47> [local count: 6094559]:
  # DEBUG BEGIN_STMT
  _84 = MEM[(struct pfe_platform_rpc_pfe_log_if_del_match_rule_arg_t *)buf_253(D)].rule;
  _85 = (long unsigned int) _84;
  _86 = _85 >> 24;
  _87 = _85 >> 8;
  _88 = _87 & 65280;
  _89 = _86 | _88;
  _90 = _85 << 8;
  _91 = _90 & 16711680;
  _92 = _89 | _91;
  _93 = _85 << 24;
  _94 = _92 | _93;
  _95 = (<unnamed type>) _94;
  ret_371 = pfe_log_if_del_match_rule (log_if_arg_134, _95);
  # DEBUG ret => ret_371
  # DEBUG BEGIN_STMT

  <bb 48> [local count: 18468359]:
  # ret_144 = PHI <ret_136(46), ret_371(47)>
  # DEBUG ret => ret_144
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  pfe_idex_set_rpc_ret_val (ret_144, 0B, 0);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  goto <bb 201>; [100.00%]

  <bb 49> [local count: 18468359]:
<L90>:
  # DEBUG BEGIN_STMT
  # DEBUG arg_p => buf_253(D)
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (ret_136 == 0)
    goto <bb 50>; [33.00%]
  else
    goto <bb 51>; [67.00%]

  <bb 50> [local count: 6094559]:
  # DEBUG BEGIN_STMT
  _96 = &MEM[(struct pfe_platform_rpc_pfe_log_if_add_mac_addr_arg_t *)buf_253(D)].addr;
  ret_368 = pfe_log_if_add_mac_addr (log_if_arg_134, _96, sender_252(D));
  # DEBUG ret => ret_368

  <bb 51> [local count: 18468359]:
  # ret_145 = PHI <ret_136(49), ret_368(50)>
  # DEBUG ret => ret_145
  # DEBUG BEGIN_STMT
  pfe_idex_set_rpc_ret_val (ret_145, 0B, 0);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  goto <bb 201>; [100.00%]

  <bb 52> [local count: 18468359]:
<L95>:
  # DEBUG BEGIN_STMT
  # DEBUG arg_p => buf_253(D)
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (ret_136 == 0)
    goto <bb 53>; [33.00%]
  else
    goto <bb 54>; [67.00%]

  <bb 53> [local count: 6094559]:
  # DEBUG BEGIN_STMT
  _97 = &MEM[(struct pfe_platform_rpc_pfe_log_if_del_mac_addr_arg_t *)buf_253(D)].addr;
  ret_365 = pfe_log_if_del_mac_addr (log_if_arg_134, _97, sender_252(D));
  # DEBUG ret => ret_365

  <bb 54> [local count: 18468359]:
  # ret_146 = PHI <ret_136(52), ret_365(53)>
  # DEBUG ret => ret_146
  # DEBUG BEGIN_STMT
  pfe_idex_set_rpc_ret_val (ret_146, 0B, 0);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  goto <bb 201>; [100.00%]

  <bb 55> [local count: 18468359]:
<L100>:
  # DEBUG BEGIN_STMT
  # DEBUG arg_p => buf_253(D)
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (ret_136 == 0)
    goto <bb 56>; [33.00%]
  else
    goto <bb 57>; [67.00%]

  <bb 56> [local count: 6094559]:
  # DEBUG BEGIN_STMT
  _98 = MEM[(struct pfe_platform_rpc_pfe_log_if_flush_mac_addrs_arg_t *)buf_253(D)].crit;
  _99 = MEM[(struct pfe_platform_rpc_pfe_log_if_flush_mac_addrs_arg_t *)buf_253(D)].type;
  ret_305 = pfe_log_if_flush_mac_addrs (log_if_arg_134, _98, _99, sender_252(D));
  # DEBUG ret => ret_305

  <bb 57> [local count: 18468359]:
  # ret_147 = PHI <ret_136(55), ret_305(56)>
  # DEBUG ret => ret_147
  # DEBUG BEGIN_STMT
  pfe_idex_set_rpc_ret_val (ret_147, 0B, 0);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  goto <bb 201>; [100.00%]

  <bb 58> [local count: 18468359]:
<L105>:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (ret_136 == 0)
    goto <bb 59>; [33.00%]
  else
    goto <bb 60>; [67.00%]

  <bb 59> [local count: 6094559]:
  # DEBUG BEGIN_STMT
  ret_350 = pfe_log_if_enable (log_if_arg_134);
  # DEBUG ret => ret_350

  <bb 60> [local count: 18468359]:
  # ret_148 = PHI <ret_136(58), ret_350(59)>
  # DEBUG ret => ret_148
  # DEBUG BEGIN_STMT
  pfe_idex_set_rpc_ret_val (ret_148, 0B, 0);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  goto <bb 201>; [100.00%]

  <bb 61> [local count: 18468359]:
<L110>:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (ret_136 == 0)
    goto <bb 62>; [33.00%]
  else
    goto <bb 63>; [67.00%]

  <bb 62> [local count: 6094559]:
  # DEBUG BEGIN_STMT
  ret_347 = pfe_log_if_disable (log_if_arg_134);
  # DEBUG ret => ret_347

  <bb 63> [local count: 18468359]:
  # ret_149 = PHI <ret_136(61), ret_347(62)>
  # DEBUG ret => ret_149
  # DEBUG BEGIN_STMT
  pfe_idex_set_rpc_ret_val (ret_149, 0B, 0);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  goto <bb 201>; [100.00%]

  <bb 64> [local count: 18468359]:
<L115>:
  # DEBUG BEGIN_STMT
  rpc_ret.status = 0;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (ret_136 == 0)
    goto <bb 65>; [50.00%]
  else
    goto <bb 66>; [50.00%]

  <bb 65> [local count: 9234180]:
  # DEBUG BEGIN_STMT
  _100 = pfe_log_if_is_enabled (log_if_arg_134);
  rpc_ret.status = _100;

  <bb 66> [local count: 18468359]:
  # DEBUG BEGIN_STMT
  pfe_idex_set_rpc_ret_val (ret_136, &rpc_ret, 4);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  rpc_ret ={v} {CLOBBER};
  goto <bb 201>; [100.00%]

  <bb 67> [local count: 18468359]:
<L121>:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (ret_136 == 0)
    goto <bb 68>; [33.00%]
  else
    goto <bb 69>; [67.00%]

  <bb 68> [local count: 6094559]:
  # DEBUG BEGIN_STMT
  ret_340 = pfe_log_if_promisc_enable (log_if_arg_134);
  # DEBUG ret => ret_340

  <bb 69> [local count: 18468359]:
  # ret_150 = PHI <ret_136(67), ret_340(68)>
  # DEBUG ret => ret_150
  # DEBUG BEGIN_STMT
  pfe_idex_set_rpc_ret_val (ret_150, 0B, 0);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  goto <bb 201>; [100.00%]

  <bb 70> [local count: 18468359]:
<L126>:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (ret_136 == 0)
    goto <bb 71>; [33.00%]
  else
    goto <bb 72>; [67.00%]

  <bb 71> [local count: 6094559]:
  # DEBUG BEGIN_STMT
  ret_337 = pfe_log_if_promisc_disable (log_if_arg_134);
  # DEBUG ret => ret_337

  <bb 72> [local count: 18468359]:
  # ret_151 = PHI <ret_136(70), ret_337(71)>
  # DEBUG ret => ret_151
  # DEBUG BEGIN_STMT
  pfe_idex_set_rpc_ret_val (ret_151, 0B, 0);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  goto <bb 201>; [100.00%]

  <bb 73> [local count: 18468359]:
<L131>:
  # DEBUG BEGIN_STMT
  rpc_ret.status = 0;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (ret_136 == 0)
    goto <bb 74>; [50.00%]
  else
    goto <bb 75>; [50.00%]

  <bb 74> [local count: 9234180]:
  # DEBUG BEGIN_STMT
  _101 = pfe_log_if_is_promisc (log_if_arg_134);
  rpc_ret.status = _101;

  <bb 75> [local count: 18468359]:
  # DEBUG BEGIN_STMT
  pfe_idex_set_rpc_ret_val (ret_136, &rpc_ret, 4);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  rpc_ret ={v} {CLOBBER};
  goto <bb 201>; [100.00%]

  <bb 76> [local count: 18468359]:
<L137>:
  # DEBUG BEGIN_STMT
  rpc_ret.status = 0;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (ret_136 == 0)
    goto <bb 77>; [50.00%]
  else
    goto <bb 78>; [50.00%]

  <bb 77> [local count: 9234180]:
  # DEBUG BEGIN_STMT
  _102 = pfe_log_if_is_loopback (log_if_arg_134);
  rpc_ret.status = _102;

  <bb 78> [local count: 18468359]:
  # DEBUG BEGIN_STMT
  pfe_idex_set_rpc_ret_val (ret_136, &rpc_ret, 4);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  rpc_ret ={v} {CLOBBER};
  goto <bb 201>; [100.00%]

  <bb 79> [local count: 18468359]:
<L143>:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (ret_136 == 0)
    goto <bb 80>; [33.00%]
  else
    goto <bb 81>; [67.00%]

  <bb 80> [local count: 6094559]:
  # DEBUG BEGIN_STMT
  ret_296 = pfe_log_if_loopback_enable (log_if_arg_134);
  # DEBUG ret => ret_296

  <bb 81> [local count: 18468359]:
  # ret_152 = PHI <ret_136(79), ret_296(80)>
  # DEBUG ret => ret_152
  # DEBUG BEGIN_STMT
  pfe_idex_set_rpc_ret_val (ret_152, 0B, 0);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  goto <bb 201>; [100.00%]

  <bb 82> [local count: 18468359]:
<L148>:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (ret_136 == 0)
    goto <bb 83>; [33.00%]
  else
    goto <bb 84>; [67.00%]

  <bb 83> [local count: 6094559]:
  # DEBUG BEGIN_STMT
  ret_293 = pfe_log_if_loopback_disable (log_if_arg_134);
  # DEBUG ret => ret_293

  <bb 84> [local count: 18468359]:
  # ret_153 = PHI <ret_136(82), ret_293(83)>
  # DEBUG ret => ret_153
  # DEBUG BEGIN_STMT
  pfe_idex_set_rpc_ret_val (ret_153, 0B, 0);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  goto <bb 201>; [100.00%]

  <bb 85> [local count: 18468359]:
<L153>:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (ret_136 == 0)
    goto <bb 86>; [33.00%]
  else
    goto <bb 87>; [67.00%]

  <bb 86> [local count: 6094559]:
  # DEBUG BEGIN_STMT
  ret_285 = pfe_log_if_discard_enable (log_if_arg_134);
  # DEBUG ret => ret_285

  <bb 87> [local count: 18468359]:
  # ret_154 = PHI <ret_136(85), ret_285(86)>
  # DEBUG ret => ret_154
  # DEBUG BEGIN_STMT
  pfe_idex_set_rpc_ret_val (ret_154, 0B, 0);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  goto <bb 201>; [100.00%]

  <bb 88> [local count: 18468359]:
<L158>:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (ret_136 == 0)
    goto <bb 89>; [33.00%]
  else
    goto <bb 90>; [67.00%]

  <bb 89> [local count: 6094559]:
  # DEBUG BEGIN_STMT
  ret_282 = pfe_log_if_discard_disable (log_if_arg_134);
  # DEBUG ret => ret_282

  <bb 90> [local count: 18468359]:
  # ret_155 = PHI <ret_136(88), ret_282(89)>
  # DEBUG ret => ret_155
  # DEBUG BEGIN_STMT
  pfe_idex_set_rpc_ret_val (ret_155, 0B, 0);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  goto <bb 201>; [100.00%]

  <bb 91> [local count: 18468359]:
<L163>:
  # DEBUG BEGIN_STMT
  rpc_ret.status = 0;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (ret_136 == 0)
    goto <bb 92>; [33.00%]
  else
    goto <bb 93>; [67.00%]

  <bb 92> [local count: 6094559]:
  # DEBUG BEGIN_STMT
  _103 = pfe_log_if_is_discard (log_if_arg_134);
  rpc_ret.status = _103;

  <bb 93> [local count: 18468359]:
  # DEBUG BEGIN_STMT
  pfe_idex_set_rpc_ret_val (ret_136, &rpc_ret, 4);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  rpc_ret ={v} {CLOBBER};
  goto <bb 201>; [100.00%]

  <bb 94> [local count: 18468359]:
<L169>:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (ret_136 == 0)
    goto <bb 95>; [33.00%]
  else
    goto <bb 96>; [67.00%]

  <bb 95> [local count: 6094559]:
  # DEBUG BEGIN_STMT
  ret_302 = pfe_log_if_allmulti_enable (log_if_arg_134);
  # DEBUG ret => ret_302

  <bb 96> [local count: 18468359]:
  # ret_156 = PHI <ret_136(94), ret_302(95)>
  # DEBUG ret => ret_156
  # DEBUG BEGIN_STMT
  pfe_idex_set_rpc_ret_val (ret_156, 0B, 0);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  goto <bb 201>; [100.00%]

  <bb 97> [local count: 18468359]:
<L174>:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (ret_136 == 0)
    goto <bb 98>; [33.00%]
  else
    goto <bb 99>; [67.00%]

  <bb 98> [local count: 6094559]:
  # DEBUG BEGIN_STMT
  ret_299 = pfe_log_if_allmulti_disable (log_if_arg_134);
  # DEBUG ret => ret_299

  <bb 99> [local count: 18468359]:
  # ret_157 = PHI <ret_136(97), ret_299(98)>
  # DEBUG ret => ret_157
  # DEBUG BEGIN_STMT
  pfe_idex_set_rpc_ret_val (ret_157, 0B, 0);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  goto <bb 201>; [100.00%]

  <bb 100> [local count: 18468359]:
<L179>:
  # DEBUG BEGIN_STMT
  # DEBUG arg_p => buf_253(D)
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (ret_136 == 0)
    goto <bb 101>; [33.00%]
  else
    goto <bb 104>; [67.00%]

  <bb 101> [local count: 6094559]:
  # DEBUG BEGIN_STMT
  _104 = MEM[(struct pfe_platform_t *)arg_247(D)].phy_if_db;
  _105 = (long unsigned int) sender_252(D);
  _106 = MEM[(struct pfe_platform_rpc_pfe_log_if_add_egress_if_arg_t *)buf_253(D)].phy_if_id;
  _107 = (unsigned int) _106;
  _108 = (void *) _107;
  ret_359 = pfe_if_db_get_first (_104, _105, 1, _108, &entry);
  # DEBUG ret => ret_359
  # DEBUG BEGIN_STMT
  entry.17_109 = entry;
  phy_if_arg_360 = pfe_if_db_entry_get_phy_if (entry.17_109);
  # DEBUG phy_if_arg => phy_if_arg_360
  # DEBUG BEGIN_STMT
  if (phy_if_arg_360 == 0B)
    goto <bb 104>; [30.00%]
  else
    goto <bb 102>; [70.00%]

  <bb 102> [local count: 4266191]:
  if (ret_359 != 0)
    goto <bb 104>; [67.00%]
  else
    goto <bb 103>; [33.00%]

  <bb 103> [local count: 1407843]:
  # DEBUG BEGIN_STMT
  ret_362 = pfe_log_if_add_egress_if (log_if_arg_134, phy_if_arg_360);
  # DEBUG ret => ret_362

  <bb 104> [local count: 18468359]:
  # ret_158 = PHI <ret_136(100), 2(102), ret_362(103), 2(101)>
  # DEBUG ret => ret_158
  # DEBUG BEGIN_STMT
  pfe_idex_set_rpc_ret_val (ret_158, 0B, 0);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  goto <bb 201>; [100.00%]

  <bb 105> [local count: 18468359]:
<L188>:
  # DEBUG BEGIN_STMT
  # DEBUG arg_p => buf_253(D)
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (ret_136 == 0)
    goto <bb 106>; [33.00%]
  else
    goto <bb 107>; [67.00%]

  <bb 106> [local count: 6094559]:
  # DEBUG BEGIN_STMT
  _110 = MEM[(struct pfe_platform_rpc_pfe_log_if_set_egress_ifs_arg_t *)buf_253(D)].phy_if_id_mask;
  ret_279 = pfe_log_if_set_egress_ifs (log_if_arg_134, _110);
  # DEBUG ret => ret_279

  <bb 107> [local count: 18468359]:
  # ret_159 = PHI <ret_136(105), ret_279(106)>
  # DEBUG ret => ret_159
  # DEBUG BEGIN_STMT
  pfe_idex_set_rpc_ret_val (ret_159, 0B, 0);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  goto <bb 201>; [100.00%]

  <bb 108> [local count: 18468359]:
<L193>:
  # DEBUG BEGIN_STMT
  rpc_ret.egress = 0;
  # DEBUG BEGIN_STMT
  egress = 0;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (ret_136 == 0)
    goto <bb 109>; [33.00%]
  else
    goto <bb 110>; [67.00%]

  <bb 109> [local count: 6094559]:
  # DEBUG BEGIN_STMT
  ret_327 = pfe_log_if_get_egress_ifs (log_if_arg_134, &egress);
  # DEBUG ret => ret_327
  # DEBUG BEGIN_STMT
  egress.18_111 = egress;
  rpc_ret.egress = egress.18_111;

  <bb 110> [local count: 18468359]:
  # ret_160 = PHI <ret_136(108), ret_327(109)>
  # DEBUG ret => ret_160
  # DEBUG BEGIN_STMT
  pfe_idex_set_rpc_ret_val (ret_160, &rpc_ret, 4);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  rpc_ret ={v} {CLOBBER};
  egress ={v} {CLOBBER};
  goto <bb 201>; [100.00%]

  <bb 111> [local count: 18468359]:
<L199>:
  # DEBUG BEGIN_STMT
  # DEBUG arg_p => buf_253(D)
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (ret_136 == 0)
    goto <bb 112>; [33.00%]
  else
    goto <bb 115>; [67.00%]

  <bb 112> [local count: 6094559]:
  # DEBUG BEGIN_STMT
  _112 = MEM[(struct pfe_platform_t *)arg_247(D)].phy_if_db;
  _113 = (long unsigned int) sender_252(D);
  _114 = MEM[(const struct pfe_platform_rpc_pfe_log_if_del_egress_if_arg_t *)buf_253(D)].phy_if_id;
  _115 = (unsigned int) _114;
  _116 = (void *) _115;
  ret_353 = pfe_if_db_get_first (_112, _113, 1, _116, &entry);
  # DEBUG ret => ret_353
  # DEBUG BEGIN_STMT
  entry.19_117 = entry;
  phy_if_arg_354 = pfe_if_db_entry_get_phy_if (entry.19_117);
  # DEBUG phy_if_arg => phy_if_arg_354
  # DEBUG BEGIN_STMT
  if (phy_if_arg_354 == 0B)
    goto <bb 115>; [30.00%]
  else
    goto <bb 113>; [70.00%]

  <bb 113> [local count: 4266191]:
  if (ret_353 != 0)
    goto <bb 115>; [67.00%]
  else
    goto <bb 114>; [33.00%]

  <bb 114> [local count: 1407843]:
  # DEBUG BEGIN_STMT
  ret_356 = pfe_log_if_del_egress_if (log_if_arg_134, phy_if_arg_354);
  # DEBUG ret => ret_356

  <bb 115> [local count: 18468359]:
  # ret_161 = PHI <ret_136(111), 2(113), ret_356(114), 2(112)>
  # DEBUG ret => ret_161
  # DEBUG BEGIN_STMT
  pfe_idex_set_rpc_ret_val (ret_161, 0B, 0);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  goto <bb 201>; [100.00%]

  <bb 116> [local count: 18468359]:
<L208>:
  # DEBUG BEGIN_STMT
  rpc_ret.status = 0;
  # DEBUG BEGIN_STMT
  # DEBUG status => 0
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (ret_136 == 0)
    goto <bb 117>; [33.00%]
  else
    goto <bb 118>; [67.00%]

  <bb 117> [local count: 6094559]:
  # DEBUG BEGIN_STMT
  status_320 = pfe_log_if_is_match_or (log_if_arg_134);
  # DEBUG status => status_320
  # DEBUG BEGIN_STMT
  rpc_ret.status = status_320;

  <bb 118> [local count: 18468359]:
  # DEBUG BEGIN_STMT
  pfe_idex_set_rpc_ret_val (ret_136, &rpc_ret, 4);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  rpc_ret ={v} {CLOBBER};
  goto <bb 201>; [100.00%]

  <bb 119> [local count: 18468359]:
<L214>:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (ret_136 == 0)
    goto <bb 120>; [33.00%]
  else
    goto <bb 121>; [67.00%]

  <bb 120> [local count: 6094559]:
  # DEBUG BEGIN_STMT
  ret_316 = pfe_log_if_set_match_or (log_if_arg_134);
  # DEBUG ret => ret_316

  <bb 121> [local count: 18468359]:
  # ret_162 = PHI <ret_136(119), ret_316(120)>
  # DEBUG ret => ret_162
  # DEBUG BEGIN_STMT
  pfe_idex_set_rpc_ret_val (ret_162, 0B, 0);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  goto <bb 201>; [100.00%]

  <bb 122> [local count: 18468359]:
<L219>:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (ret_136 == 0)
    goto <bb 123>; [33.00%]
  else
    goto <bb 124>; [67.00%]

  <bb 123> [local count: 6094559]:
  # DEBUG BEGIN_STMT
  ret_313 = pfe_log_if_set_match_and (log_if_arg_134);
  # DEBUG ret => ret_313

  <bb 124> [local count: 18468359]:
  # ret_163 = PHI <ret_136(122), ret_313(123)>
  # DEBUG ret => ret_163
  # DEBUG BEGIN_STMT
  pfe_idex_set_rpc_ret_val (ret_163, 0B, 0);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  goto <bb 201>; [100.00%]

  <bb 125> [local count: 18468359]:
<L224>:
  # DEBUG BEGIN_STMT
  rpc_ret = {};
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (ret_136 == 0)
    goto <bb 126>; [33.00%]
  else
    goto <bb 127>; [67.00%]

  <bb 126> [local count: 6094559]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  ret_309 = pfe_log_if_get_stats (log_if_arg_134, &rpc_ret.stats);
  # DEBUG ret => ret_309

  <bb 127> [local count: 18468359]:
  # ret_164 = PHI <ret_136(125), ret_309(126)>
  # DEBUG ret => ret_164
  # DEBUG BEGIN_STMT
  pfe_idex_set_rpc_ret_val (ret_164, &rpc_ret, 16);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  rpc_ret ={v} {CLOBBER};
  goto <bb 201>; [100.00%]

  <bb 128> [local count: 18468359]:
<L230>:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  pfe_idex_set_rpc_ret_val (ret_136, 0B, 0);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  goto <bb 201>; [100.00%]

  <bb 129> [local count: 18468359]:
<L233>:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (ret_136 == 0)
    goto <bb 130>; [33.00%]
  else
    goto <bb 131>; [67.00%]

  <bb 130> [local count: 6094559]:
  # DEBUG BEGIN_STMT
  ret_508 = pfe_phy_if_enable (phy_if_arg_133);
  # DEBUG ret => ret_508

  <bb 131> [local count: 18468359]:
  # ret_165 = PHI <ret_136(129), ret_508(130)>
  # DEBUG ret => ret_165
  # DEBUG BEGIN_STMT
  pfe_idex_set_rpc_ret_val (ret_165, 0B, 0);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  goto <bb 201>; [100.00%]

  <bb 132> [local count: 18468359]:
<L238>:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (ret_136 == 0)
    goto <bb 133>; [33.00%]
  else
    goto <bb 134>; [67.00%]

  <bb 133> [local count: 6094559]:
  # DEBUG BEGIN_STMT
  ret_505 = pfe_phy_if_disable (phy_if_arg_133);
  # DEBUG ret => ret_505

  <bb 134> [local count: 18468359]:
  # ret_166 = PHI <ret_136(132), ret_505(133)>
  # DEBUG ret => ret_166
  # DEBUG BEGIN_STMT
  pfe_idex_set_rpc_ret_val (ret_166, 0B, 0);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  goto <bb 201>; [100.00%]

  <bb 135> [local count: 18468359]:
<L243>:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (ret_136 == 0)
    goto <bb 136>; [33.00%]
  else
    goto <bb 137>; [67.00%]

  <bb 136> [local count: 6094559]:
  # DEBUG BEGIN_STMT
  ret_502 = pfe_phy_if_promisc_enable (phy_if_arg_133);
  # DEBUG ret => ret_502

  <bb 137> [local count: 18468359]:
  # ret_167 = PHI <ret_136(135), ret_502(136)>
  # DEBUG ret => ret_167
  # DEBUG BEGIN_STMT
  pfe_idex_set_rpc_ret_val (ret_167, 0B, 0);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  goto <bb 201>; [100.00%]

  <bb 138> [local count: 18468359]:
<L248>:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (ret_136 == 0)
    goto <bb 139>; [33.00%]
  else
    goto <bb 140>; [67.00%]

  <bb 139> [local count: 6094559]:
  # DEBUG BEGIN_STMT
  ret_499 = pfe_phy_if_promisc_disable (phy_if_arg_133);
  # DEBUG ret => ret_499

  <bb 140> [local count: 18468359]:
  # ret_168 = PHI <ret_136(138), ret_499(139)>
  # DEBUG ret => ret_168
  # DEBUG BEGIN_STMT
  pfe_idex_set_rpc_ret_val (ret_168, 0B, 0);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  goto <bb 201>; [100.00%]

  <bb 141> [local count: 18468359]:
<L253>:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (ret_136 == 0)
    goto <bb 142>; [33.00%]
  else
    goto <bb 143>; [67.00%]

  <bb 142> [local count: 6094559]:
  # DEBUG BEGIN_STMT
  ret_446 = pfe_phy_if_loopback_enable (phy_if_arg_133);
  # DEBUG ret => ret_446

  <bb 143> [local count: 18468359]:
  # ret_169 = PHI <ret_136(141), ret_446(142)>
  # DEBUG ret => ret_169
  # DEBUG BEGIN_STMT
  pfe_idex_set_rpc_ret_val (ret_169, 0B, 0);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  goto <bb 201>; [100.00%]

  <bb 144> [local count: 18468359]:
<L258>:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (ret_136 == 0)
    goto <bb 145>; [33.00%]
  else
    goto <bb 146>; [67.00%]

  <bb 145> [local count: 6094559]:
  # DEBUG BEGIN_STMT
  ret_443 = pfe_phy_if_loopback_disable (phy_if_arg_133);
  # DEBUG ret => ret_443

  <bb 146> [local count: 18468359]:
  # ret_170 = PHI <ret_136(144), ret_443(145)>
  # DEBUG ret => ret_170
  # DEBUG BEGIN_STMT
  pfe_idex_set_rpc_ret_val (ret_170, 0B, 0);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  goto <bb 201>; [100.00%]

  <bb 147> [local count: 18468359]:
<L263>:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (ret_136 == 0)
    goto <bb 148>; [33.00%]
  else
    goto <bb 149>; [67.00%]

  <bb 148> [local count: 6094559]:
  # DEBUG BEGIN_STMT
  ret_440 = pfe_phy_if_loadbalance_enable (phy_if_arg_133);
  # DEBUG ret => ret_440

  <bb 149> [local count: 18468359]:
  # ret_171 = PHI <ret_136(147), ret_440(148)>
  # DEBUG ret => ret_171
  # DEBUG BEGIN_STMT
  pfe_idex_set_rpc_ret_val (ret_171, 0B, 0);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  goto <bb 201>; [100.00%]

  <bb 150> [local count: 18468359]:
<L268>:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (ret_136 == 0)
    goto <bb 151>; [33.00%]
  else
    goto <bb 152>; [67.00%]

  <bb 151> [local count: 6094559]:
  # DEBUG BEGIN_STMT
  ret_437 = pfe_phy_if_loadbalance_disable (phy_if_arg_133);
  # DEBUG ret => ret_437

  <bb 152> [local count: 18468359]:
  # ret_172 = PHI <ret_136(150), ret_437(151)>
  # DEBUG ret => ret_172
  # DEBUG BEGIN_STMT
  pfe_idex_set_rpc_ret_val (ret_172, 0B, 0);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  goto <bb 201>; [100.00%]

  <bb 153> [local count: 18468359]:
<L273>:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (ret_136 == 0)
    goto <bb 154>; [33.00%]
  else
    goto <bb 155>; [67.00%]

  <bb 154> [local count: 6094559]:
  # DEBUG BEGIN_STMT
  ret_452 = pfe_phy_if_allmulti_enable (phy_if_arg_133);
  # DEBUG ret => ret_452

  <bb 155> [local count: 18468359]:
  # ret_173 = PHI <ret_136(153), ret_452(154)>
  # DEBUG ret => ret_173
  # DEBUG BEGIN_STMT
  pfe_idex_set_rpc_ret_val (ret_173, 0B, 0);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  goto <bb 201>; [100.00%]

  <bb 156> [local count: 18468359]:
<L278>:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (ret_136 == 0)
    goto <bb 157>; [33.00%]
  else
    goto <bb 158>; [67.00%]

  <bb 157> [local count: 6094559]:
  # DEBUG BEGIN_STMT
  ret_449 = pfe_phy_if_allmulti_disable (phy_if_arg_133);
  # DEBUG ret => ret_449

  <bb 158> [local count: 18468359]:
  # ret_174 = PHI <ret_136(156), ret_449(157)>
  # DEBUG ret => ret_174
  # DEBUG BEGIN_STMT
  pfe_idex_set_rpc_ret_val (ret_174, 0B, 0);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  goto <bb 201>; [100.00%]

  <bb 159> [local count: 18468359]:
<L283>:
  # DEBUG BEGIN_STMT
  # DEBUG rpc_arg => buf_253(D)
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (ret_136 == 0)
    goto <bb 160>; [33.00%]
  else
    goto <bb 161>; [67.00%]

  <bb 160> [local count: 6094559]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  MEM[(char * {ref-all})&mac_addr] = MEM[(char * {ref-all})buf_253(D) + 1B];
  # DEBUG BEGIN_STMT
  ret_495 = pfe_phy_if_add_mac_addr (phy_if_arg_133, &mac_addr, sender_252(D));
  # DEBUG ret => ret_495

  <bb 161> [local count: 18468359]:
  # ret_175 = PHI <ret_136(159), ret_495(160)>
  # DEBUG ret => ret_175
  # DEBUG BEGIN_STMT
  pfe_idex_set_rpc_ret_val (ret_175, 0B, 0);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  mac_addr ={v} {CLOBBER};
  goto <bb 201>; [100.00%]

  <bb 162> [local count: 18468359]:
<L289>:
  # DEBUG BEGIN_STMT
  # DEBUG rpc_arg => buf_253(D)
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (ret_136 == 0)
    goto <bb 163>; [33.00%]
  else
    goto <bb 164>; [67.00%]

  <bb 163> [local count: 6094559]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  MEM[(char * {ref-all})&mac_addr] = MEM[(char * {ref-all})buf_253(D) + 1B];
  # DEBUG BEGIN_STMT
  ret_490 = pfe_phy_if_del_mac_addr (phy_if_arg_133, &mac_addr, sender_252(D));
  # DEBUG ret => ret_490

  <bb 164> [local count: 18468359]:
  # ret_176 = PHI <ret_136(162), ret_490(163)>
  # DEBUG ret => ret_176
  # DEBUG BEGIN_STMT
  pfe_idex_set_rpc_ret_val (ret_176, 0B, 0);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  mac_addr ={v} {CLOBBER};
  goto <bb 201>; [100.00%]

  <bb 165> [local count: 18468359]:
<L295>:
  # DEBUG BEGIN_STMT
  # DEBUG rpc_arg => buf_253(D)
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (ret_136 == 0)
    goto <bb 166>; [33.00%]
  else
    goto <bb 167>; [67.00%]

  <bb 166> [local count: 6094559]:
  # DEBUG BEGIN_STMT
  _118 = MEM[(struct pfe_platform_rpc_pfe_phy_if_flush_mac_addrs_arg_t *)buf_253(D)].crit;
  _119 = MEM[(struct pfe_platform_rpc_pfe_phy_if_flush_mac_addrs_arg_t *)buf_253(D)].type;
  ret_455 = pfe_phy_if_flush_mac_addrs (phy_if_arg_133, _118, _119, sender_252(D));
  # DEBUG ret => ret_455

  <bb 167> [local count: 18468359]:
  # ret_177 = PHI <ret_136(165), ret_455(166)>
  # DEBUG ret => ret_177
  # DEBUG BEGIN_STMT
  pfe_idex_set_rpc_ret_val (ret_177, 0B, 0);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  goto <bb 201>; [100.00%]

  <bb 168> [local count: 18468359]:
<L300>:
  # DEBUG BEGIN_STMT
  # DEBUG rpc_arg => buf_253(D)
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (ret_136 == 0)
    goto <bb 169>; [33.00%]
  else
    goto <bb 170>; [67.00%]

  <bb 169> [local count: 6094559]:
  # DEBUG BEGIN_STMT
  _120 = MEM[(struct pfe_platform_rpc_pfe_phy_if_set_op_mode_arg_t *)buf_253(D)].op_mode;
  ret_486 = pfe_phy_if_set_op_mode (phy_if_arg_133, _120);
  # DEBUG ret => ret_486

  <bb 170> [local count: 18468359]:
  # ret_178 = PHI <ret_136(168), ret_486(169)>
  # DEBUG ret => ret_178
  # DEBUG BEGIN_STMT
  pfe_idex_set_rpc_ret_val (ret_178, 0B, 0);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  goto <bb 201>; [100.00%]

  <bb 171> [local count: 18468359]:
<L305>:
  # DEBUG BEGIN_STMT
  # DEBUG rpc_arg => buf_253(D)
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (ret_136 == 0)
    goto <bb 172>; [33.00%]
  else
    goto <bb 173>; [67.00%]

  <bb 172> [local count: 6094559]:
  # DEBUG BEGIN_STMT
  _121 = MEM[(struct pfe_platform_rpc_pfe_phy_if_set_block_state_arg_t *)buf_253(D)].block_state;
  ret_434 = pfe_phy_if_set_block_state (phy_if_arg_133, _121);
  # DEBUG ret => ret_434

  <bb 173> [local count: 18468359]:
  # ret_179 = PHI <ret_136(171), ret_434(172)>
  # DEBUG ret => ret_179
  # DEBUG BEGIN_STMT
  pfe_idex_set_rpc_ret_val (ret_179, 0B, 0);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  goto <bb 201>; [100.00%]

  <bb 174> [local count: 18468359]:
<L310>:
  # DEBUG BEGIN_STMT
  rpc_ret.state = 0;
  # DEBUG BEGIN_STMT
  block_state = 0;
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (ret_136 == 0)
    goto <bb 175>; [33.00%]
  else
    goto <bb 176>; [67.00%]

  <bb 175> [local count: 6094559]:
  # DEBUG BEGIN_STMT
  ret_428 = pfe_phy_if_get_block_state (phy_if_arg_133, &block_state);
  # DEBUG ret => ret_428
  # DEBUG BEGIN_STMT
  block_state.20_122 = block_state;
  rpc_ret.state = block_state.20_122;

  <bb 176> [local count: 18468359]:
  # ret_180 = PHI <ret_136(174), ret_428(175)>
  # DEBUG ret => ret_180
  # DEBUG BEGIN_STMT
  pfe_idex_set_rpc_ret_val (ret_180, &rpc_ret, 4);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  rpc_ret ={v} {CLOBBER};
  block_state ={v} {CLOBBER};
  goto <bb 201>; [100.00%]

  <bb 177> [local count: 18468359]:
<L316>:
  # DEBUG BEGIN_STMT
  # DEBUG rpc_arg => buf_253(D)
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  _123 = MEM[(struct pfe_platform_t *)arg_247(D)].log_if_db;
  _124 = (long unsigned int) sender_252(D);
  _125 = MEM[(struct pfe_platform_rpc_pfe_phy_if_has_log_if_arg_t *)buf_253(D)].log_if_id;
  _126 = (unsigned int) _125;
  _127 = (void *) _126;
  ret_481 = pfe_if_db_get_first (_123, _124, 1, _127, &entry);
  # DEBUG ret => ret_481
  # DEBUG BEGIN_STMT
  entry.21_128 = entry;
  log_if_arg_482 = pfe_if_db_entry_get_log_if (entry.21_128);
  # DEBUG log_if_arg => log_if_arg_482
  # DEBUG BEGIN_STMT
  if (log_if_arg_482 == 0B)
    goto <bb 181>; [30.00%]
  else
    goto <bb 178>; [70.00%]

  <bb 178> [local count: 12927852]:
  if (ret_481 != 0)
    goto <bb 181>; [67.00%]
  else
    goto <bb 179>; [33.00%]

  <bb 179> [local count: 4266191]:
  # DEBUG BEGIN_STMT
  _129 = pfe_phy_if_has_log_if (phy_if_arg_133, log_if_arg_482);
  if (_129 != 0)
    goto <bb 181>; [50.00%]
  else
    goto <bb 180>; [50.00%]

  <bb 180> [local count: 2133096]:
  # DEBUG BEGIN_STMT
  # DEBUG ret => 2

  <bb 181> [local count: 18468359]:
  # ret_181 = PHI <2(178), 0(179), 2(180), 2(177)>
  # DEBUG ret => ret_181
  # DEBUG BEGIN_STMT
  pfe_idex_set_rpc_ret_val (ret_181, 0B, 0);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  goto <bb 201>; [100.00%]

  <bb 182> [local count: 18468359]:
<L326>:
  # DEBUG BEGIN_STMT
  rpc_ret.mode = 0;
  # DEBUG BEGIN_STMT
  # DEBUG mode => 0
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (ret_136 == 0)
    goto <bb 183>; [33.00%]
  else
    goto <bb 184>; [67.00%]

  <bb 183> [local count: 6094559]:
  # DEBUG BEGIN_STMT
  mode_476 = pfe_phy_if_get_op_mode (phy_if_arg_133);
  # DEBUG mode => mode_476
  # DEBUG BEGIN_STMT
  rpc_ret.mode = mode_476;

  <bb 184> [local count: 18468359]:
  # DEBUG BEGIN_STMT
  pfe_idex_set_rpc_ret_val (ret_136, &rpc_ret, 4);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  rpc_ret ={v} {CLOBBER};
  goto <bb 201>; [100.00%]

  <bb 185> [local count: 18468359]:
<L332>:
  # DEBUG BEGIN_STMT
  rpc_ret.status = 0;
  # DEBUG BEGIN_STMT
  # DEBUG status => 0
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (ret_136 == 0)
    goto <bb 186>; [33.00%]
  else
    goto <bb 187>; [67.00%]

  <bb 186> [local count: 6094559]:
  # DEBUG BEGIN_STMT
  status_470 = pfe_phy_if_is_enabled (phy_if_arg_133);
  # DEBUG status => status_470
  # DEBUG BEGIN_STMT
  rpc_ret.status = status_470;

  <bb 187> [local count: 18468359]:
  # DEBUG BEGIN_STMT
  pfe_idex_set_rpc_ret_val (ret_136, &rpc_ret, 4);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  rpc_ret ={v} {CLOBBER};
  goto <bb 201>; [100.00%]

  <bb 188> [local count: 18468359]:
<L338>:
  # DEBUG BEGIN_STMT
  rpc_ret.status = 0;
  # DEBUG BEGIN_STMT
  # DEBUG status => 0
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (ret_136 == 0)
    goto <bb 189>; [33.00%]
  else
    goto <bb 190>; [67.00%]

  <bb 189> [local count: 6094559]:
  # DEBUG BEGIN_STMT
  status_464 = pfe_phy_if_is_promisc (phy_if_arg_133);
  # DEBUG status => status_464
  # DEBUG BEGIN_STMT
  rpc_ret.status = status_464;

  <bb 190> [local count: 18468359]:
  # DEBUG BEGIN_STMT
  pfe_idex_set_rpc_ret_val (ret_136, &rpc_ret, 4);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  rpc_ret ={v} {CLOBBER};
  goto <bb 201>; [100.00%]

  <bb 191> [local count: 18468359]:
<L344>:
  # DEBUG BEGIN_STMT
  rpc_ret = {};
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (ret_136 == 0)
    goto <bb 192>; [33.00%]
  else
    goto <bb 193>; [67.00%]

  <bb 192> [local count: 6094559]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  ret_459 = pfe_phy_if_get_stats (phy_if_arg_133, &rpc_ret.stats);
  # DEBUG ret => ret_459

  <bb 193> [local count: 18468359]:
  # ret_182 = PHI <ret_136(191), ret_459(192)>
  # DEBUG ret => ret_182
  # DEBUG BEGIN_STMT
  pfe_idex_set_rpc_ret_val (ret_182, &rpc_ret, 16);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  rpc_ret ={v} {CLOBBER};
  goto <bb 201>; [100.00%]

  <bb 194> [local count: 18468359]:
<L350>:
  # DEBUG BEGIN_STMT
  # DEBUG rpc_arg => buf_253(D)
  # DEBUG BEGIN_STMT
  rpc_ret.stat_val = 0;
  # DEBUG BEGIN_STMT
  # DEBUG stat_val => 0
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (ret_136 == 0)
    goto <bb 195>; [33.00%]
  else
    goto <bb 196>; [67.00%]

  <bb 195> [local count: 6094559]:
  # DEBUG BEGIN_STMT
  _130 = MEM[(struct pfe_platform_rpc_pfe_phy_if_get_stat_value_arg_t *)buf_253(D)].stat_id;
  stat_val_421 = pfe_phy_if_get_stat_value (phy_if_arg_133, _130);
  # DEBUG stat_val => stat_val_421
  # DEBUG BEGIN_STMT
  rpc_ret.stat_val = stat_val_421;

  <bb 196> [local count: 18468359]:
  # DEBUG BEGIN_STMT
  pfe_idex_set_rpc_ret_val (ret_136, &rpc_ret, 4);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  rpc_ret ={v} {CLOBBER};
  goto <bb 201>; [100.00%]

  <bb 197> [local count: 18468359]:
<L356>:
  # DEBUG BEGIN_STMT
  # DEBUG rpc_arg => buf_253(D)
  # DEBUG BEGIN_STMT
  rpc_ret = {};
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  if (ret_136 == 0)
    goto <bb 198>; [33.00%]
  else
    goto <bb 199>; [67.00%]

  <bb 198> [local count: 6094559]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  msg = {};
  _131 = MEM[(struct pfe_platform_rpc_pfe_fci_proxy_arg_t *)buf_253(D)].type;
  msg.type = _131;
  msg.msg_cmd = MEM[(struct pfe_platform_rpc_pfe_fci_proxy_arg_t *)buf_253(D)].msg_cmd;
  # DEBUG BEGIN_STMT
  rep_msg = {};
  rep_msg.type = 4099;
  # DEBUG BEGIN_STMT
  _132 = (long unsigned int) sender_252(D);
  msg.msg_cmd.sender = _132;
  # DEBUG BEGIN_STMT
  ret_268 = fci_process_ipc_message (&msg, &rep_msg);
  # DEBUG ret => ret_268
  # DEBUG BEGIN_STMT
  rpc_ret.msg_cmd = rep_msg.msg_cmd;
  msg ={v} {CLOBBER};
  rep_msg ={v} {CLOBBER};

  <bb 199> [local count: 18468359]:
  # ret_183 = PHI <ret_136(197), ret_268(198)>
  # DEBUG ret => ret_183
  # DEBUG BEGIN_STMT
  pfe_idex_set_rpc_ret_val (ret_183, &rpc_ret, 268);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  rpc_ret ={v} {CLOBBER};
  goto <bb 201>; [100.00%]

  <bb 200> [local count: 18468359]:
<L362>:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  pfe_idex_set_rpc_ret_val (22, 0B, 0);
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT

  <bb 201> [local count: 1071164836]:
  entry ={v} {CLOBBER};
  return;

}


pfe_platform_bmu_isr (void * arg)
{
  bool_t handled;
  struct pfe_bmu_t * _1;
  struct pfe_bmu_t * _3;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG platform => arg_7(D)
  # DEBUG BEGIN_STMT
  # DEBUG handled => 0
  # DEBUG BEGIN_STMT
  _1 = MEM[(const struct pfe_platform_t *)arg_7(D)].bmu[0];
  if (_1 != 0B)
    goto <bb 3>; [53.47%]
  else
    goto <bb 4>; [46.53%]

  <bb 3> [local count: 574129754]:
  # DEBUG BEGIN_STMT
  pfe_bmu_irq_mask (_1);

  <bb 4> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  _3 = MEM[(const struct pfe_platform_t *)arg_7(D)].bmu[1];
  if (_3 != 0B)
    goto <bb 5>; [100.00%]
  else
    goto <bb 6>; [0.00%]

  <bb 5> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  pfe_bmu_irq_mask (_3);

  <bb 6> [count: 0]:
  handled_2 = pfe_platform_bmu_isr.part.0 (arg_7(D));
  # DEBUG BEGIN_STMT
  return handled_2;

}


