SILC_VERIFY mutex lock and unlock calls, and rwlock wrlock and