lock_destroy      434 kern/dev/generic/console.c 		lock_destroy(rlk);
lock_destroy     1343 kern/dev/lamebus/emu.c 		lock_destroy(sc->e_lock);
lock_destroy       97 kern/include/synch.h void lock_destroy(struct lock *);
lock_destroy       68 kern/test/synchtest.c 	lock_destroy(testlock);
lock_destroy       31 kern/test/uw-tests.c 	lock_destroy(testlock);