21 enum {reading, writing};  enumerator
22 int state = reading;
84         assert(state == reading);  in reader()
101         state = reading;  in writer()
117             assert(state == reading);  in try_reader()
136             state = reading;  in try_writer()
153             assert(state == reading);  in try_for_reader()
172             state = reading;  in try_for_writer()
228         assert(state == reading);  in reader()
245         state = reading;  in writer()
261             assert(state == reading);  in try_reader()
280             state = reading;  in try_writer()
297             assert(state == reading);  in try_for_reader()
316             state = reading;  in try_for_writer()
332         assert(state == reading);  in upgradable()
348             assert(state == reading);  in try_upgradable()
365             assert(state == reading);  in try_for_upgradable()
381         assert(state == reading);  in clockwise()
388             assert(state == reading);  in clockwise()
398         state = reading;  in clockwise()
400         assert(state == reading);  in clockwise()
402         assert(state == reading);  in clockwise()
417         assert(state == reading);  in counter_clockwise()
419         assert(state == reading);  in counter_clockwise()
422         state = reading;  in counter_clockwise()
424         assert(state == reading);  in counter_clockwise()
440             assert(state == reading);  in try_clockwise()
447                 assert(state == reading);  in try_clockwise()
457             state = reading;  in try_clockwise()
459             assert(state == reading);  in try_clockwise()
461             assert(state == reading);  in try_clockwise()
478             assert(state == reading);  in try_for_clockwise()
485                 assert(state == reading);  in try_for_clockwise()
495             state = reading;  in try_for_clockwise()
497             assert(state == reading);  in try_for_clockwise()
499             assert(state == reading);  in try_for_clockwise()
516             assert(state == reading);  in try_counter_clockwise()
519                 assert(state == reading);  in try_counter_clockwise()
522                 state = reading;  in try_counter_clockwise()
524                 assert(state == reading);  in try_counter_clockwise()
546             assert(state == reading);  in try_for_counter_clockwise()
549                 assert(state == reading);  in try_for_counter_clockwise()
552                 state = reading;  in try_for_counter_clockwise()
554                 assert(state == reading);  in try_for_counter_clockwise()
626         state = reading;  in test_upgrade_mutex()
638         state = reading;  in test_upgrade_mutex()