fix uses of cycles_t throughout the tree
authorReto Achermann <reto.achermann@inf.ethz.ch>
Tue, 20 Aug 2019 15:57:26 +0000 (17:57 +0200)
committerReto Achermann <reto.achermann@inf.ethz.ch>
Tue, 20 Aug 2019 17:43:08 +0000 (19:43 +0200)
Signed-off-by: Reto Achermann <reto.achermann@inf.ethz.ch>

16 files changed:
include/barrelfish/sys_debug.h
lib/barrelfish/arch/aarch64/sys_debug.c
lib/barrelfish/arch/arm/sys_debug.c
lib/barrelfish/arch/x86/sys_debug.c
lib/net/test/ping.c
lib/rcce/rcce.c
usr/bench/net_latency/elb/benchmark.c
usr/bench/net_latency/elb/benchmark_tcp.c
usr/replay/master.c
usr/replay/slave.c
usr/tests/devif/bench.c
usr/tests/devif/bench_stack.c
usr/tests/devif/client.c
usr/tests/devif/echo.c
usr/tests/devif/udp_queue.c
usr/tests/proc_mgmt_test/main.c

index f06d1f1..b58a764 100644 (file)
@@ -17,6 +17,7 @@
 
 #include <sys/cdefs.h>
 #include <barrelfish/caddr.h>
+#include <barrelfish/types.h>
 
 __BEGIN_DECLS
 
@@ -32,7 +33,7 @@ __BEGIN_DECLS
 errval_t sys_debug_context_counter_reset(void);
 errval_t sys_debug_context_counter_read(uint64_t *ret);
 errval_t sys_debug_timeslice_counter_read(uint64_t *ret);
-errval_t sys_debug_get_tsc_per_ms(uint64_t *ret);
+errval_t sys_debug_get_tsc_per_ms(cycles_t *ret);
 errval_t sys_debug_get_apic_id(uint8_t *ret);
 errval_t sys_debug_get_apic_timer(uint32_t *ret);
 errval_t sys_debug_print_context_counter(void);
index e6a1c3c..e795d3e 100644 (file)
@@ -21,7 +21,7 @@
 #include <inttypes.h>
 
 /* XXX - should be merged with timer_hertz_read. */
-errval_t sys_debug_get_tsc_per_ms(uint64_t *ret)
+errval_t sys_debug_get_tsc_per_ms(cycles_t *ret)
 {
     struct sysret sr = syscall2(SYSCALL_DEBUG, DEBUG_GET_TSC_PER_MS);
     *ret = sr.value;
index cd3c125..8b558be 100644 (file)
@@ -20,7 +20,7 @@
 #include <stdio.h>
 #include <inttypes.h>
 
-errval_t sys_debug_get_tsc_per_ms(uint64_t *ret)
+errval_t sys_debug_get_tsc_per_ms(cycles_t *ret)
 {
     struct sysret sr = syscall2(SYSCALL_DEBUG, DEBUG_HARDWARE_TIMER_HERTZ_READ);
     *ret = sr.value / 1000;
@@ -62,3 +62,16 @@ errval_t sys_debug_hardware_global_timer_read(uint64_t *ret)
 
     return sr.error;
 }
+
+errval_t sys_debug_get_mdb_size(size_t *size)
+{
+    struct sysret sr = syscall2(SYSCALL_DEBUG, DEBUG_GET_MDB_SIZE);
+    *size = sr.value;
+    return sr.error;
+}
+
+errval_t sys_debug_print_mdb_counters(void)
+{
+    struct sysret sr = syscall2(SYSCALL_DEBUG, DEBUG_PRINT_MDB_COUNTERS);
+    return sr.error;
+}
index ff95ddd..c60f95a 100644 (file)
@@ -20,7 +20,7 @@
 #include <stdio.h>
 #include <inttypes.h>
 
-errval_t sys_debug_get_tsc_per_ms(uint64_t *ret)
+errval_t sys_debug_get_tsc_per_ms(cycles_t *ret)
 {
     struct sysret sr = syscall2(SYSCALL_DEBUG, DEBUG_GET_TSC_PER_MS);
     *ret = sr.value;
index 5a112bf..17e2ee2 100644 (file)
@@ -1,6 +1,6 @@
 /**
  * \file ping.c
- * \brief 
+ * \brief
  */
 
 
index dc00219..1d306ff 100644 (file)
@@ -27,7 +27,7 @@
 int       RCCE_NP;               // number of participating cores
 double    RC_REFCLOCKGHZ;        // baseline CPU frequency (GHz)
 int       RC_MY_COREID;          // physical ID of calling core
-int       RC_COREID[RCCE_MAXNP]; // array of physical core IDs for all participating 
+int       RC_COREID[RCCE_MAXNP]; // array of physical core IDs for all participating
                                  // cores, sorted by rank
 int       RCCE_IAM=-1;           // rank of calling core (invalid by default)
 RCCE_COMM RCCE_COMM_WORLD;       // predefined global communicator
@@ -78,7 +78,7 @@ int RCCE_init(int *argc, char ***argv)
 
     if(RC_REFCLOCKGHZ == 0) {
         printf("Barrelfish RCCE extension: Computing reference clock GHz automatically...\n");
-        uint64_t tscperms;
+        cycles_t tscperms;
         errval_t err = sys_debug_get_tsc_per_ms(&tscperms);
         assert(err_is_ok(err));
         RC_REFCLOCKGHZ = ((double)tscperms) / 1000000.0;
index 9c04da2..282d00f 100644 (file)
@@ -26,7 +26,7 @@ struct ethernet_frame {
 } __attribute__((packed));
 
 
-static uint64_t tscperms;
+static cycles_t tscperms;
 
 static size_t   buf_cur = 0;
 
index adce99f..1a5a489 100644 (file)
@@ -21,7 +21,7 @@
 
 static void start_next_iteration(void);
 
-static uint64_t tscperms;
+static cycles_t tscperms;
 
 //static size_t   buf_cur = 0;
 static size_t   buf_count;
index ba06640..da391e1 100644 (file)
@@ -620,7 +620,7 @@ static void slave_push_work(struct slave *);
 static void slaves_finalize(void);
 static void slaves_print_stats(void);
 static void master_process_reqs(void);
-uint64_t tscperms;
+cycles_t tscperms;
 
 int main(int argc, char *argv[])
 {
index 3d61c9d..4c3453c 100644 (file)
@@ -120,7 +120,7 @@ static char data[MAX_DATA];
 
 #ifndef __linux__
 static struct bulk_transfer_slave bulk_slave;
-static uint64_t tscperms;
+static cycles_t tscperms;
 #endif
 
 #ifdef __linux__
index 032e1a8..2a31991 100644 (file)
@@ -48,7 +48,7 @@ struct list_ele{
     lpaddr_t addr;
     size_t len;
     uint64_t flags;
-   
+
     struct list_ele* next;
 };
 
@@ -82,7 +82,7 @@ static bench_ctl_t *ctl_tmp_de;
 static bench_ctl_t *ctl_tmp_reg;
 static bench_ctl_t *ctl_tmp_dereg;
 
-static uint64_t tscperus;
+static cycles_t tscperus;
 static char* machine_name;
 
 /*
@@ -109,8 +109,8 @@ static void dump_results_nfs(char* filename, bool destroy)
     size_t bytes;
     // first 10 % is warmup
     for (int i = NUM_ROUNDS/10 ; i < NUM_ROUNDS; i++) {
-        sprintf(buffer, "enqueue,%lu \ndequeue,%lu \nregister,%lu \nderegister,%lu \n", 
-                ctl_tmp_en->data[i], ctl_tmp_de->data[i], ctl_tmp_reg->data[i], 
+        sprintf(buffer, "enqueue,%lu \ndequeue,%lu \nregister,%lu \nderegister,%lu \n",
+                ctl_tmp_en->data[i], ctl_tmp_de->data[i], ctl_tmp_reg->data[i],
                 ctl_tmp_dereg->data[i]);
         err = vfs_write(handle, buffer, strlen(buffer), &bytes);
         assert(err_is_ok(err));
@@ -146,7 +146,7 @@ static void dump_results_nfs(char* prefix, bool destroy)
         sprintf(buffer, ";%s;enqueue;%lu;dequeue;%lu;register;%lu;deregister;%lu \n",
 #endif
                 prefix,
-                ctl_tmp_en->data[i], ctl_tmp_de->data[i], ctl_tmp_reg->data[i], 
+                ctl_tmp_en->data[i], ctl_tmp_de->data[i], ctl_tmp_reg->data[i],
                 ctl_tmp_dereg->data[i]);
         printf("%s", buffer);
     }
@@ -187,7 +187,7 @@ static void test_register(void)
         if (err_is_fail(err)){
             USER_PANIC("Allocating cap failed \n");
         }
-    } 
+    }
 
     srand(rdtscp());
     int idx = 0;
@@ -269,8 +269,8 @@ static void test_randomized_test(void)
 
         idx = i % NUM_BUFS;
         start_enq = rdtscp();
-        
-        err = devq_enqueue(que, regid, idx*BUF_SIZE, BUF_SIZE, 
+
+        err = devq_enqueue(que, regid, idx*BUF_SIZE, BUF_SIZE,
                            0, BUF_SIZE, 0);
 
         end_enq = rdtscp();
@@ -292,7 +292,7 @@ static void test_randomized_test(void)
             bench_ctl_add_run(ctl_tmp_en, &res);
         } else {
             USER_PANIC("Dequeue failed: %s \n", err_getstring(err));
-        } 
+        }
     }
 
     //bench_ctl_dump_analysis(ctl_tmp_de, 0, "enqueue", tscperus);
@@ -301,7 +301,7 @@ static void test_randomized_test(void)
 
 int main(int argc, char *argv[])
 {
-    
+
     if (argc > 1) {
         machine_name = argv[1];
     } else {
@@ -309,10 +309,10 @@ int main(int argc, char *argv[])
     }
 
     errval_t err;
-    
+
     // mount_vfs
     vfs_init();
-   
+
     char fname[256];
     err = vfs_mount("/nfs", "nfs://10.110.4.4/mnt/local/nfs/haeckir");
     if(err_is_fail(err)) {
@@ -332,7 +332,7 @@ int main(int argc, char *argv[])
     if (err_is_fail(err)){
         USER_PANIC("Allocating cap failed \n");
     }
-    
+
     // RX frame
     err = frame_identify(memory, &id);
     if (err_is_fail(err)) {
@@ -346,19 +346,19 @@ int main(int argc, char *argv[])
     }
 
     phys = id.base;
-    
+
     debug_printf("Descriptor queue test started \n");
     err = loopback_queue_create(&queue);
     if (err_is_fail(err)){
         USER_PANIC("Allocating devq failed \n");
     }
+
     // stack debug queue on top
     err = debug_create(&debug_q, (struct devq*) queue);
     if (err_is_fail(err)) {
         USER_PANIC("Allocating debug q failed \n");
     }
-  
+
     // stack null queue on top
     err = null_create(&null_q, (struct devq*) queue);
     if (err_is_fail(err)) {
@@ -419,7 +419,7 @@ int main(int argc, char *argv[])
 
     printf("Starting randomized test debug\n");
     que = (struct devq*) debug_q;
-    
+
     test_register();
 
     err = devq_register(que, memory, &regid);
index 69dcb41..e1a9d1e 100644 (file)
@@ -48,7 +48,7 @@ struct list_ele{
     lpaddr_t addr;
     size_t len;
     uint64_t flags;
-   
+
     struct list_ele* next;
 };
 
@@ -70,7 +70,7 @@ static bench_ctl_t *ctl_tmp_de;
 static bench_ctl_t *ctl_tmp_reg;
 static bench_ctl_t *ctl_tmp_dereg;
 
-static uint64_t tscperus;
+static cycles_t tscperus;
 static char* machine_name;
 
 static void dump_results_nfs(char* prefix, bool destroy)
@@ -90,7 +90,7 @@ static void dump_results_nfs(char* prefix, bool destroy)
         sprintf(buffer, ";%s;enqueue;%lu;dequeue;%lu;register;%lu;deregister;%lu \n",
 #endif
                 prefix,
-                ctl_tmp_en->data[i], ctl_tmp_de->data[i], ctl_tmp_reg->data[i], 
+                ctl_tmp_en->data[i], ctl_tmp_de->data[i], ctl_tmp_reg->data[i],
                 ctl_tmp_dereg->data[i]);
         printf("%s", buffer);
     }
@@ -131,7 +131,7 @@ static void test_register(void)
         if (err_is_fail(err)){
             USER_PANIC("Allocating cap failed \n");
         }
-    } 
+    }
 
     srand(rdtscp());
     int idx = 0;
@@ -213,8 +213,8 @@ static void test_randomized_test(void)
 
         idx = i % NUM_BUFS;
         start_enq = rdtscp();
-        
-        err = devq_enqueue(que, regid, idx*BUF_SIZE, BUF_SIZE, 
+
+        err = devq_enqueue(que, regid, idx*BUF_SIZE, BUF_SIZE,
                            0, BUF_SIZE, 0);
 
         end_enq = rdtscp();
@@ -236,7 +236,7 @@ static void test_randomized_test(void)
             bench_ctl_add_run(ctl_tmp_en, &res);
         } else {
             USER_PANIC("Dequeue failed: %s \n", err_getstring(err));
-        } 
+        }
     }
 
     //bench_ctl_dump_analysis(ctl_tmp_de, 0, "enqueue", tscperus);
@@ -245,7 +245,7 @@ static void test_randomized_test(void)
 
 int main(int argc, char *argv[])
 {
-    
+
     if (argc > 1) {
         machine_name = argv[1];
     } else {
@@ -253,10 +253,10 @@ int main(int argc, char *argv[])
     }
 
     errval_t err;
-    
+
     // mount_vfs
     vfs_init();
-   
+
     char fname[256];
     err = vfs_mount("/nfs", "nfs://10.110.4.4/mnt/local/nfs/haeckir");
     if(err_is_fail(err)) {
@@ -276,7 +276,7 @@ int main(int argc, char *argv[])
     if (err_is_fail(err)){
         USER_PANIC("Allocating cap failed \n");
     }
-    
+
     // RX frame
     err = frame_identify(memory, &id);
     if (err_is_fail(err)) {
@@ -290,13 +290,13 @@ int main(int argc, char *argv[])
     }
 
     phys = id.base;
-    
+
     debug_printf("Descriptor queue test started \n");
     err = loopback_queue_create(&queue);
     if (err_is_fail(err)){
         USER_PANIC("Allocating devq failed \n");
     }
+
     // stack null queue on top
     err = null_create(&null_q[0], (struct devq*) queue);
     if (err_is_fail(err)) {
@@ -343,7 +343,7 @@ int main(int argc, char *argv[])
 
         printf("Starting randomized test debug\n");
         que = (struct devq*) null_q[i];
-        
+
         test_register();
 
         err = devq_register(que, memory, &regid);
@@ -354,7 +354,7 @@ int main(int argc, char *argv[])
         test_randomized_test();
 
         dump_results_nfs(name, true);
-    
+
         sprintf(name, "Null %d", i+2);
 
         // stack null queue on top
index 4d2b0c9..bd6de83 100644 (file)
@@ -45,7 +45,7 @@ static uint16_t port_src;
 static uint16_t port_dst;
 static const char* cardname;
 
-static uint64_t tsc_per_ms;
+static cycles_t tsc_per_ms;
 
 static void event_cb(void* q)
 {
@@ -72,7 +72,7 @@ int main(int argc, char *argv[])
     if (err_is_fail(err)){
         USER_PANIC("Allocating cap failed \n");
     }
-    
+
     // RX frame
     err = frame_identify(memory_rx, &id);
     if (err_is_fail(err)) {
index c03b772..abd7f06 100644 (file)
@@ -60,7 +60,7 @@ static uint64_t tot_enq_tx, tot_deq_tx;
 static uint64_t num_rx = 0;
 static uint64_t start;
 static uint64_t end;
-static uint64_t tsc_per_ms;
+static cycles_t tsc_per_ms;
 
 static bool use_irq = false;
 
@@ -137,7 +137,7 @@ static void event_cb(void* queue)
             if ((num_rx % 1000000) == 0) {
                 end = rdtsc();
                 double time = ((double) end-start)/(tsc_per_ms*1000);
-                printf("Mbit/s %f during %f seconds \n", 
+                printf("Mbit/s %f during %f seconds \n",
                       ((double)bytes*8)/(1000*1000*time), time);
                 printf("Num packets/s %f \n", (double) 1000000/time);
 #ifdef BENCH
@@ -154,8 +154,8 @@ static void event_cb(void* queue)
                 num_enqueue_tx = 0;
                 num_dequeue_rx = 0;
                 num_dequeue_tx = 0;
-#endif              
-                num_rx = 0;     
+#endif
+                num_rx = 0;
                 bytes = 0;
                 start = rdtsc();
             }
@@ -186,7 +186,7 @@ int main(int argc, char *argv[])
     if (err_is_fail(err)){
         USER_PANIC("Allocating cap failed \n");
     }
-    
+
     // RX frame
     err = frame_identify(memory_rx, &id);
     if (err_is_fail(err)) {
index 3da1591..537307c 100644 (file)
@@ -87,7 +87,7 @@ static void event_cb(void* queue)
 
     err = SYS_ERR_OK;
 
-    uint64_t start = 0, end = 0, total = 0;
+    cycles_t start = 0, end = 0, total = 0;
 
     if (!reg_done) {
         return;
@@ -101,19 +101,19 @@ static void event_cb(void* queue)
         if (err_is_fail(err)) {
             break;
         }
-        
+
         if (flags & NETIF_TXFLAG) {
             DEBUG("Received TX buffer back \n");
             num_tx++;
             total = end - start;
 #ifdef BENCH
-            bench_ctl_add_run(udp_deq_tx, &total);        
+            bench_ctl_add_run(udp_deq_tx, &total);
 #endif
         } else if (flags & NETIF_RXFLAG) {
             num_rx++;
             total = end - start;
 #ifdef BENCH
-            bench_ctl_add_run(udp_deq_rx, &total);        
+            bench_ctl_add_run(udp_deq_rx, &total);
 #endif
             DEBUG("Received RX buffer \n");
             start = rdtsc();
@@ -123,7 +123,7 @@ static void event_cb(void* queue)
             if (err_is_ok(err)) {
                 total = end - start;
 #ifdef BENCH
-                bench_ctl_add_run(udp_enq_rx, &total);        
+                bench_ctl_add_run(udp_enq_rx, &total);
 #endif
             }
         } else {
@@ -136,9 +136,9 @@ static void test_udp(void)
 {
     errval_t err;
     struct devq* q;
-   
+
     // create queue with interrupts
-    udp_create(&udp_q, cardname, port_src, port_dst, 
+    udp_create(&udp_q, cardname, port_src, port_dst,
                ip_dst, event_cb, !use_interrupts);
 
     q = (struct devq*) udp_q;
@@ -162,7 +162,7 @@ static void test_udp(void)
         }
     }
 
-    
+
     err = devq_register(q, memory_tx, &regid_tx);
     if (err_is_fail(err)){
         USER_PANIC("Registering memory to devq failed \n");
@@ -176,17 +176,17 @@ static void test_udp(void)
     printf("Data length %zu \n", strlen(data));
 
     for (int i = 0; i < NUM_ENQ; i++) {
-        udp_write_buffer(udp_q, regid_tx, i*(TX_BUF_SIZE), 
+        udp_write_buffer(udp_q, regid_tx, i*(TX_BUF_SIZE),
                          data, strlen(data));
     }
 
-    uint64_t total = 0, start = 0, end = 0;
+    cycles_t total = 0, start = 0, end = 0;
     for (int z = 0; z < NUM_ENQ*2; z++) {
 
         for (int i = 0; i < NUM_ENQ; i++) {
             start = rdtsc();
             err = devq_enqueue(q, regid_tx, i*(TX_BUF_SIZE), TX_BUF_SIZE,
-                               0, strlen(data), NETIF_TXFLAG | NETIF_TXFLAG_LAST);  
+                               0, strlen(data), NETIF_TXFLAG | NETIF_TXFLAG_LAST);
 
             end = rdtsc();
             if (err_is_fail(err)){
@@ -194,7 +194,7 @@ static void test_udp(void)
             }
             total = end -start;
 #ifdef BENCH
-            bench_ctl_add_run(udp_enq_tx, &total);            
+            bench_ctl_add_run(udp_enq_tx, &total);
 #endif
         }
 
@@ -226,13 +226,13 @@ static void test_udp(void)
         printf("%s \n", err_getstring(err));
         USER_PANIC("Devq deregister tx failed \n");
     }
+
     err = devq_deregister(q, regid_tx, &memory_tx);
     if (err_is_fail(err)){
         printf("%s \n", err_getstring(err));
         USER_PANIC("Devq deregister tx failed \n");
     }
+
 #ifdef BENCH
     bench_ctl_t * en_rx = NULL;
     bench_ctl_t * en_tx;
@@ -250,7 +250,7 @@ static void test_udp(void)
     desc_en_tx = udp_get_benchmark_data(udp_q, 5);
     desc_deq_rx = udp_get_benchmark_data(udp_q, 6);
     desc_deq_tx = udp_get_benchmark_data(udp_q, 7);
-    uint64_t tscperus = 0;
+    cycles_t tscperus = 0;
     err = sys_debug_get_tsc_per_ms(&tscperus);
     tscperus /= 1000;
     tscperus = 1;
index aafb134..39256d3 100644 (file)
@@ -131,7 +131,7 @@ static void run_benchmark_spawn(coreid_t target_core)
 
     cycles_t tsc_start, tsc_end;
     cycles_t result;
-    uint64_t tscperus;
+    cycles_t tscperus;
 
     bench_ctl_t *ctl = calloc(1, sizeof(*ctl));
     ctl->mode = BENCH_MODE_FIXEDRUNS;
@@ -154,7 +154,7 @@ static void run_benchmark_spawn(coreid_t target_core)
 
         tsc_end = bench_tsc();
         result = calculate_time(tsc_start, tsc_end);
-    } while (!bench_ctl_add_run(ctl, &result));    
+    } while (!bench_ctl_add_run(ctl, &result));
 
     cap_destroy(domain_cap);
     bench_ctl_dump_analysis(ctl, 0, "client", tscperus);
@@ -163,7 +163,7 @@ static void run_benchmark_spawn(coreid_t target_core)
 }
 
 int main(int argc, char **argv)
-{   
+{
     errval_t err;
        if (argc == 3) {
         if (strcmp("starter", argv[2]) == 0) {
@@ -171,7 +171,7 @@ int main(int argc, char **argv)
         } else if (strcmp("norun", argv[2]) == 0) {
             // directly return
             return 0;
-        } else if (strcmp("run", argv[2]) == 0) {   
+        } else if (strcmp("run", argv[2]) == 0) {
             // Run infinite loop
             printf("Running infinite Loop");
             while(true) {
@@ -209,7 +209,7 @@ int main(int argc, char **argv)
     err = test_spawn(disp_get_core_id(), spawn_argv, &domain_cap);
     if (err_is_fail(err)) {
         USER_PANIC("Failed spawning program proc_mgmt_test \n");
-    }  
+    }
 
     //starting a process takes some time ...
     barrelfish_usleep(5*1000*1000);
@@ -219,7 +219,7 @@ int main(int argc, char **argv)
        if (err_is_fail(err)) {
         USER_PANIC("Failed waiting for domain \n");
        }
+
     // Killing a process takes some time ...
     barrelfish_usleep(5*1000*1000);
 
@@ -227,7 +227,7 @@ int main(int argc, char **argv)
     err = test_spawn(disp_get_core_id()+1, spawn_argv, &domain_cap);
     if (err_is_fail(err)) {
         USER_PANIC("Failed spawning program proc_mgmt_test \n");
-    }  
+    }
 
     barrelfish_usleep(5*1000*1000);
 
@@ -249,17 +249,17 @@ int main(int argc, char **argv)
     err = test_spawn(disp_get_core_id(), spawn_argv3, &domain_cap);
     if (err_is_fail(err)) {
         USER_PANIC("Failed spawning program proc_mgmt_test \n");
-    }  
+    }
 
     printf("Testing wait on different core process\n");
     char *spawn_argv2[] = { "proc_mgmt_test", "0", "sleeper", NULL};
     err = test_spawn(disp_get_core_id()+1, spawn_argv2, &domain_cap);
     if (err_is_fail(err)) {
         USER_PANIC("Failed spawning program proc_mgmt_test \n");
-    }  
+    }
+
     barrelfish_usleep(5*1000*1000);
-    
+
        uint8_t code;
     printf("Waiting for process on different core to finish \n");
        err = spawn_wait(domain_cap, &code, false);
@@ -272,10 +272,10 @@ int main(int argc, char **argv)
     err = test_spawn(disp_get_core_id(), spawn_argv2, &domain_cap);
     if (err_is_fail(err)) {
         USER_PANIC("Failed spawning program proc_mgmt_test \n");
-    }  
+    }
+
     barrelfish_usleep(5*1000*1000);
-    
+
     printf("Waiting for process on same core to finish \n");
        err = spawn_wait(domain_cap, &code, true);
        if (err_is_fail(err)) {