pushcli           133 defs.h         void            pushcli(void);
pushcli            61 proc.c           pushcli();
pushcli            27 spinlock.c       pushcli(); // disable interrupts to avoid deadlock.
pushcli            93 spinlock.c       pushcli();
pushcli           166 vm.c             pushcli();