popcli            134 defs.h         void            popcli(void);
popcli             64 proc.c           popcli();
popcli             67 spinlock.c       popcli();
popcli             95 spinlock.c       popcli();
popcli            177 vm.c             popcli();