Index: kernel/arch/arm64/src/arm64.c
===================================================================
--- kernel/arch/arm64/src/arm64.c	(revision 14b5c30f53e8a8c147d9a0c60c2552bfeb4b6145)
+++ kernel/arch/arm64/src/arm64.c	(revision cc947241fc3dd63028cfd26cffb4173e760f86d4)
@@ -207,6 +207,6 @@
 	    "eret\n"
 	    :: [uspace_uarg] "r" (kernel_uarg->uspace_uarg),
-	       [kstack] "r" (((uint64_t) (THREAD->kstack))
-	           + MEM_STACK_SIZE - SP_DELTA)
+	      [kstack] "r" (((uint64_t) (THREAD->kstack)) +
+	      MEM_STACK_SIZE - SP_DELTA)
 	);
 
