diff options
| author | Flavio Cruz <flaviocruz@gmail.com> | 2023-05-10 01:00:45 -0400 |
|---|---|---|
| committer | Samuel Thibault <samuel.thibault@ens-lyon.org> | 2023-05-11 01:30:52 +0200 |
| commit | c1d219c066a5fbf6a6a4c3139f64954dbf12fd02 (patch) | |
| tree | c3f39389796b8fb7cb8e044716c2307bbef53487 /mach-defpager | |
| parent | 50888737e48bab04a2c1290226249db927a60b4b (diff) | |
| download | hurd-c1d219c066a5fbf6a6a4c3139f64954dbf12fd02.tar.gz hurd-c1d219c066a5fbf6a6a4c3139f64954dbf12fd02.tar.bz2 hurd-c1d219c066a5fbf6a6a4c3139f64954dbf12fd02.zip | |
Only use host_get_kernel_version and default_pager_paging_storage_new in x86_64.
Also fixed the implementation of default_pager_paging_storage_new in proxy
def pager to call into default_pager_paging_storage_new.
We can fast track the simplification of the RPC ABI for x86_64 if we don't have
MACH_MSG_TYPE_STRING used in RPCs which forces msgt_size to use more than 8
bits.
Message-Id: <ZFsk/W+slpAZyTG1@jupiter.tail36e24.ts.net>
Diffstat (limited to 'mach-defpager')
| -rw-r--r-- | mach-defpager/setup.c | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/mach-defpager/setup.c b/mach-defpager/setup.c index b09642e3..e928dcc2 100644 --- a/mach-defpager/setup.c +++ b/mach-defpager/setup.c @@ -40,7 +40,7 @@ int page_aligned (vm_offset_t num) extern mach_port_t default_pager_default_port; /* default_pager.c */ kern_return_t -S_default_pager_paging_storage (mach_port_t pager, +S_default_pager_paging_storage_new (mach_port_t pager, mach_port_t device, const recnum_t *runs, mach_msg_type_number_t nrun, const_default_pager_filename_t name, @@ -100,16 +100,18 @@ S_default_pager_paging_storage (mach_port_t pager, return 0; } +#ifndef __x86_64__ kern_return_t -S_default_pager_paging_storage_new (mach_port_t pager, +S_default_pager_paging_storage (mach_port_t pager, mach_port_t device, const recnum_t *runs, mach_msg_type_number_t nrun, const_default_pager_filename_t name, boolean_t add) { - return S_default_pager_paging_storage (pager, - device, runs, nrun, name, add); + return S_default_pager_paging_storage_new (pager, device, runs, nrun, name, + add); } +#endif /* Called to read a page from backing store. */ int |