Searched refs:w_free (Results 1 – 1 of 1) sorted by relevance
458 static struct witness_list w_free = STAILQ_HEAD_INITIALIZER(w_free); variable830 KASSERT(STAILQ_FIRST(&w_free)->w_index == 0, in witness_startup()834 STAILQ_REMOVE_HEAD(&w_free, w_list); in witness_startup()2175 if (STAILQ_EMPTY(&w_free)) { in witness_get()2181 w = STAILQ_FIRST(&w_free); in witness_get()2182 STAILQ_REMOVE_HEAD(&w_free, w_list); in witness_get()2198 STAILQ_INSERT_HEAD(&w_free, w, w_list); in witness_free()