Symbol: vnidpool_free
src/add-ons/kernel/file_systems/websearchfs/vnidpool.h
18
status_t vnidpool_free(struct vnidpool *pool);
src/add-ons/kernel/file_systems/websearchfs/websearchfs.c
206
vnidpool_free(ns->vnids);