popcli            132 defs.h         void            popcli(void);
popcli             63 spinlock.c       popcli();
popcli            176 vm.c             popcli();