holding           130 defs.h         int             holding(struct spinlock*);
holding           371 proc.c           if(!holding(&ptable.lock))
holding            28 spinlock.c       if(holding(lk))
holding            49 spinlock.c       if(!holding(lk))