diff options
| author | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-09-04 11:19:29 +0200 |
|---|---|---|
| committer | Justus Winter <4winter@informatik.uni-hamburg.de> | 2014-09-04 11:19:29 +0200 |
| commit | 8fd228ccd454578fb0367d97d95b90f9073a8d7c (patch) | |
| tree | 9a6afae269cec07c75cea8992a4d46e313d74a9f /pfinet | |
| parent | 626ff916ca63334e6c170f059ea47f9cfea19661 (diff) | |
hurd: make memory_object parameter polymorphic
Make the memory_object parameter of default_pager_object_create
polymorphic. This fixes https://savannah.gnu.org/bugs/?26751 .
* hurd/default_pager.defs (default_pager_object_create): Make
memory_object parameter polymorphic.
* mach-defpager/default_pager.c (S_default_pager_object_create):
Adjust accordingly.
* trans/proxy-defpager.c (S_default_pager_object_create): Likewise.
Diffstat (limited to 'pfinet')
0 files changed, 0 insertions, 0 deletions