holding           115 kernel/defs.h  int             holding(struct spinlock*);
holding           496 kernel/proc.c    if(!holding(&p->lock))
holding            25 kernel/spinlock.c   if(holding(lk))
holding            49 kernel/spinlock.c   if(!holding(lk))