leasetime         145 fs/nfsd/nfsd.h void nfs4_reset_lease(time_t leasetime);
leasetime         156 fs/nfsd/nfsd.h static inline void nfs4_reset_lease(time_t leasetime) { }