Searched defs:NUM_READERS (Results 1 – 1 of 1) sorted by relevance
1427 const NUM_READERS: usize = 4; in wake_all_readers() constant2190 const NUM_READERS: usize = 4; in notify_reader_writer() constant