pub const NFSMNT_DUMBTIMR: c_int = 0x800;