summaryrefslogtreecommitdiff
path: root/libdiskfs
diff options
context:
space:
mode:
authorMiles Bader <miles@gnu.org>1996-09-23 17:16:25 +0000
committerMiles Bader <miles@gnu.org>1996-09-23 17:16:25 +0000
commit7cf6d4f40bb0a66a13b196785f7e5946a7a78361 (patch)
tree723c3f476a2dc9954523a9d191c68d5b931959e8 /libdiskfs
parent7b73cd31968e025ceeaf0f31bfe64a06b4ae4ec1 (diff)
(diskfs_disk_pager):
Renamed from disk_pager. (diskfs_start_disk_pager): Renamed from disk_pager_setup. Add PAGER_BUCKET, IMAGE, and SIZE arguments. (disk_image, pager_bucket): Declarations removed.
Diffstat (limited to 'libdiskfs')
-rw-r--r--libdiskfs/diskfs-pager.h18
1 files changed, 10 insertions, 8 deletions
diff --git a/libdiskfs/diskfs-pager.h b/libdiskfs/diskfs-pager.h
index a7d20c9d..6a73569c 100644
--- a/libdiskfs/diskfs-pager.h
+++ b/libdiskfs/diskfs-pager.h
@@ -18,6 +18,7 @@
#ifndef _HURD_DISKFS_PAGER_H
#define _HURD_DISKFS_PAGER_H 1
+
#include <hurd/pager.h>
#include <hurd/ports.h>
#include <setjmp.h>
@@ -26,15 +27,16 @@
#include <assert.h>
#include <stdlib.h>
+/* Start a pager for the whole disk, and store it in DISKFS_DISK_PAGER,
+ preparing a signal preempter so that the `diskfs_catch_exception' macro
+ below works. SIZE should be the size of the image to map, and the address
+ mapped is returned in IMAGE. INFO, PAGER_BUCKET, & MAY_CACHE are passed
+ to `pager_create'. */
+extern void diskfs_start_disk_pager (struct user_pager_info *info,
+ struct port_bucket *pager_bucket, int may_cache,
+ size_t size, void **image);
-/* Set up the three variables below and prepare a signal preempter
- so that the `diskfs_catch_exception' macro below works.
- INFO and MAY_CACHE are passed to `pager_create'. */
-extern void disk_pager_setup (struct user_pager_info *info, int may_cache);
-
-extern struct port_bucket *pager_bucket; /* Ports bucket used by pagers. */
-extern struct pager *disk_pager; /* Pager backing to the disk. */
-extern void *disk_image; /* Region mapping entire disk from it. */
+extern struct pager *diskfs_disk_pager;
struct disk_image_user
{