> However, now that I go look at the implementation of RW_LOCK_HELD(), it 
> doesn't do what this code expects; it should be using RW_WRITE_HELD().

I'm about to file a CR for this (and fix it).

-Chris

Reply via email to