worklist_print     61 ddb/db_interface.h void worklist_print(struct worklist *, int, int (*)(const char *, ...));
worklist_print   5690 ufs/ffs/ffs_softdep.c 		worklist_print(wk, full, pr);