witness_unlock
void witness_unlock(struct lock_object *, int, const char *, int);
witness_unlock((lock), (flags), (file), (line))