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