Symbol: verify_seq_sorted
usr/src/tools/smatch/src/sort.c
237
verify_seq_sorted (list, 1, cmp);
usr/src/tools/smatch/src/sort.c
279
verify_seq_sorted (newhead, blocks + i, cmp);