msc-queue: indentation, etc.

[model-checker-benchmarks.git] / mcs-queue / backoff.c

diff --git a/mcs-queue/backoff.c b/mcs-queue/backoff.c
index b3f3602bb1b72a23cb62b2193e60cf6a2b88a049..b1b4f6f490aead61f8444af11f1f78638e7aa97b 100644 (file)
--- a/mcs-queue/backoff.c
+++ b/mcs-queue/backoff.c
@@ -6,22 +6,20 @@ extern unsigned backoff_base;
 extern unsigned backoff_cap;
 extern unsigned backoff_addend;
 
-void
-init_backoff()
+void init_backoff()
 {
-  backoff_base = (1<<backoff_base_bits)-1;
-  backoff_cap = (1<<backoff_cap_bits)-1;
-  backoff_addend = (1<<backoff_shift_bits)-1;
+       backoff_base = (1<<backoff_base_bits)-1;
+       backoff_cap = (1<<backoff_cap_bits)-1;
+       backoff_addend = (1<<backoff_shift_bits)-1;
 }
 
-unsigned
-backoff_delay()
+unsigned backoff_delay()
 {
-  unsigned i;
-  
-  for (i=0; i<backoff; i++) ;
-  backoff <<= backoff_shift_bits;
-  backoff += backoff_addend;
-  backoff &= backoff_cap;
-  return i;
+       unsigned i;
+
+       for (i=0; i<backoff; i++) ;
+       backoff <<= backoff_shift_bits;
+       backoff += backoff_addend;
+       backoff &= backoff_cap;
+       return i;
 }