witness_list_lock
witness_list_lock(&lle->ll_children[i],
witness_list_lock(lock1, printf);
witness_list_lock(&lle->ll_children[i], prnt);
witness_list_lock(instance, prnt);
static void witness_list_lock(struct lock_instance *instance,