From ccf299850b51bb6f899765cc41a826d903e9e885 Mon Sep 17 00:00:00 2001
From: Frans Kaashoek <kaashoek@mit.edu>
Date: Tue, 2 Jul 2019 20:52:30 -0400
Subject: [PATCH] Remove some debugging code

---
 kernel/spinlock.c | 9 +--------
 1 file changed, 1 insertion(+), 8 deletions(-)

diff --git a/kernel/spinlock.c b/kernel/spinlock.c
index 1d0b16a..5a44a46 100644
--- a/kernel/spinlock.c
+++ b/kernel/spinlock.c
@@ -47,16 +47,9 @@ acquire(struct spinlock *lk)
 void
 release(struct spinlock *lk)
 {
-  uint64 x;
-  asm volatile("mv %0, ra" : "=r" (x) );
-  if(!holding(lk)) {
-    printf("%p: !holding %d %s %p %p %p %p\n", mycpu(), lk->locked, lk->name, lk->cpu,
-           lk->last_release, lk->last_pc, x);
+  if(!holding(lk))
     panic("release");
-  }
 
-  lk->last_release = lk->cpu;
-  lk->last_pc  = x;
   lk->cpu = 0;
 
   // Tell the C compiler and the CPU to not move loads or stores