Searched refs:w_free (Results 1 – 1 of 1) sorted by relevance
456 static struct witness_list w_free = STAILQ_HEAD_INITIALIZER(w_free); variable831 KASSERT(STAILQ_FIRST(&w_free)->w_index == 0, in witness_startup()835 STAILQ_REMOVE_HEAD(&w_free, w_list); in witness_startup()2176 if (STAILQ_EMPTY(&w_free)) { in witness_get()2182 w = STAILQ_FIRST(&w_free); in witness_get()2183 STAILQ_REMOVE_HEAD(&w_free, w_list); in witness_get()2199 STAILQ_INSERT_HEAD(&w_free, w, w_list); in witness_free()