lockdebug_free
lockdebug_free(__func__, __LINE__, lock)
void lockdebug_free(const char *, size_t, volatile void *);
if (dodebug) lockdebug_free(__func__, __LINE__, lock)