spinlock_list     133 kern/kern_lock.c TAILQ_HEAD(, lock) spinlock_list =
spinlock_list     134 kern/kern_lock.c     TAILQ_HEAD_INITIALIZER(spinlock_list);