Index: uspace/lib/c/arch/arm32/src/atomic.c
===================================================================
--- uspace/lib/c/arch/arm32/src/atomic.c	(revision 4b992266a435621a874e254723714d1fc10a643a)
+++ uspace/lib/c/arch/arm32/src/atomic.c	(revision 169e6e0a9c4e0b67b402504f32cddb8aea0debdd)
@@ -38,5 +38,5 @@
 volatile unsigned *ras_page;
 
-bool __atomic_compare_exchange_4(volatile unsigned *mem, unsigned *expected, unsigned desired, bool weak, int success, int failure)
+bool __atomic_compare_exchange_4(volatile void *mem, void *expected, unsigned desired, bool weak, int success, int failure)
 {
 	(void) success;
@@ -44,5 +44,5 @@
 	(void) weak;
 
-	unsigned ov = *expected;
+	unsigned ov = *((unsigned *)expected);
 	unsigned ret;
 
@@ -66,5 +66,5 @@
 	      [rp0] "=m" (ras_page[0]),
 	      [rp1] "=m" (ras_page[1]),
-	      [addr] "+m" (*mem)
+	      [addr] "+m" (*((unsigned *)mem))
 	    : [ov] "r" (ov),
 	      [nv] "r" (desired)
@@ -78,9 +78,9 @@
 		return true;
 
-	*expected = ret;
+	*((unsigned *)expected) = ret;
 	return false;
 }
 
-unsigned short __atomic_fetch_add_2(volatile unsigned short *mem, unsigned short val, int model)
+unsigned short __atomic_fetch_add_2(volatile void *mem, unsigned short val, int model)
 {
 	(void) model;
@@ -106,5 +106,5 @@
 	      [rp0] "=m" (ras_page[0]),
 	      [rp1] "=m" (ras_page[1]),
-	      [addr] "+m" (*mem)
+	      [addr] "+m" (*((volatile unsigned short *)mem))
 	    : [imm] "r" (val)
 	);
@@ -116,5 +116,5 @@
 }
 
-unsigned __atomic_fetch_add_4(volatile unsigned *mem, unsigned val, int model)
+unsigned __atomic_fetch_add_4(volatile void *mem, unsigned val, int model)
 {
 	(void) model;
@@ -140,5 +140,5 @@
 	      [rp0] "=m" (ras_page[0]),
 	      [rp1] "=m" (ras_page[1]),
-	      [addr] "+m" (*mem)
+	      [addr] "+m" (*((volatile unsigned *)mem))
 	    : [imm] "r" (val)
 	);
@@ -150,5 +150,5 @@
 }
 
-unsigned __atomic_fetch_sub_4(volatile unsigned *mem, unsigned val, int model)
+unsigned __atomic_fetch_sub_4(volatile void *mem, unsigned val, int model)
 {
 	return __atomic_fetch_add_4(mem, -val, model);
