HelenOS sources

anon_destroy       59 kernel/generic/src/mm/backend_anon.c static void anon_destroy(as_area_t *);
anon_destroy       71 kernel/generic/src/mm/backend_anon.c 	.destroy = anon_destroy,
HelenOS homepage, sources at GitHub