Removed pauses between iterations

After a discussion on the PR, I tested to see whether the pauses
which I had between iterations on some benchmarks made a notable
difference. After testing on odroidc2 MCS/non-MCS, which was the
platform that I observed these issues on which lead to me adding
the pause, I found that there was no significant difference
without the pause so I have removed them.

Signed-off-by: Alwin Joshy <[email protected]>

apps/fault/src/main.c

@@ -193,8 +193,6 @@ static void measure_vm_fault_handler_fn(int argc, char **argv)
 
     parse_handler_args(argc, argv, &ep, &start, &results, &done_ep, &reply, &tcb);
 
-    seL4_Word junk;
-
     /* signal driver to convert us to passive and block */
     if (config_set(CONFIG_KERNEL_MCS)) {
         api_nbsend_recv(done_ep, seL4_MessageInfo_new(0, 0, 0, 0), ep, NULL, reply);
@@ -210,10 +208,6 @@ static void measure_vm_fault_handler_fn(int argc, char **argv)
         DO_REAL_REPLY_RECV_1(ep, msg, reply);
         SEL4BENCH_READ_CCNT(end);
         results->vm_fault[i] = end - *start;
-        volatile int j;
-        for (j = 0; j < 10000; j++) {
-
-        }
     }
 
     set_good_magic_and_set_pc(tcb, (seL4_Word)read_fault_restart_address);
@@ -373,10 +367,6 @@ static void measure_fault_roundtrip_fn(int argc, char **argv)
         fault();
         SEL4BENCH_READ_CCNT(end);
         results->round_trip[i] = end - start;
-        volatile int j;
-        for (j = 0; j < 10000; j++) {
-
-        }
     }
     seL4_Send(done_ep, seL4_MessageInfo_new(0, 0, 0, 0));
 }

easy-settings.cmake

@@ -20,7 +20,7 @@
 # ninja
 #
 set(RELEASE ON CACHE BOOL "Performance optimized build")
-set(PLATFORM "x86_64" CACHE STRING "Platform to test")
+set(PLATFORM "odroidc2" CACHE STRING "Platform to test")
 set(FASTPATH ON CACHE BOOL "Turn fastpath on or off")
 set(ARM_HYP OFF CACHE BOOL "ARM EL2 hypervisor features on or off")
 set(MCS OFF CACHE BOOL "MCS kernel")