witness_list_locks
n += witness_list_locks(&lock_list, printf);
witness_list_locks(&p->p_sleeplocks, db_printf);
witness_list_locks(&wc->wc_spinlocks, db_printf);
witness_list_locks(&lock_list, db_printf);
static int witness_list_locks(struct lock_list_entry **,