witness_list_locks
witness_list_locks(&pc->pc_spinlocks, db_printf);
n += witness_list_locks(&lock_list, printf);
witness_list_locks(&td->td_sleeplocks, db_printf);
witness_list_locks(PCPU_PTR(spinlocks), db_printf);
int witness_list_locks(struct lock_list_entry **,