WRITER
sleep_reason = WRITER;
} else if (RW_READERS(v) > 0 && sleep_reason == WRITER) {
} else if (SX_SHARERS(x) > 0 && sleep_reason == WRITER) {