Index: uspace/lib/c/arch/arm32/src/entryjmp.c
===================================================================
--- uspace/lib/c/arch/arm32/src/entryjmp.c	(revision eb630cffd5becb2a6f9b2fecb696cf3a2ed61212)
+++ uspace/lib/c/arch/arm32/src/entryjmp.c	(revision 2b5628cc28fe8c72e6fbb3ac05ed0ac55f504d2c)
@@ -33,10 +33,10 @@
 {
 	asm volatile (
-		"mov r1, %0 \n"
-		"mov r2, %1 \n"
-		"mov r15, %2 \n"
-		:
-		: "r"(pcb), "r"(ras_page), "r"(entry_point)
-		: "r1", "r2"
+	    "mov r1, %0 \n"
+	    "mov r2, %1 \n"
+	    "mov r15, %2 \n"
+	    :
+	    : "r" (pcb), "r" (ras_page), "r" (entry_point)
+	    : "r1", "r2"
 	);