destroyed
if (rw->destroyed != 0)
if (rw->destroyed == 0 && rw->reader_count == 0) {
if (rw == 0 || rw->destroyed != 0)
if (rw->destroyed == 0 && rw->reader_count == 0) {
if (rw->destroyed != 0)
if (rw->destroyed != 0) {
if (rw->destroyed != 0)
if (rw->destroyed != 0) {
if (rw->destroyed != 0)
if (rw->destroyed != 0) {
if (rw->destroyed != 0)
if (rw->destroyed != 0) {
rw->destroyed = 0;
if (rw->destroyed != 0)
if (rw->destroyed != 0) {
if (rw->destroyed != 0)
if (rw->destroyed != 0) {
if (rw->destroyed != 0)
if (rw->destroyed != 0) {
rw->destroyed++;
if (rw->destroyed)
uint32_t destroyed; /* Set if lock has been destroyed */
if (ctx->state != destroyed)
case destroyed:
if (ctx->state == destroyed)
case destroyed:
new_state(ctx, destroyed);
REQUIRE(ctx->state != destroyed);
if (ctx->state == destroyed) {