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