1 |
/* Map the disk image and handle faults accessing it. |
/* Map the disk image and handle faults accessing it. |
2 |
Copyright (C) 1996,97,99,2001,02 Free Software Foundation, Inc. |
Copyright (C) 1996,97,99,2001,02,05 Free Software Foundation, Inc. |
3 |
Written by Roland McGrath. |
Written by Roland McGrath. |
4 |
|
|
5 |
This program is free software; you can redistribute it and/or |
This program is free software; you can redistribute it and/or |
46 |
|
|
47 |
void |
void |
48 |
diskfs_start_disk_pager (struct user_pager_info *upi, |
diskfs_start_disk_pager (struct user_pager_info *upi, |
49 |
struct port_bucket *pager_bucket, int may_cache, |
struct port_bucket *pager_bucket, |
50 |
|
int may_cache, int notify_on_evict, |
51 |
size_t size, void **image) |
size_t size, void **image) |
52 |
{ |
{ |
53 |
error_t err; |
error_t err; |
59 |
|
|
60 |
/* Create the pager. */ |
/* Create the pager. */ |
61 |
diskfs_disk_pager = pager_create (upi, pager_bucket, |
diskfs_disk_pager = pager_create (upi, pager_bucket, |
62 |
may_cache, MEMORY_OBJECT_COPY_NONE); |
may_cache, MEMORY_OBJECT_COPY_NONE, |
63 |
|
notify_on_evict); |
64 |
assert (diskfs_disk_pager); |
assert (diskfs_disk_pager); |
65 |
|
|
66 |
/* Get a port to the disk pager. */ |
/* Get a port to the disk pager. */ |