tmpfs_bytes_max
uint64_t tmpfs_bytes_max(tmpfs_mount_t *);
return (tmpfs_bytes_max(mp) - mp->tm_bytes_used) >> PAGE_SHIFT;
lim = tmpfs_bytes_max(mp);
sbp->f_blocks = (tmpfs_bytes_max(tmp) >> PAGE_SHIFT);