Index: uspace/lib/c/arch/arm32/src/entryjmp.c
===================================================================
--- uspace/lib/c/arch/arm32/src/entryjmp.c	(revision b67ce1ff250eabb833d2fa9ed4ac8963bcc2f342)
+++ uspace/lib/c/arch/arm32/src/entryjmp.c	(revision aaa3b8559887e8c56581eac6c3c9bb56468150aa)
@@ -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"
 	);