Index: uspace/lib/c/arch/arm32/src/atomic.c
===================================================================
--- uspace/lib/c/arch/arm32/src/atomic.c	(revision 3ffb69b74f64b601fd9f7a3b730cccf355de9ee0)
+++ uspace/lib/c/arch/arm32/src/atomic.c	(revision 2b5628cc28fe8c72e6fbb3ac05ed0ac55f504d2c)
@@ -34,4 +34,5 @@
 
 #include <stdbool.h>
+#include "ras_page.h"
 
 volatile unsigned *ras_page;