summaryrefslogtreecommitdiff
path: root/kernel
diff options
context:
space:
mode:
authorFrans Kaashoek <[email protected]>2019-07-02 20:52:30 -0400
committerFrans Kaashoek <[email protected]>2019-07-02 20:52:30 -0400
commitccf299850b51bb6f899765cc41a826d903e9e885 (patch)
treee29a70fbb50897dd71547624422fe7ab694b6c93 /kernel
parent26f306113a1b4057ac1f59050213c8f62c3a211a (diff)
downloadxv6-labs-ccf299850b51bb6f899765cc41a826d903e9e885.tar.gz
xv6-labs-ccf299850b51bb6f899765cc41a826d903e9e885.tar.bz2
xv6-labs-ccf299850b51bb6f899765cc41a826d903e9e885.zip
Remove some debugging code
Diffstat (limited to 'kernel')
-rw-r--r--kernel/spinlock.c9
1 files changed, 1 insertions, 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