witness_lock_list_free
witness_lock_list_free(lle);
static void witness_lock_list_free(struct lock_list_entry *lle);
witness_lock_list_free(&w_locklistdata[i]);