NBR_STA_DOWN
case NBR_STA_DOWN:
#define NBR_STA_ACTIVE (~NBR_STA_DOWN)
case NBR_STA_DOWN:
nbr->state = NBR_STA_DOWN;
{NBR_STA_DOWN, NBR_EVT_PROBE_RCVD, NBR_ACT_STRT_ITIMER, NBR_STA_1_WAY},
{NBR_STA_ANY, NBR_EVT_KILL_NBR, NBR_ACT_DEL, NBR_STA_DOWN},
{NBR_STA_ANY, NBR_EVT_ITIMER, NBR_ACT_DEL, NBR_STA_DOWN},
if (nbr->state > NBR_STA_DOWN)
case NBR_STA_DOWN:
case NBR_STA_DOWN:
case NBR_STA_DOWN:
case NBR_STA_DOWN:
case NBR_STA_DOWN:
case NBR_STA_DOWN:
case NBR_STA_DOWN:
case NBR_STA_DOWN:
nbr->state = NBR_STA_DOWN;
nbr->state = NBR_STA_DOWN;
if (nbr->state == NBR_STA_DOWN)
{NBR_STA_DOWN, NBR_EVT_HELLO_RCVD, NBR_ACT_STRT_ITIMER, NBR_STA_INIT},
if (nbr->state & NBR_STA_DOWN)
{NBR_STA_ANY, NBR_EVT_KILL_NBR, NBR_ACT_DEL, NBR_STA_DOWN},
{NBR_STA_ANY, NBR_EVT_LL_DOWN, NBR_ACT_DEL, NBR_STA_DOWN},
{NBR_STA_ANY, NBR_EVT_ITIMER, NBR_ACT_DEL, NBR_STA_DOWN},
#define NBR_STA_ACTIVE (~NBR_STA_DOWN)
#define NBR_STA_PRELIM (NBR_STA_DOWN | NBR_STA_ATTEMPT | NBR_STA_INIT)
nbrself->state = NBR_STA_DOWN;
case NBR_STA_DOWN:
case NBR_STA_DOWN:
case NBR_STA_DOWN:
case NBR_STA_DOWN:
case NBR_STA_DOWN:
case NBR_STA_DOWN:
case NBR_STA_DOWN:
case NBR_STA_DOWN:
nbr->state = NBR_STA_DOWN;
nbr->state = NBR_STA_DOWN;
if (nbr->state == NBR_STA_DOWN)
{NBR_STA_DOWN, NBR_EVT_HELLO_RCVD, NBR_ACT_STRT_ITIMER, NBR_STA_INIT},
if (nbr->state & NBR_STA_DOWN)
{NBR_STA_ANY, NBR_EVT_KILL_NBR, NBR_ACT_DEL, NBR_STA_DOWN},
{NBR_STA_ANY, NBR_EVT_LL_DOWN, NBR_ACT_DEL, NBR_STA_DOWN},
{NBR_STA_ANY, NBR_EVT_ITIMER, NBR_ACT_DEL, NBR_STA_DOWN},
#define NBR_STA_ACTIVE (~NBR_STA_DOWN)
#define NBR_STA_PRELIM (NBR_STA_DOWN | NBR_STA_ATTEMPT | NBR_STA_INIT)
nbrself->state = NBR_STA_DOWN;
case NBR_STA_DOWN:
nbr->state = NBR_STA_DOWN;
if (nbr->state == NBR_STA_DOWN)
if (nbr->state & NBR_STA_DOWN)
{NBR_STA_DOWN, NBR_EVT_REQUEST_RCVD, NBR_ACT_NOTHING, NBR_STA_REQ_RCVD},
{NBR_STA_DOWN, NBR_EVT_RESPONSE_RCVD, NBR_ACT_STRT_TIMER, NBR_STA_ACTIVE},
{NBR_STA_ACTIVE, NBR_EVT_TIMEOUT, NBR_ACT_DEL, NBR_STA_DOWN},
{NBR_STA_REQ_RCVD, NBR_EVT_RESPONSE_SENT, NBR_ACT_DEL, NBR_STA_DOWN},
{NBR_STA_ANY, NBR_EVT_KILL_NBR, NBR_ACT_DEL, NBR_STA_DOWN},
#define NBR_STA_ACTIVE (~NBR_STA_DOWN)