| 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);
|
| }
|
|
|