pushcli           131 defs.h         void            pushcli(void);
pushcli            27 spinlock.c       pushcli(); // disable interrupts to avoid deadlock.
pushcli           167 vm.c             pushcli();