system call arguments

1 files changed, 3 insertions, 3 deletions

diff --git a/spinlock.c b/spinlock.c
index 2666842..911ecf8 100644
--- a/spinlock.c
+++ b/spinlock.c
@@ -15,14 +15,14 @@ acquire_spinlock(uint32_t* lock)
   if (*lock == cpu_id)
     return;
   while ( cmpxchg(LOCK_FREE, cpu_id, lock) != cpu_id ) { ; }
-  cprintf ("acquired: %d\n", cpu_id);
+  // cprintf ("acquired: %d\n", cpu_id);
 }
 
 void
 release_spinlock(uint32_t* lock)
 {
   int cpu_id = cpu();
-  cprintf ("release: %d\n", cpu_id);
+  // cprintf ("release: %d\n", cpu_id);
   if (*lock != cpu_id)
     panic("release_spinlock: releasing a lock that i don't own\n");
   *lock = LOCK_FREE;
@@ -32,7 +32,7 @@ void
 release_grant_spinlock(uint32_t* lock, int c)
 {
   int cpu_id = cpu();
-  cprintf ("release_grant: %d -> %d\n", cpu_id, c);
+  // cprintf ("release_grant: %d -> %d\n", cpu_id, c);
   if (*lock != cpu_id)
     panic("release_spinlock: releasing a lock that i don't own\n");
   *lock = c;