witness_display_spinlock - FreeBSD

Symbol: witness_display_spinlock

sys/kern/kern_mutex.c

witness_display_spinlock(&m->lock_object, td, printf);

sys/sys/lock.h

void witness_display_spinlock(struct lock_object *, struct thread *,