diff options
| author | Miles Bader <miles@gnu.org> | 1995-10-19 20:30:59 +0000 |
|---|---|---|
| committer | Miles Bader <miles@gnu.org> | 1995-10-19 20:30:59 +0000 |
| commit | 5e0b01fc74a775e56a73094a8077358677040e83 (patch) | |
| tree | 5640da11ff749c139da3eec52b7c7606c0f5f4ec /config.make.in | |
| parent | fe8e31922c812559df430bdf8f99314a3bbf54ad (diff) | |
(diskfs_get_filemap): Add PROT parameter, & use it.
(diskfs_pager_users): Split out block_caching & enable_caching.
(block_caching, enable_caching, diskfs_max_user_pager_prot): New functions.
(flush_node_pager): New function.
Diffstat (limited to 'config.make.in')
0 files changed, 0 insertions, 0 deletions