Index: kernel/generic/include/lib/ra.h
===================================================================
--- kernel/generic/include/lib/ra.h	(revision 7aaed09d88be49fac8360d3017e3328ed9b0635c)
+++ kernel/generic/include/lib/ra.h	(revision 9f0fb84554fbd63dc9ce4dc9ce31b209431459f9)
@@ -77,4 +77,5 @@
 } ra_segment_t;
 
+extern void ra_init(void);
 extern ra_arena_t *ra_arena_create(void);
 extern bool ra_span_add(ra_arena_t *, uintptr_t, size_t);