rename splhi/spllo to pushcli/popcli

1 files changed, 1 insertions, 1 deletions

diff --git a/proc.h b/proc.h
index 285f6bf..2063baa 100644
--- a/proc.h
+++ b/proc.h
@@ -61,7 +61,7 @@ struct cpu {
   struct segdesc gdt[NSEGS];  // x86 global descriptor table
   char *stack;
   volatile int booted;        // Has the CPU started?
-  int nsplhi;                 // Depth of splhi nesting.
+  int ncli;                 // Depth of pushcli nesting.
 };
 
 extern struct cpu cpus[NCPU];