pfe_spd_acc_get_rule (const struct pfe_phy_if_t * phy_if, uint16_t position, struct pfe_ct_spd_entry_t * entry)
{
  errno_t _6;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  _6 = pfe_spd_get_rule (phy_if_2(D), position_3(D), entry_4(D));
  return _6;

}


pfe_spd_acc_remove_rule (struct pfe_phy_if_t * phy_if, uint16_t position)
{
  errno_t ret;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  ret_5 = pfe_spd_remove_rule (phy_if_2(D), position_3(D));
  # DEBUG ret => ret_5
  # DEBUG BEGIN_STMT
  return ret_5;

}


pfe_spd_acc_add_rule (struct pfe_phy_if_t * phy_if, uint16_t position, struct pfe_ct_spd_entry_t * entry)
{
  errno_t ret;
  <unnamed type> _1;
  unsigned char _2;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  entry_4(D)->id5t = 0;
  # DEBUG BEGIN_STMT
  _1 = entry_4(D)->flags;
  _2 = _1 & 254;
  entry_4(D)->flags = _2;
  # DEBUG BEGIN_STMT
  ret_10 = pfe_spd_add_rule (phy_if_7(D), position_8(D), entry_4(D));
  # DEBUG ret => ret_10
  # DEBUG BEGIN_STMT
  return ret_10;

}


pfe_spd_acc_destroy (struct pfe_if_db_t * phy_if_db)
{
  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  pfe_spd_destroy (phy_if_db_2(D));
  return;

}


pfe_spd_acc_init (struct pfe_class_t * class, const struct pfe_rtable_t * rtable)
{
  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  # DEBUG ret => 0
  # DEBUG BEGIN_STMT
  pfe_spd_init (class_2(D));
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  return 0;

}


