uti: futex: cache remote va to remote pa result

Change-Id: Idbbb3f2981b76a0235615fceaa6281d2c7134ca2

test/uti/arm64/CT13.c

@@ -40,8 +40,8 @@ void *util_thread(void *arg)
 			FUTEX_WAKE, 1, NULL, NULL, 0);
 	if (rc != 1) {
 		fprintf(stderr,
-			"CT13101 FUTEX_WAKE NG (%d,%s)\n",
-			rc, strerror(errno));
+			"CT13101 FUTEX_WAKE NG (%d,%d)\n",
+			rc, errno);
 	}
 	else {
 		fprintf(stderr, "CT13101 FUTEX_WAKE OK\n");

test/uti/arm64/util.c

@@ -20,11 +20,11 @@
 static inline void FIXED_SIZE_WORK(unsigned long *ptr)
 {
 	asm volatile("mov %x0, x20\n"
-			 "add x20, x20, #1\n"
-			 "mov x20, %x0\n"
-			 : "+rm" (*ptr)
-			 :
-			 : "x20", "cc", "memory");
+		     "add x20, x20, #1\n"
+		     "mov x20, %x0\n"
+		     : "+rm" (*ptr)
+		     :
+		     : "x20", "cc", "memory");
 }
 
 static inline void BULK_FSW(unsigned long n,