nfs4_lease_time  3219 fs/nfsd/nfs4state.c nfs4_lease_time(void)
nfs4_lease_time   175 include/linux/nfsd/nfsd.h static inline time_t nfs4_lease_time(void) { return 0; }