mutex_destroyer    40 dev/raidframe/rf_threadstuff.c void mutex_destroyer(void *);
mutex_destroyer    80 dev/raidframe/rf_threadstuff.c 	rc = _rf_ShutdownCreate(listp, mutex_destroyer, (void *) m, file, line);