wds_buffer        140 dev/isa/wds.c  } wds_buffer[BUFCNT];
wds_buffer        955 dev/isa/wds.c  		wds_buffer[i].busy = 0;
wds_buffer        956 dev/isa/wds.c  		TAILQ_INSERT_HEAD(&wds_free_buffer, &wds_buffer[i], chain);