Symbol: free_plex
sys/dev/raid/vinum/vinumconfig.c
1860
free_plex(plexno);
sys/dev/raid/vinum/vinumext.h
91
void free_plex(int plexno);