_destroy          172 kern/include/array.h 	void ARRAY##_destroy(struct ARRAY *a);			\
_destroy          195 kern/include/array.h 	ARRAY##_destroy(struct ARRAY *a)			\