Index: fusl/src/thread/vmlock.c |
diff --git a/fusl/src/thread/vmlock.c b/fusl/src/thread/vmlock.c |
index 75f3cb76190fe4e8796997e7c3d29af80fb36792..f05fbe0bcfbc73362ba95882c394527d76bfd40e 100644 |
--- a/fusl/src/thread/vmlock.c |
+++ b/fusl/src/thread/vmlock.c |
@@ -2,20 +2,17 @@ |
static volatile int vmlock[2]; |
-void __vm_wait() |
-{ |
- int tmp; |
- while ((tmp=vmlock[0])) |
- __wait(vmlock, vmlock+1, tmp, 1); |
+void __vm_wait() { |
+ int tmp; |
+ while ((tmp = vmlock[0])) |
+ __wait(vmlock, vmlock + 1, tmp, 1); |
} |
-void __vm_lock() |
-{ |
- a_inc(vmlock); |
+void __vm_lock() { |
+ a_inc(vmlock); |
} |
-void __vm_unlock() |
-{ |
- if (a_fetch_add(vmlock, -1)==1 && vmlock[1]) |
- __wake(vmlock, -1, 1); |
+void __vm_unlock() { |
+ if (a_fetch_add(vmlock, -1) == 1 && vmlock[1]) |
+ __wake(vmlock, -1, 1); |
} |