array_destroy      71 kern/include/array.h void array_destroy(struct array *);
array_destroy     140 kern/test/arraytest.c 	array_destroy(a);