ND_REACHABLE
case ND_REACHABLE:
nd_attrs.lnr_state_create = ND_REACHABLE;
case ND_REACHABLE:
case ND_REACHABLE:
if (ncec->ncec_state != ND_REACHABLE) {
ncec->ncec_state = ND_REACHABLE;
case ND_REACHABLE:
state = ND_REACHABLE;
&ipif->ipif_v6lcl_addr, flags, ND_REACHABLE, &loop_nce);
new_state = (ll_changed ? ND_STALE : ND_REACHABLE);
new_state = ND_REACHABLE;
ND_REACHABLE, &loop_nce);
state = ND_REACHABLE;
ncec->ncec_state = ND_REACHABLE;
ASSERT(nce->nce_common->ncec_state == ND_REACHABLE);
if (ncec->ncec_state != ND_REACHABLE) {
ncec->ncec_state = ND_REACHABLE;
ncec->ncec_state = ND_REACHABLE;
case ND_REACHABLE:
if (new_state == ND_REACHABLE)
if ((lnr->lnr_state_create != ND_REACHABLE) &&
if (ncec->ncec_state != ND_REACHABLE)
if (!NCE_MYADDR(ncec) || ncec->ncec_state != ND_REACHABLE)
state = ND_REACHABLE;
state = ND_REACHABLE;
state = ND_REACHABLE;
state = ND_REACHABLE;
if (state == ND_REACHABLE) {
} else if (ncec->ncec_state == ND_REACHABLE) {
nce_update(ncec, ND_REACHABLE, NULL);
if (ncec->ncec_state == ND_REACHABLE) {
nce_update(ncec, ND_REACHABLE, NULL);
(((((ncec)->ncec_state) >= ND_REACHABLE) && \