fci_l2br_flush_cmd (uint32_t code, uint16_t * fci_ret)
{
  errno_t ret;
  const struct fci_t * fci_context;
  struct pfe_l2br_t * _1;
  struct pfe_l2br_t * _2;
  struct pfe_l2br_t * _3;
  errno_t _22;

  <bb 2> :
  # DEBUG BEGIN_STMT
  fci_context_6 = &__context;
  # DEBUG fci_context => fci_context_6
  # DEBUG BEGIN_STMT
  ret_7 = 0;
  # DEBUG ret => ret_7
  # DEBUG BEGIN_STMT
  *fci_ret_9(D) = 0;
  # DEBUG BEGIN_STMT
  switch (code_11(D)) <default: <L9> [INV], case 62336: <L3> [INV], case 62352: <L6> [INV], case 62368: <L0> [INV]>

  <bb 3> :
<L0>:
  # DEBUG BEGIN_STMT
  _1 = fci_context_6->l2_bridge;
  ret_13 = pfe_l2br_flush_all (_1);
  # DEBUG ret => ret_13
  # DEBUG BEGIN_STMT
  if (ret_13 != 0)
    goto <bb 4>; [INV]
  else
    goto <bb 10>; [INV]

  <bb 4> :
  # DEBUG BEGIN_STMT
  *fci_ret_9(D) = 65535;
  goto <bb 10>; [INV]

  <bb 5> :
<L3>:
  # DEBUG BEGIN_STMT
  _2 = fci_context_6->l2_bridge;
  ret_19 = pfe_l2br_flush_learned (_2);
  # DEBUG ret => ret_19
  # DEBUG BEGIN_STMT
  if (ret_19 != 0)
    goto <bb 6>; [INV]
  else
    goto <bb 10>; [INV]

  <bb 6> :
  # DEBUG BEGIN_STMT
  *fci_ret_9(D) = 65535;
  goto <bb 10>; [INV]

  <bb 7> :
<L6>:
  # DEBUG BEGIN_STMT
  _3 = fci_context_6->l2_bridge;
  ret_16 = pfe_l2br_flush_static (_3);
  # DEBUG ret => ret_16
  # DEBUG BEGIN_STMT
  if (ret_16 != 0)
    goto <bb 8>; [INV]
  else
    goto <bb 10>; [INV]

  <bb 8> :
  # DEBUG BEGIN_STMT
  *fci_ret_9(D) = 65535;
  goto <bb 10>; [INV]

  <bb 9> :
<L9>:
  # DEBUG BEGIN_STMT
  # DEBUG BEGIN_STMT
  *fci_ret_9(D) = 4;
  # DEBUG BEGIN_STMT

  <bb 10> :
  # ret_4 = PHI <ret_13(4), ret_19(6), ret_16(8), ret_7(9), ret_13(3), ret_19(5), ret_16(7)>
  # DEBUG ret => ret_4
  # DEBUG BEGIN_STMT
  _22 = ret_4;
  return _22;

}


