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