From 3807c1f20b5f7dca7ec7ca4bbe38bc5904e980ff Mon Sep 17 00:00:00 2001
From: rsc <rsc>
Date: Thu, 27 Sep 2007 20:09:40 +0000
Subject: rename splhi/spllo to pushcli/popcli

---
 defs.h | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'defs.h')

diff --git a/defs.h b/defs.h
index 4d2cba9..beb48fe 100644
--- a/defs.h
+++ b/defs.h
@@ -115,8 +115,8 @@ void            getcallerpcs(void*, uint*);
 int             holding(struct spinlock*);
 void            initlock(struct spinlock*, char*);
 void            release(struct spinlock*);
-void            splhi();
-void            spllo();
+void            pushcli();
+void            popcli();
 
 // string.c
 int             memcmp(const void*, const void*, uint);
-- 
cgit v1.2.3