89     open_count: u32, // multiple opens share the buf because this is a read-only filesystem  field
95     open_count: u32,  field
201             if ofb.open_count == 0 {  in open()
204             ofb.open_count += 1;  in open()
212             open_files.insert(handle, OpenFileBuf { open_count: 1, buf: buf.into_boxed_slice() });  in open()
235             if ofb.open_count.checked_sub(1).ok_or_else(ebadf)? == 0 {  in release()
257         if ofb.open_count == 0 {  in read()
276             if odb.open_count == 0 {  in opendir()
279             odb.open_count += 1;  in opendir()
288             open_dirs.insert(handle, OpenDirBuf { open_count: 1, buf: buf.into_boxed_slice() });  in opendir()
303             if odb.open_count.checked_sub(1).ok_or_else(ebadf)? == 0 {  in releasedir()
323         if odb.open_count == 0 {  in readdir()