When auditing some of the code, I noticed that the WITH-LOCK macro
still uses owner/count and has the race condition warning comment, is
this something that can now be solved completely with the new locking
Yes, sorry for that: the warning is now irrelevant because the owner and count values are now reliable. What happened before is that since there could be an interrupt inside or right after pthread_mutex_lock(), it was not sure whether ECL would be able to update the owner and counter values.