diff options
| author | Marcus Brinkmann <marcus@gnu.org> | 2002-08-16 01:10:09 +0000 |
|---|---|---|
| committer | Marcus Brinkmann <marcus@gnu.org> | 2002-08-16 01:10:09 +0000 |
| commit | 2d021f515fef47545b4a73dfd10ff1208df752d8 (patch) | |
| tree | a5190571611dd9ad95e7a48cbd463f82ba01bc62 | |
| parent | 934b8495445437b186c41ef1ecaa5ef636ed0ca3 (diff) | |
2002-08-16 Marcus Brinkmann <marcus@gnu.org>
* proxy-defpager.c (S_default_pager_object_pages): New function.
(proxy_defpager_demuxer): Use S_default_pager_server (ie add the
prefix).
| -rw-r--r-- | trans/ChangeLog | 6 | ||||
| -rw-r--r-- | trans/proxy-defpager.c | 16 |
2 files changed, 20 insertions, 2 deletions
diff --git a/trans/ChangeLog b/trans/ChangeLog index b4c08583..33a97cfa 100644 --- a/trans/ChangeLog +++ b/trans/ChangeLog @@ -1,3 +1,9 @@ +2002-08-16 Marcus Brinkmann <marcus@gnu.org> + + * proxy-defpager.c (S_default_pager_object_pages): New function. + (proxy_defpager_demuxer): Use S_default_pager_server (ie add the + prefix). + 2002-08-14 Marcus Brinkmann <marcus@gnu.org> * Makefile: Revert undocumented changes related to devpts that diff --git a/trans/proxy-defpager.c b/trans/proxy-defpager.c index 73214763..1b4985c4 100644 --- a/trans/proxy-defpager.c +++ b/trans/proxy-defpager.c @@ -70,6 +70,18 @@ S_default_pager_objects (mach_port_t default_pager, } kern_return_t +S_default_pager_object_pages (mach_port_t default_pager, + mach_port_t memory_object, + default_pager_page_array_t *pages, + mach_msg_type_number_t *pagesCnt) +{ + return allowed (default_pager, O_WRITE) + ?: default_pager_object_pages (real_defpager, memory_object, + pages, pagesCnt); +} + + +kern_return_t S_default_pager_paging_file (mach_port_t default_pager, mach_port_t master_device_port, default_pager_filename_t filename, @@ -219,9 +231,9 @@ int proxy_defpager_demuxer (mach_msg_header_t *inp, mach_msg_header_t *outp) { - extern int default_pager_server (mach_msg_header_t *, mach_msg_header_t *); + extern int S_default_pager_server (mach_msg_header_t *, mach_msg_header_t *); - return default_pager_server (inp, outp) + return S_default_pager_server (inp, outp) || trivfs_demuxer (inp, outp); } |