Index: kernel/generic/include/lib/ra.h
===================================================================
--- kernel/generic/include/lib/ra.h	(revision 82cbf8c6161e2ff15d39a43b59096447a98acc21)
+++ kernel/generic/include/lib/ra.h	(revision 2a7749d7cdfe920a4293c37d0e5d6658e7c6f75d)
@@ -87,4 +87,5 @@
 extern void ra_init(void);
 extern ra_arena_t *ra_arena_create(void);
+extern void ra_arena_destroy(ra_arena_t *);
 extern bool ra_span_add(ra_arena_t *, uintptr_t, size_t);
 extern bool ra_alloc(ra_arena_t *, size_t, size_t, uintptr_t *);