NFS_TICKINTVL
nfscl_ticks = (hz * NFS_TICKINTVL + 500) / 1000;
nfs_ticks = (hz * NFS_TICKINTVL + 500) / 1000;