Index: kernel/arch/arm64/src/arm64.c
===================================================================
--- kernel/arch/arm64/src/arm64.c	(revision 14b5c30f53e8a8c147d9a0c60c2552bfeb4b6145)
+++ kernel/arch/arm64/src/arm64.c	(revision e28175d7eb3aea0200054019deabcae2e8f6cefd)
@@ -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)
 	);