pub const NFSMNT_DEADTHRESH: c_int = 0x4000;