Index: kernel/generic/include/lib/ra.h
===================================================================
--- kernel/generic/include/lib/ra.h	(revision ca207e039a3c4881e7ab829333a6c310abb4962c)
+++ kernel/generic/include/lib/ra.h	(revision e02bfb4052ff7a7cb31419189b21eb24ab42bc90)
@@ -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 *);