PFSYNC_S_NONE
st->sync_state = PFSYNC_S_NONE;
st->sync_state = PFSYNC_S_NONE;
KASSERT(st->sync_state == PFSYNC_S_NONE);
KASSERT(st->sync_state < PFSYNC_S_NONE);
st->sync_state = PFSYNC_S_NONE;
case PFSYNC_S_NONE:
st->sync_state = PFSYNC_S_NONE; /* gross */
st->sync_state = PFSYNC_S_NONE;
case PFSYNC_S_NONE:
case PFSYNC_S_NONE:
case PFSYNC_S_NONE:
st->sync_state = PFSYNC_S_NONE;
st->sync_state = PFSYNC_S_NONE;
(st->sync_state >= PFSYNC_S_NONE)));