holding           128 defs.h         int             holding(struct spinlock*);
holding           305 proc.c           if(!holding(&ptable.lock))
holding            28 spinlock.c       if(holding(lk))
holding            46 spinlock.c       if(!holding(lk))