rename splhi/spllo to pushcli/popcli

1 files changed, 2 insertions, 2 deletions

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